Patrick Lincoln

According to our database, Patrick Lincoln authored at least 115 papers between 1987 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving.

Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema

CoRR, 2023

Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving.

Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema

Proceedings of the IEEE Military Communications Conference, 2023

Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting.

Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema

Proceedings of the IEEE International Conference on Assured Autonomy, 2023

2022

Formal Methods at Scale.

William Martin, Patrick Lincoln, William L. Scherlis

IEEE Secur. Priv., 2022

2018

Trusted Neural Networks for Safety-Constrained Autonomous Control.

Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati, Susmit Jha, Vinod Yegneswaran, Patrick Lincoln

CoRR, 2018

bRIGHT - Workstations of the Future and Leveraging Contextual Models.

Rukman Senanayake, Grit Denker, Patrick Lincoln

Proceedings of the Human Interface and the Management of Information. Interaction, Visualization, and Analytics, 2018

Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes.

Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu

Proceedings of the 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops, 2018

Data Efficient Learning of Robust Control Policies.

Susmit Jha, Patrick Lincoln

Proceedings of the 56th Annual Allerton Conference on Communication, 2018

2017

Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models.

Shalini Ghosh, Patrick Lincoln, Ashish Tiwari, Xiaojin Zhu

Proceedings of the Workshops of the The Thirty-First AAAI Conference on Artificial Intelligence, 2017

2016

A search-based procedure for nonlinear real arithmetic.

Ashish Tiwari, Patrick Lincoln

Formal Methods Syst. Des., 2016

ARSENAL: Automatic Requirements Specification Extraction from Natural Language.

Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner

Proceedings of the NASA Formal Methods - 8th International Symposium, 2016

2015

Two Decades of Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2014

Virus Detection in Multiplexed Nanowire Arrays using Hidden Semi-Markov models.

Shalini Ghosh, Patrick Lincoln, Christian Petersen, Alfonso Valdes

CoRR, 2014

Automatically Extracting Requirements Specifications from Natural Language.

Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner

CoRR, 2014

Neuroscience meets cryptography: crypto primitives secure against rubber hose attacks.

Hristo Bojinov, Daniel Sánchez, Paul J. Reber, Dan Boneh, Patrick Lincoln

Commun. ACM, 2014

TRIST: Circumventing Censorship with Transcoding-Resistant Image Steganography.

Christopher Connolly, Patrick Lincoln, Ian Mason, Vinod Yegneswaran

Proceedings of the 4th USENIX Workshop on Free and Open Communications on the Internet, 2014

Safety envelope for security.

Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia

Proceedings of the 3rd International Conference on High Confidence Networked Systems (part of CPS Week), 2014

A Nonlinear Real Arithmetic Fragment.

Ashish Tiwari, Patrick Lincoln

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks.

Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln

Proceedings of the IEEE 19th Pacific Rim International Symposium on Dependable Computing, 2013

2012

Bootstrapping Communications into an Anti-Censorship System.

Patrick Lincoln, Ian Mason, Phillip A. Porras, Vinod Yegneswaran, Zachary Weinberg, Jeroen Massar, William Allen Simpson, Paul Vixie, Dan Boneh

Proceedings of the 2nd USENIX Workshop on Free and Open Communications on the Internet, 2012

Neuroscience Meets Cryptography: Designing Crypto Primitives Secure Against Rubber Hose Attacks.

Hristo Bojinov, Daniel Sánchez, Paul J. Reber, Dan Boneh, Patrick Lincoln

Proceedings of the 21th USENIX Security Symposium, Bellevue, WA, USA, August 8-10, 2012, 2012

2011

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision.

Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio

Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010

Homogeneity as an Advantage: It Takes a Community to Protect an Application.

Linda Briesemeister, Steven Dawson, Patrick Lincoln, Hassen Saïdi, Jim Thornton, Glenn Durfee, Peter C. S. Kwan, Elizabeth Stinson, Adam J. Oliner, John C. Mitchell

Proceedings of the 2010 Workshop on Collaborative Methods for Security and Privacy, 2010

2009

Unification and Narrowing in Maude 2.4.

Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

Challenges in scalable fault tolerance.

Patrick Lincoln

Proceedings of the 2009 IEEE/ACM International Symposium on Nanoscale Architectures, 2009

2007

Mobile Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Adrián Riesco, Alberto Verdejo

Proceedings of the All About Maude, 2007

Specifying Parameterized Data Structures in Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo

Proceedings of the All About Maude, 2007

Playing with Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott, Miguel Palomino, Alberto Verdejo

Proceedings of the All About Maude, 2007

Some Tools.

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

Proceedings of the All About Maude, 2007

Core Maude Grammar.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Complete List of Maude Commands.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Debugging and Troubleshooting.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

A Sampler of Application Areas.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Object-Oriented Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Full Maude: Extending Core Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

