Patrick Lincoln

Maude: specification and programming in rewriting logic

Manuel Clavel, Francisco Durán, Steven Eker et al. · Theoretical Computer Science · 2002 · 737 citations

Engineering, Automated Reasoning, Regulated Rewriting +5

Architectural support for copy and tamper resistant software

David Lie Chandramohan Thekkath, Mark L. Mitchell, Patrick Lincoln et al. · ACM SIGARCH Computer Architecture News · 2000 · 600 citations · Full text

Software Maintenance, Engineering, Information Security +20

A meta-notation for protocol analysis

Iliano Cervesato, Nancy Durgin, Patrick Lincoln et al. · 2003 · 249 citations

Engineering, Information Security, Verification +19

Decision problems for propositional linear logic

Patrick Lincoln, John C. Mitchell, Andre Scedrov et al. · Annals of Pure and Applied Logic · 1992 · 221 citations

Decision Problems, Engineering, Automated Reasoning +4

A probabilistic poly-time framework for protocol analysis

Patrick Lincoln, John C. Mitchell, Murray Mitchell et al. · 1998 · 210 citations

Theory Of Computing, Reachability Analysis, Engineering +15