The SCEAS System
| |||||||

## Search the dblp DataBase
Dusko Pavlovic:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Dusko Pavlovic, Douglas R. Smith
**Guarded Transitions in Evolving Specifications.**[Citation Graph (0, 0)][DBLP] AMAST, 2002, pp:411-425 [Conf] - Dusko Pavlovic, Michael W. Mislove, James Worrell
**Testing Semantics: Connecting Processes and Process Logics.**[Citation Graph (0, 0)][DBLP] AMAST, 2006, pp:308-322 [Conf] - Dusko Pavlovic, Peter Pepper, Douglas R. Smith
**Colimits for Concurrent Collectors.**[Citation Graph (0, 0)][DBLP] Verification: Theory and Practice, 2003, pp:568-597 [Conf] - Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
**Secure protocol composition.**[Citation Graph (0, 0)][DBLP] FMSE, 2003, pp:11-23 [Conf] - Iliano Cervesato, Catherine Meadows, Dusko Pavlovic
**An Encapsulated Authentication Logic for Reasoning about Key Distribution Protocols.**[Citation Graph (0, 0)][DBLP] CSFW, 2005, pp:48-61 [Conf] - Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
**A Derivation System for Security Protocols and its Logical Formalization.**[Citation Graph (0, 0)][DBLP] CSFW, 2003, pp:109-125 [Conf] - Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
**Abstraction and Refinement in Protocol Derivation.**[Citation Graph (0, 0)][DBLP] CSFW, 2004, pp:30-0 [Conf] - Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic
**A Compositional Logic for Protocol Correctness.**[Citation Graph (0, 0)][DBLP] CSFW, 2001, pp:241-0 [Conf] - Dusko Pavlovic
**Constructions and Predicates.**[Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1991, pp:173-196 [Conf] - Dusko Pavlovic
**Convenient Category of Processes and Simulations 1: Modulo Strong Bisimilarity.**[Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1995, pp:3-23 [Conf] - Dusko Pavlovic, Samson Abramsky
**Specifying Interaction Categories.**[Citation Graph (0, 0)][DBLP] Category Theory and Computer Science, 1997, pp:147-158 [Conf] - Catherine Meadows, Dusko Pavlovic
**Deriving, Attacking and Defending the GDOI Protocol.**[Citation Graph (0, 0)][DBLP] ESORICS, 2004, pp:53-72 [Conf] - Dusko Pavlovic, Catherine Meadows
**Deriving Secrecy in Key Establishment Protocols.**[Citation Graph (0, 0)][DBLP] ESORICS, 2006, pp:384-403 [Conf] - Dusko Pavlovic
**Connector-Based Software Development: Deriving Secure Protocols.**[Citation Graph (0, 0)][DBLP] FM, 2006, pp:598-599 [Conf] - Dusko Pavlovic
**Semantics of First Order Parametric Specifications.**[Citation Graph (0, 0)][DBLP] World Congress on Formal Methods, 1999, pp:155-172 [Conf] - Sava Krstic, John Launchbury, Dusko Pavlovic
**Categories of Processes Enriched in Final Coalgebras.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2001, pp:303-317 [Conf] - Michael W. Mislove, Joël Ouaknine, Dusko Pavlovic, James Worrell
**Duality for Labelled Markov Processes.**[Citation Graph (0, 0)][DBLP] FoSSaCS, 2004, pp:393-407 [Conf] - Dusko Pavlovic
**Categorical Logic of Concurrency and Interaction I: Synchronous Processes.**[Citation Graph (0, 0)][DBLP] Theory and Formal Methods, 1994, pp:105-141 [Conf] - Dusko Pavlovic
**Towards Semantics of Self-Adaptive Software.**[Citation Graph (0, 0)][DBLP] IWSAS, 2000, pp:65-74 [Conf] - Dusko Pavlovic, Douglas R. Smith
**Composition and Refinement of Behavioral Specifications.**[Citation Graph (0, 0)][DBLP] ASE, 2001, pp:157-165 [Conf] - Dusko Pavlovic, Martín Hötzel Escardó
**Calculus in Coinductive Form.**[Citation Graph (0, 0)][DBLP] LICS, 1998, pp:408-417 [Conf] - Dusko Pavlovic, Douglas R. Smith
**Software Development by Refinement.**[Citation Graph (0, 0)][DBLP] 10th Anniversary Colloquium of UNU/IIST, 2002, pp:267-286 [Conf] - Dusko Pavlovic
**On Completeness and Cocompleteness in an Around Small Categories.**[Citation Graph (0, 0)][DBLP] Ann. Pure Appl. Logic, 1995, v:74, n:2, pp:121-152 [Journal] - Dusko Pavlovic
**Guarded induction on final coalgebras.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal] - Dusko Pavlovic, Vaughan R. Pratt
**On coalgebra of real numbers.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:19, n:, pp:- [Journal] - Michael W. Mislove, Dusko Pavlovic, James Worrell
**Labelled Markov Processes as Generalised Stochastic Relations.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:172, n:, pp:459-478 [Journal] - Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
**A derivation system and compositional logic for security protocols.**[Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2005, v:13, n:3, pp:423-482 [Journal] - Nancy A. Durgin, John C. Mitchell, Dusko Pavlovic
**A Compositional Logic for Proving Security Properties of Protocols.**[Citation Graph (0, 0)][DBLP] Journal of Computer Security, 2003, v:11, n:4, pp:677-722 [Journal] - Dusko Pavlovic
**Chu I: Cofree Equivalences, Dualities and *-Autonomous Categories.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:1, pp:49-73 [Journal] - Dusko Pavlovic
**Categorical logic of Names and Abstraction in Action Calculi.**[Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 1997, v:7, n:6, pp:619-637 [Journal] - Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic
**Preface.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal] - Dusko Pavlovic, Vaughan R. Pratt
**The continuum as a final coalgebra.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 2002, v:280, n:1-2, pp:105-122 [Journal] **Evolving Specification Engineering.**[Citation Graph (, )][DBLP]**A Semantical Approach to Equilibria and Rationality.**[Citation Graph (, )][DBLP]**Network as a Computer: Ranking Paths to Find Flows.**[Citation Graph (, )][DBLP]**Dynamics, Robustness and Fragility of Trust.**[Citation Graph (, )][DBLP]**Formal Derivation of Concurrent Garbage Collectors.**[Citation Graph (, )][DBLP]**Quantum and Classical Structures in Nondeterminstic Computation.**[Citation Graph (, )][DBLP]**On quantum statistics in data analysis**[Citation Graph (, )][DBLP]**Network as a computer: ranking paths to find flows**[Citation Graph (, )][DBLP]**Dynamics, robustness and fragility of trust**[Citation Graph (, )][DBLP]**A semantical approach to equilibria and rationality**[Citation Graph (, )][DBLP]**Formal Derivation of Concurrent Garbage Collectors**[Citation Graph (, )][DBLP]**Geometry of abstraction in quantum computation**[Citation Graph (, )][DBLP]**Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories**[Citation Graph (, )][DBLP]
Search in 0.003secs, Finished in 0.004secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |