patrick lincoln
제목
인용
인용
연도
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
14642007
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
10692002
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
9802000
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
4002003
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
3781992
Principles of maude
M Clavel, S Eker, P Lincoln, J Meseguer
Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
3771996
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
3481999
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
3271989
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
2561998
Stochastic assembly of sublithographic nanoscale interfaces
A DeHon, P Lincoln, JE Savage
IEEE transactions on Nanotechnology 2 (3), 165-174, 2003
2512003
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
2332007
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
2292005
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
Systems and methods for negotiated resource utilization
P Lincoln, S Dawson, D Stringer-Calvert
US Patent App. 10/089,393, 2003
2182003
Pathway logic: Symbolic analysis of biological signaling
S Eker, M Knapp, K Laderoute, P Lincoln, J Meseguer, K Sonmez
Biocomputing 2002, 400-412, 2001
2092001
Providing virtual personal assistance with multiple VPA applications
KC Nitz, PD Lincoln
US Patent 10,204,627, 2019
1752019
Methods and apparatus for scalable, distributed management of virtual private networks
DWJ Stringer-Calvert, SM Dawson, PD Lincoln
US Patent 7,403,980, 2008
1732008
Privacy-Preserving Sharing and Correlation of Security Alerts.
P Lincoln, PA Porras, V Shmatikov
USENIX Security Symposium, 239-254, 2004
1472004
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
1462018
현재 시스템이 작동되지 않습니다. 나중에 다시 시도해 주세요.
학술자료 1–20