Dusko Pavlovic : Publications
Personal orderingBibtex
Click here to download all publications in a single bibtex file
@techreport{PavlovicD:ANTS,
title = "Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions",
author = "Dusko Pavlovic and Catherine Meadows",
year = "2011",
month = "March",
note = "arxiv.org:1106.0706; under submission",
}
@article{PavlovicD:MSCS08,
title = "A new description of orthogonal bases",
author = "Bob Coecke and Dusko Pavlovic and Jamie Vicary",
year = "2011",
address = "Amsterdam, The Netherlands, The Netherlands",
journal = "Math. Structures in Comp. Sci.",
note = "13 pp., to appear, arxiv.org:0810.0812",
publisher = "Elsevier Science Publishers B. V.",
}
@article{PavlovicD:QPL09,
title = "Relating toy models of quantum computation: comprehension, complementarity and dagger autonomous categories",
author = "Dusko Pavlovic",
year = "2011",
address = "Amsterdam, The Netherlands, The Netherlands",
journal = "E. Notes in Theor. Comp. Sci.",
note = "arxiv.org:1006.1011",
number = "2",
pages = "121--139",
publisher = "Elsevier Science Publishers B. V.",
volume = "270",
}
@inproceedings{PavlovicD:FAST10,
title = "Quantifying and qualifying trust: Spectral decomposition of trust networks",
author = "Dusko Pavlovic",
year = "2011",
booktitle = "Proceedings of FAST 2010",
editor = "Pierpaolo Degano and Sandro Etalle and Joshua Guttman",
note = "arxiv.org:1011.5696",
pages = "1--17",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
volume = "6561",
}
@inproceedings{PavlovicD:NSPW11,
title = "Gaming security by obscurity: If the enemy knows the system, then the system should learn from the enemy",
author = "Dusko Pavlovic",
year = "2011",
booktitle = "Proceedings of NSPW 2011",
editor = "Carrie Gates and Cormac Herley",
note = "to appear",
pages = "15 pp",
publisher = "ACM",
}
@proceedings{PavlovicD:AMAST10,
title = "Algebraic Methodology and Software Technology, 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010, Revised Selected Papers",
year = "2011",
booktitle = "AMAST",
editor = "Michael Johnson and Dusko Pavlovic",
publisher = "Springer",
series = "Lecture Notes in Computer Science",
volume = "6486",
}
@article{PavlovicD:MFPS10,
title = "Bayesian Authentication: {Quantifying} Security of the {Hancke-Kuhn} Protocol",
author = "Dusko Pavlovic and Catherine Meadows",
year = "2010",
issn = "1571-0661",
journal = "E. Notes in Theor. Comp. Sci.",
keywords = "security protocol, pervasive authentication, symbolic model, Bayesian reasoning, distance bounding",
pages = "97 - 122",
volume = "265",
doi = "DOI: 10.1016/j.entcs.2010.08.007",
}
@inproceedings{PavlovicD:MPC10,
title = "Formal derivation of concurrent garbage collectors",
author = "Dusko Pavlovic and Peter Pepper and Douglas R. Smith",
year = "2010",
booktitle = "Proceedings of MPC 2010",
editor = "Jules Desharnais",
note = "full version arxiv.org:1006.4342",
pages = "353--376",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/10-garbage-full.pdf",
volume = "6120",
}
@inproceedings{PavlovicD:CWSP09,
title = "Deriving ephemeral authentication using channel axioms",
author = "Dusko Pavlovic and Catherine Meadows",
year = "2010",
booktitle = "Proceedings of the Cambridge Workshop on Security Protocols 2009",
editor = "Bruce Christianson",
note = "to appear",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
}
@inproceedings{PavlovicD:SEFM10,
title = "The unreasonable ineffectiveness of security engineering: {An overview}",
author = "Dusko Pavlovic",
year = "2010",
booktitle = "Proceedings of IEEE Conference on Software Engineering and Formal Methods, Pisa, Italy, 2010",
editor = "Jos\'e Luiz Fiadeiro and Stefania Gnesi",
pages = "12--18",
publisher = "IEEE",
}
@incollection{PavlovicD:Qabs,
title = "Geometry of abstraction in quantum computation",
author = "{Dusko Pavlovic}",
year = "2010",
booktitle = "Clifford Lectures 2008",
editor = "Michael Mislove",
note = "28 pp, arxiv.org:1006.1010",
publisher = "AMS",
url = "http://www.comlab.ox.ac.uk//files/2533/RR-09-13.pdf",
}
@techreport{RR-09-13,
title = "Geometry of abstraction in quantum computation",
author = "Dusko Pavlovic",
year = "2009",
institution = "OUCL",
month = "October",
number = "RR-09-13",
pages = "29",
}
@techreport{RR-09-09,
title = "Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol",
author = "Dusko Pavlovic and Catherine Meadows",
year = "2009",
institution = "OUCL",
month = "October",
number = "RR-09-09",
pages = "12",
}
@inproceedings{PavlovicD:CALCO09,
title = "A semantical approach to equilibria and rationality",
author = "Dusko Pavlovic",
year = "2009",
booktitle = "Proceedings of CALCO 2009",
editor = "Alexander Kurz and Andzrej Tarlecki",
note = "arxiv.org:0905.3548",
pages = "317--334",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
volume = "5728",
}
@inproceedings{PavlovicD:CWSP09,
title = "Deriving ephemeral authentication",
author = "Dusko Pavlovic and Catherine Meadows",
year = "2009",
booktitle = "Proceedings of the Cambridge Workshop on Security Protocols 2009",
editor = "Bruce Christianson",
}
@inproceedings{PavlovicD:QI09,
title = "Quantum and classical structures in nondeterministic computation",
author = "Dusko Pavlovic",
year = "2009",
booktitle = "Proceedings of Quantum Interaction 2009",
editor = "Peter Bruza and Don Sofge and Keith {van Rijsbergen}",
note = "arxiv.org:0812.2266",
pages = "143--158",
publisher = "Springer Verlag",
series = "Lecture Notes in Artificial Intelligence",
volume = "5494",
}
@incollection{PavlovicD:CQStruct,
title = "Classical and quantum structuralism",
author = "Bob Coecke and \'{E}ric Oliver Paquette and {Dusko Pavlovic}",
year = "2009",
booktitle = "Semantical Techniques in Quantum Computation",
editor = "Simon Gay and Ian Mackie",
pages = "29--69",
publisher = "Cambridge University Press",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CQStruct.pdf",
}
@article{cpv08-ndob,
title = "A new description of orthogonal bases",
author = "Bob Coecke and Dusko Pavlovic and Jamie Vicary",
year = "2008",
journal = "ENTCS",
note = "To appear",
url = "http://arxiv.org/abs/0810.0812",
}
@inproceedings{PavlovicD:ISTPS08,
title = "Deriving authentication for pervasive security",
author = "Dusko Pavlovic and Catherine Meadows",
year = "2008",
booktitle = "Proceedings of the ISTPS 2008",
editor = "John McLean",
note = "15 pp",
publisher = "ACM",
}
@inproceedings{PavlovicD:AMAST08,
title = "Evolving specification engineering",
author = "Dusko Pavlovic and Peter Pepper and Douglas R. Smith",
year = "2008",
booktitle = "Proceedings of AMAST 2008",
editor = "Jose Meseguer and Grigore Rosu",
pages = "299--314",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/AMAST08.pdf",
volume = "5140",
}
@inproceedings{PavlovicD:FAST08,
title = "Dynamics, robustness and fragility of trust",
author = "Dusko Pavlovic",
year = "2008",
booktitle = "Proceedings of FAST 2008",
editor = "Pierpaolo Degano and Joshua Guttman and Fabio Martinelli",
note = "arxiv.org:0808.0732",
pages = "97--113",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/FAST08.pdf",
volume = "5491",
}
@inproceedings{PavlovicD:QI08,
title = "On quantum statistics in data analysis",
author = "Dusko Pavlovic",
year = "2008",
booktitle = "Quantum Interaction 2008",
editor = "Peter Bruza",
note = "arxiv.org:0802.1296",
publisher = "AAAI",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/qsearch.pdf",
}
@inproceedings{PavlovicD:CSR08,
title = "Network as a computer: ranking paths to find flows",
author = "Dusko Pavlovic",
year = "2008",
booktitle = "Proceedings of CSR 2008",
editor = "Alexander Razborov and Anatol Slissenko",
note = "arxiv.org:0802.1306",
pages = "384--397",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/PathRank-short.pdf",
volume = "5010",
}
@techreport{RR-08-02,
title = "Classical and Quantum Structures",
author = "Bob Coecke and Eric O Paquette and Dusko Pavlovic",
year = "2008",
institution = "OUCL",
number = "RR-08-02",
}
@techreport{RR-08-03,
title = "Scalar Inverses in Quantum Structuralism",
author = "Bob Coecke and Dusko Pavlovic",
year = "2008",
institution = "OUCL",
number = "RR-08-03",
}
@incollection{PavlovicD:CQStruct,
title = "Classical and quantum structuralism",
author = "Bob Coecke and Eric Oliver Paquette and Dusko Pavlovic",
year = "2008",
booktitle = "Semantical Techniques in Quantum Computation",
editor = "Simon Gay and Ian Mackie",
note = "to appear",
publisher = "Cambridge University Press",
}
@article{PavlovicD:Plotkinfest07,
title = "Labelled Markov Processes as Generalised Stochastic Relations",
author = "Michael Mislove and Dusko Pavlovic and James Worrell",
year = "2007",
address = "Amsterdam, The Netherlands, The Netherlands",
issn = "1571-0661",
journal = "Electron. Notes Theor. Comput. Sci.",
pages = "459--478",
publisher = "Elsevier Science Publishers B. V.",
volume = "172",
doi = "http://dx.doi.org/10.1016/j.entcs.2007.02.015",
}
@incollection{PavlovicD:QMWS,
title = "Quantum measurements without sums",
author = "B. Coecke and D. Pavlovic",
year = "2007",
booktitle = "Mathematics of Quantum Computing and Technology",
editor = "G. Chen and L. Kauffman and S. Lamonaco",
note = "arxiv.org/quant-ph/0608035",
publisher = "Taylor and Francis",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/QMWS.pdf",
}
@techreport{RR-06-02,
title = "Quantum measurements without sums",
author = "Bob Coecke and Dusko Pavlovic",
year = "2006",
institution = "Oxford University Computing Laboratory",
month = "July",
number = "RR-06-02",
}
@inproceedings{PavlovicD:ICC06,
title = "Deriving secure network protocols for enterprise service architectures",
author = "Matthias Anlauff and Dusko Pavlovic and Asuman {S\"{u}nb\"{u}l}",
year = "2006",
booktitle = "Proceedings of {IEEE} Interrnational Conference on Communications",
editor = "{B\"{u}lent} Yener and Refik Molva and Carlos Becker Westphall",
publisher = "IEEE",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/ICC06.pdf",
}
@inproceedings{PavlovicD:AMAST06,
title = "Testing semantics: Connecting processes and process logics",
author = "Dusko Pavlovic and Michael Mislove and James Worrell",
year = "2006",
booktitle = "Proceedings of AMAST 2006",
editor = "Michael Johnson and Varmo Vene",
pages = "308--322",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/AMAST06.pdf",
volume = "4019",
}
@inproceedings{PavlovicD:ARSPA06,
title = "Proving Authentication Properties in the {Protocol Derivation Assistant}",
author = "Matthias Anlauff and Dusko Pavlovic and Richard Waldinger and Stephen Westfold",
year = "2006",
booktitle = "Proceedings of FCS-ARSPA 2006",
editor = "Pierpaolo Degano and Ralph {K\"{u}sters} and Luca Vigano",
publisher = "ACM",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/FCS-ARSPA06.pdf",
}
@inproceedings{PavlovicD:ESORICS06,
title = "Deriving secrecy properties in key establishment protocols",
author = "Dusko Pavlovic and Catherine Meadows",
year = "2006",
booktitle = "Proceedings of ESORICS 2006",
editor = "Dieter Gollmann and Andrei Sabelfeld",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/ESORICS06.pdf",
volume = "4189",
}
@incollection{PavlovicD:dist06,
title = "Distance bounding protocols: authentication logic analysis and collusion attacks",
author = "Catherine Meadows and Radha Poovendran and Dusko Pavlovic and LiWu Chang and Paul Syverson",
year = "2006",
booktitle = "Secure Localization and Time Synchronization in Wireless Ad Hoc and Sensor Networks",
editor = "R. Poovendran and C. Wang and S. Roy",
isbn = "0-387-32721-5",
publisher = "Springer Verlag",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/dist06.pdf",
}
@article{PavlovicD:JCS05,
title = "A derivation system and compositional logic for security protocols",
author = "Anupam Datta and Ante Derek and John Mitchell and Dusko Pavlovic",
year = "2005",
journal = "J. of Comp. Security",
pages = "423--482",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/JCS05.pdf",
volume = "13",
}
@inproceedings{PavlovicD:CSFW05,
title = "An encapsulated authentication logic for reasoning about key distribution protocols",
author = "Iliano Cervesato and Catherine Meadows and Dusko Pavlovic",
year = "2005",
booktitle = "Proceedings of CSFW 2005",
editor = "Joshua Guttman",
pages = "48--61",
publisher = "IEEE",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW05.pdf",
}
@article{PavlovicD:JCS04,
title = "A compositional logic for proving security properties of protocols",
author = "Nancy Durgin and John Mitchell and Dusko Pavlovic",
year = "2004",
journal = "J. of Comp. Security",
number = "4",
pages = "677--721",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/JCS03.pdf",
volume = "11",
}
@inproceedings{PavlovicD:FOSSACS04,
title = "Duality for Labelled Markov Processes",
author = "Michael Mislove and Joel Ouaknine and Dusko Pavlovic and James Worrell",
year = "2004",
booktitle = "Proceedings of FoSSaCS 2004",
editor = "Igor Walukiewicz",
pages = "393--407",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/DLMP.ps",
volume = "2987",
}
@inproceedings{PavlovicD:ESORICS04,
title = "Deriving, attacking and defending the {GDOI} protocol",
author = "Catherine Meadows and Dusko Pavlovic",
year = "2004",
booktitle = "Proceedings of ESORICS 2004",
editor = "Peter Ryan and Pierangela Samarati and Dieter Gollmann and Refik Molva",
pages = "53--72",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/GDOI.ps",
volume = "3193",
}
@inproceedings{PavlovicD:CSFW04,
title = "Abstraction and refinement in protocol derivation",
author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic",
year = "2004",
booktitle = "Proceedings of CSFW 2004",
editor = "Riccardo Focardi",
pages = "30--47",
publisher = "IEEE",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW04.ps",
}
@article{PavlovicD:MFPS03,
title = "Secure protocol composition",
author = "Anupam Datta and Ante Derek and John Mitchell and Dusko Pavlovic",
year = "2003",
journal = "E. Notes in Theor. Comp. Sci.",
pages = "87--114",
url = "http://www1.elsevier.com/gej-ng/31/29/23/147/23/show/Products/notes/index.htt",
}
@inproceedings{PavlovicD:CSFW03,
title = "A derivation system for security protocols and its logical formalization",
author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic",
year = "2003",
booktitle = "Proceedings of CSFW 2003",
editor = "Dennis Volpano",
pages = "109--125",
publisher = "IEEE",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CSFW03.pdf",
}
@inproceedings{PavlovicD:FMSE03,
title = "Secure protocol composition (extended abstract)",
author = "Anupam Datta and Ante Derek and John C. Mitchell and Dusko Pavlovic",
year = "2003",
booktitle = "Proceedings of FMCS 2003",
editor = "Michael Backes and David Basin and Michael Waidner",
pages = "11--23",
publisher = "ACM",
}
@inproceedings{PavlovicD:SDR,
title = "Software development by refinement",
author = "Dusko Pavlovic and Douglas R. Smith",
year = "2003",
booktitle = "Formal Methods at the Crossroads",
editor = "Bernhard K. Aichernig and Tom Maibaum",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
volume = "2757",
}
@inproceedings{PavlovicD:ManaFest,
title = "Colimits for Concurrent Collectors",
author = "Dusko Pavlovic and Peter Pepper and Douglas R.~Smith",
year = "2003",
booktitle = "Verification --- Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday",
editor = "Nachum Dershowitz",
pages = "568--597",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
volume = "2772",
}
@techreport{PavlovicD:JFK,
title = "Derivation of the JFK protocol",
author = "Anupam Datta and John C. Mitchell and Dusko Pavlovic",
year = "2002",
institution = "Kestrel Institute",
month = "jul",
number = "KES.U.02.03",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/MIPv6.ps",
}
@techreport{PavlovicD:MIPv6,
title = "Authentication for Mobile IPv6",
author = "Anupam Datta and John C. Mitchell and Frederic Muller and Dusko Pavlovic",
year = "2002",
institution = "Kestrel Institute",
month = "mar",
number = "KES.U.02.02",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/MIPv6.ps",
}
@article{PavlovicD:CRN1,
title = "The continuum as a final coalgebra",
author = "Dusko Pavlovic and Vaughan Pratt",
year = "2002",
journal = "Theor. Comp. Sci.",
number = "1--2",
pages = "105--122",
volume = "280",
}
@inproceedings{PavlovicD:AMAST02,
title = "Guarded transitions in evolving specifications",
author = "Dusko Pavlovic and Douglas R. Smith",
year = "2002",
booktitle = "Proceedings of AMAST 2002",
editor = "H. Kirchner and C. Ringeissen",
pages = "411--425",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/GTES.ps",
volume = "2422",
}
@inproceedings{PavlovicD:IDPT02,
title = "On Specification Carrying Software, its Refinement and Composition",
author = "Matthias Anlauff and Dusko Pavlovic",
year = "2002",
booktitle = "Proceedings of IDPT 2002",
editor = "H. Ehrig and B.J.~{Kr{\"a}mer} and A.~Ertas",
publisher = "Society for Design and Process Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/IDPT.ps",
}
@techreport{PavlovicD:EPOXI,
title = "EPOXI",
author = "Dusko Pavlovic",
year = "2001",
institution = "Kestrel Institute",
month = "jan",
number = "KES.U.01.1",
}
@inproceedings{PavlovicD:SSAS,
title = "Towards semantics of self-adaptive software",
author = "Du\v{s}ko Pavlovi\'c",
year = "2001",
booktitle = "Proceedings of the Workshop on Self-Adaptive Software",
editor = "Paul Robertson and Howie Schrobe and Robert Laddaga",
pages = "50--64",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/SSAS.ps",
volume = "1936",
}
@inproceedings{PavlovicD:CSFW01,
title = "A compositional logic for protocol correctness",
author = "Nancy Durgin and John C. Mitchell and Dusko Pavlovic",
year = "2001",
booktitle = "Proceedings of CSFW 2001",
editor = "Steve Schneider",
pages = "241--255",
publisher = "IEEE",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLPC.ps",
}
@inproceedings{PavlovicD:FOSSACS01,
title = "Categories of processes enriched in final coalgebras",
author = "Sava Krsti/'c and John Launchbury and Dusko Pavlovi\'c",
year = "2001",
booktitle = "Proceedings of FoSSaCS 2001",
editor = "Furio Honsell",
pages = "303--317",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/HYP.ps",
volume = "2030",
}
@inproceedings{PavlovicD:ASE01,
title = "Composition and refinement of behavioral specifications",
author = "Dusko Pavlovic and Douglas R. Smith",
year = "2001",
booktitle = "Automated Software Engineering 2001. The Sixteenth International Conference on Automated Software Engineering",
publisher = "IEEE",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CRBS.ps",
}
@techreport{PavlovicD:LBF,
title = "Logic of build fusion",
author = "Dusko Pavlovic",
year = "2000",
institution = "Kestrel Institute",
month = "dec",
number = "KES.U.00.9",
}
@article{PavlovicD:CRN,
title = "On coalgebra of real numbers",
author = "Dusko Pavlovic and Vaughan Pratt",
year = "1999",
journal = "E. Notes in Theor. Comp. Sci.",
pages = "133--148",
url = "http://www.elsevier.nl/locate/entcs",
volume = "19",
}
@inproceedings{PavlovicD:FOPS,
title = "Semantics of first order parametric specifications",
author = "Du\v{s}ko Pavlovi\'c",
year = "1999",
booktitle = "Formal Methods '99",
editor = "J. Woodcock and J. Wing",
pages = "155--172",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/FOPS.ps",
volume = "1708",
}
@proceedings{PavlovicD:CTCS99,
title = "CTCS '99, Conference on Category Theory and Computer Science, Edinburgh (UK), 10-12 September 1999",
year = "1999",
booktitle = "CTCS",
editor = "Martin Hofmann and Giuseppe Rosolini and Dusko Pavlovic",
publisher = "Elsevier",
series = "Electronic Notes in Theoretical Computer Science",
volume = "29",
}
@techreport{PavlovicD:GUA,
title = "Towards semantics of guarded induction",
author = "Dusko Pavlovi\'c",
year = "1998",
institution = "Kestrel Institute",
month = "dec",
}
@article{PavlovicD:GIFC,
title = "Guarded induction on final coalgebras",
author = "Dusko Pavlovi\'c",
year = "1998",
journal = "E. Notes in Theor. Comp. Sci.",
pages = "143--160",
url = "http://www.elsevier.nl/locate/entcs",
volume = "11",
}
@inproceedings{PavlovicD:LAPL,
title = "Calculus in coinductive form",
author = "Dusko Pavlovi\'c and Mart\'{\i}n Escard\'o",
year = "1998",
booktitle = "Proceedings. Thirteenth Annual IEEE Symposium on Logic in Computer Science",
editor = "V. Pratt",
pages = "408--417",
publisher = "IEEE Computer Society",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/LAPL.ps",
}
@article{PavlovicD:chuI,
title = "Chu I: cofree equivalences, dualities and $\ast$-autonomous categories",
author = "Dusko Pavlovic",
year = "1997",
journal = "Math. Structures in Comp. Sci.",
number = "2",
pages = "49--73",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/chuI.ps",
volume = "7",
}
@article{PavlovicD:CLNA,
title = "Categorical logic of names and abstraction in action calculus",
author = "Dusko Pavlovic",
year = "1997",
journal = "Math. Structures in Comp. Sci.",
pages = "619--637",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLNA.ps",
volume = "7",
}
@inproceedings{PavlovicD:SIC,
title = "Specifying Interaction Categories",
author = "Dusko Pavlovic and Samson Abramsky",
year = "1997",
booktitle = "Category Theory and Computer Science '97",
editor = "E.~Moggi and G.~Rosolini",
pages = "147--158",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/SIC.ps",
volume = "1290",
}
@article{PavlovicD:mapsII,
title = "Maps {II}: Chasing diagrams in categorical proof theory",
author = "Dusko Pavlovic",
year = "1996",
journal = "J. of the IGPL",
number = "2",
pages = "1--36",
url = "http://www.dcs.kcl.ac.uk/journals/IGPL/V4-2/",
volume = "4",
}
@inproceedings{PavlovicD:CCPS2,
title = "Convenient categories of processes and simulations {II}: modulo weak and branching bisimilarities",
author = "Dusko Pavlovic",
year = "1996",
booktitle = "Theory and Formal Methods of Computing 96",
editor = "A.~Edalat et al.",
pages = "156--167",
publisher = "World Scientific",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CCPS2.ps",
}
@article{PavlovicD:completeness,
title = "On completeness and cocompleteness in and around small categories",
author = "Dusko Pavlovic",
year = "1995",
journal = "Annals Pure Appl. Logic",
pages = "121--152",
volume = "74",
}
@article{PavlovicD:mapsI,
title = "Maps {I}: relative to a factorisation system",
author = "Dusko Pavlovic",
year = "1995",
journal = "J.~Pure Appl. Algebra",
pages = "9--34",
url = "ftp://triples.math.mcgill.ca/pub/pavlovic/mapsI.ps",
volume = "99",
}
@article{PavlovicD:4c,
title = "A categorical setting for the 4-Colour Theorem",
author = "Dusko Pavlovic",
year = "1995",
journal = "J.~Pure Appl. Algebra",
pages = "75--88",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/4c.ps",
volume = "102",
}
@inproceedings{PavlovicD:CCPS1,
title = "Convenient categories of processes and simulations {I}: modulo strong bisimilarity",
author = "Dusko Pavlovic",
year = "1995",
booktitle = "Category Theory and Computer Science '95",
editor = "D.~Pitt et al.",
pages = "3--24",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CCPS1.ps",
volume = "953",
}
@inproceedings{PavlovicD:CLCI,
title = "Categorical logic of concurrency and interaction {I}. Synchronous processes",
author = "Dusko Pavlovic",
year = "1995",
booktitle = "Theory and Formal Methods of Computing 94",
editor = "C.~Hankin et al.",
pages = "105--141",
publisher = "World Scientific",
url = "ftp://ftp.kestrel.edu/pub/papers/pavlovic/CLCI.ps",
}
@article{PavlovicD:paradoxes,
title = "On the structure of paradoxes",
author = "Dusko Pavlovic",
year = "1992",
journal = "Arch. Math. Logic",
pages = "397--406",
volume = "31",
}
@inproceedings{PavlovicD:LAFT,
title = "A logical view on the Adjoint Functor Theorem",
author = "Dusko Pavlovic",
year = "1992",
booktitle = "Category Theory 1991, Proceedings of an International Summer Category Theory Meeting",
editor = "R.A.G.~Seely",
pages = "361--367",
publisher = "American Mathematical Society",
series = "CMS Conference Proceedings",
volume = "13",
}
@inproceedings{PavlovicD:constructions,
title = "Constructions and predicates",
author = "Dusko Pavlovic",
year = "1991",
booktitle = "Category Theory and Computer Science '91",
editor = "D.~Pitt et al.",
pages = "173--197",
publisher = "Springer Verlag",
series = "Lecture Notes in Computer Science",
volume = "530",
}
@inproceedings{PavlovicD:interpolation,
title = "Categorical interpolation: descent and the Beck-Chevalley condition without direct images",
author = "Dusko Pavlovic",
year = "1991",
booktitle = "Category Theory, Proceedings, Como 1990",
editor = "A.~Carboni et al.",
pages = "306--326",
publisher = "Springer Verlag",
series = "Lecture Notes in Mathematics",
volume = "1488",
}
@phdthesis{PavlovicD:thesis,
title = "Predicates and Fibrations",
author = "Dusko Pavlovic",
year = "1990",
school = "Rijksuniversiteit Utrecht",
}