dblp.uni-trier.dewww.uni-trier.de

Patrick Lincoln Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
92EEManuel 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
91 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 Springer 2007
90EEAshish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169
89EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
88EEManuel 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
87EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: System Modules. All About Maude 2007: 131-157
86EEManuel 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
85EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Module Operations. All About Maude 2007: 185-230
84EEManuel 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
83EEManuel 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
82EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Using Maude. All About Maude 2007: 31-37
81EEManuel 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
80EEManuel 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
79EEManuel 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
78EEManuel 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
77EEManuel 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
76EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Metaprogramming Applications. All About Maude 2007: 459-483
75EEManuel 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
74EEManuel 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
73EEManuel 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
72EEManuel 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
71EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Functional Modules. All About Maude 2007: 61-118
70EEManuel 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
69EEManuel 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
68EEManuel 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
67EEManuel 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
66EEManuel 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
2005
65EEMerrill 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
64EEDavid 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
63 Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln: A comparison between strand spaces and multiset rewriting for security protocol analysis. Journal of Computer Security 13(2): 265-316 (2005)
2004
62EEPatrick Lincoln, Ashish Tiwari: Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. HSCC 2004: 660-672
61EECarolyn 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
60EEPatrick Lincoln, Phillip A. Porras, Vitaly Shmatikov: Privacy-Preserving Sharing and Correlation of Security Alerts. USENIX Security Symposium 2004: 239-254
59 Nancy A. Durgin, Patrick Lincoln, John C. Mitchell: Multiset rewriting and the complexity of bounded security protocols. Journal of Computer Security 12(2): 247-311 (2004)
2003
58EESteven 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
57EEDavid L. Dill, Patrick Lincoln: Evolution as Design Engineer. CMSB 2003: 202-206
56EECarolyn L. Talcott, Steven Eker, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Pathway Logic Modeling of Protein Functional Domains in Signal Transduction. CSB 2003: 618-619
55EEGrigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer: Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380
54EEPatrick Lincoln: Invited Talk: Symbolic Systems Biology. RTA 2003: 1
53EEManuel 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
52EELinda Briesemeister, Patrick Lincoln, Phillip A. Porras: Epidemic profiles and defense of scale-free networks. WORM 2003: 67-75
2002
51EEAjay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert: NEVRLATE: Scalable Resource Discovery. CCGRID 2002: 382-388
50EELivio Ricciulli, Phillip A. Porras, Patrick Lincoln, Pankaj Kakkar, Steven Dawson: An Adaptable Network COntrol and Reporting System (ANCORS). DANCE 2002: 466-483
49EEIliano 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
48EEStanislaw Jarecki, Patrick Lincoln, Vitaly Shmatikov: Negotiated Privacy: (Extended Abstract). ISSS 2002: 96-111
47EESteven 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
46EESteven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott: Pathway Logic: Executable Models of Biological Networks. Electr. Notes Theor. Comput. Sci. 71: (2002)
45EESteven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati: Maximizing Sharing of Protected Information. J. Comput. Syst. Sci. 64(3): 496-541 (2002)
44EEManuel 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)
2001
43 Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati: Global Infrastructure Protection System. Journal of Computer Security 9(4): 251-284 (2001)
42 Rebecca N. Wright, Patrick Lincoln, Jonathan K. Millen: Depender Graphs: A Method of Fault-Tolerant Certificate Distribution. Journal of Computer Security 9(4): 323-338 (2001)
2000
41EERebecca N. Wright, Patrick Lincoln, Jonathan K. Millen: Efficient fault-tolerant certificate revocation. ACM Conference on Computer and Communications Security 2000: 19-24
40 Francisco Durán, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Mobile Maude. ASA/MA 2000: 73-85
39EEDavid 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
38EEIliano Cervesato, Nancy A. Durgin, John C. Mitchell, Patrick Lincoln, Andre Scedrov: Relating Strands and Multiset Rewriting for Security Protocol Analysis. CSFW 2000: 35-51
37EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Using Maude. FASE 2000: 371-374
36 Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati: Classifying Information for External Release. SEC 2000: 151-160
35EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Towards Maude 2.0. Electr. Notes Theor. Comput. Sci. 36: (2000)
1999
34EEIliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov: A Meta-Notation for Protocol Analysis. CSFW 1999: 55-69
33EESabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati: PGRIP: PNNI Global Routing Infrastructure Protection. NDSS 1999
32EESteven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati: Minimal Data Upgrading to Prevent Inference and Association. PODS 1999: 114-125
31EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: The Maude System. RTA 1999: 240-243
30EEPatrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov: Probabilistic Polynomial-Time Equivalence and Security Analysis. World Congress on Formal Methods 1999: 776-793
29EEPatrick Lincoln, John C. Mitchell, Andre Scedrov: Optimization Complexity of Linear Logic Proof Games. Theor. Comput. Sci. 227(1-2): 299-331 (1999)
1998
28EEPatrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov: A Probabilistic Poly-Time Framework for Protocol Analysis. ACM Conference on Computer and Communications Security 1998: 112-121
27EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: Maude as a metalanguage. Electr. Notes Theor. Comput. Sci. 15: (1998)
26EEManuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer: Metalevel computation in Maude. Electr. Notes Theor. Comput. Sci. 15: (1998)
1997
25EEShmuel Katz, Patrick Lincoln, John M. Rushby: Low-Overhead Time-Triggered Group Membership. WDAG 1997: 155-169
24EEChris J. Walter, Patrick Lincoln, Neeraj Suri: Formally Verified On-Line Diagnosis. IEEE Trans. Software Eng. 23(11): 684-721 (1997)
1996
23EELivio Ricciulli, Patrick Lincoln, José Meseguer: Distributed Simulation of Parallel Executions. Annual Simulation Symposium 1996: 15-24
22EEDavid Cyrluk, Patrick Lincoln, Natarajan Shankar: On Shostak's Decision Procedure for Combinations of Theories. CADE 1996: 463-477
21EEPatrick Lincoln, John C. Mitchell, Andre Scedrov: Linear logic proof games and optimization. Bulletin of Symbolic Logic 2(3): 322-338 (1996)
20EEPatrick Lincoln, John C. Mitchell, Andre Scedrov: The Complexity of Local Proof Search in Linear Logic. Electr. Notes Theor. Comput. Sci. 3: (1996)
19EEManuel Clavel, Steven Eker, Patrick Lincoln, José Meseguer: Principles of Maude. Electr. Notes Theor. Comput. Sci. 4: (1996)
1995
18 Patrick Lincoln, Andre Scedrov, Natarajan Shankar: Decision Problems for Second-Order Linear Logic LICS 1995: 476-485
1994
17EEPatrick Lincoln, José Meseguer, Livio Ricciulli: The Rewrite Rule Machine Node Architecture and Its Performance. CONPAR 1994: 509-520
16 Patrick Lincoln, Natarajan Shankar: Proof Search in First-Order Linear Logic and Other Cut-Free Sequent Calculi LICS 1994: 282-291
15 Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Livio Ricciulli: Compiling Rewriting onto SIMD and MIMD/SIMD Maschines. PARLE 1994: 37-48
14 Patrick Lincoln, Andre Scedrov: First-Order Linear Logic without Modalities is NEXPTIME-Hard. Theor. Comput. Sci. 135(1): 139-153 (1994)
13 Patrick Lincoln, Timothy C. Winkler: Constant-Only Multiplicative Linear Logic is NP-Complete. Theor. Comput. Sci. 135(1): 155-169 (1994)
1993
12EEPatrick Lincoln, John M. Rushby: The Formal Verification of an Algorithm for Interactive Consistency under a Hybrid Fault Model. CAV 1993: 292-304
11 Patrick Lincoln, John M. Rushby: A Formally Verified Algorithm for Interactive Consistency Under a Hybrid Fault Model. FTCS 1993: 402-411
10 Patrick Lincoln, Andre Scedrov, Natarajan Shankar: Linearizing Intuitionistic Implication. Ann. Pure Appl. Logic 60(2): 151-177 (1993)
1992
9 Patrick Lincoln, John C. Mitchell: Operational aspects of linear lambda calculus LICS 1992: 235-246
8 Patrick Lincoln, John C. Mitchell: Algorithmic Aspects of Type Inference with Subtypes. POPL 1992: 293-304
7 Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar: Decision Problems for Propositional Linear Logic. Ann. Pure Appl. Logic 56(1-3): 239-311 (1992)
1991
6 Patrick Lincoln, Andre Scedrov, Natarajan Shankar: Linearizing Intuitionistic Implication LICS 1991: 51-62
1990
5 Patrick Lincoln, John C. Mitchell, Andre Scedrov, Natarajan Shankar: Decision Problems for Propositional Linear Logic FOCS 1990: 662-671
1989
4EEHassan 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)
3 Patrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification. J. Symb. Comput. 8(1/2): 217-240 (1989)
1988
2EEPatrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification (A Summary). CADE 1988: 358-367
1987
1 Hassan Aït-Kaci, Patrick Lincoln, Roger Nasr: Le Fun: Logic, Equations and Functions. SLP 1987: 17-23

