The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 112, number:

  1. Antonio Cerone, Alessandra Di Pierro
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:1-3 [Journal]
  2. Chris Hankin, Herbert Wiklicky
    lambda-calculus and Quantitative Program Analysis: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:5-18 [Journal]
  3. María Alpuente, María-del-Mar Gallardo, Ernesto Pimentel, Alicia Villanueva
    Abstract Model Checking of tccp programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:19-36 [Journal]
  4. Alberto Lluch-Lafuente, Ugo Montanari
    Quantitative ?-calculus and CTL Based on Constraint Semirings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:37-59 [Journal]
  5. Michael Huth
    Abstraction and Probabilities for Hybrid Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:61-76 [Journal]
  6. Emilio Tuosto
    Tarzan: Communicating and Moving in Wireless Jungles. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:77-94 [Journal]
  7. Joe Hurd, Annabelle McIver, Carroll Morgan
    Probabilistic Guarded Commands Mechanized in HOL. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:95-111 [Journal]
  8. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    Automatic Analysis of a Non-Repudiation Protocol. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:113-129 [Journal]
  9. Alessandro Aldini, Alessandra Di Pierro
    On Quantitative Analysis of Probabilistic Protocols. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:131-148 [Journal]
  10. David Clark, Sebastian Hunt, Pasquale Malacaria
    Quantified Interference for a While Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:149-166 [Journal]
  11. Chiara Bodei, Michele Curti, Pierpaolo Degano, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Corrado Priami
    Performance Evaluation of Security Protocols Specified in LySa. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:112, n:, pp:167-189 [Journal]
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