default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDusko Pavlovic
Person information
- affiliation: University of Hawaii, Honolulu, HI, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[i39]Dusko Pavlovic:
Language processing in humans and computers. CoRR abs/2405.14233 (2024)- 2023
- [b1]Dusko Pavlovic
:
Programs as Diagrams - In cooperation with the association Computability in Europe. Springer 2023, ISBN 978-3-031-34826-6, pp. 1-190 - [c61]Dusko Pavlovic, Temra Pavlovic:
From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). WoLLIC 2023: 33-50 - [i38]Dusko Pavlovic, Temra Pavlovic:
From Gödel's Incompleteness Theorem to the completeness of bot religions (Extended abstract). CoRR abs/2303.14338 (2023) - 2022
- [j19]Dusko Pavlovic:
Lambek pregroups are Frobenius spiders in preorders. Compositionality 4: 1 (2022) - [i37]Dusko Pavlovic, Dominic J. D. Hughes:
Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell. CoRR abs/2204.09285 (2022) - [i36]Dusko Pavlovic:
Categorical Computability in Monoidal Computer: Programs as Diagrams. CoRR abs/2208.03817 (2022) - 2021
- [c60]Dusko Pavlovic:
Probabilistic Annotations for Protocol Models - Dedicated to Joshua Guttman. Protocols, Strands, and Logic 2021: 332-347 - [c59]Mark F. St. John, Grit Denker, Peeter Laud, Karsten Martiny, Alisa Pankova, Dusko Pavlovic:
Decision Support for Sharing Data using Differential Privacy. VizSec 2021: 26-35 - [i35]Dusko Pavlovic:
Lambek pregroups are Frobenius spiders in preorders. CoRR abs/2105.03038 (2021) - [i34]Dusko Pavlovic:
Probabilistic annotations for protocol models. CoRR abs/2108.03901 (2021) - 2020
- [j18]Roberto Bruni, Roberto Giacobazzi, Roberta Gori, Isabel Garcia-Contreras, Dusko Pavlovic:
Abstract extensionality: on the properties of incomplete abstract interpretations. Proc. ACM Program. Lang. 4(POPL): 28:1-28:28 (2020) - [j17]Jason Castiglione, Dusko Pavlovic:
Dynamic Distributed Secure Storage Against Ransomware. IEEE Trans. Comput. Soc. Syst. 7(6): 1469-1475 (2020) - [c58]Dusko Pavlovic:
Logic of Fusion - - Dedicated to Andre Scedrov -. Logic, Language, and Security 2020: 48-60 - [i33]Dusko Pavlovic, Dominic J. D. Hughes:
The nucleus of an adjunction and the Street monad on monads. CoRR abs/2004.07353 (2020) - [i32]Dusko Pavlovic:
Retracing some paths in categorical semantics: From process-propositions-as-types to categorified real numbers and monoidal computers. CoRR abs/2007.10057 (2020) - [i31]Dusko Pavlovic:
Logic of fusion. CoRR abs/2007.15697 (2020)
2010 – 2019
- 2019
- [j16]José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic:
Logics for Actor Networks: A two-stage constrained-hybridisation approach. J. Log. Algebraic Methods Program. 106: 141-166 (2019) - [c57]Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel:
Privacy Protocols. Foundations of Security, Protocols, and Equational Reasoning 2019: 167-191 - [c56]Linda Briesemeister, Woodrow Gustafson, Grit Denker, April Martin, Karsten Martiny, Ron Moore, Dusko Pavlovic, Mark F. St. John:
Policy Creation for Enterprise-Level Data Sharing. HCI (29) 2019: 249-265 - [e3]Joshua D. Guttman, Carl E. Landwehr, José Meseguer, Dusko Pavlovic:
Foundations of Security, Protocols, and Equational Reasoning - Essays Dedicated to Catherine A. Meadows. Lecture Notes in Computer Science 11565, Springer 2019, ISBN 978-3-030-19051-4 [contents] - [i30]Jason Castiglione, Dusko Pavlovic, Peter-Michael Seidel:
Privacy protocols. CoRR abs/1904.05540 (2019) - [i29]Dusko Pavlovic, Temra Pavlovic:
Causality and deceit: Do androids watch action movies? CoRR abs/1910.04383 (2019) - 2018
- [c55]Dusko Pavlovic, Muzamil Yahia:
Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract). CMCS 2018: 167-189 - [c54]Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic:
Sound up-to techniques and Complete abstract domains. LICS 2018: 175-184 - [i28]Filippo Bonchi, Pierre Ganty, Roberto Giacobazzi, Dusko Pavlovic:
Sound up-to techniques and Complete abstract domains. CoRR abs/1804.10507 (2018) - [i27]Roberto Giacobazzi, Dusko Pavlovic, Tachio Terauchi:
Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1). NII Shonan Meet. Rep. 2018 (2018) - 2017
- [j15]Vladimir Vovk, Dusko Pavlovic:
Universal probability-free prediction. Ann. Math. Artif. Intell. 81(1-2): 47-70 (2017) - [j14]Depeng Li, Rui Zhang, Yingfei Dong, Fangjin Zhu, Dusko Pavlovic:
A Multisecret Value Access Control Framework for Airliner in Multinational Air Traffic Management. IEEE Internet Things J. 4(6): 1853-1867 (2017) - [j13]Dusko Pavlovic, Bertfried Fauser:
Smooth coalgebra: testing vector analysis. Math. Struct. Comput. Sci. 27(7): 1195-1235 (2017) - [c53]Filippo Bonchi, Joshua Holland, Dusko Pavlovic, Pawel Sobocinski:
Refinement for Signal Flow Graphs. CONCUR 2017: 24:1-24:16 - [c52]Dusko Pavlovic, Peter-Michael Seidel:
Quotients in monadic programming: Projective algebras are equivalent to coalgebras. LICS 2017: 1-12 - [c51]José Luiz Fiadeiro, Ionut Tutu, Antónia Lopes, Dusko Pavlovic:
Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. DALI@TABLEAUX 2017: 98-114 - [i26]Dusko Pavlovic, Peter-Michael Seidel:
Quotients in monadic programming: Projective algebras are equivalent to coalgebras. CoRR abs/1701.07601 (2017) - [i25]Dusko Pavlovic, Muzamil Yahia:
Monoidal computer III: A coalgebraic view of computability and complexity. CoRR abs/1704.04882 (2017) - [i24]Filippo Bonchi, Dusko Pavlovic, Pawel Sobocinski:
Functorial Semantics for Relational Theories. CoRR abs/1711.08699 (2017) - 2016
- [c50]Vladimir Vovk, Dusko Pavlovic:
Universal Probability-Free Conformal Prediction. COPA 2016: 40-47 - [c49]Dusko Pavlovic, Peter-Michael Seidel:
(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras. QPL 2016: 145-160 - [i23]Vladimir Vovk, Dusko Pavlovic:
Universal probability-free conformal prediction. CoRR abs/1603.04283 (2016) - 2015
- [c48]Toshiki Kataoka, Dusko Pavlovic:
Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra. CALCO 2015: 130-155 - [c47]Dusko Pavlovic:
Towards a science of trust. HotSoS 2015: 3:1-3:9 - [i22]Dusko Pavlovic:
Towards a Science of Trust. CoRR abs/1503.03176 (2015) - [i21]Dusko Pavlovic:
Testing randomness by Matching Pennies. CoRR abs/1503.03185 (2015) - [i20]Toshiki Kataoka, Dusko Pavlovic:
Towards concept analysis in categories: limit inferior as algebra, limit superior as coalgebra. CoRR abs/1505.01098 (2015) - 2014
- [c46]Dusko Pavlovic:
Chasing Diagrams in Cryptography. Categories and Types in Logic, Language, and Physics 2014: 353-367 - [i19]Dusko Pavlovic:
Chasing diagrams in cryptography. CoRR abs/1401.6488 (2014) - [i18]Bertfried Fauser, Dusko Pavlovic:
Smooth coalgebra: testing vector analysis. CoRR abs/1402.4414 (2014) - [i17]Dusko Pavlovic:
Monoidal computer II: Normal complexity by string diagrams. CoRR abs/1402.5687 (2014) - 2013
- [j12]Ed Blakey, Bob Coecke, Michael W. Mislove, Dusko Pavlovic:
Information Security as a Resource. Inf. Comput. 226: 1-2 (2013) - [j11]Dusko Pavlovic:
Monoidal computer I: Basic computability by string diagrams. Inf. Comput. 226: 94-116 (2013) - [j10]Bob Coecke, Dusko Pavlovic, Jamie Vicary:
A new description of orthogonal bases. Math. Struct. Comput. Sci. 23(3): 555-567 (2013) - [j9]Wolter Pieters, Trajce Dimkov, Dusko Pavlovic:
Security Policy Alignment: A Formal Approach. IEEE Syst. J. 7(2): 275-287 (2013) - [c45]Dusko Pavlovic:
Bicompletions of Distance Matrices. Computation, Logic, Games, and Quantum Foundations 2013: 291-310 - [i16]Dusko Pavlovic:
Bicompletions of distance matrices. CoRR abs/1303.6428 (2013) - 2012
- [c44]Dusko Pavlovic:
Tracing the Man in the Middle in Monoidal Categories. CMCS 2012: 191-217 - [c43]Dusko Pavlovic, Catherine Meadows:
Actor-Network Procedures - (Extended Abstract). ICDCIT 2012: 7-26 - [c42]Dusko Pavlovic:
Quantitative Concept Analysis. ICFCA 2012: 260-277 - [c41]Catherine Meadows, Dusko Pavlovic:
Formalizing Physical Security Procedures. STM 2012: 193-208 - [i15]Dusko Pavlovic:
Tracing the Man in the Middle in Monoidal Categories. CoRR abs/1203.6324 (2012) - [i14]Dusko Pavlovic:
Quantitative Concept Analysis. CoRR abs/1204.5802 (2012) - [i13]Dusko Pavlovic:
Monoidal computer I: Basic computability by string diagrams. CoRR abs/1208.5205 (2012) - 2011
- [c40]Dusko Pavlovic:
Gaming security by obscurity. NSPW 2011: 125-140 - [e2]Michael Johnson, Dusko Pavlovic:
Algebraic Methodology and Software Technology - 13th International Conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23-25, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6486, Springer 2011, ISBN 978-3-642-17795-8 [contents] - [i12]Dusko Pavlovic, Catherine Meadows:
Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions. CoRR abs/1106.0706 (2011) - [i11]Dusko Pavlovic:
Gaming security by obscurity. CoRR abs/1109.5542 (2011) - 2010
- [c39]Dusko Pavlovic:
Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks. Formal Aspects in Security and Trust 2010: 1-17 - [c38]Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
Formal Derivation of Concurrent Garbage Collectors. MPC 2010: 353-376 - [c37]Dusko Pavlovic:
The Unreasonable Ineffectiveness of Security Engineering: An Overview. SEFM 2010: 12-18 - [c36]Dusko Pavlovic, Catherine Meadows:
Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. MFPS 2010: 97-122 - [i10]Dusko Pavlovic:
Geometry of abstraction in quantum computation. CoRR abs/1006.1010 (2010) - [i9]Dusko Pavlovic:
Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories. CoRR abs/1006.1011 (2010) - [i8]Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
Formal Derivation of Concurrent Garbage Collectors. CoRR abs/1006.4342 (2010) - [i7]Dusko Pavlovic:
Quantifying and qualifying trust: Spectral decomposition of trust networks. CoRR abs/1011.5696 (2010)
2000 – 2009
- 2009
- [c35]Dusko Pavlovic:
A Semantical Approach to Equilibria and Rationality. CALCO 2009: 317-334 - [c34]Dusko Pavlovic:
Quantum and Classical Structures in Nondeterminstic Computation. QI 2009: 143-157 - [c33]Dusko Pavlovic, Catherine Meadows:
Deriving Ephemeral Authentication Using Channel Axioms. Security Protocols Workshop 2009: 240-261 - [c32]Dusko Pavlovic:
Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories. QPL@MFPS 2009: 121-139 - [i6]Dusko Pavlovic:
Geometry of abstraction in quantum computation. Classical and Quantum Information Assurance Foundations and Practice 2009 - [i5]Dusko Pavlovic:
A semantical approach to equilibria and rationality. CoRR abs/0905.3548 (2009) - [i4]Dusko Pavlovic, Catherine Meadows:
Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol. CoRR abs/0910.5745 (2009) - 2008
- [c31]Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
Evolving Specification Engineering. AMAST 2008: 299-314 - [c30]Dusko Pavlovic:
Network as a Computer: Ranking Paths to Find Flows. CSR 2008: 384-397 - [c29]Dusko Pavlovic:
Dynamics, Robustness and Fragility of Trust. Formal Aspects in Security and Trust 2008: 97-113 - [i3]Dusko Pavlovic:
On quantum statistics in data analysis. CoRR abs/0802.1296 (2008) - [i2]Dusko Pavlovic:
Network as a computer: ranking paths to find flows. CoRR abs/0802.1306 (2008) - [i1]Dusko Pavlovic:
Dynamics, robustness and fragility of trust. CoRR abs/0808.0732 (2008) - 2007
- [c28]Michael W. Mislove, Dusko Pavlovic, James Worrell:
Labelled Markov Processes as Generalised Stochastic Relations. Computation, Meaning, and Logic 2007: 459-478 - [p1]Catherine Meadows, Radha Poovendran, Dusko Pavlovic, LiWu Chang, Paul F. Syverson:
Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks. Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks 2007: 279-298 - 2006
- [c27]Dusko Pavlovic, Michael W. Mislove, James Worrell:
Testing Semantics: Connecting Processes and Process Logics. AMAST 2006: 308-322 - [c26]Dusko Pavlovic, Catherine Meadows:
Deriving Secrecy in Key Establishment Protocols. ESORICS 2006: 384-403 - [c25]Dusko Pavlovic:
Connector-Based Software Development: Deriving Secure Protocols. FM 2006: 598-599 - [c24]Matthias Anlauff, Dusko Pavlovic, Asuman Suenbuel:
Deriving Secure Network Protocols for Enterprise Services Architectures. ICC 2006: 2283-2287 - 2005
- [j8]Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic:
A derivation system and compositional logic for security protocols. J. Comput. Secur. 13(3): 423-482 (2005) - [c23]Iliano Cervesato, Catherine Meadows, Dusko Pavlovic:
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. CSFW 2005: 48-61 - 2004
- [c22]Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic:
Abstraction and Refinement in Protocol Derivation. CSFW 2004: 30- - [c21]Catherine Meadows, Dusko Pavlovic:
Deriving, Attacking and Defending the GDOI Protocol. ESORICS 2004: 53-72 - [c20]Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell:
Duality for Labelled Markov Processes. FoSSaCS 2004: 393-407 - 2003
- [j7]Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic:
A Compositional Logic for Proving Security Properties of Protocols. J. Comput. Secur. 11(4): 677-722 (2003) - [c19]Dusko Pavlovic, Peter Pepper, Douglas R. Smith:
Colimits for Concurrent Collectors. Verification: Theory and Practice 2003: 568-597 - [c18]Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic:
Secure protocol composition. FMSE 2003: 11-23 - [c17]Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic:
A Derivation System for Security Protocols and its Logical Formalization. CSFW 2003: 109-125 - [c16]Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic:
Secure Protocol Composition. MFPS 2003: 201-226 - 2002
- [j6]Dusko Pavlovic, Vaughan R. Pratt:
The continuum as a final coalgebra. Theor. Comput. Sci. 280(1-2): 105-122 (2002) - [c15]Dusko Pavlovic, Douglas R. Smith:
Guarded Transitions in Evolving Specifications. AMAST 2002: 411-425 - [c14]Dusko Pavlovic, Douglas R. Smith:
Software Development by Refinement. 10th Anniversary Colloquium of UNU/IIST 2002: 267-286 - 2001
- [c13]Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic:
A Compositional Logic for Protocol Correctness. CSFW 2001: 241-255 - [c12]Sava Krstic, John Launchbury, Dusko Pavlovic:
Categories of Processes Enriched in Final Coalgebras. FoSSaCS 2001: 303-317 - [c11]Dusko Pavlovic, Douglas R. Smith:
Composition and Refinement of Behavioral Specifications. ASE 2001: 157-165 - 2000
- [c10]Dusko Pavlovic:
Towards Semantics of Self-Adaptive Software. IWSAS 2000: 65-74
1990 – 1999
- 1999
- [c9]Dusko Pavlovic:
Semantics of First Order Parametric Specifications. World Congress on Formal Methods 1999: 155-172 - [c8]Dusko Pavlovic, Vaughan R. Pratt:
On coalgebra of real numbers. CMCS 1999: 103-117 - [c7]Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic:
Preface. CTCS 1999: 1 - [e1]Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic:
Conference on Category Theory and Computer Science, CTCS 1999, Edinburgh, UK, December 10-12, 1999. Electronic Notes in Theoretical Computer Science 29, Elsevier 1999 [contents] - 1998
- [c6]Dusko Pavlovic, Martín Hötzel Escardó:
Calculus in Coinductive Form. LICS 1998: 408-417 - [c5]Dusko Pavlovic:
Guarded induction on final coalgebras. CMCS 1998: 140-157 - 1997
- [j5]Dusko Pavlovic:
Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories. Math. Struct. Comput. Sci. 7(1): 49-73 (1997) - [j4]Dusko Pavlovic:
Categorical logic of Names and Abstraction in Action Calculi. Math. Struct. Comput. Sci. 7(6): 619-637 (1997) - [c4]Dusko Pavlovic, Samson Abramsky:
Specifying Interaction Categories. Category Theory and Computer Science 1997: 147-158 - 1996
- [j3]Dusko Pavlovic:
Maps II: Chasing Diagrams in Categorical Proof Theory. Log. J. IGPL 4(2): 159-194 (1996) - 1995
- [j2]Dusko Pavlovic:
On Completeness and Cocompleteness in an Around Small Categories. Ann. Pure Appl. Log. 74(2): 121-152 (1995) - [c3]Dusko Pavlovic:
Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity. Category Theory and Computer Science 1995: 3-23 - 1994
- [c2]Dusko Pavlovic:
Categorical Logic of Concurrency and Interaction I: Synchronous Processes. Theory and Formal Methods 1994: 105-141 - 1992
- [j1]Dusko Pavlovic:
On the structure of paradoxes. Arch. Math. Log. 31(6): 397-406 (1992) - 1991
- [c1]Dusko Pavlovic:
Constructions and Predicates. Category Theory and Computer Science 1991: 173-196
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:08 CET 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:
