Patrick Lincoln

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

Venues

Active years

1988–2018

Best venue rank

Where they publish

Papers

27 indexed papers, newest first.

Year	Venue	Title	Authors
2018	DSN	Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes.	Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu
2018	HCI	bRIGHT - Workstations of the Future and Leveraging Contextual Models.	Rukman Senanayake, Grit Denker, Patrick Lincoln
2017	AAAI	Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models.	Shalini Ghosh, Patrick Lincoln, Ashish Tiwari, Xiaojin Zhu
2014	CAV	A Nonlinear Real Arithmetic Fragment.	Ashish Tiwari, Patrick Lincoln
2013	PRDC	Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks.	Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln
2005	RECOMB	The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways.	David L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln
2004	PSB	Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.	Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
2003	FM	Certifying and Synthesizing Membership Equational Proofs.	Grigore Rosu, Steven Eker, Patrick Lincoln, Jos Meseguer
2002	CCGRID	NEVRLATE: Scalable Resource Discovery.	Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert
2002	PSB	Pathway Logic: Symbolic Analysis of Biological Signaling.	Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Jos Meseguer, M. Kemal Snmez
2000	ASPLOS	Architectural Support for Copy and Tamper Resistant Software.	David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz
2000	CCS	Efficient fault-tolerant certificate revocation.	Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
2000	FASE	Using Maude.	Manuel Clavel, Francisco Durn, Steven Eker, Patrick Lincoln, Narciso Mart-Oliet, Jos Meseguer, Jose F. Quesada
2000	SEC	Classifying Information for External Release.	Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
1999	FM	Probabilistic Polynomial-Time Equivalence and Security Analysis.	Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
1999	NDSS	PGRIP: PNNI Global Routing Infrastructure Protection.	Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati
1999	PODS	Minimal Data Upgrading to Prevent Inference and Association.	Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
1998	CCS	A Probabilistic Poly-Time Framework for Protocol Analysis.	Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
1996	CADE	On Shostak's Decision Procedure for Combinations of Theories.	David Cyrluk, Patrick Lincoln, Natarajan Shankar
1995	LICS	Decision Problems for Second-Order Linear Logic	Patrick Lincoln, Andre Scedrov, Natarajan Shankar
1994	LICS	Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi	Patrick Lincoln, Natarajan Shankar
1993	CAV	The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model.	Patrick Lincoln, John M. Rushby
1992	LICS	Operational aspects of linear lambda calculus	Patrick Lincoln, John C. Mitchell
1992	POPL	Algorithmic Aspects of Type Inference with Subtypes.	Patrick Lincoln, John C. Mitchell
1991	LICS	Linearizing Intuitionistic Implication	Patrick Lincoln, Andre Scedrov, Natarajan Shankar
1990	FOCS	Decision Problems for Propositional Linear Logic	Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
1988	CADE	Adventures in Associative-Commutative Unification (A Summary).	Patrick Lincoln, Jim Christian