Patrick Lincoln

发表

Dan Boneh, Hristo Bojinov, Daniel Sánchez, 2012, USENIX Security Symposium.
Carolyn L. Talcott, Patrick Lincoln, Steven Eker, 2003, Computational Systems Bioinformatics. CSB2003. Proceedings of the 2003 IEEE Bioinformatics Conference. CSB2003.
José Meseguer, Patrick Lincoln, Livio Ricciulli, 1996, Proceedings of the 29th Annual Simulation Symposium.
Vitaly Shmatikov, Patrick Lincoln, Stanislaw Jarecki, 2002 .
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Patrick Lincoln, John Savage, Andre Dehon, 2003 .
Sabrina De Capitani di Vimercati, Pierangela Samarati, Patrick Lincoln, 2000, SEC.
Carolyn L. Talcott, Patrick Lincoln, Steven Eker, 2003, CMSB.
Joseph A. Goguen, B. Taheri, Patrick Lincoln, 1992, [Proceedings 1992] The Fourth Symposium on the Frontiers of Massively Parallel Computation.
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
Patrick Lincoln, Grit Denker, Rukman Senanayake, 2018, HCI.
Francisco Durán, José Meseguer, Carolyn L. Talcott, 2007, All About Maude.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1996, Electron. Notes Theor. Comput. Sci..
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999, Proceedings of the 12th IEEE Computer Security Foundations Workshop.
Peter Csaba Ölveczky, Francisco Durán, José Meseguer, 2019, All About Maude.
José Meseguer, Patrick Lincoln, Steven Eker, 2001, Pacific Symposium on Biocomputing.
Sabrina De Capitani di Vimercati, Pierangela Samarati, Patrick Lincoln, 1999, NDSS.
Natarajan Shankar, Patrick Lincoln, Andre Scedrov, 1991, [1991] Proceedings Sixth Annual IEEE Symposium on Logic in Computer Science.
Francisco Durán, José Meseguer, Miguel Palomino, 2007, All About Maude.
Patrick Lincoln, Mark Johnson, David Martin, 2003, Omics : a journal of integrative biology.
Patrick Lincoln, Timothy C. Winkler, P. Lincoln, 1992, Theor. Comput. Sci..
José Meseguer, Patrick Lincoln, Livio Ricciulli, 1994, CONPAR.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
José Meseguer, Grigore Rosu, Patrick Lincoln, 2003, FME.
Francisco Durán, José Meseguer, Patrick Lincoln, 2000, FASE.
Vinod Yegneswaran, Susmit Jha, Patrick Lincoln, 2018, ArXiv.
Patrick Lincoln, Steven Eker, Manuel Clavel, 2001 .
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999, Theor. Comput. Sci..
Ashish Tiwari, Patrick Lincoln, P. Lincoln, 2014, CAV.
Patrick Lincoln, Gary E. Swan, Somnath Ghosh, 2011 .
Patrick Lincoln, Jim Christian, P. Lincoln, 1989, J. Symb. Comput..
Ashish Tiwari, Xiaojin Zhu, Patrick Lincoln, 2017, AAAI Workshops.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1998, CCS '98.
Patrick Lincoln, Iliano Cervesato, Nancy A. Durgin, 2002, J. Comput. Secur..
Natarajan Shankar, Patrick Lincoln, 1994, Proceedings Ninth Annual IEEE Symposium on Logic in Computer Science.
Carolyn L. Talcott, Patrick Lincoln, Mark-Oliver Stehr, 2011, Formal Modeling: Actors, Open Systems, Biological Systems.
Natarajan Shankar, John C. Mitchell, Patrick Lincoln, 1990, Proceedings [1990] 31st Annual Symposium on Foundations of Computer Science.
Susmit Jha, Patrick Lincoln, P. Lincoln, 2018, Allerton Conference on Communication, Control, and Computing.
Patrick Lincoln, Hassan Aït-Kaci, Roger Nasr, 1987, SLP.
Patrick Lincoln, Steven Eker, Manuel Clavel, 1998, WRLA.
Sabrina De Capitani di Vimercati, Pierangela Samarati, Patrick Lincoln, 2001, J. Comput. Secur..
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Ashish Tiwari, Carolyn L. Talcott, Patrick Lincoln, 2007, AB.
Patrick Lincoln, John M. Rushby, 1993, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing.
Narciso Martí-Oliet, Patrick Lincoln, Steven Eker, 2002, Theor. Comput. Sci..
Patrick Lincoln, Grit Denker, Shalini Ghosh, 2013, 2013 IEEE 19th Pacific Rim International Symposium on Dependable Computing.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Patrick Lincoln, P. Lincoln, 1992, SIGA.
Vinod Yegneswaran, Patrick Lincoln, Ian Mason, 2014, FOCI.
Patrick Lincoln, Phillip A. Porras, Steven Dawson, 2002, Proceedings DARPA Active Networks Conference and Exposition.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
Jonathan K. Millen, Patrick Lincoln, Rebecca N. Wright, 2001, J. Comput. Secur..
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1996, Bull. Symb. Log..
Patrick Lincoln, J. Rushby, P. Lincoln, 1993, Twenty-Fifth International Symposium on Fault-Tolerant Computing, 1995, ' Highlights from Twenty-Five Years'..
Dan Boneh, Mark Horowitz, John C. Mitchell, 2003 .
Narciso Martí-Oliet, Patrick Lincoln, Steven Eker, 2000, WRLA.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Neeraj Suri, Patrick Lincoln, Chris J. Walter, 1997, IEEE Trans. Software Eng..
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
John E. Savage, Patrick Lincoln, André DeHon, 2003 .
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Natarajan Shankar, Daniel Elenius, Patrick Lincoln, 2014, NFM.
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
Patrick Lincoln, Jim Christian, P. Lincoln, 1988, CADE.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
José Meseguer, Narciso Martí-Oliet, Patrick Lincoln, 1994 .
Patrick Lincoln, Shalini Ghosh, Alfonso Valdes, 2014, ArXiv.
Patrick Lincoln, Robert S. Boyer, Hassan Aït-Kaci, 1989, TOPL.
John C. Mitchell, Patrick Lincoln, Nancy A. Durgin, 2004, J. Comput. Secur..
David L. Dill, Patrick Lincoln, 2003, CMSB.
John C. Mitchell, Patrick Lincoln, P. Lincoln, 1992, POPL '92.
Jonathan K. Millen, Patrick Lincoln, Rebecca N. Wright, 2000, CCS.
Vitaly Shmatikov, Patrick Lincoln, Phillip A. Porras, 2004, USENIX Security Symposium.
José Meseguer, Santiago Escobar, Carolyn L. Talcott, 2009, RTA.
Francisco Durán, José Meseguer, Patrick Lincoln, 2000, ASA/MA.
Ashish Tiwari, Patrick Lincoln, P. Lincoln, 2016, Formal Methods Syst. Des..
Francisco Durán, José Meseguer, Miguel Palomino, 2007, All About Maude.
Patrick Lincoln, Livio Ricciulli, Pankaj Kakkar, 1999 .
Ashish Tiwari, Sanjit A. Seshia, Patrick Lincoln, 2014, HiCoNS.
Sabrina De Capitani di Vimercati, Pierangela Samarati, Patrick Lincoln, 2002, J. Comput. Syst. Sci..
Francisco Durán, Adrián Riesco, José Meseguer, 2007, All About Maude.
Ashish Tiwari, Patrick Lincoln, P. Lincoln, 2004, HSCC.
Dan Boneh, John C. Mitchell, David Lie, 2000, SIGP.
Patrick Lincoln, Phillip A. Porras, Linda Briesemeister, 2003, WORM '03.
Ashish Tiwari, Susmit Jha, Xiaojin Zhu, 2018, 2018 48th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W).
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Natarajan Shankar, Patrick Lincoln, Andre Scedrov, 1993, Ann. Pure Appl. Log..
Carolyn L. Talcott, David L. Dill, Patrick Lincoln, 2005, Systems Biology and Regulatory Genomics.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999 .
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2003, RTA.
Santiago Escobar, Narciso Martí-Oliet, Carolyn L. Talcott, 2015, Logic, Rewriting, and Concurrency.
Vitaly Shmatikov, Patrick Lincoln, Stanislaw Jarecki, 2002, ISSS.
André DeHon, John E. Savage, Patrick Lincoln, 2003 .
Patrick Lincoln, Andre Scedrov, P. Lincoln, 1994, Theor. Comput. Sci..
Patrick Lincoln, P. Lincoln, 2005 .
John C. Mitchell, Patrick Lincoln, Glenn Durfee, 2010, CollSec.
Sabrina De Capitani di Vimercati, Pierangela Samarati, Patrick Lincoln, 1999, PODS '99.
Natarajan Shankar, Patrick Lincoln, Andre Scedrov, 1995, Proceedings of Tenth Annual IEEE Symposium on Logic in Computer Science.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2000, All About Maude.
Narciso Martí-Oliet, Carolyn L. Talcott, Patrick Lincoln, 2007, All About Maude.
Carolyn L. Talcott, Patrick Lincoln, Steven Eker, 2005, 2005 IEEE Computational Systems Bioinformatics Conference - Workshops (CSBW'05).
Vinod Yegneswaran, Dan Boneh, Zachary Weinberg, 2012, FOCI.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1999, World Congress on Formal Methods.
Patrick Lincoln, 2009, 2009 IEEE/ACM International Symposium on Nanoscale Architectures.
Patrick Lincoln, Hassan Aït-Kaci, Raymonde Guindon, 2007 .
Natarajan Shankar, Patrick Lincoln, David Cyrluk, 1996, CADE.
Ajay Chander, Patrick Lincoln, David W. J. Stringer-Calvert, 2002, 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02).
Francisco Durán, José Meseguer, Narciso Martí-Oliet, 2007, All About Maude.
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 2000, Proceedings 13th IEEE Computer Security Foundations Workshop. CSFW-13.
Carolyn L. Talcott, Patrick Lincoln, Steven Eker, 2004, WRLA.
Patrick Lincoln, 2003, RTA.
Shmuel Katz, Patrick Lincoln, John M. Rushby, 1997, WDAG.
Narciso Martí-Oliet, Patrick Lincoln, Steven Eker, 1999, RTA.
Patrick Lincoln, P. Lincoln, J. Meseguer, 1998 .
Natarajan Shankar, Patrick Lincoln, Andre Scedrov, 1995, LICS 1995.
Carolyn L. Talcott, Patrick Lincoln, Steven Eker, 2003 .
John C. Mitchell, Patrick Lincoln, Andre Scedrov, 1995 .
José Meseguer, Patrick Lincoln, Livio Ricciulli, 2005 .
Patrick Lincoln, Neeraj, P. Lincoln, 1997 .