The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "UNIGRA"( http://dblp.L3S.de/Venues/UNIGRA )

URL (DBLP): http://dblp.uni-trier.de/db/conf/unigra

Publication years (Num. hits)
2001 (14) 2003 (13)
Publication types (Num. hits)
inproceedings(25) proceedings(2)
Venues (Conferences, Journals, ...)
UNIGRA(27)
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
1Mark Minas XML-based Specification of Diagram Editors. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Jörg Desel, Gabriel Juhás, Robert Lorenz 0001 Relating axiomatic and operational semantics of place/transition nets: From process terms to partial orders. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Hartmut Ehrig Behaviour and Instantiation of High-Level Net Processes. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Milan Urbásek Modeling Petri Net Based Systems by Net Transformations: New Developments. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Stuart Kent 0001, Robert Smith The Bidirectional Mapping Problem. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Niels Van Eetvelde, Dirk Janssens A Hierarchical Program Representation for Refactoring. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Roswitha Bardohl, Hartmut Ehrig Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Sabine Kuske, Peter Knirsch 0001 Modeling Agent Systems with Distributed Transformation Units. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Fernando Orejas, Hartmut Ehrig Components for Algebra Transformation Systems. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Paolo Bottoni Dynamic aspects of visual modelling languages. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Gregor Engels, Jochen Malte Küster, Reiko Heckel, Marc Lohmann Model-Based Verification and Validation of Properties. Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Julia Padberg Case Study: Modelling Telecom Services with Petri Net Modules Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Roswitha Bardohl, Hartmut Ehrig (eds.) Uniform Approaches to Graphical Process Specification Techniques, UNIGRA 2003, Satellite Event for ETAPS 2003, Warsaw, Poland, April 5-6, 2003 Search on Bibsonomy UNIGRA The full citation details ... 2003 DBLP  BibTeX  RDF
1Gabriele Taentzer Towards Common Exchange Formats for Graphs and Graph Transformation Systems. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Claudia Ermel, Roswitha Bardohl, Julia Padberg Visual Design of Software Architecture and Evolution based on Graph Transformation. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Andy Schürr Adding Graph Transformation Concepts to UML's Constraint Language OCL. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Reiko Heckel, Albert Zündorf How to Specify a Graph Transformation Approach - A Meta Model for Fujaba. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Martin Große-Rhode Formal Concepts for an Integrated Internal Model of the UML. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mark-Oliver Stehr, José Meseguer 0001, Peter Csaba Ölveczky Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Juliane Dehnert, Maike Gajewsky, Sabine Lembke, Herbert Weber The Petri Net Baukasten - Second Installment. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Francesco Parisi-Presicce On Modifying High Level Replacement Systems. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hartmut Ehrig, Claudia Ermel, Julia Padberg Preface. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Jörg Desel, Gabriel Juhás, Robert Lorenz 0001 Unifying Petri Nets with Restricted Occurrence Rule Using Partial Algebra. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hans-Jörg Kreowski, Giorgio Busatto, Sabine Kuske GRACE as a unifying approach to graph-transformation-based specification. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Luciano Baresi, Mauro Pezzè Improving UML with Petri nets. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Mark Minas, Berthold Hoffmann Specifying and Implementing Visual Process Modeling Languages with DiaGen. Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Hartmut 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 Search on Bibsonomy UNIGRA The full citation details ... 2001 DBLP  BibTeX  RDF
Displaying result #1 - #27 of 27 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license