User Interfaces and Metalanguage Applications.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Metaprogramming Applications.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Reflection, Metalevel Computation, and Strategies.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

LTL Model Checking.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Model Checking Invariants Through Search.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Object-Based Programming.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Predefined Data Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Module Operations.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

System Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

A Hierarchy of Data Types: From Trees to Sets.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Functional Modules.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Syntax and Basic Parsing.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Using Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Introduction.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the All About Maude, 2007

Analyzing Pathways Using SAT-Based Approaches.

Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute

Proceedings of the Algebraic Biology, Second International Conference, 2007

2005

A comparison between strand spaces and multiset rewriting for security protocol analysis.

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln

J. Comput. Secur., 2005

The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways.

David L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln

Proceedings of the Systems Biology and Regulatory Genomics, 2005

Pathway Logic Helping Biologists Understand and Organize Pathway Information.

Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute

Proceedings of the Fourth International IEEE Computer Society Computational Systems Bioinformatics Conference Workshops & Poster Abstracts, 2005

2004

Multiset rewriting and the complexity of bounded security protocols.

Nancy A. Durgin, Patrick Lincoln, John C. Mitchell

J. Comput. Secur., 2004

Privacy-Preserving Sharing and Correlation of Security Alerts.

Patrick Lincoln, Phillip A. Porras, Vitaly Shmatikov

Proceedings of the 13th USENIX Security Symposium, August 9-13, 2004, San Diego, CA, USA, 2004

Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks.

Patrick Lincoln, Ashish Tiwari

Proceedings of the Hybrid Systems: Computation and Control, 7th International Workshop, 2004

2003

Epidemic profiles and defense of scale-free networks.

Linda Briesemeister, Patrick Lincoln, Phillip A. Porras

Proceedings of the 2003 ACM Workshop on Rapid Malcode, 2003

Invited Talk: Symbolic Systems Biology.

Patrick Lincoln

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

The Maude 2.0 System.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott

Proceedings of the Rewriting Techniques and Applications, 14th International Conference, 2003

Certifying and Synthesizing Membership Equational Proofs.

Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer

Proceedings of the FME 2003: Formal Methods, 2003

Pathway Logic Modeling of Protein Functional Domains in Signal Transduction.

Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute

Proceedings of the 2nd IEEE Computer Society Bioinformatics Conference, 2003

Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude.

Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

Evolution as Design Engineer.

David L. Dill, Patrick Lincoln

Proceedings of the Computational Methods in Systems Biology, First International Workshop, 2003

2002

Maude: specification and programming in rewriting logic.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Theor. Comput. Sci., 2002

Maximizing Sharing of Protected Information.

Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati

J. Comput. Syst. Sci., 2002

Pathway Logic: Executable Models of Biological Networks.

Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott

Proceedings of the Fourth International Workshop on Rewriting logic and Its Applications, 2002

Pathway Logic: Symbolic Analysis of Biological Signaling.

Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez

Proceedings of the 7th Pacific Symposium on Biocomputing, 2002

Negotiated Privacy: (Extended Abstract).

Stanislaw Jarecki, Patrick Lincoln, Vitaly Shmatikov

Proceedings of the Software Security -- Theories and Systems, 2002

A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis.

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov

Proceedings of the Software Security -- Theories and Systems, 2002

An Adaptable Network COntrol and Reporting System (ANCORS).

Livio Ricciulli, Phillip A. Porras, Patrick Lincoln, Pankaj Kakkar, Steven Dawson

Proceedings of the 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 2002

NEVRLATE: Scalable Resource Discovery.

Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert

Proceedings of the 2nd IEEE International Symposium on Cluster Computing and the Grid (CCGrid 2002), 2002

2001

Depender Graphs: A Method of Fault-Tolerant Certificate Distribution.

Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen

J. Comput. Secur., 2001

Global Infrastructure Protection System.

Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati

J. Comput. Secur., 2001

2000

Towards Maude 2.0.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the 3rd International Workshop on Rewriting Logic and its Applications, 2000

Classifying Information for External Release.

Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati

Proceedings of the Information Security for Global Information Infrastructures, 2000

Principles of Mobile Maude.

Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer

Proceedings of the Agent Systems, 2000

Using Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the Fundamental Approaches to Software Engineering, 2000

Relating Strands and Multiset Rewriting for Security Protocol Analysis.

Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov

Proceedings of the 13th IEEE Computer Security Foundations Workshop, 2000

Efficient fault-tolerant certificate revocation.

Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen

Proceedings of the CCS 2000, 2000

Architectural Support for Copy and Tamper Resistant Software.

David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz

Proceedings of the ASPLOS-IX Proceedings of the 9th International Conference on Architectural Support for Programming Languages and Operating Systems, 2000

1999

