Patrick Lincoln

	2009
92		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
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
90		Ashish Tiwari, Carolyn L. Talcott, Merrill Knapp, Patrick Lincoln, Keith Laderoute: Analyzing Pathways Using SAT-Based Approaches. AB 2007: 155-169
89		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Carolyn L. Talcott: Introduction. All About Maude 2007: 1-28
88		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
87		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
86		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
85		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
84		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
83		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
82		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
81		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
80		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
79		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
78		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
77		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
76		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
75		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
74		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
73		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
72		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
71		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
70		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
69		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
68		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
67		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
66		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
	2005
65		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
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. 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
62		Patrick Lincoln, Ashish Tiwari: Symbolic Systems Biology: Hybrid Modeling and Analysis of Biological Networks. HSCC 2004: 660-672
61		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
60		Patrick 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
58		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
57		David L. Dill, Patrick Lincoln: Evolution as Design Engineer. CMSB 2003: 202-206
56		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
55		Grigore Rosu, Steven Eker, Patrick Lincoln, José Meseguer: Certifying and Synthesizing Membership Equational Proofs. FME 2003: 359-380
54		Patrick Lincoln: Invited Talk: Symbolic Systems Biology. RTA 2003: 1
53		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
52		Linda Briesemeister, Patrick Lincoln, Phillip A. Porras: Epidemic profiles and defense of scale-free networks. WORM 2003: 67-75
	2002
51		Ajay Chander, Steven Dawson, Patrick Lincoln, David W. J. Stringer-Calvert: NEVRLATE: Scalable Resource Discovery. CCGRID 2002: 382-388
50		Livio Ricciulli, Phillip A. Porras, Patrick Lincoln, Pankaj Kakkar, Steven Dawson: An Adaptable Network COntrol and Reporting System (ANCORS). DANCE 2002: 466-483
49		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
48		Stanislaw Jarecki, Patrick Lincoln, Vitaly Shmatikov: Negotiated Privacy: (Extended Abstract). ISSS 2002: 96-111
47		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
46		Steven Eker, Merrill Knapp, Keith Laderoute, Patrick Lincoln, Carolyn L. Talcott: Pathway Logic: Executable Models of Biological Networks. Electr. Notes Theor. Comput. Sci. 71: (2002)
45		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)
44		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)
	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
41		Rebecca 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
39		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
38		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
37		Manuel 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
35		Manuel 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
34		Iliano Cervesato, Nancy A. Durgin, Patrick Lincoln, John C. Mitchell, Andre Scedrov: A Meta-Notation for Protocol Analysis. CSFW 1999: 55-69
33		Sabrina De Capitani di Vimercati, Patrick Lincoln, Livio Ricciulli, Pierangela Samarati: PGRIP: PNNI Global Routing Infrastructure Protection. NDSS 1999
32		Steven Dawson, Sabrina De Capitani di Vimercati, Patrick Lincoln, Pierangela Samarati: Minimal Data Upgrading to Prevent Inference and Association. PODS 1999: 114-125
31		Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Martí-Oliet, José Meseguer, Jose F. Quesada: The Maude System. RTA 1999: 240-243
30		Patrick Lincoln, John C. Mitchell, Mark Mitchell, Andre Scedrov: Probabilistic Polynomial-Time Equivalence and Security Analysis. World Congress on Formal Methods 1999: 776-793
29		Patrick Lincoln, John C. Mitchell, Andre Scedrov: Optimization Complexity of Linear Logic Proof Games. Theor. Comput. Sci. 227(1-2): 299-331 (1999)
	1998
28		Patrick 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
27		Manuel 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)
26		Manuel 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
25		Shmuel Katz, Patrick Lincoln, John M. Rushby: Low-Overhead Time-Triggered Group Membership. WDAG 1997: 155-169
24		Chris J. Walter, Patrick Lincoln, Neeraj Suri: Formally Verified On-Line Diagnosis. IEEE Trans. Software Eng. 23(11): 684-721 (1997)
	1996
23		Livio Ricciulli, Patrick Lincoln, José Meseguer: Distributed Simulation of Parallel Executions. Annual Simulation Symposium 1996: 15-24
22		David Cyrluk, Patrick Lincoln, Natarajan Shankar: On Shostak's Decision Procedure for Combinations of Theories. CADE 1996: 463-477
21		Patrick Lincoln, John C. Mitchell, Andre Scedrov: Linear logic proof games and optimization. Bulletin of Symbolic Logic 2(3): 322-338 (1996)
20		Patrick Lincoln, John C. Mitchell, Andre Scedrov: The Complexity of Local Proof Search in Linear Logic. Electr. Notes Theor. Comput. Sci. 3: (1996)
19		Manuel 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
17		Patrick 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
12		Patrick 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
4		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)
3		Patrick Lincoln, Jim Christian: Adventures in Associative-Commutative Unification. J. Symb. Comput. 8(1/2): 217-240 (1989)
	1988
2		Patrick 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

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

Colors in the list of coauthors