The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Patrick Lincoln: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Hassan Aït-Kaci, Robert S. Boyer, Patrick Lincoln, Roger Nasr
    Efficient Implementation of Lattice Operations. [Citation Graph (10, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 1989, v:11, n:1, pp:115-146 [Journal]
  2. Patrick Lincoln, Jim Christian
    Adventures in Associative-Commutative Unification (A Summary). [Citation Graph (1, 0)][DBLP]
    CADE, 1988, pp:358-367 [Conf]
  3. Patrick Lincoln, Jim Christian
    Adventures in Associative-Commutative Unification. [Citation Graph (1, 0)][DBLP]
    J. Symb. Comput., 1989, v:8, n:1/2, pp:217-240 [Journal]
  4. Livio Ricciulli, Patrick Lincoln, José Meseguer
    Distributed Simulation of Parallel Executions. [Citation Graph (0, 0)][DBLP]
    Annual Simulation Symposium, 1996, pp:15-24 [Conf]
  5. David Lie, Chandramohan A. Thekkath, Mark Mitchell, Patrick Lincoln, Dan Boneh, John C. Mitchell, Mark Horowitz
    Architectural Support for Copy and Tamper Resistant Software. [Citation Graph (0, 0)][DBLP]
    ASPLOS, 2000, pp:168-177 [Conf]
  6. David Cyrluk, Patrick Lincoln, Natarajan Shankar
    On Shostak's Decision Procedure for Combinations of Theories. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:463-477 [Conf]
  7. Patrick Lincoln, John M. Rushby
    The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. [Citation Graph (0, 0)][DBLP]
    CAV, 1993, pp:292-304 [Conf]
  8. Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert
    NEVRLATE: Scalable Resource Discovery. [Citation Graph (0, 0)][DBLP]
    CCGRID, 2002, pp:382-388 [Conf]
  9. Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
    A Probabilistic Poly-Time Framework for Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer and Communications Security, 1998, pp:112-121 [Conf]
  10. Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
    Efficient fault-tolerant certificate revocation. [Citation Graph (0, 0)][DBLP]
    ACM Conference on Computer and Communications Security, 2000, pp:19-24 [Conf]
  11. David L. Dill, Patrick Lincoln
    Evolution as Design Engineer. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:202-206 [Conf]
  12. Steven Eker, Keith Laderoute, Patrick Lincoln, M. G. Sriram, Carolyn L. Talcott
    Representing and Simulating Protein Functional Domains in Signal Transduction Using Maude. [Citation Graph (0, 0)][DBLP]
    CMSB, 2003, pp:164-165 [Conf]
  13. Patrick Lincoln, José Meseguer, Livio Ricciulli
    The Rewrite Rule Machine Node Architecture and Its Performance. [Citation Graph (0, 0)][DBLP]
    CONPAR, 1994, pp:509-520 [Conf]
  14. Merrill Knapp, Linda Briesemeister, Steven Eker, Patrick Lincoln, Andy Poggio, Carolyn L. Talcott, Keith Laderoute
    Pathway Logic Helping Biologists Understand and Organize Pathway Information. [Citation Graph (0, 0)][DBLP]
    CSB Workshops, 2005, pp:155-156 [Conf]
  15. Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
    Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. [Citation Graph (0, 0)][DBLP]
    CSB, 2003, pp:618-619 [Conf]
  16. Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
    A Meta-Notation for Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    CSFW, 1999, pp:55-69 [Conf]
  17. Iliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov
    Relating Strands and Multiset Rewriting for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    CSFW, 2000, pp:35-51 [Conf]
  18. Livio Ricciulli, Phillip A. Porras, Patrick Lincoln, Pankaj Kakkar, Steven Dawson
    An Adaptable Network COntrol and Reporting System (ANCORS). [Citation Graph (0, 0)][DBLP]
    DANCE, 2002, pp:466-483 [Conf]
  19. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Using Maude. [Citation Graph (0, 0)][DBLP]
    FASE, 2000, pp:371-374 [Conf]
  20. Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov
    Probabilistic Polynomial-Time Equivalence and Security Analysis. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:776-793 [Conf]
  21. Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer
    Certifying and Synthesizing Membership Equational Proofs. [Citation Graph (0, 0)][DBLP]
    FME, 2003, pp:359-380 [Conf]
  22. Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
    Decision Problems for Propositional Linear Logic [Citation Graph (0, 0)][DBLP]
    FOCS, 1990, pp:662-671 [Conf]
  23. Patrick Lincoln, John M. Rushby
    A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model. [Citation Graph (0, 0)][DBLP]
    FTCS, 1993, pp:402-411 [Conf]
  24. Patrick Lincoln, Ashish Tiwari
    Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. [Citation Graph (0, 0)][DBLP]
    HSCC, 2004, pp:660-672 [Conf]
  25. Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov
    A Comparison between Strand Spaces and Multiset Rewriting for Security Protocol Analysis. [Citation Graph (0, 0)][DBLP]
    ISSS, 2002, pp:356-383 [Conf]
  26. Stanislaw Jarecki, Patrick Lincoln, Vitaly Shmatikov
    Negotiated Privacy: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    ISSS, 2002, pp:96-111 [Conf]
  27. Patrick Lincoln, John C. Mitchell
    Operational aspects of linear lambda calculus [Citation Graph (0, 0)][DBLP]
    LICS, 1992, pp:235-246 [Conf]
  28. Patrick Lincoln, Natarajan Shankar
    Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi [Citation Graph (0, 0)][DBLP]
    LICS, 1994, pp:282-291 [Conf]
  29. Patrick Lincoln, Andre Scedrov, Natarajan Shankar
    Linearizing Intuitionistic Implication [Citation Graph (0, 0)][DBLP]
    LICS, 1991, pp:51-62 [Conf]
  30. Patrick Lincoln, Andre Scedrov, Natarajan Shankar
    Decision Problems for Second-Order Linear Logic [Citation Graph (0, 0)][DBLP]
    LICS, 1995, pp:476-485 [Conf]
  31. Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer
    Principles of Mobile Maude. [Citation Graph (0, 0)][DBLP]
    ASA/MA, 2000, pp:73-85 [Conf]
  32. Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati
    PGRIP: PNNI Global Routing Infrastructure Protection. [Citation Graph (0, 0)][DBLP]
    NDSS, 1999, pp:- [Conf]
  33. Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli
    Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. [Citation Graph (0, 0)][DBLP]
    PARLE, 1994, pp:37-48 [Conf]
  34. Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
    Minimal Data Upgrading to Prevent Inference and Association. [Citation Graph (0, 12)][DBLP]
    PODS, 1999, pp:114-125 [Conf]
  35. Patrick Lincoln, John C. Mitchell
    Algorithmic Aspects of Type Inference with Subtypes. [Citation Graph (0, 0)][DBLP]
    POPL, 1992, pp:293-304 [Conf]
  36. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, José Meseguer, M. Kemal Sönmez
    Pathway Logic: Symbolic Analysis of Biological Signaling. [Citation Graph (0, 0)][DBLP]
    Pacific Symposium on Biocomputing, 2002, pp:400-412 [Conf]
  37. Carolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute
    Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. [Citation Graph (0, 0)][DBLP]
    Pacific Symposium on Biocomputing, 2004, pp:568-580 [Conf]
  38. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    The Maude System. [Citation Graph (0, 0)][DBLP]
    RTA, 1999, pp:240-243 [Conf]
  39. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott
    The Maude 2.0 System. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:76-87 [Conf]
  40. Patrick Lincoln
    Invited Talk: Symbolic Systems Biology. [Citation Graph (0, 0)][DBLP]
    RTA, 2003, pp:1- [Conf]
  41. Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
    Classifying Information for External Release. [Citation Graph (0, 0)][DBLP]
    SEC, 2000, pp:151-160 [Conf]
  42. Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr
    Le Fun: Logic, Equations and Functions. [Citation Graph (0, 0)][DBLP]
    SLP, 1987, pp:17-23 [Conf]
  43. Patrick Lincoln, Phillip A. Porras, Vitaly Shmatikov
    Privacy-Preserving Sharing and Correlation of Security Alerts. [Citation Graph (0, 0)][DBLP]
    USENIX Security Symposium, 2004, pp:239-254 [Conf]
  44. Shmuel Katz, Patrick Lincoln, John M. Rushby
    Low-Overhead Time-Triggered Group Membership. [Citation Graph (0, 0)][DBLP]
    WDAG, 1997, pp:155-169 [Conf]
  45. Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar
    Decision Problems for Propositional Linear Logic. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1992, v:56, n:1-3, pp:239-311 [Journal]
  46. Patrick Lincoln, Andre Scedrov, Natarajan Shankar
    Linearizing Intuitionistic Implication. [Citation Graph (0, 0)][DBLP]
    Ann. Pure Appl. Logic, 1993, v:60, n:2, pp:151-177 [Journal]
  47. Patrick Lincoln, John C. Mitchell, Andre Scedrov
    Linear logic proof games and optimization. [Citation Graph (0, 0)][DBLP]
    Bulletin of Symbolic Logic, 1996, v:2, n:3, pp:322-338 [Journal]
  48. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer
    Metalevel computation in Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  49. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Towards Maude 2.0. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2000, v:36, n:, pp:- [Journal]
  50. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Maude as a metalanguage. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:15, n:, pp:- [Journal]
  51. Manuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer
    Principles of Maude. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:4, n:, pp:- [Journal]
  52. Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott
    Pathway Logic: Executable Models of Biological Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2002, v:71, n:, pp:- [Journal]
  53. Patrick Lincoln, John C. Mitchell, Andre Scedrov
    The Complexity of Local Proof Search in Linear Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1996, v:3, n:, pp:- [Journal]
  54. Nancy A. Durgin, Patrick Lincoln, John C. Mitchell
    Multiset rewriting and the complexity of bounded security protocols. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2004, v:12, n:2, pp:247-311 [Journal]
  55. Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln
    A comparison between strand spaces and multiset rewriting for security protocol analysis. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2005, v:13, n:2, pp:265-316 [Journal]
  56. Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati
    Global Infrastructure Protection System. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2001, v:9, n:4, pp:251-284 [Journal]
  57. Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen
    Depender Graphs: A Method of Fault-Tolerant Certificate Distribution. [Citation Graph (0, 0)][DBLP]
    Journal of Computer Security, 2001, v:9, n:4, pp:323-338 [Journal]
  58. Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati
    Maximizing Sharing of Protected Information. [Citation Graph (0, 0)][DBLP]
    J. Comput. Syst. Sci., 2002, v:64, n:3, pp:496-541 [Journal]
  59. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada
    Maude: specification and programming in rewriting logic. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2002, v:285, n:2, pp:187-243 [Journal]
  60. Patrick Lincoln, John C. Mitchell, Andre Scedrov
    Optimization Complexity of Linear Logic Proof Games. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1999, v:227, n:1-2, pp:299-331 [Journal]
  61. Patrick Lincoln, Andre Scedrov
    First-Order Linear Logic without Modalities is NEXPTIME-Hard. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:1, pp:139-153 [Journal]
  62. Patrick Lincoln, Timothy C. Winkler
    Constant-Only Multiplicative Linear Logic is NP-Complete. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 1994, v:135, n:1, pp:155-169 [Journal]
  63. Chris J. Walter, Patrick Lincoln, Neeraj Suri
    Formally Verified On-Line Diagnosis. [Citation Graph (0, 0)][DBLP]
    IEEE Trans. Software Eng., 1997, v:23, n:11, pp:684-721 [Journal]
  64. David L. Dill, Merrill Knapp, Pamela Gage, Carolyn L. Talcott, Keith Laderoute, Patrick Lincoln
    The Pathalyzer: A Tool for Analysis of Signal Transduction Pathways. [Citation Graph (0, 0)][DBLP]
    Systems Biology and Regulatory Genomics, 2005, pp:11-22 [Conf]
  65. Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute
    Analyzing Pathways Using SAT-Based Approaches. [Citation Graph (0, 0)][DBLP]
    AB, 2007, pp:155-169 [Conf]

  66. Unification and Narrowing in Maude 2.4. [Citation Graph (, )][DBLP]


  67. Epidemic profiles and defense of scale-free networks. [Citation Graph (, )][DBLP]


  68. Introduction. [Citation Graph (, )][DBLP]


  69. Using Maude. [Citation Graph (, )][DBLP]


  70. Syntax and Basic Parsing. [Citation Graph (, )][DBLP]


  71. Functional Modules. [Citation Graph (, )][DBLP]


  72. A Hierarchy of Data Types: From Trees to Sets. [Citation Graph (, )][DBLP]


  73. System Modules. [Citation Graph (, )][DBLP]


  74. Module Operations. [Citation Graph (, )][DBLP]


  75. Predefined Data Modules. [Citation Graph (, )][DBLP]


  76. Object-Based Programming. [Citation Graph (, )][DBLP]


  77. Model Checking Invariants Through Search. [Citation Graph (, )][DBLP]


  78. LTL Model Checking. [Citation Graph (, )][DBLP]


  79. Reflection, Metalevel Computation, and Strategies. [Citation Graph (, )][DBLP]


  80. Metaprogramming Applications. [Citation Graph (, )][DBLP]


  81. User Interfaces and Metalanguage Applications. [Citation Graph (, )][DBLP]


  82. Full Maude: Extending Core Maude. [Citation Graph (, )][DBLP]


  83. Object-Oriented Modules. [Citation Graph (, )][DBLP]


  84. A Sampler of Application Areas. [Citation Graph (, )][DBLP]


  85. Debugging and Troubleshooting. [Citation Graph (, )][DBLP]


  86. Complete List of Maude Commands. [Citation Graph (, )][DBLP]


  87. Core Maude Grammar. [Citation Graph (, )][DBLP]


  88. Some Tools. [Citation Graph (, )][DBLP]


  89. Playing with Maude. [Citation Graph (, )][DBLP]


  90. Specifying Parameterized Data Structures in Maude. [Citation Graph (, )][DBLP]


  91. Mobile Maude. [Citation Graph (, )][DBLP]


Search in 0.005secs, Finished in 0.008secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002