The SCEAS System
Navigation Menu

Journals in DBLP

J. Log. Algebr. Program.
2003, volume: 56, number: 1-2

  1. Pedro R. D'Argenio, Jos C. M. Baeten
    Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:1-2 [Journal]
  2. Joe Hurd
    Verification of the Miller-Rabin probabilistic primality test. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:3-21 [Journal]
  3. Holger Hermanns, Marta Z. Kwiatkowska, Gethin Norman, David Parker, Markus Siegle
    On the use of MTBDDs for performability analysis and verification of stochastic systems. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:23-67 [Journal]
  4. Peter Buchholz, Joost-Pieter Katoen, Peter Kemper, Carsten Tepper
    Model-checking large structured Markov chains. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:69-97 [Journal]
  5. Josee Desharnais, Prakash Panangaden
    Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:99-115 [Journal]
  6. Manuel Núñez
    Algebraic theory of probabilistic processes. [Citation Graph (0, 0)][DBLP]
    J. Log. Algebr. Program., 2003, v:56, n:1-2, pp:117-177 [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