Constructions and Predicates. - Dusko Pavlovic (Category Theory and Computer Science, 1991)

On the structure of paradoxes. - Dusko Pavlovic (Arch. Math. Log., 1992)

Categorical Logic of Concurrency and Interaction I: Synchronous Processes. - Dusko Pavlovic (Theory and Formal Methods, 1994)

Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity. - Dusko Pavlovic (Category Theory and Computer Science, 1995)

On Completeness and Cocompleteness in an Around Small Categories. - Dusko Pavlovic (Ann. Pure Appl. Log., 1995)

Maps II: Chasing Diagrams in Categorical Proof Theory. - Dusko Pavlovic (Log. J. IGPL, 1996)

Specifying Interaction Categories. - Dusko Pavlovic; Samson Abramsky (Category Theory and Computer Science, 1997)

Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories. - Dusko Pavlovic (Math. Struct. Comput. Sci., 1997)

Categorical logic of Names and Abstraction in Action Calculi. - Dusko Pavlovic (Math. Struct. Comput. Sci., 1997)

Calculus in Coinductive Form. - Dusko Pavlovic; Martín Hötzel Escardó (LICS, 1998)

Guarded induction on final coalgebras. - Dusko Pavlovic (CMCS, 1998)

Semantics of First Order Parametric Specifications. - Dusko Pavlovic (World Congress on Formal Methods, 1999)

On coalgebra of real numbers. - Dusko Pavlovic; Vaughan R. Pratt (CMCS, 1999)

Preface. - Martin Hofmann 001; Giuseppe Rosolini; Dusko Pavlovic (CTCS, 1999)

Towards Semantics of Self-Adaptive Software. - Dusko Pavlovic (IWSAS, 2000)

A Compositional Logic for Protocol Correctness. - Nancy A. Durgin; John C. Mitchell; Dusko Pavlovic (CSFW, 2001)

Categories of Processes Enriched in Final Coalgebras. - Sava Krstic; John Launchbury; Dusko Pavlovic (FoSSaCS, 2001)

Composition and Refinement of Behavioral Specifications. - Dusko Pavlovic; Douglas R. Smith (ASE, 2001)

Guarded Transitions in Evolving Specifications. - Dusko Pavlovic; Douglas R. Smith (AMAST, 2002)

Software Development by Refinement. - Dusko Pavlovic; Douglas R. Smith (10th Anniversary Colloquium of UNU/IIST, 2002)

The continuum as a final coalgebra. - Dusko Pavlovic; Vaughan R. Pratt (Theor. Comput. Sci., 2002)

Colimits for Concurrent Collectors. - Dusko Pavlovic; Peter Pepper; Douglas R. Smith (Verification: Theory and Practice, 2003)

Secure protocol composition. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (FMSE, 2003)

A Derivation System for Security Protocols and its Logical Formalization. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (CSFW, 2003)

A Compositional Logic for Proving Security Properties of Protocols. - Nancy A. Durgin; John C. Mitchell; Dusko Pavlovic (J. Comput. Secur., 2003)

Abstraction and Refinement in Protocol Derivation. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (CSFW, 2004)

Deriving, Attacking and Defending the GDOI Protocol. - Catherine Meadows 001; Dusko Pavlovic (ESORICS, 2004)

Duality for Labelled Markov Processes. - Michael W. Mislove; Joël Ouaknine; Dusko Pavlovic; James Worrell 001 (FoSSaCS, 2004)

An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols. - Iliano Cervesato; Catherine Meadows 001; Dusko Pavlovic (CSFW, 2005)

A derivation system and compositional logic for security protocols. - Anupam Datta; Ante Derek; John C. Mitchell; Dusko Pavlovic (J. Comput. Secur., 2005)

Testing Semantics: Connecting Processes and Process Logics. - Dusko Pavlovic; Michael W. Mislove; James Worrell 001 (AMAST, 2006)

Deriving Secrecy in Key Establishment Protocols. - Dusko Pavlovic; Catherine Meadows 001 (ESORICS, 2006)

Connector-Based Software Development: Deriving Secure Protocols. - Dusko Pavlovic (FM, 2006)

Deriving Secure Network Protocols for Enterprise Services Architectures. - Matthias Anlauff; Dusko Pavlovic; Asuman Suenbuel (ICC, 2006)

Labelled Markov Processes as Generalised Stochastic Relations. - Michael W. Mislove; Dusko Pavlovic; James Worrell 001 (Computation, Meaning, and Logic, 2007)

Distance Bounding Protocols: Authentication Logic Analysis and Collusion Attacks. - Catherine Meadows 001; Radha Poovendran; Dusko Pavlovic; LiWu Chang; Paul F. Syverson (Secure Localization and Time Synchronization for Wireless Sensor and Ad Hoc Networks, 2007)

