| 2009 |
|---|
| 40 | EE | Dusko Pavlovic:
Quantum and Classical Structures in Nondeterminstic Computation.
QI 2009: 143-157 |
| 2008 |
|---|
| 39 | EE | Dusko Pavlovic,
Peter Pepper,
Douglas R. Smith:
Evolving Specification Engineering.
AMAST 2008: 299-314 |
| 38 | EE | Dusko Pavlovic:
Network as a Computer: Ranking Paths to Find Flows.
CSR 2008: 384-397 |
| 37 | EE | Dusko Pavlovic:
Dynamics, Robustness and Fragility of Trust.
Formal Aspects in Security and Trust 2008: 97-113 |
| 36 | EE | Dusko Pavlovic:
On quantum statistics in data analysis
CoRR abs/0802.1296: (2008) |
| 35 | EE | Dusko Pavlovic:
Network as a computer: ranking paths to find flows
CoRR abs/0802.1306: (2008) |
| 34 | EE | Dusko Pavlovic:
Dynamics, robustness and fragility of trust
CoRR abs/0808.0732: (2008) |
| 2007 |
|---|
| 33 | EE | Michael W. Mislove,
Dusko Pavlovic,
James Worrell:
Labelled Markov Processes as Generalised Stochastic Relations.
Electr. Notes Theor. Comput. Sci. 172: 459-478 (2007) |
| 2006 |
|---|
| 32 | EE | Dusko Pavlovic,
Michael W. Mislove,
James Worrell:
Testing Semantics: Connecting Processes and Process Logics.
AMAST 2006: 308-322 |
| 31 | EE | Dusko Pavlovic,
Catherine Meadows:
Deriving Secrecy in Key Establishment Protocols.
ESORICS 2006: 384-403 |
| 30 | EE | Dusko Pavlovic:
Connector-Based Software Development: Deriving Secure Protocols.
FM 2006: 598-599 |
| 2005 |
|---|
| 29 | EE | Iliano Cervesato,
Catherine Meadows,
Dusko Pavlovic:
An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols.
CSFW 2005: 48-61 |
| 28 | EE | Anupam Datta,
Ante Derek,
John C. Mitchell,
Dusko Pavlovic:
A derivation system and compositional logic for security protocols.
Journal of Computer Security 13(3): 423-482 (2005) |
| 2004 |
|---|
| 27 | EE | Anupam Datta,
Ante Derek,
John C. Mitchell,
Dusko Pavlovic:
Abstraction and Refinement in Protocol Derivation.
CSFW 2004: 30- |
| 26 | EE | Catherine Meadows,
Dusko Pavlovic:
Deriving, Attacking and Defending the GDOI Protocol.
ESORICS 2004: 53-72 |
| 25 | EE | Michael W. Mislove,
Joël Ouaknine,
Dusko Pavlovic,
James Worrell:
Duality for Labelled Markov Processes.
FoSSaCS 2004: 393-407 |
| 2003 |
|---|
| 24 | EE | Anupam Datta,
Ante Derek,
John C. Mitchell,
Dusko Pavlovic:
A Derivation System for Security Protocols and its Logical Formalization.
CSFW 2003: 109-125 |
| 23 | EE | Anupam Datta,
Ante Derek,
John C. Mitchell,
Dusko Pavlovic:
Secure protocol composition.
FMSE 2003: 11-23 |
| 22 | EE | Dusko Pavlovic,
Peter Pepper,
Douglas R. Smith:
Colimits for Concurrent Collectors.
Verification: Theory and Practice 2003: 568-597 |
| 21 | | Nancy A. Durgin,
John C. Mitchell,
Dusko Pavlovic:
A Compositional Logic for Proving Security Properties of Protocols.
Journal of Computer Security 11(4): 677-722 (2003) |
| 2002 |
|---|
| 20 | EE | Dusko Pavlovic,
Douglas R. Smith:
Software Development by Refinement.
10th Anniversary Colloquium of UNU/IIST 2002: 267-286 |
| 19 | EE | Dusko Pavlovic,
Douglas R. Smith:
Guarded Transitions in Evolving Specifications.
AMAST 2002: 411-425 |
| 18 | EE | Dusko Pavlovic,
Vaughan R. Pratt:
The continuum as a final coalgebra.
Theor. Comput. Sci. 280(1-2): 105-122 (2002) |
| 2001 |
|---|
| 17 | EE | Dusko Pavlovic,
Douglas R. Smith:
Composition and Refinement of Behavioral Specifications.
ASE 2001: 157-165 |
| 16 | EE | Nancy A. Durgin,
John C. Mitchell,
Dusko Pavlovic:
A Compositional Logic for Protocol Correctness.
CSFW 2001: 241- |
| 15 | EE | Sava Krstic,
John Launchbury,
Dusko Pavlovic:
Categories of Processes Enriched in Final Coalgebras.
FoSSaCS 2001: 303-317 |
| 2000 |
|---|
| 14 | EE | Dusko Pavlovic:
Towards Semantics of Self-Adaptive Software.
IWSAS 2000: 65-74 |
| 1999 |
|---|
| 13 | EE | Dusko Pavlovic:
Semantics of First Order Parametric Specifications.
World Congress on Formal Methods 1999: 155-172 |
| 12 | EE | Dusko Pavlovic,
Vaughan R. Pratt:
On coalgebra of real numbers.
Electr. Notes Theor. Comput. Sci. 19: (1999) |
| 11 | EE | Martin Hofmann,
Giuseppe Rosolini,
Dusko Pavlovic:
Preface.
Electr. Notes Theor. Comput. Sci. 29: (1999) |
| 1998 |
|---|
| 10 | | Dusko Pavlovic,
Martín Hötzel Escardó:
Calculus in Coinductive Form.
LICS 1998: 408-417 |
| 9 | EE | Dusko Pavlovic:
Guarded induction on final coalgebras.
Electr. Notes Theor. Comput. Sci. 11: (1998) |
| 1997 |
|---|
| 8 | | Dusko Pavlovic,
Samson Abramsky:
Specifying Interaction Categories.
Category Theory and Computer Science 1997: 147-158 |
| 7 | | Dusko Pavlovic:
Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories.
Mathematical Structures in Computer Science 7(1): 49-73 (1997) |
| 6 | | Dusko Pavlovic:
Categorical logic of Names and Abstraction in Action Calculi.
Mathematical Structures in Computer Science 7(6): 619-637 (1997) |
| 1996 |
|---|
| 5 | EE | Dusko Pavlovic:
Maps II: Chasing Diagrams in Categorical Proof Theory.
Logic Journal of the IGPL 4(2): 159-194 (1996) |
| 1995 |
|---|
| 4 | | Dusko Pavlovic:
Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity.
Category Theory and Computer Science 1995: 3-23 |
| 3 | | Dusko Pavlovic:
On Completeness and Cocompleteness in an Around Small Categories.
Ann. Pure Appl. Logic 74(2): 121-152 (1995) |
| 1994 |
|---|
| 2 | | Dusko Pavlovic:
Categorical Logic of Concurrency and Interaction I: Synchronous Processes.
Theory and Formal Methods 1994: 105-141 |
| 1991 |
|---|
| 1 | | Dusko Pavlovic:
Constructions and Predicates.
Category Theory and Computer Science 1991: 173-196 |
