Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Patrick Lincoln
2010 – today
- 2011
[c71]Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio: Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 110-143
2000 – 2009
- 2009
- [c70]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Unification and Narrowing in Maude 2.4. RTA 2009: 380-390
- 2007
- [c69]Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169
- [c68]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
- [c67]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Using Maude. All About Maude 2007: 31-37
- [c66]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Syntax and Basic Parsing. All About Maude 2007: 39-59
- [c65]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Functional Modules. All About Maude 2007: 61-118
- [c64]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: A Hierarchy of Data Types: From Trees to Sets. All About Maude 2007: 119-129
- [c63]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: System Modules. All About Maude 2007: 131-157
- [c62]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo: Playing with Maude. All About Maude 2007: 159-184
- [c61]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Module Operations. All About Maude 2007: 185-230
- [c60]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Predefined Data Modules. All About Maude 2007: 231-305
- [c59]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo: Specifying Parameterized Data Structures in Maude. All About Maude 2007: 307-338
- [c58]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Object-Based Programming. All About Maude 2007: 339-372
- [c57]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Model Checking Invariants Through Search. All About Maude 2007: 373-384
- [c56]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: LTL Model Checking. All About Maude 2007: 385-418
- [c55]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Reflection, Metalevel Computation, and Strategies. All About Maude 2007: 419-458
- [c54]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Metaprogramming Applications. All About Maude 2007: 459-483
- [c53]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo: Mobile Maude. All About Maude 2007: 485-522
- [c52]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: User Interfaces and Metalanguage Applications. All About Maude 2007: 523-555
- [c51]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Full Maude: Extending Core Maude. All About Maude 2007: 559-597
- [c50]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Object-Oriented Modules. All About Maude 2007: 599-642
- [c49]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: A Sampler of Application Areas. All About Maude 2007: 645-665
- [c48]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Christiano Braga, Azadeh Farzan, Joe Hendrix, Peter Csaba Ölveczky, Miguel Palomino, Ralf Sasse, Mark-Oliver Stehr, Alberto Verdejo: Some Tools. All About Maude 2007: 667-693
- [c47]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Debugging and Troubleshooting. All About Maude 2007: 697-736
- [c46]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Complete List of Maude Commands. All About Maude 2007: 737-749
- [c45]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Core Maude Grammar. All About Maude 2007: 751-756
- [e1]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott (Eds.): All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science 4350, Springer 2007, ISBN 978-3-540-71940-3
- 2005
- [j21]Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln: A comparison between strand spaces and multiset rewriting for security protocol analysis. Journal of Computer Security 13(2): 265-316 (2005)
- [c44]Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute: Pathway Logic Helping Biologists Understand and Organize Pathway Information. CSB Workshops 2005: 155-156
- [c43]David L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln: The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. Systems Biology and Regulatory Genomics 2005: 11-22
- 2004
- [j20]Nancy A. Durgin, Patrick Lincoln, John C. Mitchell: Multiset rewriting and the complexity of bounded security protocols. Journal of Computer Security 12(2): 247-311 (2004)
- [c42]Patrick Lincoln, Ashish Tiwari: Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. HSCC 2004: 660-672
- [c41]Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. Pacific Symposium on Biocomputing 2004: 568-580
- [c40]Patrick Lincoln, Phillip A. Porras, Vitaly Shmatikov: Privacy-Preserving Sharing and Correlation of Security Alerts. USENIX Security Symposium 2004: 239-254
- 2003
- [c39]Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott: Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. CMSB 2003: 164-165
- [c38]
- [c37]Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. CSB 2003: 618-619
- [c36]Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer: Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380
- [c35]
- [c34]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: The Maude 2.0 System. RTA 2003: 76-87
- [c33]Linda Briesemeister, Patrick Lincoln, Phillip A. Porras: Epidemic profiles and defense of scale-free networks. WORM 2003: 67-75
- 2002
- [j19]Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott: Pathway Logic: Executable Models of Biological Networks. Electr. Notes Theor. Comput. Sci. 71: 144-161 (2002)
- [j18]Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati: Maximizing Sharing of Protected Information. J. Comput. Syst. Sci. 64(3): 496-541 (2002)
- [j17]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude: specification and programming in rewriting logic. Theor. Comput. Sci. 285(2): 187-243 (2002)
- [c32]Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert: NEVRLATE: Scalable Resource Discovery. CCGRID 2002: 382-388
- [c31]Livio Ricciulli, Phillip A. Porras, Patrick Lincoln, Pankaj Kakkar, Steven Dawson: An Adaptable Network COntrol and Reporting System (ANCORS). DANCE 2002: 466-483
- [c30]Stanislaw Jarecki, Patrick Lincoln, Vitaly Shmatikov: Negotiated Privacy: (Extended Abstract). ISSS 2002: 96-111
- [c29]Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov: A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. ISSS 2002: 356-383
- [c28]Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez: Pathway Logic: Symbolic Analysis of Biological Signaling. Pacific Symposium on Biocomputing 2002: 400-412
- 2001
- [j16]Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati: Global Infrastructure Protection System. Journal of Computer Security 9(4): 251-284 (2001)
- [j15]Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen: Depender Graphs: A Method of Fault-Tolerant Certificate Distribution. Journal of Computer Security 9(4): 323-338 (2001)
- 2000
- [j14]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Towards Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: 294-315 (2000)
- [c27]David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz: Architectural Support for Copy and Tamper Resistant Software. ASPLOS 2000: 168-177
- [c26]Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen: Efficient fault-tolerant certificate revocation. ACM Conference on Computer and Communications Security 2000: 19-24
- [c25]Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov: Relating Strands and Multiset Rewriting for Security Protocol Analysis. CSFW 2000: 35-51
- [c24]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Using Maude. FASE 2000: 371-374
- [c23]Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Mobile Maude. ASA/MA 2000: 73-85
- [c22]Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati: Classifying Information for External Release. SEC 2000: 151-160
1990 – 1999
- 1999
- [j13]Patrick Lincoln, John C. Mitchell, Andre Scedrov: Optimization Complexity of Linear Logic Proof Games. Theor. Comput. Sci. 227(1-2): 299-331 (1999)
- [c21]Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov: A Meta-Notation for Protocol Analysis. CSFW 1999: 55-69
- [c20]Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov: Probabilistic Polynomial-Time Equivalence and Security Analysis. World Congress on Formal Methods 1999: 776-793
- [c19]Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati: PGRIP: PNNI Global Routing Infrastructure Protection. NDSS 1999
- [c18]Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati: Minimal Data Upgrading to Prevent Inference and Association. PODS 1999: 114-125
- [c17]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: The Maude System. RTA 1999: 240-243
- 1998
- [j12]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude as a metalanguage. Electr. Notes Theor. Comput. Sci. 15: 147-160 (1998)
- [j11]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. Electr. Notes Theor. Comput. Sci. 15: 331-352 (1998)
- [c16]Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov: A Probabilistic Poly-Time Framework for Protocol Analysis. ACM Conference on Computer and Communications Security 1998: 112-121
- 1997
- [j10]Chris J. Walter, Patrick Lincoln, Neeraj Suri: Formally Verified On-Line Diagnosis. IEEE Trans. Software Eng. 23(11): 684-721 (1997)
- [c15]Shmuel Katz, Patrick Lincoln, John M. Rushby: Low-Overhead Time-Triggered Group Membership. WDAG 1997: 155-169
- 1996
- [j9]Patrick Lincoln, John C. Mitchell, Andre Scedrov: Linear logic proof games and optimization. Bulletin of Symbolic Logic 2(3): 322-338 (1996)
- [j8]Patrick Lincoln, John C. Mitchell, Andre Scedrov: The Complexity of Local Proof Search in Linear Logic. Electr. Notes Theor. Comput. Sci. 3: 120-129 (1996)
- [j7]Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Maude. Electr. Notes Theor. Comput. Sci. 4: 65-89 (1996)
- [c14]Livio Ricciulli, Patrick Lincoln, José Meseguer: Distributed Simulation of Parallel Executions. Annual Simulation Symposium 1996: 15-24
- [c13]David Cyrluk, Patrick Lincoln, Natarajan Shankar: On Shostak's Decision Procedure for Combinations of Theories. CADE 1996: 463-477
- 1995
- [c12]Patrick Lincoln, Andre Scedrov, Natarajan Shankar: Decision Problems for Second-Order Linear Logic. LICS 1995: 476-485
- 1994
- [j6]Patrick Lincoln, Andre Scedrov: First-Order Linear Logic without Modalities is NEXPTIME-Hard. Theor. Comput. Sci. 135(1): 139-153 (1994)
- [j5]Patrick Lincoln, Timothy C. Winkler: Constant-Only Multiplicative Linear Logic is NP-Complete. Theor. Comput. Sci. 135(1): 155-169 (1994)
- [c11]Patrick Lincoln, José Meseguer, Livio Ricciulli: The Rewrite Rule Machine Node Architecture and Its Performance. CONPAR 1994: 509-520
- [c10]Patrick Lincoln, Natarajan Shankar: Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi. LICS 1994: 282-291
- [c9]Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli: Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE 1994: 37-48
- 1993
- [j4]Patrick Lincoln, Andre Scedrov, Natarajan Shankar: Linearizing Intuitionistic Implication. Ann. Pure Appl. Logic 60(2): 151-177 (1993)
- [c8]Patrick Lincoln, John M. Rushby: The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. CAV 1993: 292-304
- [c7]Patrick Lincoln, John M. Rushby: A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model. FTCS 1993: 402-411
- 1992
- [j3]Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar: Decision Problems for Propositional Linear Logic. Ann. Pure Appl. Logic 56(1-3): 239-311 (1992)
- [c6]Patrick Lincoln, John C. Mitchell: Operational aspects of linear lambda calculus. LICS 1992: 235-246
- [c5]Patrick Lincoln, John C. Mitchell: Algorithmic Aspects of Type Inference with Subtypes. POPL 1992: 293-304
- 1991
- [c4]Patrick Lincoln, Andre Scedrov, Natarajan Shankar: Linearizing Intuitionistic Implication. LICS 1991: 51-62
- 1990
- [c3]Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar: Decision Problems for Propositional Linear Logic. FOCS 1990: 662-671
1980 – 1989
- 1989
- [j2]Patrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification. J. Symb. Comput. 8(1/2): 217-240 (1989)
- [j1]Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr: Efficient Implementation of Lattice Operations. ACM Trans. Program. Lang. Syst. 11(1): 115-146 (1989)
- 1988
- [c2]Patrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification (A Summary). CADE 1988: 358-367
- 1987
- [c1]Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr: Le Fun: Logic, Equations and Functions. SLP 1987: 17-23
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-02-22 19:21 CET by the dblp team