The SCEAS System
Navigation Menu

Conferences in DBLP

Workshop on Algebraic Development Techniques (WADT) (wadt)
2006 (conf/wadt/2006)

  1. Paolo Baldan, Andrea Corradini, Barbara König, Alberto Lluch-Lafuente
    A Temporal Graph Logic for Verification of Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:1-20 [Conf]
  2. Carlos Caleiro, Ricardo Gonçalves
    On the Algebraization of Many-Sorted Logics. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:21-36 [Conf]
  3. José Luiz Fiadeiro, Antónia Lopes, Laura Bocchi
    Algebraic Semantics of Service Component Modules. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:37-55 [Conf]
  4. Hans-Jörg Kreowski, Sabine Kuske
    Autonomous Units and Their Semantics - The Parallel Case. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:56-73 [Conf]
  5. Klaus Lüttich, Till Mossakowski
    Reasoning Support for Caslwith Automated Theorem Proving Systems. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:74-91 [Conf]
  6. Till Mossakowski, Markus Roggenbach
    Structured CSP - A Process Algebra as an Institution. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:92-110 [Conf]
  7. Tom Mens, Ragnhild Van Der Straeten
    Incremental Resolution of Model Inconsistencies. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:111-126 [Conf]
  8. Lutz Schröder, Till Mossakowski
    Coalgebraic Modal Logic in CoCasl. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:127-141 [Conf]
  9. Sara Van Langenhove, Albert Hoogewijs
    SVtL: System Verification Through Logic Tool Support for Verifying Sliced Hierarchical Statecharts. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:142-155 [Conf]
  10. Uwe Wolter
    A (Co)Algebraic Analysis of Synchronization in CSP. [Citation Graph (0, 0)][DBLP]
    WADT, 2006, pp:156-170 [Conf]
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