default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "toc:db/conf/unigra/unigra2001.bht:"
download as .bib file
@inproceedings{DBLP:journals/entcs/BaresiP01,
author = {Luciano Baresi and
Mauro Pezz{\`{e}}},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Improving {UML} with Petri nets},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {107--119},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80947-2},
doi = {10.1016/S1571-0661(04)80947-2},
timestamp = {Thu, 01 Dec 2022 11:20:11 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BaresiP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DehnertGLW01,
author = {Juliane Dehnert and
Maike Gajewsky and
Sabine Lembke and
Herbert Weber},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {The Petri Net Baukasten - Second Installment},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {120--139},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80948-4},
doi = {10.1016/S1571-0661(04)80948-4},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DehnertGLW01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DeselJL01,
author = {J{\"{o}}rg Desel and
Gabriel Juh{\'{a}}s and
Robert Lorenz},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Unifying Petri Nets with Restricted Occurrence Rule Using Partial
Algebra},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {163--187},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80950-2},
doi = {10.1016/S1571-0661(04)80950-2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DeselJL01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigEP01,
author = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Preface},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {188--189},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)80952-1},
doi = {10.1016/S1571-0661(05)80952-1},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigEP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/ErmelBP01,
author = {Claudia Ermel and
Roswitha Bardohl and
Julia Padberg},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Visual Design of Software Architecture and Evolution based on Graph
Transformation},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {52--66},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80943-5},
doi = {10.1016/S1571-0661(04)80943-5},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/ErmelBP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Grosse-Rhode01a,
author = {Martin Gro{\ss}e{-}Rhode},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Formal Concepts for an Integrated Internal Model of the {UML}},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {80--92},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80945-9},
doi = {10.1016/S1571-0661(04)80945-9},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Grosse-Rhode01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeckelZ01,
author = {Reiko Heckel and
Albert Z{\"{u}}ndorf},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {How to Specify a Graph Transformation Approach - {A} Meta Model for
Fujaba},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {41--51},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80942-3},
doi = {10.1016/S1571-0661(04)80942-3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeckelZ01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KreowskiBK01,
author = {Hans{-}J{\"{o}}rg Kreowski and
Giorgio Busatto and
Sabine Kuske},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {{GRACE} as a unifying approach to graph-transformation-based specification},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {1--15},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80939-3},
doi = {10.1016/S1571-0661(04)80939-3},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KreowskiBK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MinasH01,
author = {Mark Minas and
Berthold Hoffmann},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Specifying and Implementing Visual Process Modeling Languages with
DiaGen},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {67--79},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80944-7},
doi = {10.1016/S1571-0661(04)80944-7},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MinasH01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Parisi-Presicce01,
author = {Francesco Parisi{-}Presicce},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {On Modifying High Level Replacement Systems},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {16--27},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80940-X},
doi = {10.1016/S1571-0661(04)80940-X},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Parisi-Presicce01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schurr01,
author = {Andy Sch{\"{u}}rr},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Adding Graph Transformation Concepts to UML's Constraint Language
{OCL}},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {93--106},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80946-0},
doi = {10.1016/S1571-0661(04)80946-0},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schurr01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/StehrMO01,
author = {Mark{-}Oliver Stehr and
Jos{\'{e}} Meseguer and
Peter Csaba {\"{O}}lveczky},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Representation and Execution of Petri Nets Using Rewriting Logic as
a Unifying Framework},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {140--162},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80949-6},
doi = {10.1016/S1571-0661(04)80949-6},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/StehrMO01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Taentzer01a,
author = {Gabriele Taentzer},
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Towards Common Exchange Formats for Graphs and Graph Transformation
Systems},
booktitle = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
pages = {28--40},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80941-1},
doi = {10.1016/S1571-0661(04)80941-1},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Taentzer01a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/unigra/2001,
editor = {Hartmut Ehrig and
Claudia Ermel and
Julia Padberg},
title = {Uniform Approaches to Graphical Process Specification Techniques,
{UNIGRA} 2001, a Satellite Event of {ETAPS} 2001, Genova, Italy, March
31 - April 1, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {44},
number = {4},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/44/issue/4},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/unigra/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
retrieved on 2025-03-06 03:33 CET from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