Optimization Complexity of Linear Logic Proof Games.

Patrick Lincoln, John C. Mitchell, Andre Scedrov

Theor. Comput. Sci., 1999

The Maude System.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the Rewriting Techniques and Applications, 10th International Conference, 1999

Minimal Data Upgrading to Prevent Inference and Association.

Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati

Proceedings of the Eighteenth ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, May 31, 1999

PGRIP: PNNI Global Routing Infrastructure Protection.

Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati

Proceedings of the Network and Distributed System Security Symposium, 1999

Probabilistic Polynomial-Time Equivalence and Security Analysis.

Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov

Proceedings of the FM'99 - Formal Methods, 1999

A Meta-Notation for Protocol Analysis.

Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998

Maude as a metalanguage.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

Metalevel computation in Maude.

Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

Proceedings of the 1998 International Workshop on Rewriting Logic and its Applications, 1998

A Probabilistic Poly-Time Framework for Protocol Analysis.

Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov

Proceedings of the CCS '98, 1998

1997

Formally Verified On-Line Diagnosis.

Chris J. Walter, Patrick Lincoln, Neeraj Suri

IEEE Trans. Software Eng., 1997

Low-Overhead Time-Triggered Group Membership.

Shmuel Katz, Patrick Lincoln, John M. Rushby

Proceedings of the Distributed Algorithms, 11th International Workshop, 1997

1996

The Complexity of Local Proof Search in Linear Logic.

Patrick Lincoln, John C. Mitchell, Andre Scedrov

Proceedings of the Linear Logic Tokyo Meeting 1996, Keio University, Mita Campus, Tokyo, Japan, March 29, 1996

Principles of Maude.

Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer

Proceedings of the First International Workshop on Rewriting Logic and its Applications, 1996

Linear logic proof games and optimization.

Patrick Lincoln, John C. Mitchell, Andre Scedrov

Bull. Symb. Log., 1996

On Shostak's Decision Procedure for Combinations of Theories.

David Cyrluk, Patrick Lincoln, Natarajan Shankar

Proceedings of the Automated Deduction - CADE-13, 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30, 1996

Distributed Simulation of Parallel Executions.

Livio Ricciulli, Patrick Lincoln, José Meseguer

Proceedings of the Proceedings 29st Annual Simulation Symposium (SS '96), 1996

1995

Decision Problems for Second-Order Linear Logic

Patrick Lincoln, Andre Scedrov, Natarajan Shankar

Proceedings of the Proceedings, 1995

1994

Constant-Only Multiplicative Linear Logic is NP-Complete.

Patrick Lincoln, Timothy C. Winkler

Theor. Comput. Sci., 1994

First-Order Linear Logic without Modalities is NEXPTIME-Hard.

Patrick Lincoln, Andre Scedrov

Theor. Comput. Sci., 1994

Compiling Rewriting onto SIMD and MIMD/SIMD Maschines.

Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli

Proceedings of the PARLE '94: Parallel Architectures and Languages Europe, 1994

Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi

Patrick Lincoln, Natarajan Shankar

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic.

Patrick Lincoln, Narciso Martí-Oliet, José Meseguer

Proceedings of the Specification of Parallel Algorithms, 1994

The Rewrite Rule Machine Node Architecture and Its Performance.

Patrick Lincoln, José Meseguer, Livio Ricciulli

Proceedings of the Parallel Processing: CONPAR 94, 1994

1993

Linearizing Intuitionistic Implication.

Patrick Lincoln, Andre Scedrov, Natarajan Shankar

Ann. Pure Appl. Log., 1993

A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model.

Patrick Lincoln, John M. Rushby

Proceedings of the Digest of Papers: FTCS-23, 1993

The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model.

Patrick Lincoln, John M. Rushby

Proceedings of the Computer Aided Verification, 5th International Conference, 1993

1992

Computational aspects of linear logic.

Patrick Lincoln

PhD thesis, 1992

Linear logic.

Patrick Lincoln

SIGACT News, 1992

Decision Problems for Propositional Linear Logic.

Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar

Ann. Pure Appl. Log., 1992

Algorithmic Aspects of Type Inference with Subtypes.

Patrick Lincoln, John C. Mitchell

Proceedings of the Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1992

Operational aspects of linear lambda calculus

Patrick Lincoln, John C. Mitchell

Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

1989

Efficient Implementation of Lattice Operations.

Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr

ACM Trans. Program. Lang. Syst., 1989

Adventures in Associative-Commutative Unification.

Patrick Lincoln, Jim Christian

J. Symb. Comput., 1989

1988

Adventures in Associative-Commutative Unification (A Summary).

Patrick Lincoln, Jim Christian

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Le Fun: Logic, Equations and Functions.

Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr

Proceedings of the 1987 Symposium on Logic Programming, San Francisco, California, USA, August 31, 1987