The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2006, volume: 153, number: 2

  1. Antonio Cerone, Herbert Wiklicky
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:1-3 [Journal]
  2. Marta Z. Kwiatkowska, Gethin Norman, David Parker
    Quantitative Analysis With the Probabilistic Model Checker PRISM. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:5-31 [Journal]
  3. Gilles Barthe, Tamara Rezk, Martijn Warnier
    Preventing Timing Leaks Through Transactional Branching Instructions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:33-55 [Journal]
  4. Walter Binder, Jarle Hulaas
    Using Bytecode Instruction Counting as Portable CPU Consumption Metric. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:57-77 [Journal]
  5. Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang
    Metrics for Action-labelled Quantitative Transition Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:79-96 [Journal]
  6. Christel Baier, Pedro R. D'Argenio, Marcus Größer
    Partial Order Reduction for Probabilistic Branching Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:97-116 [Journal]
  7. Volker Gruhn, Ralf Laue
    Patterns for Timed Property Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:117-133 [Journal]
  8. Dan Hirsch, Alberto Lluch-Lafuente, Emilio Tuosto
    A Logic for Application Level QoS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:135-159 [Journal]
  9. Rocco De Nicola, Joost-Pieter Katoen, Diego Latella, Mieke Massink
    Towards a Logic for Performance and Mobility. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:161-175 [Journal]
  10. Ruggero Lanotte, Andrea Maggiolo-Schettini, Angelo Troina
    A Classification of Time and/or Probability Dependent Security Properties. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:177-193 [Journal]
  11. Annabelle McIver, Carroll Morgan
    A Novel Stochastic Game Via the Quantitative mu-calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:195-212 [Journal]
  12. Gul A. Agha, José Meseguer, Koushik Sen
    PMaude: Rewrite-based Specification Language for Probabilistic Object Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:213-239 [Journal]
  13. Igor Siveroni
    Filling Out the Gaps: A Padding Algorithm for Transforming Out Timing Leaks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:241-257 [Journal]
  14. Verena Wolf, Christel Baier, Mila E. Majster-Cederbaum
    Trace Machines for Observing Continuous-Time Markov Chains. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:153, n:2, pp:259-277 [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