Coauthor Index

1Hassan Aït-Kaci [1] [4]
2Dan Boneh [39]
3Robert S. Boyer [4]
4Christiano Braga (Christiano de O. Braga) [69]
5Linda Briesemeister [52] [65]
6Iliano Cervesato [34] [38] [49] [63]
7Ajay Chander [51]
8Jim Christian [2] [3]
9Manuel Clavel [19] [26] [27] [31] [35] [37] [44] [53] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [91] [92]
10David Cyrluk [22]
11Steven Dawson [32] [36] [45] [50] [51]
12David L. Dill [57] [64]
13Francisco Durán [26] [27] [31] [35] [37] [40] [44] [53] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [91] [92]
14Nancy A. Durgin [34] [38] [49] [59] [63]
15Steven Eker [19] [26] [27] [31] [35] [37] [40] [44] [46] [47] [53] [55] [56] [58] [61] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [91] [92]
16Santiago Escobar [92]
17Azadeh Farzan [69]
18Pamela Gage [64]
19Joe Hendrix [69]
20Mark Horowitz [39]
21Stanislaw Jarecki [48]
22Pankaj Kakkar [50]
23Shmuel Katz [25]
24Merrill Knapp [46] [47] [56] [61] [64] [65] [90]
25Keith Laderoute [46] [47] [56] [58] [61] [64] [65] [90]
26David Lie [39]
27Narciso Martí-Oliet [15] [26] [27] [31] [35] [37] [44] [53] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [91] [92]
28José Meseguer [15] [17] [19] [23] [26] [27] [31] [35] [37] [40] [44] [47] [53] [55] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [91] [92]
29Jonathan K. Millen [41] [42]
30John C. Mitchell [5] [7] [8] [9] [20] [21] [28] [29] [30] [34] [38] [39] [49] [59]
31Mark Mitchell [28] [30] [39]
32Roger Nasr [1] [4]
33Peter Csaba Ölveczky [69]
34Miguel Palomino [69] [83] [86]
35Andy Poggio [65]
36Phillip A. Porras [50] [52] [60]
37Jose F. Quesada [27] [31] [35] [37] [44]
38Livio Ricciulli [15] [17] [23] [33] [43] [50]
39Adrián Riesco [75]
40Grigore Rosu [55]
41John M. Rushby [11] [12] [25]
42Pierangela Samarati [32] [33] [36] [43] [45]
43Ralf Sasse [69]
44Andre Scedrov [5] [6] [7] [10] [14] [18] [20] [21] [28] [29] [30] [34] [38] [49]
45Natarajan Shankar [5] [6] [7] [10] [16] [18] [22]
46Vitaly Shmatikov [48] [60]
47M. Kemal Sönmez [47]
48M. G. Sriram [58]
49Mark-Oliver Stehr [69]
50David W. J. Stringer-Calvert [51]
51Neeraj Suri [24]
52Carolyn L. Talcott [46] [53] [56] [58] [61] [64] [65] [66] [67] [68] [69] [70] [71] [72] [73] [74] [75] [76] [77] [78] [79] [80] [81] [82] [83] [84] [85] [86] [87] [88] [89] [90] [91] [92]
53Chandramohan A. Thekkath [39]
54Ashish Tiwari [62] [90]
55Alberto Verdejo [69] [75] [83] [86]
56Sabrina De Capitani di Vimercati [32] [33] [36] [43] [45]
57Chris J. Walter [24]
58Timothy C. Winkler [13]
59Rebecca N. Wright [41] [42]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)