patrick lincoln
Titel
Zitiert von
Zitiert von
Jahr
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
13392007
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
10282002
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
9022000
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
6332003
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
3882003
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
3621999
Principles of maude
M Clavel, S Eker, P Lincoln, J Meseguer
Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
3541996
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
3481992
Undecidability of bounded security protocol
NA Durgin
The 1999 Federated Logic Conference (FLoC'99), 1999
3411999
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
3181989
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
2471998
Stochastic assembly of sublithographic nanoscale interfaces
A DeHon, P Lincoln, JE Savage
IEEE transactions on Nanotechnology 2 (3), 165-174, 2003
2452003
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
2282007
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
2222005
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
2102004
Systems and methods for negotiated resource utilization
P Lincoln, S Dawson, D Stringer-Calvert
US Patent App. 10/089,393, 2003
2052003
Pathway logic: Symbolic analysis of biological signaling
S Eker, M Knapp, K Laderoute, P Lincoln, J Meseguer, K Sonmez
Biocomputing 2002, 400-412, 2001
2042001
Methods and apparatus for scalable, distributed management of virtual private networks
DWJ Stringer-Calvert, SM Dawson, PD Lincoln
US Patent 7,403,980, 2008
1662008
Privacy-Preserving Sharing and Correlation of Security Alerts.
P Lincoln, PA Porras, V Shmatikov
USENIX Security Symposium, 239-254, 2004
1422004
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
1361993
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20