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