Sciweavers

71
Voted
ECEASST
2010
14 years 10 months ago
Expressiveness of graph conditions with variables
Annegret Habel, Hendrik Radke
72
Voted
ECEASST
2010
14 years 10 months ago
Decidable Race Condition and Open Coregions in HMSC
Vojtech Rehák, Petr Slovák, Jan Stre...
62
Voted
ECEASST
2010
14 years 10 months ago
On A Graph Formalism for Ordered Edges
Maarten de Mol, Arend Rensink
68
Voted
ECEASST
2010
14 years 10 months ago
Stochastic Graph Transformation with Regions
Paolo Torrini, Reiko Heckel, István R&aacut...
81
Voted
ECEASST
2010
14 years 10 months ago
Recognizable Graph Languages for Checking Invariants
Christoph Blume, Harrie Jan Sander Bruggink, Barba...
64
Voted
ECEASST
2010
14 years 10 months ago
Verification of Model Transformations
Bernhard Schätz
67
Voted
ECEASST
2010
14 years 10 months ago
De-/Re-constructing Model Transformation Languages
Eugene Syriani, Hans Vangheluwe
59
Voted
ECEASST
2010
14 years 10 months ago
Defining Models - Meta Models versus Graph Grammars
Berthold Hoffmann, Mark Minas
87
Voted
ECEASST
2010
14 years 10 months ago
Graph Algebras for Bigraphs
In this talk we will present a new approach to deal with attributed graphs and attributed graph transformation. The approach is based on working with what we call symbolic graphs, ...
Davide Grohmann, Marino Miculan