关注
patrick lincoln
标题
引用次数
引用次数
年份
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
16342007
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
11232002
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
10692000
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
4081992
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
4052003
Principles of maude
M Clavel, S Eker, P Lincoln, J Meseguer
Electronic Notes in Theoretical Computer Science 4, 65-89, 1996
3891996
Undecidability of bounded security protocols
J Mitchell, A Scedrov, N Durgin, P Lincoln
Workshop on formal methods and security protocols, 1999
3841999
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
3791999
Providing virtual personal assistance with multiple VPA applications
KC Nitz, PD Lincoln
US Patent 10,204,627, 2019
3742019
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
3381989
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
3222007
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
290*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
2812018
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
2631998
Stochastic assembly of sublithographic nanoscale interfaces
A DeHon, P Lincoln, JE Savage
IEEE transactions on Nanotechnology 2 (3), 165-174, 2003
2612003
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
2392004
Systems and methods for negotiated resource utilization
P Lincoln, S Dawson, D Stringer-Calvert
US Patent App. 10/089,393, 2003
2382003
Pathway logic: Symbolic analysis of biological signaling
S Eker, M Knapp, K Laderoute, P Lincoln, J Meseguer, K Sonmez
Biocomputing 2002, 400-412, 2001
2222001
Methods and apparatus for scalable, distributed management of virtual private networks
DWJ Stringer-Calvert, SM Dawson, PD Lincoln
US Patent 7,403,980, 2008
1802008
System and method using information-based indicia for securing and authenticating transactions
PD Lincoln, N Shankar
US Patent 6,820,201, 2004
1692004
系统目前无法执行此操作,请稍后再试。
文章 1–20