Follow
patrick lincoln
Title
Cited by
Cited by
Year
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
15052007
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
10782002
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
9912000
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
3982003
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
3851992
Principles of maude
M Clavel, S Eker, P Lincoln, J Meseguer
Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
3821996
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
3721999
Undecidability of bounded security protocol
NA Durgin
The 1999 Federated Logic Conference (FLoC'99), 1999
3511999
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
3251989
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
2591998
Stochastic assembly of sublithographic nanoscale interfaces
A DeHon, P Lincoln, JE Savage
IEEE transactions on Nanotechnology 2 (3), 165-174, 2003
2532003
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 (April 2005), 2004
2482004
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
2342007
Systems and methods for negotiated resource utilization
P Lincoln, S Dawson, D Stringer-Calvert
US Patent App. 10/089,393, 2003
2232003
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
2192004
Pathway logic: Symbolic analysis of biological signaling
S Eker, M Knapp, K Laderoute, P Lincoln, J Meseguer, K Sonmez
Biocomputing 2002, 400-412, 2001
2082001
Providing virtual personal assistance with multiple VPA applications
KC Nitz, PD Lincoln
US Patent 10,204,627, 2019
1982019
Methods and apparatus for scalable, distributed management of virtual private networks
DWJ Stringer-Calvert, SM Dawson, PD Lincoln
US Patent 7,403,980, 2008
1762008
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
1632018
System and method using information-based indicia for securing and authenticating transactions
PD Lincoln, N Shankar
US Patent 6,820,201, 2004
1472004
The system can't perform the operation now. Try again later.
Articles 1–20