Patrick Lincoln - Concepedia

Author

Patrick Lincoln

SRI International

Also Known As

Lincoln, Patrick, P. D. Lincoln, P. Lincoln, P.D. Lincoln, PATRICK LINCOLN, Patrick D. Lincoln, Patrick Lincoln

151

Publications

6.8K

Citations

H-Index

136

Concepts

All Affiliations

SRI International Menlo School Stanford University University of Pennsylvania Universidad Complutense de Madrid

About

Patrick Lincoln is an author at SRI International specializing in engineering, computer science, and automated reasoning.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	30	37	4K
2	Medicine	3	3	168
3	Language Studies	2	2	61
4	Law	1	1	33
5	Natural Sciences	1	1	37

Patrick Lincoln

Publications

4.7K

Citations

H-Index

Page 1

	Year	Citations
Maude: specification and programming in rewriting logic Manuel Clavel, Francisco Durán, Steven Eker, Theoretical Computer Science EngineeringAutomated ReasoningRegulated RewritingRewriting SystemFormal Methods	2002	737
Architectural support for copy and tamper resistant software David Lie Chandramohan Thekkath, Mark L. Mitchell, Patrick Lincoln, ACM SIGARCH Computer Architecture News Software MaintenanceEngineeringInformation SecurityComputer ArchitectureSoftware Engineering	2000	600
A meta-notation for protocol analysis Iliano Cervesato, Nancy Durgin, Patrick Lincoln, EngineeringInformation SecurityVerificationProtocol ComplianceCryptographic Protocol	2003	249
Decision problems for propositional linear logic Patrick Lincoln, John C. Mitchell, Andre Scedrov, Annals of Pure and Applied Logic Decision ProblemsEngineeringAutomated ReasoningPropositional LogicMany-valued Logic	1992	221
A probabilistic poly-time framework for protocol analysis Patrick Lincoln, John C. Mitchell, Murray Mitchell, Theory Of ComputingReachability AnalysisEngineeringData ScienceInteraction Protocol	1998	210
Efficient implementation of lattice operations Hassan Aı̈t-Kaci, Robert S. Boyer, Patrick Lincoln, ACM Transactions on Programming Languages and Systems EngineeringComputational ComplexitySemanticsArray ComputingParallel Computing	1989	199
Architectural support for copy and tamper resistant software David Lie Chandramohan Thekkath, Mark L. Mitchell, Patrick Lincoln, Software MaintenanceEngineeringInformation SecurityComputer ArchitectureSoftware Engineering	2000	174
Stochastic assembly of sublithographic nanoscale interfaces André DeHon, Patrick Lincoln, John E. Savage IEEE Transactions on Nanotechnology Individual NanowiresEngineeringComputer ArchitectureNanocomputingNanoelectronics	2003	169
Multiset rewriting and the complexity of bounded security protocols Nancy Durgin, Patrick Lincoln, John C. Mitchell, Journal of Computer Security	2004	163
PATHWAY LOGIC: SYMBOLIC ANALYSIS OF BIOLOGICAL SIGNALING Steven Eker, Merrill Knapp, Keith R. Laderoute,	2001	153

Page 1