The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 190, number: 3

  1. Alessandro Aldini, Franck van Breugel
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:1-2 [Journal]
  2. Ashok Argent-Katwala, Jeremy T. Bradley
    PEPA Queues: Capturing Customer Behaviour in Queueing Networks. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:3-25 [Journal]
  3. Luca Bortolussi, Alberto Policriti
    Stochastic Concurrent Constraint Programming and Differential Equations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:27-42 [Journal]
  4. Vincenzo Ciancia, Gian Luigi Ferrari
    Co-Algebraic Models for Quantitative Spatial Logics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:43-58 [Journal]
  5. Alessandra Di Pierro, Chris Hankin, Herbert Wiklicky
    On Probabilistic Techniques for Data Flow Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:59-77 [Journal]
  6. Tom Chothia, Jun Pang, Muhammad Torabi Dashti
    Keeping Secrets in Resource Aware Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:79-94 [Journal]
  7. Pedro Baltazar, Paulo Mateus, Rajagopal Nagarajan, Nikolaos Papanikolaou
    Exogenous Probabilistic Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:95-110 [Journal]
  8. Stefano Bistarelli, Ugo Montanari, Francesca Rossi, Francesco Santini
    Modelling Multicast QoS Routing by using Best-Tree Search in And-or Graphs and Soft Constraint Logic Programming. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:111-127 [Journal]
  9. Michael J. A. Smith
    Stochastic Modelling of Communication Protocols from Source Code. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:129-145 [Journal]
  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. Gagarine Yaikhom, Murray Cole, Stephen Gilmore, Jane Hillston
    A Structural Approach for Modelling Performance of Systems Using Skeletons. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:167-183 [Journal]
  12. Yuxin Deng, Wenjie Du
    Probabilistic Barbed Congruence. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:190, n:3, pp:185-203 [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