Conferences in DBLP

Algebraic Methodology and Software Technology (AMAST) (amast)
2006 (conf/amast/2006)

1. Ralph-Johan Back
   Incremental Software Construction with Refinement Diagrams. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:1- [Conf]
   
2. Lawrence S. Moss
   Recursive Program Schemes: Past, Present, and Future. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:2- [Conf]
   
3. Till Mossakowski
   Monad-Based Logics for Computational Effects. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:3-4 [Conf]
   
4. Irem Aktug, Dilian Gurov
   State Space Representation for Verification of Open Systems. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:5-20 [Conf]
   
5. Brad Alexander, Andrew L. Wendelborn
   Data Movement Optimisation in Point-Free Form. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:21-35 [Conf]
   
6. Benjamin Aziz
   Measuring the Speed of Information Leakage in Mobile Processes. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:36-50 [Conf]
   
7. Emilie Balland, Claude Kirchner, Pierre-Etienne Moreau
   Formal Islands. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:51-65 [Conf]
   
8. Guillaume Bonfante
   Some Programming Languages for Logspace and Ptime. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:66-80 [Conf]
   
9. Mila Dalla Preda, Matias Madou, Koen De Bosschere, Roberto Giacobazzi
   Opaque Predicates Detection by Abstract Interpretation. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:81-95 [Conf]
   
10. Matteo Dell'Amico, Maura Cerioli
    DO-Casl: An Observer-Based Casl Extension for Dynamic Specifications. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:96-110 [Conf]
    
11. John Derrick, Heike Wehrheim
    Model Transformations Incorporating Multiple Views. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:111-126 [Conf]
    
12. Ernst-Erich Doberkat
    Hyperfinite Approximations to Labeled Markov Transition Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:127-141 [Conf]
    
13. Azadeh Farzan, José Meseguer
    State Space Reduction of Rewrite Theories Using Invisible Transitions. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:142-157 [Conf]
    
14. William L. Harrison
    The Essence of Multitasking. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:158-172 [Conf]
    
15. Armin Kühnemann, Andreas Maletti
    The Substitution Vanishes. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:173-188 [Conf]
    
16. Juliana Küster Filipe
    Decomposing Interactions. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:189-203 [Conf]
    
17. Tristan Le Gall, Bertrand Jeannet, Thierry Jéron
    Verification of Communication Protocols Using Abstract Interpretation of FIFO Queues. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:204-219 [Conf]
    
18. Natalia López, Manuel Núñez, Ismael Rodríguez
    Assessing the Expressivity of Formal Specification Languages. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:220-234 [Conf]
    
19. Carlos López Pombo, Marcelo F. Frias
    Fork Algebras as a Sufficiently Rich Universal Institution. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:235-247 [Conf]
    
20. Arjan J. Mooij, Judi Romijn, Wieger Wesselink
    Realizability Criteria for Compositional MSC. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:248-262 [Conf]
    
21. Bernhard Möller, Peter Höfner, Georg Struth
    Quantales and Temporal Logics. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:263-277 [Conf]
    
22. Härmel Nestra
    Fractional Semantics. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:278-292 [Conf]
    
23. Susumu Nishimura
    Reasoning About Data-Parallel Pointer Programs in a Modal Extension of Separation Logic. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:293-307 [Conf]
    
24. Dusko Pavlovic, Michael W. Mislove, James Worrell
    Testing Semantics: Connecting Processes and Process Logics. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:308-322 [Conf]
    
25. Georg Struth
    Tableaux for Lattices. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:323-337 [Conf]
    
26. Miguel Valero Espada, Jaco van de Pol
    Accelerated Modal Abstractions of Labelled Transition Systems. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:338-352 [Conf]
    
27. M. Birna van Riemsdijk, John-Jules Ch. Meyer
    A Compositional Semantics of Plan Revision in Intelligent Agents. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:353-367 [Conf]
    
28. Manuel Clavel, Marina Egea
    ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:368-373 [Conf]
    
29. Alastair F. Donaldson, Alice Miller
    A Computational Group Theoretic Symmetry Reduction Package for the Spin Model Checker. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:374-380 [Conf]
    
30. Paul-Christophe Varoutas, Philippe Rizand, Alain Livartowski
    Using Category Theory as a Basis for a Heterogeneous Data Source Search Meta-engine: The Prométhée Framework. [Citation Graph (0, 0)][DBLP]
    AMAST, 2006, pp:381-387 [Conf]