| Some tools M Clavel, F Durán, S Eker, P Lincoln, N Martí-Oliet, J Meseguer, C Talcott, ... All About Maude-A High-Performance Logical Framework: How to Specify …, 2007 | 1675 | 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 | 1135 | 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 | 1078 | 2000 |
| 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 | 414 | 1992 |
| 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 | 412 | 2003 |
| Providing virtual personal assistance with multiple VPA applications KC Nitz, PD Lincoln US Patent 10,204,627, 2019 | 394 | 2019 |
| Principles of maude M Clavel, S Eker, P Lincoln, J Meseguer Electronic Notes in Theoretical Computer Science 4, 65-89, 1996 | 392 | 1996 |
| Undecidability of bounded security protocols J Mitchell, A Scedrov, N Durgin, P Lincoln Workshop on formal methods and security protocols, 1999 | 391 | 1999 |
| 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 | 385 | 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 | 341 | 1989 |
| 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, ... Springer, 2007 | 327 | 2007 |
| Maude manual (version 3.1) M Clavel, F Durán, S Eker, S Escobar, P Lincoln, N Martı-Oliet, ... SRI International University of Illinois at Urbana-Champaign http://maude …, 2020 | 300* | 2020 |
| 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 | 298 | 2018 |
| 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 | 264 | 1998 |
| Stochastic assembly of sublithographic nanoscale interfaces A DeHon, P Lincoln, JE Savage IEEE transactions on Nanotechnology 2 (3), 165-174, 2003 | 261 | 2003 |
| 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 | 245 | 2004 |
| Systems and methods for negotiated resource utilization P Lincoln, S Dawson, D Stringer-Calvert US Patent App. 10/089,393, 2003 | 239 | 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 | 223 | 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 | 181 | 2008 |
| System and method using information-based indicia for securing and authenticating transactions PD Lincoln, N Shankar US Patent 6,820,201, 2004 | 170 | 2004 |
Jose MeseguerProfessor of Computer Science, University of Illinois at Urbana-ChampaignVerified email at illinois.edu