patrick lincoln
TitleCited byYear
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-Verlag, 2007
12462007
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
9822002
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
8562000
A large eddy simulation intercomparison study of shallow cumulus convection
AP Siebesma, CS Bretherton, A Brown, A Chlond, J Cuxart, ...
Journal of the Atmospheric Sciences 60 (10), 1201-1219, 2003
5542003
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
3702003
Principles of maude
M Clavel, S Eker, P Lincoln, J Meseguer
Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
3461996
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
3441999
Undecidability of bounded security protocol
NA Durgin
The 1999 Federated Logic Conference (FLoC'99), 1999
3361999
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
3271992
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
3101989
Stochastic assembly of sublithographic nanoscale interfaces
A DeHon, P Lincoln, JE Savage
IEEE transactions on Nanotechnology 2 (3), 165-174, 2003
2482003
A probabilistic poly-time framework for protocol analysis
P Lincoln, J Mitchell, M Mitchell, A Scedrov
ACM Conference on Computer and Communications Security 1998, 112-121, 1998
2461998
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
2062007
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
2062005
Selecting and presenting content relevant to user input
A Agarwal, A Baratloo, N Chamandy, Q Ma, V Raghunathan, CWK So, ...
US Patent App. 10/089,393, 2018
2052018
Pathway logic: Symbolic analysis of biological signaling
S Eker, M Knapp, K Laderoute, P Lincoln, J Meseguer, K Sonmez
Biocomputing 2002, 400-412, 2001
1972001
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
1942004
Methods and apparatus for scalable, distributed management of virtual private networks
DWJ Stringer-Calvert, SM Dawson, PD Lincoln
US Patent 7,403,980, 2008
1742008
Privacy-Preserving Sharing and Correlation of Security Alerts.
P Lincoln, PA Porras, V Shmatikov
USENIX Security Symposium, 239-254, 2004
1362004
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
1281993
The system can't perform the operation now. Try again later.
Articles 1–20