The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
1999, volume: 22, number:

  1. Luca de Alfaro
    From Fairness to Chance. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  2. Prakash Panangaden
    The Category of Markov Kernels. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  3. Christoph Meinel, Harald Sack
    Parity-OBDDs - a BDD structure for Probabilistic Verification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  4. Annabelle McIver
    Reasoning about efficiency within a probabilistic µ-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  5. Jerry den Hartog, Erik P. de Vink
    Mixing Up Nondeterminism and Probability: a preliminary report. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  6. Carlos Gregorio-Rodríguez, Manuel Núñez
    Denotational Semantics for Probabilistic Refusal Testing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  7. Pedro R. D'Argenio, Holger Hermanns, Joost-Pieter Katoen
    On Generative Parallel Composition. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  8. Christel Baier, Marta Z. Kwiatkowska, Gethin Norman
    Computing Probability Bounds for Linear Time Formulas over Concurrent Probabilistic Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  9. Christel Baier, Michael Huth, Marta Z. Kwiatkowska, Mark Ryan
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  10. Christel Baier, Edmund M. Clarke, Vasilili Hartonas-Garmhausen
    On the Semantic Foundations of Probabilistic Synchronous Reactive Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [Journal]
  11. Roberto Segala
    The Essence of Coin Lemmas. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 1999, v:22, n:, pp:- [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