Travelled to:1 × Austria
1 × Brazil
1 × Germany
1 × Greece
1 × Spain
1 × The Netherlands
2 × France
2 × Italy
8 × USA
Collaborated with:S.Eker J.Meseguer N.Shankar M.Clavel J.C.Mitchell F.Durán N.Martí-Oliet A.Scedrov J.F.Quesada A.Tiwari ∅ J.M.Rushby J.Christian C.L.Talcott M.Mitchell D.Cyrluk H.Aït-Kaci R.Nasr G.Rosu S.Dawson S.D.C.d.Vimercati P.Samarati M.Knapp K.Laderoute D.Lie C.A.Thekkath D.Boneh M.Horowitz S.Escobar
Talks about:maud (9) logic (5) linear (4) system (3) algorithm (2) biolog (2) associ (2) aspect (2) proof (2) order (2)
Person: Patrick Lincoln
DBLP: Lincoln:Patrick
Contributed to:
2014
2009
20032003
2002
2000
200020001999
199919991998
199619962002
1995199419931992
199219911988
1987Wrote 25 papers:
- CAV-2014-TiwariL
- A Nonlinear Real Arithmetic Fragment (AT, PL), pp. 729–736.
- RTA-2009-ClavelDEELMMT #maude #unification
- Unification and Narrowing in Maude 2.4 (MC, FD, SE, SE, PL, NMO, JM, CLT), pp. 380–390.
- FME-2003-RosuELM #equation #proving
- Certifying and Synthesizing Membership Equational Proofs (GR, SE, PL, JM), pp. 359–380.
- RTA-2003-ClavelDELMMT #maude
- The Maude 2.0 System (MC, FD, SE, PL, NMO, JM, CLT), pp. 76–87.
- RTA-2003-Lincoln #biology
- Invited Talk: Symbolic Systems Biology (PL), p. 1.
- WRLA-2002-EkerKLLT #biology #execution #logic #modelling #network
- Pathway Logic: Executable Models of Biological Networks (SE, MK, KL, PL, CLT), pp. 144–161.
- ASPLOS-2000-LieTMLBMH #architecture
- Architectural Support for Copy and Tamper Resistant Software (DL, CAT, MM, PL, DB, JCM, MH), pp. 168–177.
- FASE-2000-ClavelDELMMQ #maude #using
- Using Maude (MC, FD, SE, PL, NMO, JM, JFQ), pp. 371–374.
- WRLA-2000-ClavelDELMMQ #maude #towards
- Towards Maude 2.0 (MC, FD, SE, PL, NMO, JM, JFQ), pp. 294–315.
- FM-v1-1999-LincolnMMS #analysis #equivalence #polynomial #probability #security
- Probabilistic Polynomial-Time Equivalence and Security Analysis (PL, JCM, MM, AS), pp. 776–793.
- PODS-1999-DawsonVLS
- Minimal Data Upgrading to Prevent Inference and Association (SD, SDCdV, PL, PS), pp. 114–125.
- RTA-1999-ClavelDELMMQ #maude
- The Maude System (MC, FD, SE, PL, NMO, JM, JFQ), pp. 240–243.
- WRLA-1998-ClavelDELMM #maude
- Metalevel computation in Maude (MC, FD, SE, PL, NMO, JM), pp. 331–352.
- WRLA-1998-ClavelDELMMQ #maude #metalanguage
- Maude as a metalanguage (MC, FD, SE, PL, NMO, JM, JFQ), pp. 147–160.
- CADE-1996-CyrlukLS #on the
- On Shostak’s Decision Procedure for Combinations of Theories (DC, PL, NS), pp. 463–477.
- RWLW-1996-ClavelELM #maude
- Principles of Maude (MC, SE, PL, JM), pp. 65–89.
- WRLA-J-1996-ClavelDELMMQ02 #logic #maude #named #programming #specification
- Maude: specification and programming in rewriting logic (MC, FD, SE, PL, NMO, JM, JFQ), pp. 187–243.
- LICS-1995-LincolnSS #higher-order #linear #logic #problem
- Decision Problems for Second-Order Linear Logic (PL, AS, NS), pp. 476–485.
- LICS-1994-LincolnS #calculus #first-order #linear #logic #proving
- Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi (PL, NS), pp. 282–291.
- CAV-1993-LincolnR #algorithm #consistency #fault #hybrid #interactive #verification
- The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model (PL, JMR), pp. 292–304.
- LICS-1992-LincolnM #aspect-oriented #linear #λ-calculus
- Operational aspects of linear λ calculus (PL, JCM), pp. 235–246.
- POPL-1992-LincolnM #algorithm #aspect-oriented #type inference #type system
- Algorithmic Aspects of Type Inference with Subtypes (PL, JCM), pp. 293–304.
- LICS-1991-LincolnSS
- Linearizing Intuitionistic Implication (PL, AS, NS), pp. 51–62.
- CADE-1988-LincolnC #commutative #unification
- Adventures in Associative-Commutative Unification (PL, JC), pp. 358–367.
- SLP-1987-Ait-KaciLN87 #equation #logic
- Le Fun: Logic, Equations and Functions (HAK, PL, RN), pp. 17–23.