default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDPatrick Lincoln
Person information
- affiliation: SRI International, Menlo Park, California, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2023
[c70]Susmit Jha, Sumit Kumar Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Sandeep Neema
:
Dehallucinating Large Language Models Using Formal Methods Guided Iterative Prompting. ICAA 2023: 149-152- [c69]Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema:
Counterexample Guided Inductive Synthesis Using Large Language Models and Satisfiability Solving. MILCOM 2023: 944-949 - [i4]Sumit Kumar Jha, Susmit Jha, Patrick Lincoln, Nathaniel D. Bastian, Alvaro Velasquez, Rickard Ewetz, Sandeep Neema:
Neuro Symbolic Reasoning for Planning: Counterexample Guided Inductive Synthesis using Large Language Models and Satisfiability Solving. CoRR abs/2309.16436 (2023) - 2022
- [j19]William Martin, Patrick Lincoln, William L. Scherlis:
Formal Methods at Scale. IEEE Secur. Priv. 20(3): 22-23 (2022)
2010 – 2019
- 2018
- [c68]Susmit Jha, Patrick Lincoln:
Data Efficient Learning of Robust Control Policies. Allerton 2018: 856-861 - [c67]Shalini Ghosh, Susmit Jha, Ashish Tiwari, Patrick Lincoln, Xiaojin Zhu:
Model, Data and Reward Repair: Trusted Machine Learning for Markov Decision Processes. DSN Workshops 2018: 194-199 - [c66]Rukman Senanayake, Grit Denker, Patrick Lincoln:
bRIGHT - Workstations of the Future and Leveraging Contextual Models. HCI (4) 2018: 346-357 - [e2]Antonio Chella, David Gamez, Patrick Lincoln, Riccardo Manzotti, Jonathan D. Pfautz:
Papers of the 2019 Towards Conscious AI Systems Symposium co-located with the Association for the Advancement of Artificial Intelligence 2019 Spring Symposium Series (AAAI SSS-19), Stanford, CA, March 25-27, 2019. CEUR Workshop Proceedings 2287, CEUR-WS.org 2018 [contents] - [i3]Shalini Ghosh, Amaury Mercier, Dheeraj Pichapati, Susmit Jha, Vinod Yegneswaran, Patrick Lincoln:
Trusted Neural Networks for Safety-Constrained Autonomous Control. CoRR abs/1805.07075 (2018) - 2017
- [c65]Shalini Ghosh, Patrick Lincoln, Ashish Tiwari, Xiaojin Zhu:
Trusted Machine Learning: Model Repair and Data Repair for Probabilistic Models. AAAI Workshops 2017 - 2016
- [j18]Ashish Tiwari, Patrick Lincoln:
A search-based procedure for nonlinear real arithmetic. Formal Methods Syst. Des. 48(3): 257-273 (2016) - [c64]Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner:
ARSENAL: Automatic Requirements Specification Extraction from Natural Language. NFM 2016: 41-46 - 2015
- [c63]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, Carolyn L. Talcott:
Two Decades of Maude. Logic, Rewriting, and Concurrency 2015: 232-254 - 2014
- [j17]Hristo Bojinov, Daniel Sánchez, Paul J. Reber, Dan Boneh, Patrick Lincoln:
Neuroscience meets cryptography: crypto primitives secure against rubber hose attacks. Commun. ACM 57(5): 110-118 (2014) - [c62]Ashish Tiwari, Patrick Lincoln:
A Nonlinear Real Arithmetic Fragment. CAV 2014: 729-736 - [c61]Ashish Tiwari, Bruno Dutertre, Dejan Jovanovic, Thomas de Candia, Patrick Lincoln, John M. Rushby, Dorsa Sadigh, Sanjit A. Seshia:
Safety envelope for security. HiCoNS 2014: 85-94 - [c60]Christopher Connolly, Patrick Lincoln, Ian Mason, Vinod Yegneswaran:
TRIST: Circumventing Censorship with Transcoding-Resistant Image Steganography. FOCI 2014 - [i2]Shalini Ghosh, Daniel Elenius, Wenchao Li, Patrick Lincoln, Natarajan Shankar, Wilfried Steiner:
Automatically Extracting Requirements Specifications from Natural Language. CoRR abs/1403.3142 (2014) - [i1]Shalini Ghosh, Patrick Lincoln, Christian Petersen, Alfonso Valdes:
Virus Detection in Multiplexed Nanowire Arrays using Hidden Semi-Markov models. CoRR abs/1407.4490 (2014) - 2013
- [c59]Shalini Ghosh, Wilfried Steiner, Grit Denker, Patrick Lincoln:
Probabilistic Modeling of Failure Dependencies Using Markov Logic Networks. PRDC 2013: 162-171 - 2012
- [c58]Hristo Bojinov, Daniel Sánchez, Paul J. Reber, Dan Boneh, Patrick Lincoln:
Neuroscience Meets Cryptography: Designing Crypto Primitives Secure Against Rubber Hose Attacks. USENIX Security Symposium 2012: 129-141 - [c57]Patrick Lincoln, Ian Mason, Phillip A. Porras, Vinod Yegneswaran, Zachary Weinberg, Jeroen Massar, William Allen Simpson, Paul Vixie, Dan Boneh:
Bootstrapping Communications into an Anti-Censorship System. FOCI 2012 - 2011
- [c56]Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio:
Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 110-143 - 2010
- [c55]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:
Homogeneity as an Advantage: It Takes a Community to Protect an Application. CollSec 2010
2000 – 2009
- 2009
- [c54]Patrick Lincoln:
Challenges in scalable fault tolerance. NANOARCH 2009: 13-14 - [c53]Manuel Clavel, Francisco Durán, Steven Eker, Santiago Escobar, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Unification and Narrowing in Maude 2.4. RTA 2009: 380-390 - 2007
- [c52]Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute:
Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169 - [p24]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott:
Introduction. All About Maude 2007: 1-28 - [p23]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 - [p22]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 - [p21]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 - [p20]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 - [p19]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 - [p18]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 - [p17]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 - [p16]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 - [p15]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 - [p14]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 - [p13]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 - [p12]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 - [p11]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 - [p10]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 - [p9]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 - [p8]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 - [p7]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 - [p6]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 - [p5]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 - [p4]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 - [p3]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 - [p2]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 - [p1]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 - [e1]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. Lecture Notes in Computer Science 4350, Springer 2007, ISBN 978-3-540-71940-3 [contents] - 2005
- [j16]Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln:
A comparison between strand spaces and multiset rewriting for security protocol analysis. J. Comput. Secur. 13(2): 265-316 (2005) - [c51]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 - [c50]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 - 2004
- [j15]Nancy A. Durgin, Patrick Lincoln, John C. Mitchell:
Multiset rewriting and the complexity of bounded security protocols. J. Comput. Secur. 12(2): 247-311 (2004) - [c49]Patrick Lincoln, Ashish Tiwari:
Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. HSCC 2004: 660-672 - [c48]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 - [c47]Patrick Lincoln, Phillip A. Porras, Vitaly Shmatikov:
Privacy-Preserving Sharing and Correlation of Security Alerts. USENIX Security Symposium 2004: 239-254 - 2003
- [c46]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 - [c45]David L. Dill, Patrick Lincoln:
Evolution as Design Engineer. CMSB 2003: 202-206 - [c44]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 - [c43]Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer:
Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380 - [c42]Patrick Lincoln:
Invited Talk: Symbolic Systems Biology. RTA 2003: 1 - [c41]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 - [c40]Linda Briesemeister, Patrick Lincoln, Phillip A. Porras:
Epidemic profiles and defense of scale-free networks. WORM 2003: 67-75 - 2002
- [j14]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) - [j13]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) - [c39]Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert:
NEVRLATE: Scalable Resource Discovery. CCGRID 2002: 382-388 - [c38]Livio Ricciulli, Phillip A. Porras, Patrick Lincoln, Pankaj Kakkar, Steven Dawson:
An Adaptable Network COntrol and Reporting System (ANCORS). DANCE 2002: 466-483 - [c37]Stanislaw Jarecki, Patrick Lincoln, Vitaly Shmatikov:
Negotiated Privacy: (Extended Abstract). ISSS 2002: 96-111 - [c36]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 - [c35]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 - [c34]Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott:
Pathway Logic: Executable Models of Biological Networks. WRLA 2002: 144-161 - 2001
- [j12]Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati:
Global Infrastructure Protection System. J. Comput. Secur. 9(4): 251-284 (2001) - [j11]Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen:
Depender Graphs: A Method of Fault-Tolerant Certificate Distribution. J. Comput. Secur. 9(4): 323-338 (2001) - 2000
- [c33]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 - [c32]Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen:
Efficient fault-tolerant certificate revocation. CCS 2000: 19-24 - [c31]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 - [c30]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Using Maude. FASE 2000: 371-374 - [c29]Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer:
Principles of Mobile Maude. ASA/MA 2000: 73-85 - [c28]Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati:
Classifying Information for External Release. SEC 2000: 151-160 - [c27]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Towards Maude 2.0. WRLA 2000: 294-315
1990 – 1999
- 1999
- [j10]Patrick Lincoln, John C. Mitchell, Andre Scedrov:
Optimization Complexity of Linear Logic Proof Games. Theor. Comput. Sci. 227(1-2): 299-331 (1999) - [c26]Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov:
A Meta-Notation for Protocol Analysis. CSFW 1999: 55-69 - [c25]Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov:
Probabilistic Polynomial-Time Equivalence and Security Analysis. World Congress on Formal Methods 1999: 776-793 - [c24]Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati:
PGRIP: PNNI Global Routing Infrastructure Protection. NDSS 1999 - [c23]Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati:
Minimal Data Upgrading to Prevent Inference and Association. PODS 1999: 114-125 - [c22]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
The Maude System. RTA 1999: 240-243 - 1998
- [c21]Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov:
A Probabilistic Poly-Time Framework for Protocol Analysis. CCS 1998: 112-121 - [c20]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada:
Maude as a metalanguage. WRLA 1998: 147-160 - [c19]Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer:
Metalevel computation in Maude. WRLA 1998: 331-352 - 1997
- [j9]Chris J. Walter, Patrick Lincoln, Neeraj Suri:
Formally Verified On-Line Diagnosis. IEEE Trans. Software Eng. 23(11): 684-721 (1997) - [c18]Shmuel Katz, Patrick Lincoln, John M. Rushby:
Low-Overhead Time-Triggered Group Membership. WDAG 1997: 155-169 - 1996
- [j8]Patrick Lincoln, John C. Mitchell, Andre Scedrov:
Linear logic proof games and optimization. Bull. Symb. Log. 2(3): 322-338 (1996) - [c17]Livio Ricciulli, Patrick Lincoln, José Meseguer:
Distributed Simulation of Parallel Executions. Annual Simulation Symposium 1996: 15-24 - [c16]David Cyrluk, Patrick Lincoln, Natarajan Shankar:
On Shostak's Decision Procedure for Combinations of Theories. CADE 1996: 463-477 - [c15]Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer:
Principles of Maude. WRLA 1996: 65-89 - [c14]Patrick Lincoln, John C. Mitchell, Andre Scedrov:
The Complexity of Local Proof Search in Linear Logic. Linear Logic Tokyo Meeting 1996: 120-129 - 1995
- [c13]Patrick Lincoln, Andre Scedrov, Natarajan Shankar:
Decision Problems for Second-Order Linear Logic. LICS 1995: 476-485 - 1994
- [j7]Patrick Lincoln, Andre Scedrov:
First-Order Linear Logic without Modalities is NEXPTIME-Hard. Theor. Comput. Sci. 135(1): 139-153 (1994) - [j6]Patrick Lincoln, Timothy C. Winkler:
Constant-Only Multiplicative Linear Logic is NP-Complete. Theor. Comput. Sci. 135(1): 155-169 (1994) - [c12]Patrick Lincoln, José Meseguer, Livio Ricciulli:
The Rewrite Rule Machine Node Architecture and Its Performance. CONPAR 1994: 509-520 - [c11]Patrick Lincoln, Narciso Martí-Oliet, José Meseguer:
Specification, Transformation, and Programming of Concurrent Systems in Rewriting Logic. Specification of Parallel Algorithms 1994: 309-339 - [c10]Patrick Lincoln, Natarajan Shankar:
Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi. LICS 1994: 282-291 - [c9]Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli:
Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE 1994: 37-48 - 1993
- [j5]Patrick Lincoln, Andre Scedrov, Natarajan Shankar:
Linearizing Intuitionistic Implication. Ann. Pure Appl. Log. 60(2): 151-177 (1993) - [c8]Patrick Lincoln, John M. Rushby:
The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. CAV 1993: 292-304 - [c7]Patrick Lincoln, John M. Rushby:
A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model. FTCS 1993: 402-411 - 1992
- [b1]Patrick Lincoln:
Computational aspects of linear logic. Stanford University, USA, 1992 - [j4]Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar:
Decision Problems for Propositional Linear Logic. Ann. Pure Appl. Log. 56(1-3): 239-311 (1992) - [j3]Patrick Lincoln:
Linear logic. SIGACT News 23(2): 29-37 (1992) - [c6]Patrick Lincoln, John C. Mitchell:
Operational aspects of linear lambda calculus. LICS 1992: 235-246 - [c5]Patrick Lincoln, John C. Mitchell:
Algorithmic Aspects of Type Inference with Subtypes. POPL 1992: 293-304 - 1991
- [c4]Patrick Lincoln, Andre Scedrov, Natarajan Shankar:
Linearizing Intuitionistic Implication. LICS 1991: 51-62 - 1990
- [c3]Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar:
Decision Problems for Propositional Linear Logic. FOCS 1990: 662-671
1980 – 1989
- 1989
- [j2]Patrick Lincoln, Jim Christian:
Adventures in Associative-Commutative Unification. J. Symb. Comput. 8(1/2): 217-240 (1989) - [j1]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) - 1988
- [c2]Patrick Lincoln, Jim Christian:
Adventures in Associative-Commutative Unification (A Summary). CADE 1988: 358-367 - 1987
- [c1]Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr:
Le Fun: Logic, Equations and Functions. SLP 1987: 17-23
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-20 23:00 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
