Dusko Pavlovic

发表

Dusko Pavlovic, Catherine A. Meadows, Dusko Pavlovic, 2010, MFPS.
Dusko Pavlovic, Martin Hofmann, Giuseppe Rosolini, 1999 .
Dusko Pavlovic, Carl E. Landwehr, Joshua D. Guttman, 2019, Lecture Notes in Computer Science.
Michael W. Mislove, Dusko Pavlovic, Bob Coecke, 2013, Inf. Comput..
James Worrell, Michael W. Mislove, Dusko Pavlovic, 2006, AMAST.
Dusko Pavlovic, Catherine A. Meadows, Dusko Pavlovic, 2009, ArXiv.
John C. Mitchell, Dusko Pavlovic, Anupam Datta, 2004, Proceedings. 17th IEEE Computer Security Foundations Workshop, 2004..
Dusko Pavlovic, Catherine A. Meadows, 2012, STM.
Dusko Pavlovic, Dusko Pavlovic, 2012, ICFCA.
Dusko Pavlovic, 2000 .
Dusko Pavlovic, Dusko Pavlovic, 1999, World Congress on Formal Methods.
Dusko Pavlovic, Jason Castiglione, Dusko Pavlovic, 2020, IEEE Transactions on Computational Social Systems.
Srini Ramaswamy, Dusko Pavlovic, Catherine Meadows, 2012 .
Dusko Pavlovic, Giuseppe Rosolini, Martin Hofmann, 1999, CTCS.
Dusko Pavlovic, Dusko Pavlovic, 2011, NSPW '11.
Roberto Giacobazzi, Pierre Ganty, Filippo Bonchi, 2018, LICS.
Martín Hötzel Escardó, Dusko Pavlovic, Dusko Pavlovic, 1998, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science (Cat. No.98CB36226).
Dusko Pavlovic, Anupam Datta, Ante Derek, 2003, MFPS.
Grit Denker, Dusko Pavlovic, Linda Briesemeister, 2019, HCI.
Dusko Pavlovic, Douglas R. Smith, 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).
Dusko Pavlovic, John Launchbury, Sava Krstic, 2001, FoSSaCS.
Dusko Pavlovic, Douglas R. Smith, Peter Pepper, 2008, AMAST.
Vladimir Vovk, Dusko Pavlovic, V. Vovk, 2016, COPA.
Dusko Pavlovic, Dusko Pavlovic, 1997, Mathematical Structures in Computer Science.
Dusko Pavlovic, Catherine A. Meadows, 2012, ICDCIT.
Dusko Pavlovic, Anupam Datta, John C. Mitchell, 2001 .
Dusko Pavlovic, 2010, 2010 8th IEEE International Conference on Software Engineering and Formal Methods.
Dusko Pavlovic, Dusko Pavlovic, 2015, ArXiv.
Dusko Pavlovic, Dusko Pavlovic, 2009, CALCO.
José Luiz Fiadeiro, Dusko Pavlovic, Antónia Lopes, 2019, J. Log. Algebraic Methods Program..
Dusko Pavlovic, 2002 .
Dusko Pavlovic, Douglas R. Smith, Dusko Pavlovic, 2002, 10th Anniversary Colloquium of UNU/IIST.
John C. Mitchell, Dusko Pavlovic, Nancy A. Durgin, 2001, Proceedings. 14th IEEE Computer Security Foundations Workshop, 2001..
Dusko Pavlovic, Dusko Pavlovic, 2014, Categories and Types in Logic, Language, and Physics.
Dusko Pavlovic, 1997, Math. Struct. Comput. Sci..
Dusko Pavlovic, Douglas R. Smith, Peter Pepper, 2003, Verification: Theory and Practice.
John C. Mitchell, Dusko Pavlovic, Anupam Datta, 2003, 16th IEEE Computer Security Foundations Workshop, 2003. Proceedings..
John C. Mitchell, Dusko Pavlovic, Anupam Datta, 2005, J. Comput. Secur..
Dusko Pavlovic, Douglas R. Smith, Peter Pepper, 2010, MPC.
Dusko Pavlovic, Catherine A. Meadows, 2009, Security Protocols Workshop.
Dusko Pavlovic, Peter-Michael Seidel, Jason Castiglione, 2019, Foundations of Security, Protocols, and Equational Reasoning.
John C. Mitchell, Dusko Pavlovic, Anupam Datta, 2003, FMSE '03.
Dusko Pavlovic, Dusko Pavlovic, 2010, Formal Aspects in Security and Trust.
Wolter Pieters, Dusko Pavlovic, Trajce Dimkov, 2013, IEEE Systems Journal.
Dusko Pavlovic, Peter-Michael Seidel, 2017, 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS).
Dusko Pavlovic, Matthias Anlauff, Palo Alto, 2002 .
Dusko Pavlovic, Vaughan R. Pratt, V. Pratt, 2002, Theor. Comput. Sci..
Dusko Pavlovic, Dusko Pavlovic, 2012, Inf. Comput..
Dusko Pavlovic, Jamie Vicary, Bob Coecke, 2008, Mathematical Structures in Computer Science.
Dusko Pavlovic, Catherine A. Meadows, Dusko Pavlovic, 2004, ESORICS.
Dusko Pavlovic, Dusko Pavlovic, 2003 .
Dusko Pavlovic, Catherine A. Meadows, Iliano Cervesato, 2005, 18th IEEE Computer Security Foundations Workshop (CSFW'05).
James Worrell, Michael W. Mislove, Dusko Pavlovic, 2007, Computation, Meaning, and Logic.
Dusko Pavlovic, Matthias Anlauff, Asuman Sünbül, 2006, 2006 IEEE International Conference on Communications.
Dusko Pavlovic, Iliano Cervesato, Catherine Meadows, 2006 .
Dusko Pavlovic, Dusko Pavlovic, 1991, Category Theory and Computer Science.
Dusko Pavlovic, Catherine A. Meadows, 2006, ESORICS.
John C. Mitchell, Dusko Pavlovic, Nancy A. Durgin, 2003, J. Comput. Secur..
Dusko Pavlovic, Rui Zhang, Depeng Li, 2017, IEEE Internet of Things Journal.
Dusko Pavlovic, Muzamil Yahia, Dusko Pavlovic, 2017, CMCS.
Dusko Pavlovic, Dusko Pavlovic, 1996, Log. J. IGPL.
Dusko Pavlovic, Dusko Pavlovic, 1992, Arch. Math. Log..
Dusko Pavlovic, Dusko Pavlovic, 2013, Computation, Logic, Games, and Quantum Foundations.
Dusko Pavlovic, Dusko Pavlovic, 2012, CMCS.
Vladimir Vovk, Dusko Pavlovic, 2017, Annals of Mathematics and Artificial Intelligence.
Dusko Pavlovic, 2008, Formal Aspects in Security and Trust.
Dusko Pavlovic, Vaughan R. Pratt, V. Pratt, 1999, CMCS.
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski, 2017, CONCUR.
Dusko Pavlovic, Dusko Pavlovic, 2014, ArXiv.
Dusko Pavlovic, 2002 .
Dusko Pavlovic, Dusko Pavlovic, 1995, Category Theory and Computer Science.
Dusko Pavlovic, Dusko Pavlovic, 1998, CMCS.
Dusko Pavlovic, Dusko Pavlovic, 1995, Ann. Pure Appl. Log..
Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski, 2017, ArXiv.
Dusko Pavlovic, Douglas R. Smith, 2002, AMAST.
Dusko Pavlovic, Dusko Pavlovic, 2008, CSR.
Radha Poovendran, Dusko Pavlovic, Catherine A. Meadows, 2007, Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks.
Samson Abramsky, Dusko Pavlovic, 1997, Category Theory and Computer Science.
Joël Ouaknine, James Worrell, Michael W. Mislove, 2004, FoSSaCS.
Dusko Pavlovic, Dusko Pavlovic, 2015, HotSoS.
Dusko Pavlovic, Dusko Pavlovic, 2010, Classical and Quantum Information Assurance Foundations and Practice.
Dusko Pavlovic, 2021, Protocols, Strands, and Logic.
Dusko Pavlovic, Dusko Pavlovic, 1990 .
Dusko Pavlovic, Matthias Anlauff, Stephen Westfold, 2005 .
Dusko Pavlovic, 2008 .
Dusko Pavlovic, Douglas R. Smith, 2001 .
Dusko Pavlovic, Bob Coecke, 2007 .
Dusko Pavlovic, Dusko Pavlovic, 1995 .
Dusko Pavlovic, Bob Coecke, Éric O. Paquette, 2008 .