Evolving Specification Engineering. - Dusko Pavlovic; Peter Pepper; Douglas R. Smith (AMAST, 2008)

Network as a Computer: Ranking Paths to Find Flows. - Dusko Pavlovic (CSR, 2008)

Dynamics, Robustness and Fragility of Trust. - Dusko Pavlovic (Formal Aspects in Security and Trust, 2008)

On quantum statistics in data analysis - Dusko Pavlovic (CoRR, 2008)

A Semantical Approach to Equilibria and Rationality. - Dusko Pavlovic (CALCO, 2009)

Geometry of abstraction in quantum computation. - Dusko Pavlovic (Classical and Quantum Information Assurance Foundations and Practice, 2009)

Quantum and Classical Structures in Nondeterminstic Computation. - Dusko Pavlovic (QI, 2009)

Deriving Ephemeral Authentication Using Channel Axioms. - Dusko Pavlovic; Catherine Meadows 001 (Security Protocols Workshop, 2009)

Quantifying pervasive authentication: the case of the Hancke-Kuhn protocol. - Dusko Pavlovic; Catherine Meadows 001 (CoRR, 2009)

Relating Toy Models of Quantum Computation: Comprehension, Complementarity and Dagger Mix Autonomous Categories. - Dusko Pavlovic (QPL@MFPS, 2009)

Quantifying and Qualifying Trust: Spectral Decomposition of Trust Networks. - Dusko Pavlovic (Formal Aspects in Security and Trust, 2010)

Formal Derivation of Concurrent Garbage Collectors. - Dusko Pavlovic; Peter Pepper; Douglas R. Smith (MPC, 2010)

The Unreasonable Ineffectiveness of Security Engineering: An Overview. - Dusko Pavlovic (SEFM, 2010)

Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol. - Dusko Pavlovic; Catherine Meadows 001 (MFPS, 2010)

Gaming security by obscurity. - Dusko Pavlovic (NSPW, 2011)

Actor-network procedures: Modeling multi-factor authentication, device pairing, social interactions - Dusko Pavlovic; Catherine Meadows 001 (CoRR, 2011)

Tracing the Man in the Middle in Monoidal Categories. - Dusko Pavlovic (CMCS, 2012)

Actor-Network Procedures - (Extended Abstract). - Dusko Pavlovic; Catherine Meadows 001 (ICDCIT, 2012)

Quantitative Concept Analysis. - Dusko Pavlovic (ICFCA, 2012)

Formalizing Physical Security Procedures. - Catherine Meadows 001; Dusko Pavlovic (STM, 2012)

Bicompletions of Distance Matrices. - Dusko Pavlovic (Computation, Logic, Games, and Quantum Foundations, 2013)

Information Security as a Resource. - Ed Blakey; Bob Coecke; Michael W. Mislove; Dusko Pavlovic (Inf. Comput., 2013)

Monoidal computer I: Basic computability by string diagrams. - Dusko Pavlovic (Inf. Comput., 2013)

A new description of orthogonal bases. - Bob Coecke; Dusko Pavlovic; Jamie Vicary (Math. Struct. Comput. Sci., 2013)

Security Policy Alignment: A Formal Approach. - Wolter Pieters; Trajce Dimkov; Dusko Pavlovic (IEEE Syst. J., 2013)

Chasing Diagrams in Cryptography. - Dusko Pavlovic (Categories and Types in Logic, Language, and Physics, 2014)

Monoidal computer II: Normal complexity by string diagrams. - Dusko Pavlovic (CoRR, 2014)

Towards Concept Analysis in Categories: Limit Inferior as Algebra, Limit Superior as Coalgebra. - Toshiki Kataoka; Dusko Pavlovic (CALCO, 2015)

Towards a science of trust. - Dusko Pavlovic (HotSoS, 2015)

Testing randomness by Matching Pennies. - Dusko Pavlovic (CoRR, 2015)

Universal Probability-Free Conformal Prediction. - Vladimir Vovk; Dusko Pavlovic (COPA, 2016)

(Modular) Effect Algebras are Equivalent to (Frobenius) Antispecial Algebras. - Dusko Pavlovic; Peter-Michael Seidel (QPL, 2016)

Refinement for Signal Flow Graphs. - Filippo Bonchi; Joshua Holland; Dusko Pavlovic; Pawel Sobocinski 001 (CONCUR, 2017)

Quotients in monadic programming: Projective algebras are equivalent to coalgebras. - Dusko Pavlovic; Peter-Michael Seidel (LICS, 2017)

Logics for Actor Networks: A Case Study in Constrained Hybridization - A Case Study in Constrained Hybridization. - José Luiz Fiadeiro; Ionut Tutu; Antónia Lopes; Dusko Pavlovic (DALI@TABLEAUX, 2017)

