The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2005, volume: 115, number:

  1. Gerald Lüttgen, Natividad Martínez Madrid, Michael Mendler
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:1-2 [Journal]
  2. Ralf Huuck
    Semantics and Analysis of Instruction List Programs. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:3-18 [Journal]
  3. Alessandra Cavarra, Juliana Küster Filipe
    Combining Sequence Diagrams and OCL for Liveness. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:19-38 [Journal]
  4. Marcel Kyas, Harald Fecher, Frank S. de Boer, Joost Jacob, Jozef Hooman, Mark van der Zwaag, Tamarah Arons, Hillel Kugler
    Formalizing UML Models and OCL Constraints in PVS. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:39-47 [Journal]
  5. Gwen Salaün, Pascal Poizat
    Interacting Extended State Diagrams. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:49-57 [Journal]
  6. Rui Gustavo Crespo
    Integrating the Semantics of Deterministic Multi-layered Communication Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:59-68 [Journal]
  7. Arnab Ray, Rance Cleaveland, Arne Skou
    An Algebraic Theory Of Boundary Crossing Transitions. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:69-88 [Journal]
  8. Andrzej Wasowski
    On Succinctness of Hierarchical State Diagrams in Absence of Message Passing. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2005, v:115, n:, pp:89-97 [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