Dusko Pavlovic: Publications

[1]	Classical and quantum structuralism Bob Coecke, Eric Oliver Paquette and Dusko Pavlovic In Simon Gay, Ian Mackie, editors, Semantical Techniques in Quantum Computation Cambridge University Press. 2008. to appear. Details \| BibTeX

[2]	A new description of orthogonal bases Bob Coecke, Dusko Pavlovic and Jamie Vicary Math. Structures in Comp. Sci. 2008. 13pp, to appear, arxiv.org/abs/0810.0812. Details \| BibTeX \| Link

[3]	Deriving authentication for pervasive security Dusko Pavlovic, Catherine Meadows In John McLean, editor, Proceedings of ISTPS 2008 ACM, 2008. 15 pp, to appear. Details \| BibTeX

[4]	Evolving Specification Engineering Dusko Pavlovic, Peter Pepper and Douglas R. Smith In Jose Meseguer, Grigore Rosu, editors, Proceedings of AMAST 2008 Vol. 5140 of Lecture Notes in Computer Science, pages 299-314. Springer Verlag, 2008. Details \| BibTeX \| Link (pdf)

[5]	Dynamics, robustness and fragility of trust Dusko Pavlovic In Pierpaolo Degano, Joshua Guttman and Fabio Martinelli, editors, Proceedings of FAST 2008 Springer Verlag, 2008. 16pp, to appear. Details \| BibTeX \| Link

[6]	Classical and Quantum Structures Bob Coecke, Eric O Paquette and Dusko Pavlovic No. RR-08-02, Technical Report, OUCL. 2008. Details \| BibTeX \| Download (pdf)

[7]	Scalar Inverses in Quantum Structuralism Bob Coecke, Dusko Pavlovic No. RR-08-03, Technical Report, OUCL. 2008. Details \| BibTeX \| Download (pdf)

[8]	On quantum statistics in data analysis Dusko Pavlovic In Peter Bruza, editor, Quantum Interaction 2008 AAAI, 2008. http://arxiv.org/abs/0802.1296. Details \| BibTeX \| Link (pdf)

[9]	Network as a computer: ranking paths to find flows Dusko Pavlovic In Alexander Razborov, Anatol Slissenko, editors, Proceedings of CSR 2008 Vol. 5010 of Lecture Notes in Computer Science, pages 384-397. Springer Verlag, 2008. http://arxiv.org/abs/0802.1306. Details \| BibTeX \| Link (pdf)

