The SCEAS System
Navigation Menu

Search the dblp DataBase


Daniele Varacca: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Daniele Varacca
    Encoding CDuce in the Cpi-Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2006, pp:310-326 [Conf]
  2. Hagen Völzer, Daniele Varacca, Ekkart Kindler
    Defining Fairness. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2005, pp:458-472 [Conf]
  3. Daniele Varacca, Hagen Völzer, Glynn Winskel
    Probabilistic Event Structures and Domains. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2004, pp:481-496 [Conf]
  4. Giuseppe Castagna, Rocco De Nicola, Daniele Varacca
    Semantic Subtyping for the p-Calculus. [Citation Graph (0, 0)][DBLP]
    LICS, 2005, pp:92-101 [Conf]
  5. Daniele Varacca
    The Powerdomain of Indexed Valuations. [Citation Graph (0, 0)][DBLP]
    LICS, 2002, pp:299-0 [Conf]
  6. Daniele Varacca, Hagen Völzer
    Temporal Logics and Model Checking for Fairly Correct Systems. [Citation Graph (0, 0)][DBLP]
    LICS, 2006, pp:389-398 [Conf]
  7. Daniele Varacca, Nobuko Yoshida
    Typed Event Structures and the pi-Calculus: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:158, n:, pp:373-397 [Journal]
  8. Daniele Varacca, Hagen Völzer, Glynn Winskel
    Probabilistic event structures and domains. [Citation Graph (0, 0)][DBLP]
    Theor. Comput. Sci., 2006, v:358, n:2-3, pp:173-199 [Journal]
  9. Silvia Crafa, Daniele Varacca, Nobuko Yoshida
    Compositional Event Structure Semantics for the Internal pi -Calculus. [Citation Graph (0, 0)][DBLP]
    CONCUR, 2007, pp:317-332 [Conf]
  10. Daniele Varacca, Nobuko Yoshida
    Probabilistic pi-Calculus and Event Structures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:147-166 [Journal]

  11. Counterexamples in Probabilistic LTL Model Checking for Markov Chains. [Citation Graph (, )][DBLP]

  12. The Calculus of Handshake Configurations. [Citation Graph (, )][DBLP]

  13. Fair Adversaries and Randomization in Two-Player Games. [Citation Graph (, )][DBLP]

  14. Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths. [Citation Graph (, )][DBLP]

  15. A Petri Net Model of Handshake Protocols. [Citation Graph (, )][DBLP]

Search in 0.002secs, Finished in 0.003secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
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 [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002