| 2007 |
|---|
| 91 | | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
All About Maude - A High-Performance Logical Framework, How to Specify, Program and Verify Systems in Rewriting Logic
Springer 2007 |
| 90 | EE | Ashish Tiwari,
Carolyn L. Talcott,
Merrill Knapp,
Patrick Lincoln,
Keith Laderoute:
Analyzing Pathways Using SAT-Based Approaches.
AB 2007: 155-169 |
| 89 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Carolyn L. Talcott:
Introduction.
All About Maude 2007: 1-28 |
| 88 | EE | 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 |
| 87 | EE | 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 |
| 86 | EE | 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 |
| 85 | EE | 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 |
| 84 | EE | 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 |
| 83 | EE | 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 |
| 82 | EE | 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 |
| 81 | EE | 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 |
| 80 | EE | 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 |
| 79 | EE | 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 |
| 78 | EE | 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 |
| 77 | EE | 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 |
| 76 | EE | 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 |
| 75 | EE | 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 |
| 74 | EE | 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 |
| 73 | EE | 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 |
| 72 | EE | 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 |
| 71 | EE | 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 |
| 70 | EE | 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 |
| 69 | EE | 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 |
| 68 | EE | 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 |
| 67 | EE | 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 |
| 66 | EE | 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 |
| 2005 |
|---|
| 65 | EE | 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 |
| 64 | EE | 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 |
| 63 | | 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) |
| 2004 |
|---|
| 62 | EE | Patrick Lincoln,
Ashish Tiwari:
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks.
HSCC 2004: 660-672 |
| 61 | EE | 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 |
| 60 | EE | Patrick Lincoln,
Phillip A. Porras,
Vitaly Shmatikov:
Privacy-Preserving Sharing and Correlation of Security Alerts.
USENIX Security Symposium 2004: 239-254 |
| 59 | | 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) |
| 2003 |
|---|
| 58 | EE | 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 |
| 57 | EE | David L. Dill,
Patrick Lincoln:
Evolution as Design Engineer.
CMSB 2003: 202-206 |
| 56 | EE | 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 |
| 55 | EE | Grigore Rosu,
Steven Eker,
Patrick Lincoln,
José Meseguer:
Certifying and Synthesizing Membership Equational Proofs.
FME 2003: 359-380 |
| 54 | EE | Patrick Lincoln:
Invited Talk: Symbolic Systems Biology.
RTA 2003: 1 |
| 53 | EE | 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 |
| 52 | EE | Linda Briesemeister,
Patrick Lincoln,
Phillip A. Porras:
Epidemic profiles and defense of scale-free networks.
WORM 2003: 67-75 |
| 2002 |
|---|
| 51 | EE | Ajay Chander,
Steven Dawson,
Patrick Lincoln,
David W. J. Stringer-Calvert:
NEVRLATE: Scalable Resource Discovery.
CCGRID 2002: 382-388 |
| 50 | EE | Livio Ricciulli,
Phillip A. Porras,
Patrick Lincoln,
Pankaj Kakkar,
Steven Dawson:
An Adaptable Network COntrol and Reporting System (ANCORS).
DANCE 2002: 466-483 |
| 49 | EE | 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 |
| 48 | EE | Stanislaw Jarecki,
Patrick Lincoln,
Vitaly Shmatikov:
Negotiated Privacy: (Extended Abstract).
ISSS 2002: 96-111 |
| 47 | EE | 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 |
| 46 | EE | Steven Eker,
Merrill Knapp,
Keith Laderoute,
Patrick Lincoln,
Carolyn L. Talcott:
Pathway Logic: Executable Models of Biological Networks.
Electr. Notes Theor. Comput. Sci. 71: (2002) |
| 45 | EE | 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) |
| 44 | EE | 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) |
| 2001 |
|---|
| 43 | | Sabrina De Capitani di Vimercati,
Patrick Lincoln,
Livio Ricciulli,
Pierangela Samarati:
Global Infrastructure Protection System.
Journal of Computer Security 9(4): 251-284 (2001) |
| 42 | | 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 |
|---|
| 41 | EE | Rebecca N. Wright,
Patrick Lincoln,
Jonathan K. Millen:
Efficient fault-tolerant certificate revocation.
ACM Conference on Computer and Communications Security 2000: 19-24 |
| 40 | | Francisco Durán,
Steven Eker,
Patrick Lincoln,
José Meseguer:
Principles of Mobile Maude.
ASA/MA 2000: 73-85 |
| 39 | EE | 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 |
| 38 | EE | 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 |
| 37 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
Using Maude.
FASE 2000: 371-374 |
| 36 | | Steven Dawson,
Sabrina De Capitani di Vimercati,
Patrick Lincoln,
Pierangela Samarati:
Classifying Information for External Release.
SEC 2000: 151-160 |
| 35 | EE | 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: (2000) |
| 1999 |
|---|
| 34 | EE | Iliano Cervesato,
Nancy A. Durgin,
Patrick Lincoln,
John C. Mitchell,
Andre Scedrov:
A Meta-Notation for Protocol Analysis.
CSFW 1999: 55-69 |
| 33 | EE | Sabrina De Capitani di Vimercati,
Patrick Lincoln,
Livio Ricciulli,
Pierangela Samarati:
PGRIP: PNNI Global Routing Infrastructure Protection.
NDSS 1999 |
| 32 | EE | Steven Dawson,
Sabrina De Capitani di Vimercati,
Patrick Lincoln,
Pierangela Samarati:
Minimal Data Upgrading to Prevent Inference and Association.
PODS 1999: 114-125 |
| 31 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Jose F. Quesada:
The Maude System.
RTA 1999: 240-243 |
| 30 | EE | Patrick Lincoln,
John C. Mitchell,
Mark Mitchell,
Andre Scedrov:
Probabilistic Polynomial-Time Equivalence and Security Analysis.
World Congress on Formal Methods 1999: 776-793 |
| 29 | EE | Patrick Lincoln,
John C. Mitchell,
Andre Scedrov:
Optimization Complexity of Linear Logic Proof Games.
Theor. Comput. Sci. 227(1-2): 299-331 (1999) |
| 1998 |
|---|
| 28 | EE | 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 |
| 27 | EE | 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: (1998) |
| 26 | EE | Manuel Clavel,
Francisco Durán,
Steven Eker,
Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer:
Metalevel computation in Maude.
Electr. Notes Theor. Comput. Sci. 15: (1998) |
| 1997 |
|---|
| 25 | | Shmuel Katz,
Patrick Lincoln,
John M. Rushby:
Low-Overhead Time-Triggered Group Membership.
WDAG 1997: 155-169 |
| 24 | EE | Chris J. Walter,
Patrick Lincoln,
Neeraj Suri:
Formally Verified On-Line Diagnosis.
IEEE Trans. Software Eng. 23(11): 684-721 (1997) |
| 1996 |
|---|
| 23 | EE | Livio Ricciulli,
Patrick Lincoln,
José Meseguer:
Distributed Simulation of Parallel Executions.
Annual Simulation Symposium 1996: 15-24 |
| 22 | | David Cyrluk,
Patrick Lincoln,
Natarajan Shankar:
On Shostak's Decision Procedure for Combinations of Theories.
CADE 1996: 463-477 |
| 21 | EE | Patrick Lincoln,
John C. Mitchell,
Andre Scedrov:
Linear logic proof games and optimization.
Bulletin of Symbolic Logic 2(3): 322-338 (1996) |
| 20 | EE | Patrick Lincoln,
John C. Mitchell,
Andre Scedrov:
The Complexity of Local Proof Search in Linear Logic.
Electr. Notes Theor. Comput. Sci. 3: (1996) |
| 19 | EE | Manuel Clavel,
Steven Eker,
Patrick Lincoln,
José Meseguer:
Principles of Maude.
Electr. Notes Theor. Comput. Sci. 4: (1996) |
| 1995 |
|---|
| 18 | | Patrick Lincoln,
Andre Scedrov,
Natarajan Shankar:
Decision Problems for Second-Order Linear Logic
LICS 1995: 476-485 |
| 1994 |
|---|
| 17 | | Patrick Lincoln,
José Meseguer,
Livio Ricciulli:
The Rewrite Rule Machine Node Architecture and Its Performance.
CONPAR 1994: 509-520 |
| 16 | | Patrick Lincoln,
Natarajan Shankar:
Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi
LICS 1994: 282-291 |
| 15 | | Patrick Lincoln,
Narciso Martí-Oliet,
José Meseguer,
Livio Ricciulli:
Compiling Rewriting onto SIMD and MIMD/SIMD Maschines.
PARLE 1994: 37-48 |
| 14 | | Patrick Lincoln,
Andre Scedrov:
First-Order Linear Logic without Modalities is NEXPTIME-Hard.
Theor. Comput. Sci. 135(1): 139-153 (1994) |
| 13 | | Patrick Lincoln,
Timothy C. Winkler:
Constant-Only Multiplicative Linear Logic is NP-Complete.
Theor. Comput. Sci. 135(1): 155-169 (1994) |
| 1993 |
|---|
| 12 | | Patrick Lincoln,
John M. Rushby:
The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model.
CAV 1993: 292-304 |
| 11 | | Patrick Lincoln,
John M. Rushby:
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model.
FTCS 1993: 402-411 |
| 10 | | Patrick Lincoln,
Andre Scedrov,
Natarajan Shankar:
Linearizing Intuitionistic Implication.
Ann. Pure Appl. Logic 60(2): 151-177 (1993) |
| 1992 |
|---|
| 9 | | Patrick Lincoln,
John C. Mitchell:
Operational aspects of linear lambda calculus
LICS 1992: 235-246 |
| 8 | | Patrick Lincoln,
John C. Mitchell:
Algorithmic Aspects of Type Inference with Subtypes.
POPL 1992: 293-304 |
| 7 | | 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) |
| 1991 |
|---|
| 6 | | Patrick Lincoln,
Andre Scedrov,
Natarajan Shankar:
Linearizing Intuitionistic Implication
LICS 1991: 51-62 |
| 1990 |
|---|
| 5 | | Patrick Lincoln,
John C. Mitchell,
Andre Scedrov,
Natarajan Shankar:
Decision Problems for Propositional Linear Logic
FOCS 1990: 662-671 |
| 1989 |
|---|
| 4 | EE | 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) |
| 3 | | Patrick Lincoln,
Jim Christian:
Adventures in Associative-Commutative Unification.
J. Symb. Comput. 8(1/2): 217-240 (1989) |
| 1988 |
|---|
| 2 | | Patrick Lincoln,
Jim Christian:
Adventures in Associative-Commutative Unification (A Summary).
CADE 1988: 358-367 |
| 1987 |
|---|
| 1 | | Hassan Aït-Kaci,
Patrick Lincoln,
Roger Nasr:
Le Fun: Logic, Equations and Functions.
SLP 1987: 17-23 |
