Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Dusko Pavlovic
@book{DBLP:books/sp/Pavlovic23,
author = {Dusko Pavlovic},
title = {Programs as Diagrams - In cooperation with the association Computability
in Europe},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-34827-3},
doi = {10.1007/978-3-031-34827-3},
isbn = {978-3-031-34826-6},
timestamp = {Tue, 10 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/Pavlovic23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wollic/PavlovicP23,
author = {Dusko Pavlovic and
Temra Pavlovic},
editor = {Helle Hvid Hansen and
Andre Scedrov and
Ruy J. G. B. de Queiroz},
title = {From G{\"{o}}del's Incompleteness Theorem to the Completeness
of Bot Beliefs - (Extended Abstract)},
booktitle = {Logic, Language, Information, and Computation - 29th International
Workshop, WoLLIC 2023, Halifax, NS, Canada, July 11-14, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13923},
pages = {33--50},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-39784-4\_3},
doi = {10.1007/978-3-031-39784-4\_3},
timestamp = {Tue, 05 Sep 2023 20:33:24 +0200},
biburl = {https://dblp.org/rec/conf/wollic/PavlovicP23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14338,
author = {Dusko Pavlovic and
Temra Pavlovic},
title = {From G{\"{o}}del's Incompleteness Theorem to the completeness
of bot religions (Extended abstract)},
journal = {CoRR},
volume = {abs/2303.14338},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14338},
doi = {10.48550/ARXIV.2303.14338},
eprinttype = {arXiv},
eprint = {2303.14338},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14338.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/compositionality/Pavlovic22,
author = {Dusko Pavlovic},
title = {Lambek pregroups are Frobenius spiders in preorders},
journal = {Compositionality},
volume = {4},
pages = {1},
year = {2022},
url = {https://doi.org/10.32408/compositionality-4-1},
doi = {10.32408/COMPOSITIONALITY-4-1},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/compositionality/Pavlovic22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2204-09285,
author = {Dusko Pavlovic and
Dominic J. D. Hughes},
title = {Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell},
journal = {CoRR},
volume = {abs/2204.09285},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2204.09285},
doi = {10.48550/ARXIV.2204.09285},
eprinttype = {arXiv},
eprint = {2204.09285},
timestamp = {Mon, 25 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2204-09285.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-03817,
author = {Dusko Pavlovic},
title = {Categorical Computability in Monoidal Computer: Programs as Diagrams},
journal = {CoRR},
volume = {abs/2208.03817},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.03817},
doi = {10.48550/ARXIV.2208.03817},
eprinttype = {arXiv},
eprint = {2208.03817},
timestamp = {Wed, 10 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-03817.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Pavlovic21,
author = {Dusko Pavlovic},
editor = {Daniel Dougherty and
Jos{\'{e}} Meseguer and
Sebastian Alexander M{\"{o}}dersheim and
Paul D. Rowe},
title = {Probabilistic Annotations for Protocol Models - Dedicated to Joshua
Guttman},
booktitle = {Protocols, Strands, and Logic - Essays Dedicated to Joshua Guttman
on the Occasion of his 66.66th Birthday},
series = {Lecture Notes in Computer Science},
volume = {13066},
pages = {332--347},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-91631-2\_18},
doi = {10.1007/978-3-030-91631-2\_18},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Pavlovic21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vizsec/JohnDLMPP21,
author = {Mark F. St. John and
Grit Denker and
Peeter Laud and
Karsten Martiny and
Alisa Pankova and
Dusko Pavlovic},
title = {Decision Support for Sharing Data using Differential Privacy},
booktitle = {{IEEE} Symposium on Visualization for Cyber Security, VizSec 2021,
New Orleans, LA, USA, October 27, 2021},
pages = {26--35},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/VizSec53666.2021.00008},
doi = {10.1109/VIZSEC53666.2021.00008},
timestamp = {Mon, 13 Dec 2021 16:21:38 +0100},
biburl = {https://dblp.org/rec/conf/vizsec/JohnDLMPP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-03038,
author = {Dusko Pavlovic},
title = {Lambek pregroups are Frobenius spiders in preorders},
journal = {CoRR},
volume = {abs/2105.03038},
year = {2021},
url = {https://arxiv.org/abs/2105.03038},
eprinttype = {arXiv},
eprint = {2105.03038},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-03038.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-03901,
author = {Dusko Pavlovic},
title = {Probabilistic annotations for protocol models},
journal = {CoRR},
volume = {abs/2108.03901},
year = {2021},
url = {https://arxiv.org/abs/2108.03901},
eprinttype = {arXiv},
eprint = {2108.03901},
timestamp = {Wed, 11 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-03901.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pacmpl/BruniGGGP20,
author = {Roberto Bruni and
Roberto Giacobazzi and
Roberta Gori and
Isabel Garcia{-}Contreras and
Dusko Pavlovic},
title = {Abstract extensionality: on the properties of incomplete abstract
interpretations},
journal = {Proc. {ACM} Program. Lang.},
volume = {4},
number = {{POPL}},
pages = {28:1--28:28},
year = {2020},
url = {https://doi.org/10.1145/3371096},
doi = {10.1145/3371096},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/pacmpl/BruniGGGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcss/CastiglioneP20,
author = {Jason Castiglione and
Dusko Pavlovic},
title = {Dynamic Distributed Secure Storage Against Ransomware},
journal = {{IEEE} Trans. Comput. Soc. Syst.},
volume = {7},
number = {6},
pages = {1469--1475},
year = {2020},
url = {https://doi.org/10.1109/TCSS.2019.2924650},
doi = {10.1109/TCSS.2019.2924650},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcss/CastiglioneP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Pavlovic20,
author = {Dusko Pavlovic},
editor = {Vivek Nigam and
Tajana Ban Kirigin and
Carolyn L. Talcott and
Joshua D. Guttman and
Stepan L. Kuznetsov and
Boon Thau Loo and
Mitsuhiro Okada},
title = {Logic of Fusion - - Dedicated to Andre Scedrov -},
booktitle = {Logic, Language, and Security - Essays Dedicated to Andre Scedrov
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {12300},
pages = {48--60},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-62077-6\_4},
doi = {10.1007/978-3-030-62077-6\_4},
timestamp = {Sun, 12 Feb 2023 18:48:21 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Pavlovic20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2004-07353,
author = {Dusko Pavlovic and
Dominic J. D. Hughes},
title = {The nucleus of an adjunction and the Street monad on monads},
journal = {CoRR},
volume = {abs/2004.07353},
year = {2020},
url = {https://arxiv.org/abs/2004.07353},
eprinttype = {arXiv},
eprint = {2004.07353},
timestamp = {Fri, 10 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2004-07353.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-10057,
author = {Dusko Pavlovic},
title = {Retracing some paths in categorical semantics: From process-propositions-as-types
to categorified real numbers and monoidal computers},
journal = {CoRR},
volume = {abs/2007.10057},
year = {2020},
url = {https://arxiv.org/abs/2007.10057},
eprinttype = {arXiv},
eprint = {2007.10057},
timestamp = {Tue, 28 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-10057.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-15697,
author = {Dusko Pavlovic},
title = {Logic of fusion},
journal = {CoRR},
volume = {abs/2007.15697},
year = {2020},
url = {https://arxiv.org/abs/2007.15697},
eprinttype = {arXiv},
eprint = {2007.15697},
timestamp = {Mon, 03 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-15697.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/FiadeiroTLP19,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ionut Tutu and
Ant{\'{o}}nia Lopes and
Dusko Pavlovic},
title = {Logics for Actor Networks: {A} two-stage constrained-hybridisation
approach},
journal = {J. Log. Algebraic Methods Program.},
volume = {106},
pages = {141--166},
year = {2019},
url = {https://doi.org/10.1016/j.jlamp.2019.05.001},
doi = {10.1016/J.JLAMP.2019.05.001},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlp/FiadeiroTLP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/CastiglionePS19,
author = {Jason Castiglione and
Dusko Pavlovic and
Peter{-}Michael Seidel},
editor = {Joshua D. Guttman and
Carl E. Landwehr and
Jos{\'{e}} Meseguer and
Dusko Pavlovic},
title = {Privacy Protocols},
booktitle = {Foundations of Security, Protocols, and Equational Reasoning - Essays
Dedicated to Catherine A. Meadows},
series = {Lecture Notes in Computer Science},
volume = {11565},
pages = {167--191},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19052-1\_12},
doi = {10.1007/978-3-030-19052-1\_12},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/CastiglionePS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/BriesemeisterGD19,
author = {Linda Briesemeister and
Woodrow Gustafson and
Grit Denker and
April Martin and
Karsten Martiny and
Ron Moore and
Dusko Pavlovic and
Mark F. St. John},
editor = {Abbas Moallem},
title = {Policy Creation for Enterprise-Level Data Sharing},
booktitle = {{HCI} for Cybersecurity, Privacy and Trust - First International Conference,
{HCI-CPT} 2019, Held as Part of the 21st {HCI} International Conference,
{HCII} 2019, Orlando, FL, USA, July 26-31, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11594},
pages = {249--265},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-22351-9\_17},
doi = {10.1007/978-3-030-22351-9\_17},
timestamp = {Mon, 13 Dec 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hci/BriesemeisterGD19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2019meadows,
editor = {Joshua D. Guttman and
Carl E. Landwehr and
Jos{\'{e}} Meseguer and
Dusko Pavlovic},
title = {Foundations of Security, Protocols, and Equational Reasoning - Essays
Dedicated to Catherine A. Meadows},
series = {Lecture Notes in Computer Science},
volume = {11565},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-19052-1},
doi = {10.1007/978-3-030-19052-1},
isbn = {978-3-030-19051-4},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2019meadows.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-05540,
author = {Jason Castiglione and
Dusko Pavlovic and
Peter{-}Michael Seidel},
title = {Privacy protocols},
journal = {CoRR},
volume = {abs/1904.05540},
year = {2019},
url = {http://arxiv.org/abs/1904.05540},
eprinttype = {arXiv},
eprint = {1904.05540},
timestamp = {Thu, 25 Apr 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-05540.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-04383,
author = {Dusko Pavlovic and
Temra Pavlovic},
title = {Causality and deceit: Do androids watch action movies?},
journal = {CoRR},
volume = {abs/1910.04383},
year = {2019},
url = {http://arxiv.org/abs/1910.04383},
eprinttype = {arXiv},
eprint = {1910.04383},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-04383.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/PavlovicY18,
author = {Dusko Pavlovic and
Muzamil Yahia},
editor = {Corina C{\^{\i}}rstea},
title = {Monoidal Computer {III:} {A} Coalgebraic View of Computability and
Complexity (Extended Abstract)},
booktitle = {Coalgebraic Methods in Computer Science - 14th {IFIP} {WG} 1.3 International
Workshop, {CMCS} 2018, Colocated with {ETAPS} 2018, Thessaloniki,
Greece, April 14-15, 2018, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {11202},
pages = {167--189},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-00389-0\_10},
doi = {10.1007/978-3-030-00389-0\_10},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/PavlovicY18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/BonchiGGP18,
author = {Filippo Bonchi and
Pierre Ganty and
Roberto Giacobazzi and
Dusko Pavlovic},
editor = {Anuj Dawar and
Erich Gr{\"{a}}del},
title = {Sound up-to techniques and Complete abstract domains},
booktitle = {Proceedings of the 33rd Annual {ACM/IEEE} Symposium on Logic in Computer
Science, {LICS} 2018, Oxford, UK, July 09-12, 2018},
pages = {175--184},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3209108.3209169},
doi = {10.1145/3209108.3209169},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lics/BonchiGGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1804-10507,
author = {Filippo Bonchi and
Pierre Ganty and
Roberto Giacobazzi and
Dusko Pavlovic},
title = {Sound up-to techniques and Complete abstract domains},
journal = {CoRR},
volume = {abs/1804.10507},
year = {2018},
url = {http://arxiv.org/abs/1804.10507},
eprinttype = {arXiv},
eprint = {1804.10507},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1804-10507.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/GiacobazziPT18,
author = {Roberto Giacobazzi and
Dusko Pavlovic and
Tachio Terauchi},
title = {Intensional and extensional aspects of computation: From computability
and complexity to program analysis and security {(NII} Shonan Meeting
2018-1)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2018},
year = {2018},
url = {https://shonan.nii.ac.jp/seminars/115/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/GiacobazziPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/VovkP17,
author = {Vladimir Vovk and
Dusko Pavlovic},
title = {Universal probability-free prediction},
journal = {Ann. Math. Artif. Intell.},
volume = {81},
number = {1-2},
pages = {47--70},
year = {2017},
url = {https://doi.org/10.1007/s10472-017-9547-9},
doi = {10.1007/S10472-017-9547-9},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/VovkP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iotj/LiZDZP17,
author = {Depeng Li and
Rui Zhang and
Yingfei Dong and
Fangjin Zhu and
Dusko Pavlovic},
title = {A Multisecret Value Access Control Framework for Airliner in Multinational
Air Traffic Management},
journal = {{IEEE} Internet Things J.},
volume = {4},
number = {6},
pages = {1853--1867},
year = {2017},
url = {https://doi.org/10.1109/JIOT.2017.2763178},
doi = {10.1109/JIOT.2017.2763178},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iotj/LiZDZP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/PavlovicF17,
author = {Dusko Pavlovic and
Bertfried Fauser},
title = {Smooth coalgebra: testing vector analysis},
journal = {Math. Struct. Comput. Sci.},
volume = {27},
number = {7},
pages = {1195--1235},
year = {2017},
url = {https://doi.org/10.1017/S0960129515000511},
doi = {10.1017/S0960129515000511},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/PavlovicF17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/BonchiHPS17,
author = {Filippo Bonchi and
Joshua Holland and
Dusko Pavlovic and
Pawel Sobocinski},
editor = {Roland Meyer and
Uwe Nestmann},
title = {Refinement for Signal Flow Graphs},
booktitle = {28th International Conference on Concurrency Theory, {CONCUR} 2017,
September 5-8, 2017, Berlin, Germany},
series = {LIPIcs},
volume = {85},
pages = {24:1--24:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2017.24},
doi = {10.4230/LIPICS.CONCUR.2017.24},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/BonchiHPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PavlovicS17,
author = {Dusko Pavlovic and
Peter{-}Michael Seidel},
title = {Quotients in monadic programming: Projective algebras are equivalent
to coalgebras},
booktitle = {32nd Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2017, Reykjavik, Iceland, June 20-23, 2017},
pages = {1--12},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/LICS.2017.8005110},
doi = {10.1109/LICS.2017.8005110},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PavlovicS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/FiadeiroTLP17,
author = {Jos{\'{e}} Luiz Fiadeiro and
Ionut Tutu and
Ant{\'{o}}nia Lopes and
Dusko Pavlovic},
editor = {Alexandre Madeira and
Mario R. F. Benevides},
title = {Logics for Actor Networks: {A} Case Study in Constrained Hybridization
- {A} Case Study in Constrained Hybridization},
booktitle = {Dynamic Logic. New Trends and Applications - First International Workshop,
{DALI} 2017, Brasilia, Brazil, September 23-24, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10669},
pages = {98--114},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-73579-5\_7},
doi = {10.1007/978-3-319-73579-5\_7},
timestamp = {Sat, 19 Oct 2019 20:06:19 +0200},
biburl = {https://dblp.org/rec/conf/tableaux/FiadeiroTLP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PavlovicS17,
author = {Dusko Pavlovic and
Peter{-}Michael Seidel},
title = {Quotients in monadic programming: Projective algebras are equivalent
to coalgebras},
journal = {CoRR},
volume = {abs/1701.07601},
year = {2017},
url = {http://arxiv.org/abs/1701.07601},
eprinttype = {arXiv},
eprint = {1701.07601},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PavlovicS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PavlovicY17,
author = {Dusko Pavlovic and
Muzamil Yahia},
title = {Monoidal computer {III:} {A} coalgebraic view of computability and
complexity},
journal = {CoRR},
volume = {abs/1704.04882},
year = {2017},
url = {http://arxiv.org/abs/1704.04882},
eprinttype = {arXiv},
eprint = {1704.04882},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PavlovicY17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1711-08699,
author = {Filippo Bonchi and
Dusko Pavlovic and
Pawel Sobocinski},
title = {Functorial Semantics for Relational Theories},
journal = {CoRR},
volume = {abs/1711.08699},
year = {2017},
url = {http://arxiv.org/abs/1711.08699},
eprinttype = {arXiv},
eprint = {1711.08699},
timestamp = {Tue, 21 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1711-08699.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/copa/VovkP16,
author = {Vladimir Vovk and
Dusko Pavlovic},
editor = {Alexander Gammerman and
Zhiyuan Luo and
Jes{\'{u}}s Vega and
Vladimir Vovk},
title = {Universal Probability-Free Conformal Prediction},
booktitle = {Conformal and Probabilistic Prediction with Applications - 5th International
Symposium, {COPA} 2016, Madrid, Spain, April 20-22, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9653},
pages = {40--47},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-33395-3\_3},
doi = {10.1007/978-3-319-33395-3\_3},
timestamp = {Mon, 04 Apr 2022 16:00:13 +0200},
biburl = {https://dblp.org/rec/conf/copa/VovkP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1605-06719,
author = {Dusko Pavlovic and
Peter{-}Michael Seidel},
editor = {Ross Duncan and
Chris Heunen},
title = {(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial
Algebras},
booktitle = {Proceedings 13th International Conference on Quantum Physics and Logic,
{QPL} 2016, Glasgow, Scotland, 6-10 June 2016},
series = {{EPTCS}},
volume = {236},
pages = {145--160},
year = {2016},
url = {https://doi.org/10.4204/EPTCS.236.10},
doi = {10.4204/EPTCS.236.10},
timestamp = {Tue, 29 Dec 2020 18:21:13 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1605-06719.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/VovkP16,
author = {Vladimir Vovk and
Dusko Pavlovic},
title = {Universal probability-free conformal prediction},
journal = {CoRR},
volume = {abs/1603.04283},
year = {2016},
url = {http://arxiv.org/abs/1603.04283},
eprinttype = {arXiv},
eprint = {1603.04283},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/VovkP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/KataokaP15,
author = {Toshiki Kataoka and
Dusko Pavlovic},
editor = {Lawrence S. Moss and
Pawel Sobocinski},
title = {Towards Concept Analysis in Categories: Limit Inferior as Algebra,
Limit Superior as Coalgebra},
booktitle = {6th Conference on Algebra and Coalgebra in Computer Science, {CALCO}
2015, June 24-26, 2015, Nijmegen, The Netherlands},
series = {LIPIcs},
volume = {35},
pages = {130--155},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.CALCO.2015.130},
doi = {10.4230/LIPICS.CALCO.2015.130},
timestamp = {Tue, 21 Apr 2020 10:56:16 +0200},
biburl = {https://dblp.org/rec/conf/calco/KataokaP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hotsos/Pavlovic15,
author = {Dusko Pavlovic},
editor = {David M. Nicol},
title = {Towards a science of trust},
booktitle = {Proceedings of the 2015 Symposium and Bootcamp on the Science of Security,
HotSoS 2015, Urbana, IL, USA, April 21-22, 2015},
pages = {3:1--3:9},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2746194.2746197},
doi = {10.1145/2746194.2746197},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hotsos/Pavlovic15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pavlovic15,
author = {Dusko Pavlovic},
title = {Towards a Science of Trust},
journal = {CoRR},
volume = {abs/1503.03176},
year = {2015},
url = {http://arxiv.org/abs/1503.03176},
eprinttype = {arXiv},
eprint = {1503.03176},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Pavlovic15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pavlovic15a,
author = {Dusko Pavlovic},
title = {Testing randomness by Matching Pennies},
journal = {CoRR},
volume = {abs/1503.03185},
year = {2015},
url = {http://arxiv.org/abs/1503.03185},
eprinttype = {arXiv},
eprint = {1503.03185},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Pavlovic15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KataokaP15,
author = {Toshiki Kataoka and
Dusko Pavlovic},
title = {Towards concept analysis in categories: limit inferior as algebra,
limit superior as coalgebra},
journal = {CoRR},
volume = {abs/1505.01098},
year = {2015},
url = {http://arxiv.org/abs/1505.01098},
eprinttype = {arXiv},
eprint = {1505.01098},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KataokaP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Pavlovic14,
author = {Dusko Pavlovic},
editor = {Claudia Casadio and
Bob Coecke and
Michael Moortgat and
Philip J. Scott},
title = {Chasing Diagrams in Cryptography},
booktitle = {Categories and Types in Logic, Language, and Physics - Essays Dedicated
to Jim Lambek on the Occasion of His 90th Birthday},
series = {Lecture Notes in Computer Science},
volume = {8222},
pages = {353--367},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-642-54789-8\_19},
doi = {10.1007/978-3-642-54789-8\_19},
timestamp = {Wed, 15 Feb 2023 22:07:57 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Pavlovic14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pavlovic14,
author = {Dusko Pavlovic},
title = {Chasing diagrams in cryptography},
journal = {CoRR},
volume = {abs/1401.6488},
year = {2014},
url = {http://arxiv.org/abs/1401.6488},
eprinttype = {arXiv},
eprint = {1401.6488},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Pavlovic14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/FauserP14,
author = {Bertfried Fauser and
Dusko Pavlovic},
title = {Smooth coalgebra: testing vector analysis},
journal = {CoRR},
volume = {abs/1402.4414},
year = {2014},
url = {http://arxiv.org/abs/1402.4414},
eprinttype = {arXiv},
eprint = {1402.4414},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/FauserP14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Pavlovic14a,
author = {Dusko Pavlovic},
title = {Monoidal computer {II:} Normal complexity by string diagrams},
journal = {CoRR},
volume = {abs/1402.5687},
year = {2014},
url = {http://arxiv.org/abs/1402.5687},
eprinttype = {arXiv},
eprint = {1402.5687},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/Pavlovic14a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BlakeyCMP13,
author = {Ed Blakey and
Bob Coecke and
Michael W. Mislove and
Dusko Pavlovic},
title = {Information Security as a Resource},
journal = {Inf. Comput.},
volume = {226},
pages = {1--2},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.03.001},
doi = {10.1016/J.IC.2013.03.001},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BlakeyCMP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/Pavlovic13,
author = {Dusko Pavlovic},
title = {Monoidal computer {I:} Basic computability by string diagrams},
journal = {Inf. Comput.},
volume = {226},
pages = {94--116},
year = {2013},
url = {https://doi.org/10.1016/j.ic.2013.03.007},
doi = {10.1016/J.IC.2013.03.007},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/Pavlovic13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/CoeckePV13,
author = {Bob Coecke and
Dusko Pavlovic and
Jamie Vicary},
title = {A new description of orthogonal bases},
journal = {Math. Struct. Comput. Sci.},
volume = {23},
number = {3},
pages = {555--567},
year = {2013},
url = {https://doi.org/10.1017/S0960129512000047},
doi = {10.1017/S0960129512000047},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/CoeckePV13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sj/PietersDP13,
author = {Wolter Pieters and
Trajce Dimkov and
Dusko Pavlovic},
title = {Security Policy Alignment: {A} Formal Approach},
journal = {{IEEE} Syst. J.},
volume = {7},
number = {2},
pages = {275--287},
year = {2013},
url = {https://doi.org/10.1109/JSYST.2012.2221933},
doi = {10.1109/JSYST.2012.2221933},
timestamp = {Fri, 11 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sj/PietersDP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Pavlovic13,
author = {Dusko Pavlovic},
editor = {Bob Coecke and
Luke Ong and
Prakash Panangaden},
title = {Bicompletions of Distance Matrices},
booktitle = {Computation, Logic, Games, and Quantum Foundations. The Many Facets
of Samson Abramsky - Essays Dedicated to Samson Abramsky on the Occasion
of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7860},
pages = {291--310},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38164-5\_20},
doi = {10.1007/978-3-642-38164-5\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Pavlovic13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1303-6428,
author = {Dusko Pavlovic},
title = {Bicompletions of distance matrices},
journal = {CoRR},
volume = {abs/1303.6428},
year = {2013},
url = {http://arxiv.org/abs/1303.6428},
eprinttype = {arXiv},
eprint = {1303.6428},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1303-6428.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cmcs/Pavlovic12,
author = {Dusko Pavlovic},
editor = {Dirk Pattinson and
Lutz Schr{\"{o}}der},
title = {Tracing the Man in the Middle in Monoidal Categories},
booktitle = {Coalgebraic Methods in Computer Science - 11th International Workshop,
{CMCS} 2012, Colocated with {ETAPS} 2012, Tallinn, Estonia, March
31 - April 1, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7399},
pages = {191--217},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32784-1\_11},
doi = {10.1007/978-3-642-32784-1\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cmcs/Pavlovic12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcit/PavlovicM12,
author = {Dusko Pavlovic and
Catherine Meadows},
editor = {Ramaswamy Ramanujam and
Srini Ramaswamy},
title = {Actor-Network Procedures - (Extended Abstract)},
booktitle = {Distributed Computing and Internet Technology - 8th International
Conference, {ICDCIT} 2012, Bhubaneswar, India, February 2-4, 2012.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7154},
pages = {7--26},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28073-3\_2},
doi = {10.1007/978-3-642-28073-3\_2},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icdcit/PavlovicM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfca/Pavlovic12,
author = {Dusko Pavlovic},
editor = {Florent Domenach and
Dmitry I. Ignatov and
Jonas Poelmans},
title = {Quantitative Concept Analysis},
booktitle = {Formal Concept Analysis - 10th International Conference, {ICFCA} 2012,
Leuven, Belgium, May 7-10, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7278},
pages = {260--277},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-29892-9\_24},
doi = {10.1007/978-3-642-29892-9\_24},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icfca/Pavlovic12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stm/MeadowsP12,
author = {Catherine Meadows and
Dusko Pavlovic},
editor = {Audun J{\o}sang and
Pierangela Samarati and
Marinella Petrocchi},
title = {Formalizing Physical Security Procedures},
booktitle = {Security and Trust Management - 8th International Workshop, {STM}
2012, Pisa, Italy, September 13-14, 2012, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7783},
pages = {193--208},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-38004-4\_13},
doi = {10.1007/978-3-642-38004-4\_13},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stm/MeadowsP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1203-6324,
author = {Dusko Pavlovic},
title = {Tracing the Man in the Middle in Monoidal Categories},
journal = {CoRR},
volume = {abs/1203.6324},
year = {2012},
url = {http://arxiv.org/abs/1203.6324},
eprinttype = {arXiv},
eprint = {1203.6324},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1203-6324.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-5802,
author = {Dusko Pavlovic},
title = {Quantitative Concept Analysis},
journal = {CoRR},
volume = {abs/1204.5802},
year = {2012},
url = {http://arxiv.org/abs/1204.5802},
eprinttype = {arXiv},
eprint = {1204.5802},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-5802.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-5205,
author = {Dusko Pavlovic},
title = {Monoidal computer {I:} Basic computability by string diagrams},
journal = {CoRR},
volume = {abs/1208.5205},
year = {2012},
url = {http://arxiv.org/abs/1208.5205},
eprinttype = {arXiv},
eprint = {1208.5205},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-5205.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nspw/Pavlovic11,
author = {Dusko Pavlovic},
editor = {Sean Peisert and
Richard Ford and
Carrie Gates and
Cormac Herley},
title = {Gaming security by obscurity},
booktitle = {2011 New Security Paradigms Workshop, {NSPW} '11, Marin County, CA,
USA, September 12-15, 2011},
pages = {125--140},
publisher = {{ACM}},
year = {2011},
url = {https://doi.org/10.1145/2073276.2073289},
doi = {10.1145/2073276.2073289},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/nspw/Pavlovic11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/amast/2010,
editor = {Michael Johnson and
Dusko Pavlovic},
title = {Algebraic Methodology and Software Technology - 13th International
Conference, {AMAST} 2010, Lac-Beauport, QC, Canada, June 23-25, 2010.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {6486},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-17796-5},
doi = {10.1007/978-3-642-17796-5},
isbn = {978-3-642-17795-8},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/amast/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1106-0706,
author = {Dusko Pavlovic and
Catherine Meadows},
title = {Actor-network procedures: Modeling multi-factor authentication, device
pairing, social interactions},
journal = {CoRR},
volume = {abs/1106.0706},
year = {2011},
url = {http://arxiv.org/abs/1106.0706},
eprinttype = {arXiv},
eprint = {1106.0706},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1106-0706.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-5542,
author = {Dusko Pavlovic},
title = {Gaming security by obscurity},
journal = {CoRR},
volume = {abs/1109.5542},
year = {2011},
url = {http://arxiv.org/abs/1109.5542},
eprinttype = {arXiv},
eprint = {1109.5542},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1109-5542.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Pavlovic10,
author = {Dusko Pavlovic},
editor = {Pierpaolo Degano and
Sandro Etalle and
Joshua D. Guttman},
title = {Quantifying and Qualifying Trust: Spectral Decomposition of Trust
Networks},
booktitle = {Formal Aspects of Security and Trust - 7th International Workshop,
{FAST} 2010, Pisa, Italy, September 16-17, 2010. Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {6561},
pages = {1--17},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-19751-2\_1},
doi = {10.1007/978-3-642-19751-2\_1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Pavlovic10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mpc/PavlovicPS10,
author = {Dusko Pavlovic and
Peter Pepper and
Douglas R. Smith},
editor = {Claude Bolduc and
Jos{\'{e}}e Desharnais and
B{\'{e}}chir Ktari},
title = {Formal Derivation of Concurrent Garbage Collectors},
booktitle = {Mathematics of Program Construction, 10th International Conference,
{MPC} 2010, Qu{\'{e}}bec City, Canada, June 21-23, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6120},
pages = {353--376},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13321-3\_20},
doi = {10.1007/978-3-642-13321-3\_20},
timestamp = {Sat, 16 Oct 2021 20:00:44 +0200},
biburl = {https://dblp.org/rec/conf/mpc/PavlovicPS10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Pavlovic10,
author = {Dusko Pavlovic},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Stefania Gnesi and
Andrea Maggiolo{-}Schettini},
title = {The Unreasonable Ineffectiveness of Security Engineering: An Overview},
booktitle = {8th {IEEE} International Conference on Software Engineering and Formal
Methods, {SEFM} 2010, Pisa, Italy, 13-18 September 2010},
pages = {12--18},
publisher = {{IEEE} Computer Society},
year = {2010},
url = {https://doi.org/10.1109/SEFM.2010.10},
doi = {10.1109/SEFM.2010.10},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sefm/Pavlovic10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PavlovicM10,
author = {Dusko Pavlovic and
Catherine Meadows},
editor = {Michael W. Mislove and
Peter Selinger},
title = {Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol},
booktitle = {Proceedings of the 26th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2010, Ottawa, Ontario, Canada, May
6-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {265},
pages = {97--122},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.08.007},
doi = {10.1016/J.ENTCS.2010.08.007},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/PavlovicM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-1010,
author = {Dusko Pavlovic},
title = {Geometry of abstraction in quantum computation},
journal = {CoRR},
volume = {abs/1006.1010},
year = {2010},
url = {http://arxiv.org/abs/1006.1010},
eprinttype = {arXiv},
eprint = {1006.1010},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-1011,
author = {Dusko Pavlovic},
title = {Relating toy models of quantum computation: comprehension, complementarity
and dagger mix autonomous categories},
journal = {CoRR},
volume = {abs/1006.1011},
year = {2010},
url = {http://arxiv.org/abs/1006.1011},
eprinttype = {arXiv},
eprint = {1006.1011},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-1011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1006-4342,
author = {Dusko Pavlovic and
Peter Pepper and
Douglas R. Smith},
title = {Formal Derivation of Concurrent Garbage Collectors},
journal = {CoRR},
volume = {abs/1006.4342},
year = {2010},
url = {http://arxiv.org/abs/1006.4342},
eprinttype = {arXiv},
eprint = {1006.4342},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1006-4342.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1011-5696,
author = {Dusko Pavlovic},
title = {Quantifying and qualifying trust: Spectral decomposition of trust
networks},
journal = {CoRR},
volume = {abs/1011.5696},
year = {2010},
url = {http://arxiv.org/abs/1011.5696},
eprinttype = {arXiv},
eprint = {1011.5696},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1011-5696.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/calco/Pavlovic09,
author = {Dusko Pavlovic},
editor = {Alexander Kurz and
Marina Lenisa and
Andrzej Tarlecki},
title = {A Semantical Approach to Equilibria and Rationality},
booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
{CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5728},
pages = {317--334},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03741-2\_22},
doi = {10.1007/978-3-642-03741-2\_22},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/calco/Pavlovic09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qi/Pavlovic09,
author = {Dusko Pavlovic},
editor = {Peter Bruza and
Donald A. Sofge and
William F. Lawless and
Keith van Rijsbergen and
Matthias Klusch},
title = {Quantum and Classical Structures in Nondeterminstic Computation},
booktitle = {Quantum Interaction, Third International Symposium, {QI} 2009, Saarbr{\"{u}}cken,
Germany, March 25-27, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5494},
pages = {143--157},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-00834-4\_13},
doi = {10.1007/978-3-642-00834-4\_13},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/qi/Pavlovic09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spw/PavlovicM09,
author = {Dusko Pavlovic and
Catherine Meadows},
editor = {Bruce Christianson and
James A. Malcolm and
Vashek Matyas and
Michael Roe},
title = {Deriving Ephemeral Authentication Using Channel Axioms},
booktitle = {Security Protocols XVII, 17th International Workshop, Cambridge, UK,
April 1-3, 2009. Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {7028},
pages = {240--261},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-36213-2\_27},
doi = {10.1007/978-3-642-36213-2\_27},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/spw/PavlovicM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pavlovic11,
author = {Dusko Pavlovic},
editor = {Bob Coecke and
Prakash Panangaden and
Peter Selinger},
title = {Relating Toy Models of Quantum Computation: Comprehension, Complementarity
and Dagger Mix Autonomous Categories},
booktitle = {Proceedings of the 6th International Workshop on Quantum Physics and
Logic, QPL@MFPS 2009, Oxford, UK, April 8-9, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {270},
number = {2},
pages = {121--139},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2011.01.027},
doi = {10.1016/J.ENTCS.2011.01.027},
timestamp = {Fri, 10 Mar 2023 13:14:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pavlovic11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/Pavlovic09,
author = {Dusko Pavlovic},
editor = {Samuel L. Braunstein and
Hoi{-}Kwong Lo and
Kenny Paterson and
Peter Y. A. Ryan},
title = {Geometry of abstraction in quantum computation},
booktitle = {Classical and Quantum Information Assurance Foundations and Practice,
26.07. - 31.07.2009},
series = {Dagstuhl Seminar Proceedings},
volume = {09311},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik, Germany},
year = {2009},
url = {http://drops.dagstuhl.de/opus/volltexte/2010/2362/},
timestamp = {Thu, 10 Jun 2021 13:02:05 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/Pavlovic09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0905-3548,
author = {Dusko Pavlovic},
title = {A semantical approach to equilibria and rationality},
journal = {CoRR},
volume = {abs/0905.3548},
year = {2009},
url = {http://arxiv.org/abs/0905.3548},
eprinttype = {arXiv},
eprint = {0905.3548},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0905-3548.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/PavlovicM09,
author = {Dusko Pavlovic and
Catherine Meadows},
title = {Quantifying pervasive authentication: the case of the Hancke-Kuhn
protocol},
journal = {CoRR},
volume = {abs/0910.5745},
year = {2009},
url = {http://arxiv.org/abs/0910.5745},
eprinttype = {arXiv},
eprint = {0910.5745},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/PavlovicM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/PavlovicPS08,
author = {Dusko Pavlovic and
Peter Pepper and
Douglas R. Smith},
editor = {Jos{\'{e}} Meseguer and
Grigore Rosu},
title = {Evolving Specification Engineering},
booktitle = {Algebraic Methodology and Software Technology, 12th International
Conference, {AMAST} 2008, Urbana, IL, USA, July 28-31, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5140},
pages = {299--314},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79980-1\_23},
doi = {10.1007/978-3-540-79980-1\_23},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/amast/PavlovicPS08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/Pavlovic08,
author = {Dusko Pavlovic},
editor = {Edward A. Hirsch and
Alexander A. Razborov and
Alexei L. Semenov and
Anatol Slissenko},
title = {Network as a Computer: Ranking Paths to Find Flows},
booktitle = {Computer Science - Theory and Applications, Third International Computer
Science Symposium in Russia, {CSR} 2008, Moscow, Russia, June 7-12,
2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5010},
pages = {384--397},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79709-8\_38},
doi = {10.1007/978-3-540-79709-8\_38},
timestamp = {Tue, 21 Mar 2023 21:00:47 +0100},
biburl = {https://dblp.org/rec/conf/csr/Pavlovic08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip1-7/Pavlovic08,
author = {Dusko Pavlovic},
editor = {Pierpaolo Degano and
Joshua D. Guttman and
Fabio Martinelli},
title = {Dynamics, Robustness and Fragility of Trust},
booktitle = {Formal Aspects in Security and Trust, 5th International Workshop,
{FAST} 2008, Malaga, Spain, October 9-10, 2008, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {5491},
pages = {97--113},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-642-01465-9\_7},
doi = {10.1007/978-3-642-01465-9\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ifip1-7/Pavlovic08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-1296,
author = {Dusko Pavlovic},
title = {On quantum statistics in data analysis},
journal = {CoRR},
volume = {abs/0802.1296},
year = {2008},
url = {http://arxiv.org/abs/0802.1296},
eprinttype = {arXiv},
eprint = {0802.1296},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-1296.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0802-1306,
author = {Dusko Pavlovic},
title = {Network as a computer: ranking paths to find flows},
journal = {CoRR},
volume = {abs/0802.1306},
year = {2008},
url = {http://arxiv.org/abs/0802.1306},
eprinttype = {arXiv},
eprint = {0802.1306},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0802-1306.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0808-0732,
author = {Dusko Pavlovic},
title = {Dynamics, robustness and fragility of trust},
journal = {CoRR},
volume = {abs/0808.0732},
year = {2008},
url = {http://arxiv.org/abs/0808.0732},
eprinttype = {arXiv},
eprint = {0808.0732},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0808-0732.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MislovePW07,
author = {Michael W. Mislove and
Dusko Pavlovic and
James Worrell},
editor = {Luca Cardelli and
Marcelo Fiore and
Glynn Winskel},
title = {Labelled Markov Processes as Generalised Stochastic Relations},
booktitle = {Computation, Meaning, and Logic: Articles dedicated to Gordon Plotkin},
series = {Electronic Notes in Theoretical Computer Science},
volume = {172},
pages = {459--478},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.015},
doi = {10.1016/J.ENTCS.2007.02.015},
timestamp = {Tue, 24 Jan 2023 11:36:28 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MislovePW07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/ais/MeadowsPPCS07,
author = {Catherine Meadows and
Radha Poovendran and
Dusko Pavlovic and
LiWu Chang and
Paul F. Syverson},
editor = {Radha Poovendran and
Sumit Roy and
Cliff Wang},
title = {Distance Bounding Protocols: Authentication Logic Analysis and Collusion
Attacks},
booktitle = {Secure Localization and Time Synchronization for Wireless Sensor and
Ad Hoc Networks},
series = {Advances in Information Security},
volume = {30},
pages = {279--298},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-0-387-46276-9\_12},
doi = {10.1007/978-0-387-46276-9\_12},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/ais/MeadowsPPCS07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/PavlovicMW06,
author = {Dusko Pavlovic and
Michael W. Mislove and
James Worrell},
editor = {Michael Johnson and
Varmo Vene},
title = {Testing Semantics: Connecting Processes and Process Logics},
booktitle = {Algebraic Methodology and Software Technology, 11th International
Conference, {AMAST} 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4019},
pages = {308--322},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11784180\_24},
doi = {10.1007/11784180\_24},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/amast/PavlovicMW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/PavlovicM06,
author = {Dusko Pavlovic and
Catherine Meadows},
editor = {Dieter Gollmann and
Jan Meier and
Andrei Sabelfeld},
title = {Deriving Secrecy in Key Establishment Protocols},
booktitle = {Computer Security - {ESORICS} 2006, 11th European Symposium on Research
in Computer Security, Hamburg, Germany, September 18-20, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4189},
pages = {384--403},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11863908\_24},
doi = {10.1007/11863908\_24},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/PavlovicM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Pavlovic06,
author = {Dusko Pavlovic},
editor = {Jayadev Misra and
Tobias Nipkow and
Emil Sekerinski},
title = {Connector-Based Software Development: Deriving Secure Protocols},
booktitle = {{FM} 2006: Formal Methods, 14th International Symposium on Formal
Methods, Hamilton, Canada, August 21-27, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4085},
pages = {598--599},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11813040\_41},
doi = {10.1007/11813040\_41},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/Pavlovic06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/AnlauffPS06,
author = {Matthias Anlauff and
Dusko Pavlovic and
Asuman Suenbuel},
title = {Deriving Secure Network Protocols for Enterprise Services Architectures},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2006, Istanbul, Turkey, 11-15 June 2006},
pages = {2283--2287},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICC.2006.255110},
doi = {10.1109/ICC.2006.255110},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/AnlauffPS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/DattaDMP05,
author = {Anupam Datta and
Ante Derek and
John C. Mitchell and
Dusko Pavlovic},
title = {A derivation system and compositional logic for security protocols},
journal = {J. Comput. Secur.},
volume = {13},
number = {3},
pages = {423--482},
year = {2005},
url = {https://doi.org/10.3233/jcs-2005-13304},
doi = {10.3233/JCS-2005-13304},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/DattaDMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/CervesatoMP05,
author = {Iliano Cervesato and
Catherine Meadows and
Dusko Pavlovic},
title = {An Encapsulated Authentication Logic for Reasoning about Key Distribution
Protocols},
booktitle = {18th {IEEE} Computer Security Foundations Workshop, {(CSFW-18} 2005),
20-22 June 2005, Aix-en-Provence, France},
pages = {48--61},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/CSFW.2005.7},
doi = {10.1109/CSFW.2005.7},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csfw/CervesatoMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/DattaDMP04,
author = {Anupam Datta and
Ante Derek and
John C. Mitchell and
Dusko Pavlovic},
title = {Abstraction and Refinement in Protocol Derivation},
booktitle = {17th {IEEE} Computer Security Foundations Workshop, {(CSFW-17} 2004),
28-30 June 2004, Pacific Grove, CA, {USA}},
pages = {30},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.ieeecomputersociety.org/10.1109/CSFW.2004.4},
doi = {10.1109/CSFW.2004.4},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/DattaDMP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esorics/MeadowsP04,
author = {Catherine Meadows and
Dusko Pavlovic},
editor = {Pierangela Samarati and
Peter Y. A. Ryan and
Dieter Gollmann and
Refik Molva},
title = {Deriving, Attacking and Defending the {GDOI} Protocol},
booktitle = {Computer Security - {ESORICS} 2004, 9th European Symposium on Research
Computer Security, Sophia Antipolis, France, September 13-15, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3193},
pages = {53--72},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30108-0\_4},
doi = {10.1007/978-3-540-30108-0\_4},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esorics/MeadowsP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/MisloveOPW04,
author = {Michael W. Mislove and
Jo{\"{e}}l Ouaknine and
Dusko Pavlovic and
James Worrell},
editor = {Igor Walukiewicz},
title = {Duality for Labelled Markov Processes},
booktitle = {Foundations of Software Science and Computation Structures, 7th International
Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain,
March 29 - April 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2987},
pages = {393--407},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-24727-2\_28},
doi = {10.1007/978-3-540-24727-2\_28},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/fossacs/MisloveOPW04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcs/DurginMP03,
author = {Nancy A. Durgin and
John C. Mitchell and
Dusko Pavlovic},
title = {A Compositional Logic for Proving Security Properties of Protocols},
journal = {J. Comput. Secur.},
volume = {11},
number = {4},
pages = {677--722},
year = {2003},
url = {https://doi.org/10.3233/jcs-2003-11407},
doi = {10.3233/JCS-2003-11407},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jcs/DurginMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PavlovicPS03,
author = {Dusko Pavlovic and
Peter Pepper and
Douglas R. Smith},
editor = {Nachum Dershowitz},
title = {Colimits for Concurrent Collectors},
booktitle = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
on the Occasion of His 64th Birthday},
series = {Lecture Notes in Computer Science},
volume = {2772},
pages = {568--597},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39910-0\_25},
doi = {10.1007/978-3-540-39910-0\_25},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PavlovicPS03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccs/DattaDMP03,
author = {Anupam Datta and
Ante Derek and
John C. Mitchell and
Dusko Pavlovic},
editor = {Michael Backes and
David A. Basin},
title = {Secure protocol composition},
booktitle = {Proceedings of the 2003 {ACM} workshop on Formal methods in security
engineering, {FMSE} 2003, Washington, DC, USA, October 30, 2003},
pages = {11--23},
publisher = {{ACM}},
year = {2003},
url = {https://doi.org/10.1145/1035429.1035431},
doi = {10.1145/1035429.1035431},
timestamp = {Tue, 10 Nov 2020 16:06:16 +0100},
biburl = {https://dblp.org/rec/conf/ccs/DattaDMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/DattaDMP03,
author = {Anupam Datta and
Ante Derek and
John C. Mitchell and
Dusko Pavlovic},
title = {A Derivation System for Security Protocols and its Logical Formalization},
booktitle = {16th {IEEE} Computer Security Foundations Workshop {(CSFW-16} 2003),
30 June - 2 July 2003, Pacific Grove, CA, {USA}},
pages = {109--125},
publisher = {{IEEE} Computer Society},
year = {2003},
url = {https://doi.org/10.1109/CSFW.2003.1212708},
doi = {10.1109/CSFW.2003.1212708},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/DattaDMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/DattaDMP03,
author = {Anupam Datta and
Ante Derek and
John C. Mitchell and
Dusko Pavlovic},
editor = {Stephen D. Brookes and
Prakash Panangaden},
title = {Secure Protocol Composition},
booktitle = {Proceedings of 19th Conference on the Mathematical Foundations of
Programming Semantics, {MFPS} 2003, Universit{\'{e}} de Montr{\'{e}}al,
QC, Canada, March 19-22, 2003},
series = {Electronic Notes in Theoretical Computer Science},
volume = {83},
pages = {201--226},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/S1571-0661(03)50011-1},
doi = {10.1016/S1571-0661(03)50011-1},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/mfps/DattaDMP03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/PavlovicP02,
author = {Dusko Pavlovic and
Vaughan R. Pratt},
title = {The continuum as a final coalgebra},
journal = {Theor. Comput. Sci.},
volume = {280},
number = {1-2},
pages = {105--122},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00022-6},
doi = {10.1016/S0304-3975(01)00022-6},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/PavlovicP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/PavlovicS02,
author = {Dusko Pavlovic and
Douglas R. Smith},
editor = {H{\'{e}}l{\`{e}}ne Kirchner and
Christophe Ringeissen},
title = {Guarded Transitions in Evolving Specifications},
booktitle = {Algebraic Methodology and Software Technology, 9th International Conference,
{AMAST} 2002, Saint-Gilles-les-Bains, Reunion Island, France, September
9-13, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2422},
pages = {411--425},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45719-4\_28},
doi = {10.1007/3-540-45719-4\_28},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/amast/PavlovicS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unu/PavlovicS02,
author = {Dusko Pavlovic and
Douglas R. Smith},
editor = {Bernhard K. Aichernig and
T. S. E. Maibaum},
title = {Software Development by Refinement},
booktitle = {Formal Methods at the Crossroads. From Panacea to Foundational Support,
10th Anniversary Colloquium of UNU/IIST, the International Institute
for Software Technology of The United Nations University, Lisbon,
Portugal, March 18-20, 2002, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2757},
pages = {267--286},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/978-3-540-40007-3\_17},
doi = {10.1007/978-3-540-40007-3\_17},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/unu/PavlovicS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csfw/DurginMP01,
author = {Nancy A. Durgin and
John C. Mitchell and
Dusko Pavlovic},
title = {A Compositional Logic for Protocol Correctness},
booktitle = {14th {IEEE} Computer Security Foundations Workshop {(CSFW-14} 2001),
11-13 June 2001, Cape Breton, Nova Scotia, Canada},
pages = {241--255},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/CSFW.2001.930150},
doi = {10.1109/CSFW.2001.930150},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/csfw/DurginMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/KrsticLP01,
author = {Sava Krstic and
John Launchbury and
Dusko Pavlovic},
editor = {Furio Honsell and
Marino Miculan},
title = {Categories of Processes Enriched in Final Coalgebras},
booktitle = {Foundations of Software Science and Computation Structures, 4th International
Conference, {FOSSACS} 2001 Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April
2-6, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2030},
pages = {303--317},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45315-6\_20},
doi = {10.1007/3-540-45315-6\_20},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/KrsticLP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PavlovicS01,
author = {Dusko Pavlovic and
Douglas R. Smith},
title = {Composition and Refinement of Behavioral Specifications},
booktitle = {16th {IEEE} International Conference on Automated Software Engineering
{(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
{USA}},
pages = {157--165},
publisher = {{IEEE} Computer Society},
year = {2001},
url = {https://doi.org/10.1109/ASE.2001.989801},
doi = {10.1109/ASE.2001.989801},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/PavlovicS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsas/Pavlovic00,
author = {Dusko Pavlovic},
editor = {Paul Robertson and
Howard E. Shrobe and
Robert Laddaga},
title = {Towards Semantics of Self-Adaptive Software},
booktitle = {Self-Adaptive Software, First International Workshop, {IWSAS} 2000,
Oxford, UK, April 17-19, 2000, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {1936},
pages = {65--74},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44584-6\_5},
doi = {10.1007/3-540-44584-6\_5},
timestamp = {Fri, 11 Dec 2020 15:37:35 +0100},
biburl = {https://dblp.org/rec/conf/iwsas/Pavlovic00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/Pavlovic99,
author = {Dusko Pavlovic},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Semantics of First Order Parametric Specifications},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {I}},
series = {Lecture Notes in Computer Science},
volume = {1708},
pages = {155--172},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48119-2\_11},
doi = {10.1007/3-540-48119-2\_11},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/Pavlovic99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/PavlovicP99,
author = {Dusko Pavlovic and
Vaughan R. Pratt},
editor = {Bart Jacobs and
Jan J. M. M. Rutten},
title = {On coalgebra of real numbers},
booktitle = {Coalgebraic Methods in Computer Science, {CMCS} 1999, Amsterdam, The
Netherlands, March 20-21, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {19},
pages = {103--117},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80272-5},
doi = {10.1016/S1571-0661(05)80272-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/PavlovicP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/tcs/HofmannRP99,
author = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Preface},
booktitle = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
pages = {1},
publisher = {Elsevier},
year = {1999},
url = {https://doi.org/10.1016/S1571-0661(05)80300-7},
doi = {10.1016/S1571-0661(05)80300-7},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HofmannRP99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ctcs/1999,
editor = {Martin Hofmann and
Giuseppe Rosolini and
Dusko Pavlovic},
title = {Conference on Category Theory and Computer Science, {CTCS} 1999, Edinburgh,
UK, December 10-12, 1999},
series = {Electronic Notes in Theoretical Computer Science},
volume = {29},
publisher = {Elsevier},
year = {1999},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/29/suppl/C},
timestamp = {Fri, 17 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ctcs/1999.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/PavlovicE98,
author = {Dusko Pavlovic and
Mart{\'{\i}}n H{\"{o}}tzel Escard{\'{o}}},
title = {Calculus in Coinductive Form},
booktitle = {Thirteenth Annual {IEEE} Symposium on Logic in Computer Science, Indianapolis,
Indiana, USA, June 21-24, 1998},
pages = {408--417},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {https://doi.org/10.1109/LICS.1998.705675},
doi = {10.1109/LICS.1998.705675},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/lics/PavlovicE98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Pavlovic98,
author = {Dusko Pavlovic},
editor = {Bart Jacobs and
Larry Moss and
Horst Reichel and
Jan J. M. M. Rutten},
title = {Guarded induction on final coalgebras},
booktitle = {First Workshop on Coalgebraic Methods in Computer Science, {CMCS}
1998, Lisbon, Portugal, March 28-29, 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {11},
pages = {140--157},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(04)00056-8},
doi = {10.1016/S1571-0661(04)00056-8},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Pavlovic98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Pavlovic97,
author = {Dusko Pavlovic},
title = {Chu {I:} Cofree Equivalences, Dualities and *-Autonomous Categories},
journal = {Math. Struct. Comput. Sci.},
volume = {7},
number = {1},
pages = {49--73},
year = {1997},
url = {https://doi.org/10.1017/S0960129596002046},
doi = {10.1017/S0960129596002046},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Pavlovic97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Pavlovic97a,
author = {Dusko Pavlovic},
title = {Categorical logic of Names and Abstraction in Action Calculi},
journal = {Math. Struct. Comput. Sci.},
volume = {7},
number = {6},
pages = {619--637},
year = {1997},
url = {http://journals.cambridge.org/action/displayAbstract?aid=44693},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Pavlovic97a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/PavlovicA97,
author = {Dusko Pavlovic and
Samson Abramsky},
editor = {Eugenio Moggi and
Giuseppe Rosolini},
title = {Specifying Interaction Categories},
booktitle = {Category Theory and Computer Science, 7th International Conference,
{CTCS} '97, Santa Margherita Ligure, Italy, September 4-6, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1290},
pages = {147--158},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0026986},
doi = {10.1007/BFB0026986},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/PavlovicA97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/Pavlovic96,
author = {Dusko Pavlovic},
title = {Maps {II:} Chasing Diagrams in Categorical Proof Theory},
journal = {Log. J. {IGPL}},
volume = {4},
number = {2},
pages = {159--194},
year = {1996},
url = {https://doi.org/10.1093/jigpal/4.2.159},
doi = {10.1093/JIGPAL/4.2.159},
timestamp = {Fri, 06 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/igpl/Pavlovic96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/apal/Pavlovic95,
author = {Dusko Pavlovic},
title = {On Completeness and Cocompleteness in an Around Small Categories},
journal = {Ann. Pure Appl. Log.},
volume = {74},
number = {2},
pages = {121--152},
year = {1995},
url = {https://doi.org/10.1016/0168-0072(94)00035-2},
doi = {10.1016/0168-0072(94)00035-2},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/apal/Pavlovic95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Pavlovic95,
author = {Dusko Pavlovic},
editor = {David H. Pitt and
David E. Rydeheard and
Peter T. Johnstone},
title = {Convenient Category of Processes and Simulations 1: Modulo Strong
Bisimilarity},
booktitle = {Category Theory and Computer Science, 6th International Conference,
{CTCS} '95, Cambridge, UK, August 7-11, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {953},
pages = {3--23},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60164-3\_17},
doi = {10.1007/3-540-60164-3\_17},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Pavlovic95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/Pavlovic94,
author = {Dusko Pavlovic},
editor = {Chris Hankin and
Ian Mackie and
Rajagopal Nagarajan},
title = {Categorical Logic of Concurrency and Interaction {I:} Synchronous
Processes},
booktitle = {Proceedings for the Second Imperial College Department of Computing
Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge,
UK, 11-14 September 1994},
pages = {105--141},
publisher = {Imperial College Press},
year = {1994},
timestamp = {Wed, 20 Jun 2018 17:55:12 +0200},
biburl = {https://dblp.org/rec/conf/imperial/Pavlovic94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aml/Pavlovic92,
author = {Dusko Pavlovic},
title = {On the structure of paradoxes},
journal = {Arch. Math. Log.},
volume = {31},
number = {6},
pages = {397--406},
year = {1992},
url = {https://doi.org/10.1007/BF01277482},
doi = {10.1007/BF01277482},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aml/Pavlovic92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/Pavlovic91,
author = {Dusko Pavlovic},
editor = {David H. Pitt and
Pierre{-}Louis Curien and
Samson Abramsky and
Andrew M. Pitts and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Constructions and Predicates},
booktitle = {Category Theory and Computer Science, 4th International Conference,
Paris, France, September 3-6, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {530},
pages = {173--196},
publisher = {Springer},
year = {1991},
url = {https://doi.org/10.1007/BFb0013466},
doi = {10.1007/BFB0013466},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/Pavlovic91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 01:48 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
