The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 128, number: 6

  1. Michael Huth
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:1-2 [Journal]
  2. Armelle Merlin, Gaétan Hains
    A Generic Cost Model for Concurrent and Data-parallel Meta-computing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:3-19 [Journal]
  3. Nils Klarlund, Richard J. Trefler
    Regularity Results for FIFO Channels. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:21-36 [Journal]
  4. Lee Momtahan
    Towards a Small Model Theorem for Data Independent Systems in Alloy. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:37-52 [Journal]
  5. Wan Fokkink, Jun Pang
    Simplifying Itai-Rodeh Leader Election for Anonymous Rings. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:53-68 [Journal]
  6. Jean-François Raskin, Mathias Samuelides, Laurent Van Begin
    Games for Counting Abstractions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:69-85 [Journal]
  7. Christophe Darlot, Alain Finkel, Laurent Van Begin
    About Fast and TReX Accelerations. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:87-103 [Journal]
  8. Aleksandar Dimovski, Ranko Lazic
    Software Model Checking Based on Game Semantics and CSP. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:105-125 [Journal]
  9. Philippa J. Hopcroft, Guy H. Broadfoot
    Combining the Box Structure Development Method and CSP for Software Development. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:127-144 [Journal]
  10. Franck Cassez, Olivier H. Roux
    Structural Translation from Time Petri Nets to Timed Automata. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:145-160 [Journal]
  11. Alastair F. Donaldson, Alice Miller, Muffy Calder
    Finding Symmetry in Models of Concurrent Systems by Static Channel Diagram Analysis. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:161-177 [Journal]
  12. Radu Siminiceanu, Gianfranco Ciardo
    Formal Verification of the NASA Runway Safety Monitor. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:179-194 [Journal]
  13. Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
    Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:195-214 [Journal]
  14. Harald Fecher
    Truly Concurrent Logic via In-Between Specification. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:215-230 [Journal]
  15. Xu Wang, Marta Z. Kwiatkowska, Georgios K. Theodoropoulos, Qianyi Zhang
    Towards a Unifying CSP approach to Hierarchical Verification of Asynchronous Hardware. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:231-246 [Journal]
  16. Paritosh K. Pandya
    Finding Extremal Models of Discrete Duration Calculus formulae using Symbolic Search. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:247-262 [Journal]
  17. Cécile Braunstein, Emmanuelle Encrenaz
    CTL-Property Transformations Along an Incremental Design Process. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:263-278 [Journal]
  18. Shobha Vasudevan, E. Allen Emerson, Jacob A. Abraham
    Efficient Model Checking of Hardware Using Conditioned Slicing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:279-294 [Journal]
  19. Marco Gribaudo, András Horváth
    Model Checking Functional and Performability Properties of Stochastic Fluid Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:295-310 [Journal]
  20. Dimitar P. Guelev, Mark Dermot Ryan, Pierre-Yves Schobbens
    Model-checking the Preservation of Temporal Properties upon Feature Integration. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:128, n:6, pp:311-324 [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