|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
No Growbag Graphs found.
|
|
|
Results
Found 27 publication records. Showing 27 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Mark Minas |
XML-based Specification of Diagram Editors. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Desel, Gabriel Juhás, Robert Lorenz 0001 |
Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig |
Behaviour and Instantiation of High-Level Net Processes. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Milan Urbásek |
Modeling Petri Net Based Systems by Net Transformations: New Developments. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Stuart Kent 0001, Robert Smith |
The Bidirectional Mapping Problem. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Niels Van Eetvelde, Dirk Janssens |
A Hierarchical Program Representation for Refactoring. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roswitha Bardohl, Hartmut Ehrig |
Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Sabine Kuske, Peter Knirsch 0001 |
Modeling Agent Systems with Distributed Transformation Units. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Fernando Orejas, Hartmut Ehrig |
Components for Algebra Transformation Systems. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Bottoni |
Dynamic aspects of visual modelling languages. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann |
Model-Based Verification and Validation of Properties. |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Julia Padberg |
Case Study: Modelling Telecom Services with Petri Net Modules |
UNIGRA |
2003 |
DBLP DOI BibTeX RDF |
|
1 | Roswitha Bardohl, Hartmut Ehrig (eds.) |
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003 |
UNIGRA |
2003 |
DBLP BibTeX RDF |
|
1 | Gabriele Taentzer |
Towards Common Exchange Formats for Graphs and Graph Transformation Systems. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Claudia Ermel, Roswitha Bardohl, Julia Padberg |
Visual Design of Software Architecture and Evolution based on Graph Transformation. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Andy Schürr |
Adding Graph Transformation Concepts to UML's Constraint Language OCL. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Reiko Heckel, Albert Zündorf |
How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Martin Große-Rhode |
Formal Concepts for an Integrated Internal Model of the UML. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mark-Oliver Stehr, José Meseguer 0001, Peter Csaba Ölveczky |
Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Juliane Dehnert, Maike Gajewsky, Sabine Lembke, Herbert Weber |
The Petri Net Baukasten - Second Installment. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Francesco Parisi-Presicce |
On Modifying High Level Replacement Systems. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Claudia Ermel, Julia Padberg |
Preface. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Jörg Desel, Gabriel Juhás, Robert Lorenz 0001 |
Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske |
GRACE as a unifying approach to graph-transformation-based specification. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Luciano Baresi, Mauro Pezzè |
Improving UML with Petri nets. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Mark Minas, Berthold Hoffmann |
Specifying and Implementing Visual Process Modeling Languages with DiaGen. |
UNIGRA |
2001 |
DBLP DOI BibTeX RDF |
|
1 | Hartmut Ehrig, Claudia Ermel, Julia Padberg (eds.) |
Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2001, a Satellite Event of ETAPS 2001, Genova, Italy, March 31 - April 1, 2001 |
UNIGRA |
2001 |
DBLP BibTeX RDF |
|
Displaying result #1 - #27 of 27 (100 per page; Change: )
|
|