The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Dusko Pavlovic: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Dusko Pavlovic, Douglas R. Smith
    Guarded Transitions in Evolving Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2002, pp:411-425 [Conf]
  2. 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]
  3. 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]
  4. Anupam Datta, Ante Derek, John C. Mitchell, Dusko Pavlovic
    Secure protocol composition. [Citation Graph (0, 0)][DBLP]
    FMSE, 2003, pp:11-23 [Conf]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. Dusko Pavlovic
    Constructions and Predicates. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1991, pp:173-196 [Conf]
  10. 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]
  11. Dusko Pavlovic, Samson Abramsky
    Specifying Interaction Categories. [Citation Graph (0, 0)][DBLP]
    Category Theory and Computer Science, 1997, pp:147-158 [Conf]
  12. Catherine Meadows, Dusko Pavlovic
    Deriving, Attacking and Defending the GDOI Protocol. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2004, pp:53-72 [Conf]
  13. Dusko Pavlovic, Catherine Meadows
    Deriving Secrecy in Key Establishment Protocols. [Citation Graph (0, 0)][DBLP]
    ESORICS, 2006, pp:384-403 [Conf]
  14. Dusko Pavlovic
    Connector-Based Software Development: Deriving Secure Protocols. [Citation Graph (0, 0)][DBLP]
    FM, 2006, pp:598-599 [Conf]
  15. Dusko Pavlovic
    Semantics of First Order Parametric Specifications. [Citation Graph (0, 0)][DBLP]
    World Congress on Formal Methods, 1999, pp:155-172 [Conf]
  16. Sava Krstic, John Launchbury, Dusko Pavlovic
    Categories of Processes Enriched in Final Coalgebras. [Citation Graph (0, 0)][DBLP]
    FoSSaCS, 2001, pp:303-317 [Conf]
  17. 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]
  18. 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]
  19. Dusko Pavlovic
    Towards Semantics of Self-Adaptive Software. [Citation Graph (0, 0)][DBLP]
    IWSAS, 2000, pp:65-74 [Conf]
  20. Dusko Pavlovic, Douglas R. Smith
    Composition and Refinement of Behavioral Specifications. [Citation Graph (0, 0)][DBLP]
    ASE, 2001, pp:157-165 [Conf]
  21. Dusko Pavlovic, Martín Hötzel Escardó
    Calculus in Coinductive Form. [Citation Graph (0, 0)][DBLP]
    LICS, 1998, pp:408-417 [Conf]
  22. 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]
  23. 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]
  24. Dusko Pavlovic
    Guarded induction on final coalgebras. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal]
  25. 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]
  26. 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]
  27. 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]
  28. 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]
  29. 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]
  30. 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]
  31. Martin Hofmann, Giuseppe Rosolini, Dusko Pavlovic
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:29, n:, pp:- [Journal]
  32. 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]

  33. Evolving Specification Engineering. [Citation Graph (, )][DBLP]


  34. A Semantical Approach to Equilibria and Rationality. [Citation Graph (, )][DBLP]


  35. Network as a Computer: Ranking Paths to Find Flows. [Citation Graph (, )][DBLP]


  36. Dynamics, Robustness and Fragility of Trust. [Citation Graph (, )][DBLP]


  37. Formal Derivation of Concurrent Garbage Collectors. [Citation Graph (, )][DBLP]


  38. Quantum and Classical Structures in Nondeterminstic Computation. [Citation Graph (, )][DBLP]


  39. On quantum statistics in data analysis [Citation Graph (, )][DBLP]


  40. Network as a computer: ranking paths to find flows [Citation Graph (, )][DBLP]


  41. Dynamics, robustness and fragility of trust [Citation Graph (, )][DBLP]


  42. A semantical approach to equilibria and rationality [Citation Graph (, )][DBLP]


  43. Formal Derivation of Concurrent Garbage Collectors [Citation Graph (, )][DBLP]


  44. Geometry of abstraction in quantum computation [Citation Graph (, )][DBLP]


  45. Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002