| All About Maude-A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott Springer, 2007 | 1384 | 2007 |
| Maude: Specification and programming in rewriting logic M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, ... Theoretical Computer Science 285 (2), 187-243, 2002 | 1056 | 2002 |
| Architectural support for copy and tamper resistant software D Lie, C Thekkath, M Mitchell, P Lincoln, D Boneh, J Mitchell, M Horowitz Acm Sigplan Notices 35 (11), 168-177, 2000 | 954 | 2000 |
| The maude 2.0 system M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott International Conference on Rewriting Techniques and Applications, 76-87, 2003 | 393 | 2003 |
| Principles of maude M Clavel, S Eker, P Lincoln, J Meseguer Electronic Notes in Theoretical Computer Science 4, 65-89, 1996 | 369 | 1996 |
| Decision problems for propositional linear logic P Lincoln, J Mitchell, A Scedrov, N Shankar Annals of pure and Applied Logic 56 (1-3), 239-311, 1992 | 362 | 1992 |
| A meta-notation for protocol analysis I Cervesato, NA Durgin, PD Lincoln, JC Mitchell, A Scedrov Proceedings of the 12th IEEE Computer Security Foundations Workshop, 55-69, 1999 | 361 | 1999 |
| Undecidability of bounded security protocol NA Durgin The 1999 Federated Logic Conference (FLoC'99), 1999 | 348 | 1999 |
| Efficient implementation of lattice operations H Aït-Kaci, R Boyer, P Lincoln, R Nasr ACM Transactions on Programming Languages and Systems (TOPLAS) 11 (1), 115-146, 1989 | 321 | 1989 |
| A probabilistic poly-time framework for protocol analysis P Lincoln, J Mitchell, M Mitchell, A Scedrov Proceedings of the 5th ACM Conference on Computer and Communications …, 1998 | 255 | 1998 |
| Stochastic assembly of sublithographic nanoscale interfaces A DeHon, P Lincoln, JE Savage IEEE transactions on Nanotechnology 2 (3), 165-174, 2003 | 250 | 2003 |
| All About Maude: A High-Performance Logical Framework, volume 4350 of Lecture Notes in Computer Science M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott Springer, 2007 | 226 | 2007 |
| Maude manual (version 2.1) M Clavel, F Durán, S Eker, P Lincoln, N Martı-Oliet, J Meseguer, C Talcott SRI International, Menlo Park, 2005 | 224 | 2005 |
| Multiset rewriting and the complexity of bounded security protocols N Durgin, P Lincoln, J Mitchell, A Scedrov Journal of Computer Security 12 (2), 247-311, 2004 | 212 | 2004 |
| Systems and methods for negotiated resource utilization P Lincoln, S Dawson, D Stringer-Calvert US Patent App. 10/089,393, 2003 | 211 | 2003 |
| Pathway logic: Symbolic analysis of biological signaling S Eker, M Knapp, K Laderoute, P Lincoln, J Meseguer, K Sonmez Biocomputing 2002, 400-412, 2001 | 209 | 2001 |
| Methods and apparatus for scalable, distributed management of virtual private networks DWJ Stringer-Calvert, SM Dawson, PD Lincoln US Patent 7,403,980, 2008 | 166 | 2008 |
| Method, system and device for inferring a mobile user's current context and proactively providing assistance KC Nitz, PD Lincoln, KL Myers, HH Bui, R Senanayake, G Denker, ... US Patent 10,163,058, 2018 | 162* | 2018 |
| Privacy-Preserving Sharing and Correlation of Security Alerts. P Lincoln, PA Porras, V Shmatikov USENIX Security Symposium, 239-254, 2004 | 146 | 2004 |
| A formally verified algorithm for interactive consistency under a hybrid fault model P Lincoln, J Rushby FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing …, 1993 | 143 | 1993 |