Universal probability-free prediction. - Vladimir Vovk; Dusko Pavlovic (Ann. Math. Artif. Intell., 2017)

Monoidal computer III: A coalgebraic view of computability and complexity. - Dusko Pavlovic; Muzamil Yahia (CoRR, 2017)

Functorial Semantics for Relational Theories. - Filippo Bonchi; Dusko Pavlovic; Pawel Sobocinski 001 (CoRR, 2017)

A Multisecret Value Access Control Framework for Airliner in Multinational Air Traffic Management. - Depeng Li 002; Rui Zhang 007; Yingfei Dong; Fangjin Zhu; Dusko Pavlovic (IEEE Internet Things J., 2017)

Smooth coalgebra: testing vector analysis. - Dusko Pavlovic; Bertfried Fauser (Math. Struct. Comput. Sci., 2017)

Monoidal Computer III: A Coalgebraic View of Computability and Complexity (Extended Abstract). - Dusko Pavlovic; Muzamil Yahia (CMCS, 2018)

Sound up-to techniques and Complete abstract domains. - Filippo Bonchi; Pierre Ganty; Roberto Giacobazzi; Dusko Pavlovic (LICS, 2018)

Intensional and extensional aspects of computation: From computability and complexity to program analysis and security (NII Shonan Meeting 2018-1). - Roberto Giacobazzi; Dusko Pavlovic; Tachio Terauchi (NII Shonan Meet. Rep., 2018)

Privacy Protocols. - Jason Castiglione; Dusko Pavlovic; Peter-Michael Seidel (Foundations of Security, Protocols, and Equational Reasoning, 2019)

Policy Creation for Enterprise-Level Data Sharing. - Linda Briesemeister; Woodrow Gustafson; Grit Denker; April Martin; Karsten Martiny; Ron Moore; Dusko Pavlovic; Mark F. St. John (HCI (29), 2019)

Causality and deceit: Do androids watch action movies? - Dusko Pavlovic; Temra Pavlovic (CoRR, 2019)

Logics for Actor Networks: A two-stage constrained-hybridisation approach. - José Luiz Fiadeiro; Ionut Tutu; Antónia Lopes; Dusko Pavlovic (J. Log. Algebraic Methods Program., 2019)

Logic of Fusion - - Dedicated to Andre Scedrov -. - Dusko Pavlovic (Logic, Language, and Security, 2020)

The nucleus of an adjunction and the Street monad on monads. - Dusko Pavlovic; Dominic J. D. Hughes (CoRR, 2020)

Retracing some paths in categorical semantics: From process-propositions-as-types to categorified real numbers and monoidal computers. - Dusko Pavlovic (CoRR, 2020)

Logic of fusion. - Dusko Pavlovic (CoRR, 2020)

Abstract extensionality: on the properties of incomplete abstract interpretations. - Roberto Bruni 001; Roberto Giacobazzi; Roberta Gori; Isabel Garcia-Contreras; Dusko Pavlovic (Proc. ACM Program. Lang., 2020)

Dynamic Distributed Secure Storage Against Ransomware. - Jason Castiglione; Dusko Pavlovic (IEEE Trans. Comput. Soc. Syst., 2020)

Probabilistic Annotations for Protocol Models - Dedicated to Joshua Guttman. - Dusko Pavlovic (Protocols, Strands, and Logic, 2021)

Decision Support for Sharing Data using Differential Privacy. - Mark F. St. John; Grit Denker; Peeter Laud; Karsten Martiny; Alisa Pankova; Dusko Pavlovic (VizSec, 2021)

Probabilistic annotations for protocol models. - Dusko Pavlovic (CoRR, 2021)

Lambek pregroups are Frobenius spiders in preorders. - Dusko Pavlovic (Compositionality, 2022)

Tight limits and completions from Dedekind-MacNeille to Lambek-Isbell. - Dusko Pavlovic; Dominic J. D. Hughes (CoRR, 2022)

Categorical Computability in Monoidal Computer: Programs as Diagrams. - Dusko Pavlovic (CoRR, 2022)

Programs as Diagrams - In cooperation with the association Computability in Europe - Dusko Pavlovic (Springer, 2023)

From Gödel's Incompleteness Theorem to the Completeness of Bot Beliefs - (Extended Abstract). - Dusko Pavlovic; Temra Pavlovic (WoLLIC, 2023)

From Gödel's Incompleteness Theorem to the completeness of bot religions (Extended abstract). - Dusko Pavlovic; Temra Pavlovic (CoRR, 2023)

Language processing in humans and computers. - Dusko Pavlovic (CoRR, 2024)

Security Science (SecSci), Basic Concepts and Mathematical Foundations. - Dusko Pavlovic; Peter-Michael Seidel (CoRR, 2025)