default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDSearch dblp for Publications
export results for "stream:conf/getgrats:"
download as .bib file
@inproceedings{DBLP:journals/entcs/Baldan01,
author = {Paolo Baldan},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Concurrency for Graph Grammars in a Petri net shell},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {65--82},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80192-0},
doi = {10.1016/S1571-0661(04)80192-0},
timestamp = {Wed, 30 Nov 2022 11:42:16 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Baldan01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BauderonC01,
author = {Michel Bauderon and
Andrea Corradini},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Preface},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {319},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)82507-1},
doi = {10.1016/S1571-0661(05)82507-1},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BauderonC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BauderonJK01,
author = {Michel Bauderon and
H{\'{e}}l{\`{e}}ne Jacquet and
Renate Klempien{-}Hinrichs},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Pullback rewriting and applications},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {83--92},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80193-2},
doi = {10.1016/S1571-0661(04)80193-2},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BauderonJK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/BauderonMMS01,
author = {Michel Bauderon and
Yves M{\'{e}}tivier and
Mohamed Mosbah and
Afif Sellami},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Graph Relabelling Systems: a Tool for Encoding, Proving, Studying
and Visualizing - Distributed Algorithms},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {93--107},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80194-4},
doi = {10.1016/S1571-0661(04)80194-4},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/BauderonMMS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Corradini01,
author = {Andrea Corradini},
editor = {Michel Bauderon and
Andrea Corradini},
title = {{GETGRATS:} {A} summary of scientific results (with annotated bibliography)},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {1--64},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80191-9},
doi = {10.1016/S1571-0661(04)80191-9},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Corradini01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CorradiniG01,
author = {Andrea Corradini and
Fabio Gadducci},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Categorical rewriting of term-like structures},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {108--121},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80195-6},
doi = {10.1016/S1571-0661(04)80195-6},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/CorradiniG01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Courcelle01,
author = {Bruno Courcelle},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Graph Operations, Graph Transformations and Monadic Second-Order Logic:
a survey},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {122--126},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80196-8},
doi = {10.1016/S1571-0661(04)80196-8},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Courcelle01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigHP01,
author = {Hartmut Ehrig and
Annegret Habel and
Francesco Parisi{-}Presicce},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Basic Results for Two Types of High-Level Replacement Systems},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {127--138},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80197-X},
doi = {10.1016/S1571-0661(04)80197-X},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigHP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Grosse-Rhode01,
author = {Martin Gro{\ss}e{-}Rhode},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Algebra Transformation Systems as a Unifying Framework},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {152--164},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80199-3},
doi = {10.1016/S1571-0661(04)80199-3},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Grosse-Rhode01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HabelP01,
author = {Annegret Habel and
Detlef Plump},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Solving Equations by Graph Transformation},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {165--176},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80200-7},
doi = {10.1016/S1571-0661(04)80200-7},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HabelP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HeckelE01,
author = {Reiko Heckel and
Gregor Engels},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Towards a Formal Framework for Inter-Enterprise Application Integration},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {139--151},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80198-1},
doi = {10.1016/S1571-0661(04)80198-1},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HeckelE01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HirschM01,
author = {Dan Hirsch and
Ugo Montanari},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Two Graph-Based Techniques for Software Architecture Reconfiguration},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {177--190},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80201-9},
doi = {10.1016/S1571-0661(04)80201-9},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/HirschM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Janssens01,
author = {Dirk Janssens},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Processes and Local Actions},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {191--201},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80202-0},
doi = {10.1016/S1571-0661(04)80202-0},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Janssens01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Klempien-Hinrichs01,
author = {Renate Klempien{-}Hinrichs},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Context-free hypergraph grammars with node rewriting},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {202--211},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80203-2},
doi = {10.1016/S1571-0661(04)80203-2},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Klempien-Hinrichs01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Koch01,
author = {Manuel Koch},
editor = {Michel Bauderon and
Andrea Corradini},
title = {A graph-based approach to the compositional specification of distributed
systems},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {212--221},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80204-4},
doi = {10.1016/S1571-0661(04)80204-4},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Koch01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KochMP01,
author = {Manuel Koch and
Luigi V. Mancini and
Francesco Parisi{-}Presicce},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Graph Transformations for the Specification of Access Control Policies},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {222--232},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80205-6},
doi = {10.1016/S1571-0661(04)80205-6},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KochMP01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/KreowskiBKKK01,
author = {Hans{-}J{\"{o}}rg Kreowski and
Giorgio Busatto and
Renate Klempien{-}Hinrichs and
Peter Knirsch and
Sabine Kuske},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Structured Modeling with {GRACE}},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {233--245},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80206-8},
doi = {10.1016/S1571-0661(04)80206-8},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/KreowskiBKKK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Kuske01,
author = {Sabine Kuske},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Parameterized Transformation Units},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {246--257},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80207-X},
doi = {10.1016/S1571-0661(04)80207-X},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Kuske01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Lenzi01,
author = {Giacomo Lenzi},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Monadic Second Order Logic And Its Fragments},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {258--264},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80208-1},
doi = {10.1016/S1571-0661(04)80208-1},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Lenzi01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LlabresR01,
author = {Merc{\`{e}} Llabr{\'{e}}s and
Francesc Rossell{\'{o}}},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Towards a Double Pushout Transformation of Algebras},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {265--276},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80209-3},
doi = {10.1016/S1571-0661(04)80209-3},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LlabresR01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Plump01,
author = {Detlef Plump},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Essentials of Term Graph Rewriting},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {277--289},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80210-X},
doi = {10.1016/S1571-0661(04)80210-X},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Plump01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Simeoni01,
author = {Marta Simeoni},
editor = {Michel Bauderon and
Andrea Corradini},
title = {An Abstract Module Concept for Graph Transformation Systems},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {290--303},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80211-1},
doi = {10.1016/S1571-0661(04)80211-1},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Simeoni01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Taentzer01,
author = {Gabriele Taentzer},
editor = {Michel Bauderon and
Andrea Corradini},
title = {Visual Modeling of Distributed Object Systems by Graph Transformation},
booktitle = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
pages = {304--318},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(04)80212-3},
doi = {10.1016/S1571-0661(04)80212-3},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Taentzer01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getgrats/2001,
editor = {Michel Bauderon and
Andrea Corradini},
title = {{GETGRATS} Closing Workshop 2001, Bordeaux, France, June 22-23, 2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {51},
publisher = {Elsevier},
year = {2001},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/51/suppl/C},
timestamp = {Wed, 30 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getgrats/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-02 11:20 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:
