The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2004, volume: 95, number:

  1. Ana Cavalcanti, Patrícia D. L. Machado
    Preface. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:1-2 [Journal]
  2. Jim Woodcock
    Using Circus for Safety-critical Applications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:3-22 [Journal]
  3. Augusto Sampaio, Alexandre Mota, Rodrigo Ramos
    Class and Capsule Refinement in UML for Real Time. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:23-51 [Journal]
  4. Marie-Claude Gaudel
    Problems and Methods for Testing Infinite State Machines: Extended Abstract. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:53-62 [Journal]
  5. André Luis Silva, Manoel Messias Menezes, Leila Silva
    Using CafeOBJ to Implement a Reduction Strategy in the Context of Hardware/Software Partitioning. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:63-82 [Journal]
  6. Franklin Ramalho, Jacques Robin, Ulrich Schiel
    Concurrent Transaction Frame Logic Formal Semantics for UML Activity and Class Diagrams. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:83-109 [Journal]
  7. Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Kanda
    VeriAgent: an Approach to Integrating UML and Formal Verification Tools. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:111-129 [Journal]
  8. Anamaria Martins Moreira, Anderson Santana de Oliveira
    Simulating Algebraic Specification Genericity on Languages with Initial Semantics. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:131-148 [Journal]
  9. Christiano Braga, Alexandre Sztajnberg
    Towards a Rewriting Semantics for a Software Architecture Description Language. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:149-168 [Journal]
  10. Roberto Callejas-Bedregal, Benjamín René Callejas Bedregal
    Acióly-Scott Interval Categories. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:169-187 [Journal]
  11. Gift Nuka, Jim Woodcock
    Mechanising the Alphabetised Relational Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:209-225 [Journal]
  12. Rohit Gheyi, Paulo Borba
    Refactoring Alloy Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:227-243 [Journal]
  13. Luciana Foss, Leila Ribeiro
    A Translation from Object-Based Hypergraph Grammars into pi-Calculus. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:245-267 [Journal]
  14. Ana Cristina Vieira de Melo
    A Study On The Potential Active Names of pi-Agents. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:269-286 [Journal]
  15. Emerson Ferreira de Araújo Lima, Jorge C. A. de Figueiredo, Dalton Serey Guerrero
    Using Coloured Petri Nets to Compare Mobile Agent Design Patterns. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:95, n:, pp:287-305 [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