[10]	Labelled Markov Processes as Generalised Stochastic Relations Michael Mislove, Dusko Pavlovic and James Worrell Electron. Notes Theor. Comput. Sci. Vol. 172, pages 459—478. 2007. Details \| BibTeX \| DOI (http://dx.doi.org/10.1016/j.entcs.2007.02.015)

[11]	Quantum measurements without sums B. Coecke, D. Pavlovic In G. Chen, L. Kauffman and S. Lamonaco, editors, Mathematics of Quantum Computing and Technology Taylor and Francis. 2007. available at `http://lanl.arxiv.org/abs/quant-ph/0608035` Details \| BibTeX \| Link (pdf)

[12]	Quantum measurements without sums Bob Coecke, Dusko Pavlovic No. RR-06-02, Technical Report, Oxford University Computing Laboratory. July 2006. Details \| BibTeX \| Download (pdf)

[13]	Deriving secure network protocols for enterprise service architectures Matthias Anlauff, Dusko Pavlovic and Asuman Sünbül In Bülent Yener, Refik Molva and Carlos Becker Westphall, editors, Proceedings of IEEE Interrnational Conference on Communications IEEE, 2006. Details \| BibTeX \| Link (pdf)

[14]	Testing semantics: Connecting processes and process logics Dusko Pavlovic, Michael Mislove and James Worrell In Michael Johnson, Varmo Vene, editors, Proceedings of AMAST 2006 Vol. 4019 of Lecture Notes in Computer Science, pages 308—322. Springer Verlag, 2006. Details \| BibTeX \| Link (pdf)

[15]	Proving Authentication Properties in the Protocol Derivation Assistant Matthias Anlauff et al. In Pierpaolo Degano, Ralph Küsters and Luca Vigano, editors, Proceedings of FCS-ARSPA 2006 ACM, 2006. Details \| BibTeX \| Link (pdf)

[16]	Deriving secrecy properties in key establishment protocols Dusko Pavlovic, Catherine Meadows In Dieter Gollmann, Andrei Sabelfeld, editors, Proceedings of ESORICS 2006 Vol. 4189 of Lecture Notes in Computer Science. Springer Verlag, 2006. Details \| BibTeX \| Link (pdf)

[17]	Distance bounding protocols: authentication logic analysis and collusion attacks Catherine Meadows et al. In R. Poovendran, C. Wang and S. Roy, editors, Secure Localization and Time Synchronization in Wireless Ad Hoc and Sensor Networks Springer Verlag. 2006. Details \| BibTeX \| Link (pdf)

[18]	A derivation system and compositional logic for security protocols Anupam Datta et al. J. of Comp. Security, Vol. 13, pages 423—482. 2005. Details \| BibTeX \| Link (pdf)

[19]	An encapsulated authentication logic for reasoning about key distribution protocols Iliano Cervesato, Catherine Meadows and Dusko Pavlovic In Joshua Guttman, editor, Proceedings of CSFW 2005 pages 48—61. IEEE, 2005. Details \| BibTeX \| Link (pdf)

[20]	A compositional logic for proving security properties of protocols Nancy Durgin, John Mitchell and Dusko Pavlovic J. of Comp. Security, Vol. 11, No. 4, pages 677—721. 2004. Details \| BibTeX \| Link (pdf)

[21]	Duality for Labelled Markov Processes Michael Mislove et al. In Igor Walukiewicz, editor, Proceedings of FoSSaCS 2004 Vol. 2987 of Lecture Notes in Computer Science, pages 393—407. Springer Verlag, 2004. Details \| BibTeX \| Link (ps)

[22]	Deriving, attacking and defending the GDOI protocol Catherine Meadows, Dusko Pavlovic In Peter Ryan et al. , editors, Proceedings of ESORICS 2004 Vol. 3193 of Lecture Notes in Computer Science, pages 53—72. Springer Verlag, 2004. Details \| BibTeX \| Link (ps)

[23]	Abstraction and refinement in protocol derivation Anupam Datta et al. In Riccardo Focardi, editor, Proceedings of CSFW 2004 pages 30—47. IEEE, 2004. Details \| BibTeX \| Link (ps)

[24]	A derivation system for security protocols and its logical formalization Anupam Datta et al. In Dennis Volpano, editor, Proceedings of CSFW 2003 pages 109—125. IEEE, 2003. Details \| BibTeX \| Link (pdf)

[25]	Secure protocol composition (extended abstract) Anupam Datta et al. In Michael Backes, David Basin and Michael Waidner, editors, Proceedings of FMCS 2003 pages 11—23. ACM, 2003. Details \| BibTeX

[26]	Secure protocol composition Anupam Datta et al. E. Notes in Theor. Comp. Sci. pages 87—114. 2003. Details \| BibTeX \| Link

[27]	Software development by refinement Dusko Pavlovic, Douglas R. Smith In Bernhard K. Aichernig, Tom Maibaum, editors, Formal Methods at the Crossroads Vol. 2757 of Lecture Notes in Computer Science. Springer Verlag, 2003. Details \| BibTeX

[28]

Colimits for Concurrent Collectors

Dusko Pavlovic, Peter Pepper and Douglas R. Smith

In Nachum Dershowitz, editor, Verification —- Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday Vol. 2772 of Lecture Notes in Computer Science, pages 568—597. Springer Verlag, 2003.

Details | BibTeX

[29]	The continuum as a final coalgebra Dusko Pavlovic, Vaughan Pratt Theor. Comp. Sci. Vol. 280, No. 1--2, pages 105—122. 2002. Details \| BibTeX

[30]	Derivation of the JFK protocol Anupam Datta, John C. Mitchell and Dusko Pavlovic No. KES.U.02.03, Technical Report, Kestrel Institute. July 2002. Details \| BibTeX \| Link (ps)

[31]	Authentication for Mobile IPv6 Anupam Datta et al. No. KES.U.02.02, Technical Report, Kestrel Institute. March 2002. Details \| BibTeX \| Link (ps)

[32]	Guarded transitions in evolving specifications Dusko Pavlovic, Douglas R. Smith In H. Kirchner, C. Ringeissen, editors, Proceedings of AMAST 2002 Vol. 2422 of Lecture Notes in Computer Science, pages 411—425. Springer Verlag, 2002. Details \| BibTeX \| Link (ps)

[33]	On Specification Carrying Software, its Refinement and Composition Matthias Anlauf, Dusko Pavlovic In H. Ehrig, B.J. Krämer and A. Ertas, editors, Proceedings of IDPT 2002 Society for Design and Process Science, 2002. Details \| BibTeX \| Link (ps)

[34]	Towards semantics of self-adaptive software Duško Pavlović In Paul Robertson, Howie Schrobe and Robert Laddaga, editors, Proceedings of the Workshop on Self-Adaptive Software Vol. 1936 of Lecture Notes in Computer Science, pages 50—64. Springer Verlag, 2001. Details \| BibTeX \| Link (ps)

[35]	A compositional logic for protocol correctness Nancy Durgin, John C. Mitchell and Dusko Pavlovic In Steve Schneider, editor, Proceedings of CSFW 2001 pages 241—255. IEEE, 2001. Details \| BibTeX \| Link (ps)

[36]	EPOXI Dusko Pavlovic No. KES.U.01.1, Technical Report, Kestrel Institute. January 2001. Details \| BibTeX

[37]	Categories of processes enriched in final coalgebras Sava Krsti/'c, John Launchbury and Dusko Pavlović In Furio Honsell, editor, Proceedings of FoSSaCS 2001 Vol. 2030 of Lecture Notes in Computer Science, pages 303—317. Springer Verlag, 2001. Details \| BibTeX \| Link (ps)

[38]	Composition and refinement of behavioral specifications Dusko Pavlovic, Douglas R. Smith In Automated Software Engineering 2001. The Sixteenth International Conference on Automated Software Engineering IEEE, 2001. Details \| BibTeX \| Link (ps)

[39]	Logic of build fusion Dusko Pavlovic No. KES.U.00.9, Technical Report, Kestrel Institute. December 2000. Details \| BibTeX

[40]	On coalgebra of real numbers Dusko Pavlovic, Vaughan Pratt E. Notes in Theor. Comp. Sci. Vol. 19, pages 133—148. 1999. Details \| BibTeX \| Link

[41]	Semantics of first order parametric specifications Duško Pavlović In J. Woodcock, J. Wing, editors, Formal Methods '99 Vol. 1708 of Lecture Notes in Computer Science, pages 155—172. Springer Verlag, 1999. Details \| BibTeX \| Link (ps)

[42]	Calculus in coinductive form Dusko Pavlović, Mart\'∈ Escardó In V. Pratt, editor, Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science pages 408—417. IEEE Computer Society, 1998. Details \| BibTeX \| Link (ps)

[43]	Guarded induction on final coalgebras Dusko Pavlović E. Notes in Theor. Comp. Sci. Vol. 11, pages 143—160. 1998. Details \| BibTeX \| Link

[44]	Towards semantics of guarded induction Dusko Pavlović Technical Report, Kestrel Institute. December 1998. Details \| BibTeX

[45]	Chu I: cofree equivalences, dualities and \ast-autonomous categories Dusko Pavlovic Math. Structures in Comp. Sci. Vol. 7, No. 2, pages 49—73. 1997. Details \| BibTeX \| Link (ps)

[46]	Categorical logic of names and abstraction in action calculus Dusko Pavlovic Math. Structures in Comp. Sci. Vol. 7, pages 619—637. 1997. Details \| BibTeX \| Link (ps)

[47]	Specifying Interaction Categories Dusko Pavlovic, Samson Abramsky In E. Moggi, G. Rosolini, editors, Category Theory and Computer Science '97 Vol. 1290 of Lecture Notes in Computer Science, pages 147—158. Springer Verlag, 1997. Details \| BibTeX \| Link (ps)

[48]	Maps II: Chasing diagrams in categorical proof theory Dusko Pavlovic J. of the IGPL, Vol. 4, No. 2, pages 1—36. 1996. Details \| BibTeX \| Link

[49]	Convenient categories of processes and simulations II: modulo weak and branching bisimilarities Dusko Pavlovic In A. Edalat et al., editor, Theory and Formal Methods of Computing 96 pages 156—167. World Scientific, 1996. Details \| BibTeX \| Link (ps)

[50]	On completeness and cocompleteness in and around small categories Dusko Pavlovic Annals Pure Appl. Logic, Vol. 74, pages 121—152. 1995. Details \| BibTeX

[51]	Maps I: relative to a factorisation system Dusko Pavlovic J. Pure Appl. Algebra, Vol. 99, pages 9—34. 1995. Details \| BibTeX \| Link (ps)

[52]	A categorical setting for the 4-Colour Theorem Dusko Pavlovic J. Pure Appl. Algebra, Vol. 102, pages 75—88. 1995. Details \| BibTeX \| Link (ps)

[53]	Convenient categories of processes and simulations I: modulo strong bisimilarity Dusko Pavlovic In D. Pitt et al., editor, Category Theory and Computer Science '95 Vol. 953 of Lecture Notes in Computer Science, pages 3—24. Springer Verlag, 1995. Details \| BibTeX \| Link (ps)

[54]	Categorical logic of concurrency and interaction I. Synchronous processes Dusko Pavlovic In C. Hankin et al., editor, Theory and Formal Methods of Computing 94 pages 105—141. World Scientific, 1995. Details \| BibTeX \| Link (ps)

[55]	On the structure of paradoxes Dusko Pavlovic Arch. Math. Logic, Vol. 31, pages 397—406. 1992. Details \| BibTeX

[56]	A logical view on the Adjoint Functor Theorem Dusko Pavlovic In R.A.G. Seely, editor, Category Theory 1991, Proceedings of an International Summer Category Theory Meeting Vol. 13 of CMS Conference Proceedings, pages 361—367. American Mathematical Society, 1992. Details \| BibTeX

[57]	Constructions and predicates Dusko Pavlovic In D. Pitt et al., editor, Category Theory and Computer Science '91 Vol. 530 of Lecture Notes in Computer Science, pages 173—197. Springer Verlag, 1991. Details \| BibTeX

[58]	Categorical interpolation: descent and the Beck-Chevalley condition without direct images Dusko Pavlovic In A. Carboni et al., editor, Category Theory, Proceedings, Como 1990 Vol. 1488 of Lecture Notes in Mathematics, pages 306—326. Springer Verlag, 1991. Details \| BibTeX

[59]	Predicates and Fibrations Dusko Pavlovic PhD Thesis, Rijksuniversiteit Utrecht. 1990. Details \| BibTeX