Conferences in DBLP

Birthday ... (birthday)
2005 (conf/birthday/2005ehrig)

1. Paolo Baldan, Andrea Corradini
   On the Concurrent Semantics of Algebraic Graph Grammars. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Software and Systems Modeling, 2005, pp:3-23 [Conf]
   
2. Luciano Baresi, Mauro Pezzè
   From Graph Transformation to Software Engineering and Back. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Software and Systems Modeling, 2005, pp:24-37 [Conf]
   
3. Gregor Engels, Reiko Heckel, Alexey Cherchago
   Flexible Interconnection of Graph Transformation Modules. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Software and Systems Modeling, 2005, pp:38-63 [Conf]
   
4. Claudia Ermel, Gabriele Taentzer, Roswitha Bardohl
   Simulating Algebraic High-Level Nets by Parallel Attributed Graph Transformation. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Software and Systems Modeling, 2005, pp:64-83 [Conf]
   
5. Fabio Gadducci, Ugo Montanari
   Graph Processes with Fusions: Concurrency by Colimits, Again. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Software and Systems Modeling, 2005, pp:84-100 [Conf]
   
6. Berthold Hoffmann
   Graph Transformation with Variables. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Software and Systems Modeling, 2005, pp:101-115 [Conf]
   
7. Francesc Rosselló, Gabriel Valiente
   Graph Transformation in Molecular Biology. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Software and Systems Modeling, 2005, pp:116-133 [Conf]
   
8. Hans Jürgen Schneider
   Changing Labels in the Double-Pushout Approach Can Be Treated Categorically. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Software and Systems Modeling, 2005, pp:134-149 [Conf]
   
9. Michael A. Arbib
   Modules, Brains and Schemas. [Citation Graph (0, 0)][DBLP]
   Formal Methods in Software and Systems Modeling, 2005, pp:153-166 [Conf]
   
10. Egidio Astesiano, Gianna Reggio
    From Conditional Specifications to Interaction Charts. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:167-189 [Conf]
    
11. Michael Löwe, Harald König, Christoph Schulz
    Algebraic Properties of Interfaces. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:190-203 [Conf]
    
12. Bernd Mahr, Sebastian Bab
    in_T-Integration of Logics. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:204-219 [Conf]
    
13. José Meseguer
    Functorial Semantics of Rewrite Theories. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:220-235 [Conf]
    
14. Peter Padawitz
    Expander2. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:236-258 [Conf]
    
15. Eric G. Wagner
    Relationships Between Equational and Inductive Data Types. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:259-274 [Conf]
    
16. Uwe Wolter
    Cofree Coalgebras for Signature Morphisms. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:275-290 [Conf]
    
17. Annegret Habel, Karl-Heinz Pennemann
    Nested Constraints and Application Conditions for High-Level Structures. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:293-308 [Conf]
    
18. David Harel, Hillel Kugler, Amir Pnueli
    Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:309-324 [Conf]
    
19. Dirk Janssens, Hans-Jörg Kreowski, Grzegorz Rozenberg
    Main Concepts of Networks of Transformation Units with Interlinking Semantics. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:325-342 [Conf]
    
20. Robin Milner
    Embeddings and Contexts for Link Graphs. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:343-351 [Conf]
    
21. Fernando Orejas, Sonia Pérez
    Towards Architectural Connectors for UML. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:352-369 [Conf]
    
22. Julia Padberg, Hans-Jörg Kreowski
    Loose Semantics of Petri Nets. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:370-384 [Conf]
    
23. Leila Ribeiro, Fernando Luís Dotti, Roswitha Bardohl
    A Formal Framework for the Development of Concurrent Object-Based Systems. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:385-401 [Conf]
    
24. Eckehard Schnieder, Jörg R. Müller
    A Formal Description of the Basic Concepts of System Theory for Transportation. [Citation Graph (0, 0)][DBLP]
    Formal Methods in Software and Systems Modeling, 2005, pp:402-411 [Conf]