BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Lincoln:Patrick

Contributed to:

CAV 20142014
RTA 20092009
FME 20032003
RTA 20032003
WRLA 20022002
ASPLOS 20002000
FASE 20002000
WRLA 20002000
World Congress on Formal Methods 19991999
PODS 19991999
RTA 19991999
WRLA 19981998
CADE 19961996
WRLA 19961996
WRLA 19962002
LICS 19951995
LICS 19941994
CAV 19931993
LICS 19921992
POPL 19921992
LICS 19911991
CADE 19881988
SLP 19871987

Wrote 25 papers:

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.
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.
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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.