What is he best known for?
The fields of study he is best known for:
- Programming language
- Algorithm
- Operating system
Patrick Lincoln mainly focuses on Computer security, Theoretical computer science, Rewriting, Encoding and Service.
His Computer security study incorporates themes from Percolation and Resilience.
Patrick Lincoln works mostly in the field of Theoretical computer science, limiting it down to topics relating to Biological network and, in certain cases, Representation, Formal methods, Model checking, Metamodeling and Executable, as a part of the same area of interest.
His Rewriting study combines topics in areas such as Logical framework, Existential quantification, Axiom, Computer security model and Horn clause.
The Encoding study combines topics in areas such as Identifier and Server, Operating system.
His biological study spans a wide range of topics, including Key management, Scalability and Client–server model.
His most cited work include:
- Privacy-preserving sharing and correction of security alerts (111 citations)
- The Maude System (95 citations)
- Providing virtual personal assistance with multiple VPA applications (94 citations)
What are the main themes of his work throughout his whole career to date?
His primary areas of investigation include Programming language, Theoretical computer science, Rewriting, Computer security and Algorithm.
His Theoretical computer science research includes elements of Executable, State, Signal transduction, Biological network and Computer security model.
His Rewriting research incorporates themes from Equational theory, Representation, Metatheory, Declarative programming and Component.
The various areas that Patrick Lincoln examines in his Computer security study include Scalability and Resilience.
His research in Algorithm intersects with topics in Polynomial and Automatic inference.
His Information sensitivity study combines topics from a wide range of disciplines, such as Information leakage, Inference and Data classification.
He most often published in these fields:
- Programming language (19.27%)
- Theoretical computer science (15.60%)
- Rewriting (12.84%)
What were the highlights of his more recent work (between 2010-2018)?
- Human–computer interaction (4.59%)
- Probabilistic logic (4.59%)
- Network management (2.75%)
In recent papers he was focusing on the following fields of study:
His primary areas of investigation include Human–computer interaction, Probabilistic logic, Network management, Natural language and Artificial intelligence.
His Human–computer interaction course of study focuses on Dialog box and Multimedia, Network simulation and Gesture.
His Natural language research includes themes of Mathematical notation and Formal language.
Patrick Lincoln interconnects Programming language, Specification language and Natural language processing in the investigation of issues within Mathematical notation.
His work deals with themes such as Machine learning and Temporal logic, which intersect with Artificial intelligence.
His Probabilistic CTL study integrates concerns from other disciplines, such as Probabilistic logic network, Theoretical computer science, Data mining and Divergence-from-randomness model.
Between 2010 and 2018, his most popular works were:
- Providing virtual personal assistance with multiple VPA applications (94 citations)
- System and method for authenticating a manufactured product with a mobile device (40 citations)
- Adaptable input/output device (39 citations)
In his most recent research, the most cited papers focused on:
- Programming language
- Algorithm
- Operating system
His primary scientific interests are in Human–computer interaction, Dialog box, World Wide Web, Network security and Network management.
Patrick Lincoln integrates Human–computer interaction and Current in his studies.
His work carried out in the field of Dialog box brings together such families of science as Network simulation, Multimedia, Natural language and Gesture.
His World Wide Web study frequently draws connections between adjacent fields such as Network administrator.
This overview was generated by a machine learning system which analysed the scientist’s
body of work. If you have any feedback, you can
contact us
here.
