Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Ulrike Golas
@book{DBLP:series/eatcs/EhrigEGH15,
author = {Hartmut Ehrig and
Claudia Ermel and
Ulrike Golas and
Frank Hermann},
title = {Graph and Model Transformation - General Framework and Applications},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47980-3},
doi = {10.1007/978-3-662-47980-3},
isbn = {978-3-662-47979-7},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/EhrigEGH15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/TaentzerG15,
author = {Gabriele Taentzer and
Ulrike Golas},
editor = {Francesco Parisi{-}Presicce and
Bernhard Westfechtel},
title = {Towards Local Confluence Analysis for Amalgamated Graph Transformation},
booktitle = {Graph Transformation - 8th International Conference, {ICGT} 2015,
Held as Part of {STAF} 2015, L'Aquila, Italy, July 21-23, 2015. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9151},
pages = {69--86},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-21145-9\_5},
doi = {10.1007/978-3-319-21145-9\_5},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/TaentzerG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/0001EGO14,
author = {Frank Hermann and
Hartmut Ehrig and
Ulrike Golas and
Fernando Orejas},
title = {Formal analysis of model transformations based on triple graph grammars},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {4},
year = {2014},
url = {https://doi.org/10.1017/S0960129512000370},
doi = {10.1017/S0960129512000370},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/0001EGO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/EhrigGHLO14,
author = {Hartmut Ehrig and
Ulrike Golas and
Annegret Habel and
Leen Lambers and
Fernando Orejas},
title = {{\(\mathscr{M}\)}-adhesive transformation systems with nested application
conditions. Part 1: parallelism, concurrency and amalgamation},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {4},
year = {2014},
url = {https://doi.org/10.1017/S0960129512000357},
doi = {10.1017/S0960129512000357},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/EhrigGHLO14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GabrielBEG14,
author = {Karsten Gabriel and
Benjamin Braatz and
Hartmut Ehrig and
Ulrike Golas},
title = {Finitary {\(\mathscr{M}\)}-adhesive categories},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {4},
year = {2014},
url = {https://doi.org/10.1017/S0960129512000321},
doi = {10.1017/S0960129512000321},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GabrielBEG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/GolasHE14,
author = {Ulrike Golas and
Annegret Habel and
Hartmut Ehrig},
title = {Multi-amalgamation of rules with application conditions in {\(\mathscr{M}\)}-adhesive
categories},
journal = {Math. Struct. Comput. Sci.},
volume = {24},
number = {4},
year = {2014},
url = {https://doi.org/10.1017/S0960129512000345},
doi = {10.1017/S0960129512000345},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/GolasHE14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fossacs/OrejasBGM13,
author = {Fernando Orejas and
Artur Boronat and
Ulrike Golas and
Nikos Mylonakis},
editor = {Frank Pfenning},
title = {Checking Bisimilarity for Attributed Graph Transformation},
booktitle = {Foundations of Software Science and Computation Structures - 16th
International Conference, {FOSSACS} 2013, Held as Part of the European
Joint Conferences on Theory and Practice of Software, {ETAPS} 2013,
Rome, Italy, March 16-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7794},
pages = {113--128},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-37075-5\_8},
doi = {10.1007/978-3-642-37075-5\_8},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/fossacs/OrejasBGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EhrigGHLO12,
author = {Hartmut Ehrig and
Ulrike Golas and
Annegret Habel and
Leen Lambers and
Fernando Orejas},
title = {{\(\mathscr{M}\)}-Adhesive Transformation Systems with Nested Application
Conditions. Part 2: Embedding, Critical Pairs and Local Confluence},
journal = {Fundam. Informaticae},
volume = {118},
number = {1-2},
pages = {35--63},
year = {2012},
url = {https://doi.org/10.3233/FI-2012-705},
doi = {10.3233/FI-2012-705},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EhrigGHLO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/GolasLEO12,
author = {Ulrike Golas and
Leen Lambers and
Hartmut Ehrig and
Fernando Orejas},
title = {Attributed graph transformation with inheritance: Efficient conflict
detection and local confluence analysis using abstract critical pairs},
journal = {Theor. Comput. Sci.},
volume = {424},
pages = {46--68},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.01.032},
doi = {10.1016/J.TCS.2012.01.032},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/GolasLEO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HeckelEGH12,
author = {Reiko Heckel and
Hartmut Ehrig and
Ulrike Golas and
Frank Hermann},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Parallelism and Concurrency of Stochastic Graph Transformations},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {96--110},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_7},
doi = {10.1007/978-3-642-33654-6\_7},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/HeckelEGH12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GolasLEG12,
author = {Ulrike Golas and
Leen Lambers and
Hartmut Ehrig and
Holger Giese},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {Toward Bridging the Gap between Formal Foundations and Current Practice
for Triple Graph Grammars - Flexible Relations between Source and
Target Elements},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {141--155},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_10},
doi = {10.1007/978-3-642-33654-6\_10},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/GolasLEG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/Golas12,
author = {Ulrike Golas},
editor = {Hartmut Ehrig and
Gregor Engels and
Hans{-}J{\"{o}}rg Kreowski and
Grzegorz Rozenberg},
title = {A General Attribution Concept for Models in {\(\mathscr{M}\)}-Adhesive
Transformation Systems},
booktitle = {Graph Transformations - 6th International Conference, {ICGT} 2012,
Bremen, Germany, September 24-29, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7562},
pages = {187--202},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33654-6\_13},
doi = {10.1007/978-3-642-33654-6\_13},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/Golas12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icaart/SobollG12,
author = {Thomas Soboll and
Ulrike Golas},
editor = {Joaquim Filipe and
Ana L. N. Fred},
title = {A Local-global Model for Multiagent Systems - Sheaves on the Category
{MAS}},
booktitle = {{ICAART} 2012 - Proceedings of the 4th International Conference on
Agents and Artificial Intelligence, Volume 2 - Agents, Vilamoura,
Algarve, Portugal, 6-8 February, 2012},
pages = {331--334},
publisher = {SciTePress},
year = {2012},
timestamp = {Thu, 03 May 2012 18:02:12 +0200},
biburl = {https://dblp.org/rec/conf/icaart/SobollG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1208-4301,
editor = {Ulrike Golas and
Thomas Soboll},
title = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational
Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012},
series = {{EPTCS}},
volume = {93},
year = {2012},
url = {https://doi.org/10.4204/EPTCS.93},
doi = {10.4204/EPTCS.93},
timestamp = {Wed, 12 Sep 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1208-4301.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/de/Golas2011,
author = {Ulrike Golas},
title = {Analysis and correctness of algebraic graph and model transformations},
school = {Berlin Institute of Technology},
year = {2011},
url = {https://d-nb.info/1008180238},
isbn = {978-3-8348-1493-7},
timestamp = {Sat, 17 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/phd/de/Golas2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GolasBEE11,
author = {Ulrike Golas and
Enrico Biermann and
Hartmut Ehrig and
Claudia Ermel},
title = {A Visual Interpreter Semantics for Statecharts Based on Amalgamated
Graph Transformation},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {39},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.39.645},
doi = {10.14279/TUJ.ECEASST.39.645},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/GolasBEE11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GolasEH11,
author = {Ulrike Golas and
Hartmut Ehrig and
Frank Hermann},
title = {Formal Specification of Model Transformations by Triple Graph Grammars
with Application Conditions},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {39},
year = {2011},
url = {https://doi.org/10.14279/tuj.eceasst.39.646},
doi = {10.14279/TUJ.ECEASST.39.646},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/GolasEH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/PfalzgrafEGS11,
author = {Jochen Pfalzgraf and
Hartmut Ehrig and
Ulrike Golas and
Thomas Soboll},
title = {Foreword},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {219--221},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.005},
doi = {10.1016/J.JSC.2010.09.005},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/PfalzgrafEGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/BraatzGS11,
author = {Benjamin Braatz and
Ulrike Golas and
Thomas Soboll},
title = {How to delete categorically - Two pushout complement constructions},
journal = {J. Symb. Comput.},
volume = {46},
number = {3},
pages = {246--271},
year = {2011},
url = {https://doi.org/10.1016/j.jsc.2010.09.007},
doi = {10.1016/J.JSC.2010.09.007},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/BraatzGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gi/ChabarekG11,
author = {Fadi Chabarek and
Ulrike Golas},
editor = {Hans{-}Ulrich Hei{\ss} and
Peter Pepper and
Holger Schlingloff and
J{\"{o}}rg Schneider},
title = {Interaktive Vervollst{\"{a}}ndigung der Szenariobasierten Spezifikation
eines Parkassistenzsystems},
booktitle = {41. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Informatik
schafft Communities, {INFORMATIK} 2011, Berlin, Germany, October 4-7,
2011, Abstract Proceedings},
series = {{LNI}},
volume = {{P-192}},
pages = {209},
publisher = {{GI}},
year = {2011},
url = {https://dl.gi.de/handle/20.500.12116/18582},
timestamp = {Tue, 04 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gi/ChabarekG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigGH10,
author = {Hartmut Ehrig and
Ulrike Golas and
Frank Hermann},
title = {Categorical Frameworks for Graph Transformation and {HLR} Systems
Based on the {DPO} Approach},
journal = {Bull. {EATCS}},
volume = {102},
pages = {111--121},
year = {2010},
url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/158},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eatcs/EhrigGH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/GolasHERP10,
author = {Ulrike Golas and
Kathrin Hoffmann and
Hartmut Ehrig and
Alexander Rein and
Julia Padberg},
title = {Functorial Analysis of Algebraic Higher-Order Net Systems with Applications
to Mobile Ad-Hoc Networks},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {40},
year = {2010},
url = {https://doi.org/10.14279/tuj.eceasst.40.631},
doi = {10.14279/TUJ.ECEASST.40.631},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/GolasHERP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/EhrigEEP10,
author = {Hartmut Ehrig and
Karsten Ehrig and
Claudia Ermel and
Ulrike Prange},
title = {Consistent integration of models based on views of meta models},
journal = {Formal Aspects Comput.},
volume = {22},
number = {3-4},
pages = {327--344},
year = {2010},
url = {https://doi.org/10.1007/s00165-009-0127-6},
doi = {10.1007/S00165-009-0127-6},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/EhrigEEP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/OrejasEP10,
author = {Fernando Orejas and
Hartmut Ehrig and
Ulrike Prange},
title = {Reasoning with graph constraints},
journal = {Formal Aspects Comput.},
volume = {22},
number = {3-4},
pages = {385--422},
year = {2010},
url = {https://doi.org/10.1007/s00165-009-0116-9},
doi = {10.1007/S00165-009-0116-9},
timestamp = {Mon, 09 May 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/OrejasEP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sttt/BiermannELPRT10,
author = {Enrico Biermann and
Claudia Ermel and
Leen Lambers and
Ulrike Prange and
Olga Runge and
Gabriele Taentzer},
title = {Introduction to {AGG} and {EMF} Tiger by modeling a Conference Scheduling
System},
journal = {Int. J. Softw. Tools Technol. Transf.},
volume = {12},
number = {3-4},
pages = {245--261},
year = {2010},
url = {https://doi.org/10.1007/s10009-010-0154-x},
doi = {10.1007/S10009-010-0154-X},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sttt/BiermannELPRT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/BiermannEEGT10,
author = {Enrico Biermann and
Hartmut Ehrig and
Claudia Ermel and
Ulrike Golas and
Gabriele Taentzer},
editor = {Gregor Engels and
Claus Lewerentz and
Wilhelm Sch{\"{a}}fer and
Andy Sch{\"{u}}rr and
Bernhard Westfechtel},
title = {Parallel Independence of Amalgamated Graph Transformations Applied
to Model Transformation},
booktitle = {Graph Transformations and Model-Driven Engineering - Essays Dedicated
to Manfred Nagl on the Occasion of his 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5765},
pages = {121--140},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-17322-6\_7},
doi = {10.1007/978-3-642-17322-6\_7},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/BiermannEEGT10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/HermannEOG10,
author = {Frank Hermann and
Hartmut Ehrig and
Fernando Orejas and
Ulrike Golas},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Formal Analysis of Functional Behaviour for Model Transformations
Based on Triple Graph Grammars},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {155--170},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_11},
doi = {10.1007/978-3-642-15928-2\_11},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/HermannEOG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/BraatzEGG10,
author = {Benjamin Braatz and
Hartmut Ehrig and
Karsten Gabriel and
Ulrike Golas},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Finitary {\(\mathscr{M}\)}-Adhesive Categories},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {234--249},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_16},
doi = {10.1007/978-3-642-15928-2\_16},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/BraatzEGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigHLOG10,
author = {Hartmut Ehrig and
Annegret Habel and
Leen Lambers and
Fernando Orejas and
Ulrike Golas},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Local Confluence for Rules with Nested Application Conditions},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {330--345},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_22},
doi = {10.1007/978-3-642-15928-2\_22},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrigHLOG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/GolasEH10,
author = {Ulrike Golas and
Hartmut Ehrig and
Annegret Habel},
editor = {Hartmut Ehrig and
Arend Rensink and
Grzegorz Rozenberg and
Andy Sch{\"{u}}rr},
title = {Multi-Amalgamation in Adhesive Categories},
booktitle = {Graph Transformations - 5th International Conference, {ICGT} 2010,
Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6372},
pages = {346--361},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15928-2\_23},
doi = {10.1007/978-3-642-15928-2\_23},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/GolasEH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/0001EGO10,
author = {Frank Hermann and
Hartmut Ehrig and
Ulrike Golas and
Fernando Orejas},
editor = {Jean B{\'{e}}zivin and
Richard Mark Soley and
Antonio Vallecillo},
title = {Efficient analysis and execution of correct and complete model transformations
based on triple graph grammars},
booktitle = {Proceedings of the First International Workshop on Model-Driven Interoperability,
MDI@MoDELS 2010, Oslo, Norway, October 3-5, 2010},
pages = {22--31},
publisher = {{ACM}},
year = {2010},
url = {https://doi.org/10.1145/1866272.1866277},
doi = {10.1145/1866272.1866277},
timestamp = {Tue, 06 Nov 2018 16:57:17 +0100},
biburl = {https://dblp.org/rec/conf/models/0001EGO10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigHP09,
author = {Hartmut Ehrig and
Frank Hermann and
Ulrike Prange},
title = {Cospan {DPO} Approach: An Alternative for {DPO} Graph Transformations},
journal = {Bull. {EATCS}},
volume = {98},
pages = {139--149},
year = {2009},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EhrigHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/EhrigEHP09,
author = {Hartmut Ehrig and
Claudia Ermel and
Frank Hermann and
Ulrike Prange},
editor = {Andy Sch{\"{u}}rr and
Bran Selic},
title = {On-the-Fly Construction, Correctness and Completeness of Model Transformations
Based on Triple Graph Grammars},
booktitle = {Model Driven Engineering Languages and Systems, 12th International
Conference, {MODELS} 2009, Denver, CO, USA, October 4-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5795},
pages = {241--255},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04425-0\_18},
doi = {10.1007/978-3-642-04425-0\_18},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/models/EhrigEHP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/PrangeEL08,
author = {Ulrike Prange and
Hartmut Ehrig and
Leen Lambers},
title = {Construction and Properties of Adhesive and Weak Adhesive High-Level
Replacement Categories},
journal = {Appl. Categorical Struct.},
volume = {16},
number = {3},
pages = {365--388},
year = {2008},
url = {https://doi.org/10.1007/s10485-007-9106-3},
doi = {10.1007/S10485-007-9106-3},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/PrangeEL08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigP08,
author = {Hartmut Ehrig and
Ulrike Prange},
title = {Flattening of Generalized Algebraic High-Level Nets},
journal = {Bull. {EATCS}},
volume = {94},
pages = {151--160},
year = {2008},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EhrigP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/ReinPLHP08,
author = {Alexander Rein and
Ulrike Prange and
Leen Lambers and
Kathrin Hoffmann and
Julia Padberg},
title = {Negative Application Conditions for Reconfigurable Place/Transition
Systems},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {10},
year = {2008},
url = {https://doi.org/10.14279/tuj.eceasst.10.140},
doi = {10.14279/TUJ.ECEASST.10.140},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/ReinPLHP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/PrangeEHP08,
author = {Ulrike Prange and
Hartmut Ehrig and
Kathrin Hoffmann and
Julia Padberg},
editor = {Pierpaolo Degano and
Rocco De Nicola and
Jos{\'{e}} Meseguer},
title = {Transformations in Reconfigurable Place/Transition Systems},
booktitle = {Concurrency, Graphs and Models, Essays Dedicated to Ugo Montanari
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5065},
pages = {96--113},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-68679-8\_7},
doi = {10.1007/978-3-540-68679-8\_7},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/PrangeEHP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/EhrigEEP08,
author = {Hartmut Ehrig and
Karsten Ehrig and
Claudia Ermel and
Ulrike Prange},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {Consistent Integration of Models Based on Views of Visual Languages},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {62--76},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_5},
doi = {10.1007/978-3-540-78743-3\_5},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fase/EhrigEEP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/OrejasEP08,
author = {Fernando Orejas and
Hartmut Ehrig and
Ulrike Prange},
editor = {Jos{\'{e}} Luiz Fiadeiro and
Paola Inverardi},
title = {A Logic of Graph Constraints},
booktitle = {Fundamental Approaches to Software Engineering, 11th International
Conference, {FASE} 2008, Held as Part of the Joint European Conferences
on Theory and Practice of Software, {ETAPS} 2008, Budapest, Hungary,
March 29-April 6, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4961},
pages = {179--198},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78743-3\_14},
doi = {10.1007/978-3-540-78743-3\_14},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fase/OrejasEP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/LambersEPO08,
author = {Leen Lambers and
Hartmut Ehrig and
Ulrike Prange and
Fernando Orejas},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Embedding and Confluence of Graph Transformations with Negative Application
Conditions},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {162--177},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_12},
doi = {10.1007/978-3-540-87405-8\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/LambersEPO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigP08,
author = {Hartmut Ehrig and
Ulrike Prange},
editor = {Hartmut Ehrig and
Reiko Heckel and
Grzegorz Rozenberg and
Gabriele Taentzer},
title = {Formal Analysis of Model Transformations Based on Triple Graph Rules
with Kernels},
booktitle = {Graph Transformations, 4th International Conference, {ICGT} 2008,
Leicester, United Kingdom, September 7-13, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5214},
pages = {178--193},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-87405-8\_13},
doi = {10.1007/978-3-540-87405-8\_13},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrigP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/accat/2007,
editor = {Hartmut Ehrig and
Jochen Pfalzgraf and
Ulrike Prange},
title = {Proceedings of the Second Workshop on Applied and Computational Category
Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {6},
publisher = {Elsevier},
year = {2008},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/203/issue/6},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/accat/2007.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/BatoryDEEPT07,
author = {Don S. Batory and
Oscar D{\'{\i}}az and
Hartmut Ehrig and
Claudia Ermel and
Ulrike Prange and
Gabriele Taentzer},
title = {Model Transformations should be Functors},
journal = {Bull. {EATCS}},
volume = {92},
pages = {75--81},
year = {2007},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/BatoryDEEPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eatcs/EhrigEEP07,
author = {Hartmut Ehrig and
Karsten Ehrig and
Claudia Ermel and
Ulrike Prange},
title = {Model Transformations by Graph Transformation are Functors},
journal = {Bull. {EATCS}},
volume = {93},
pages = {134--142},
year = {2007},
timestamp = {Thu, 18 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/EhrigEEP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/LaraBEEPT07,
author = {Juan de Lara and
Roswitha Bardohl and
Hartmut Ehrig and
Karsten Ehrig and
Ulrike Prange and
Gabriele Taentzer},
title = {Attributed graph transformation with node type inheritance},
journal = {Theor. Comput. Sci.},
volume = {376},
number = {3},
pages = {139--163},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.02.001},
doi = {10.1016/J.TCS.2007.02.001},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/LaraBEEPT07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apn/EhrigHPPE07,
author = {Hartmut Ehrig and
Kathrin Hoffmann and
Julia Padberg and
Ulrike Prange and
Claudia Ermel},
editor = {Jetty Kleijn and
Alexandre Yakovlev},
title = {Independence of Net Transformations and Token Firing in Reconfigurable
Place/Transition Systems},
booktitle = {Petri Nets and Other Models of Concurrency - {ICATPN} 2007, 28th International
Conference on Applications and Theory of Petri Nets and Other Models
of Concurrency, {ICATPN} 2007, Siedlce, Poland, June 25-29, 2007,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4546},
pages = {104--123},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73094-1\_9},
doi = {10.1007/978-3-540-73094-1\_9},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/apn/EhrigHPPE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cai/PrangeE07,
author = {Ulrike Prange and
Hartmut Ehrig},
editor = {Symeon Bozapalidis and
George Rahonis},
title = {From Algebraic Graph Transformation to Adhesive {HLR} Categories and
Systems},
booktitle = {Algebraic Informatics, Second International Conference, {CAI} 2007,
Thessaloniki, Greece, May 21-25, 2007, Revised Selected and Invited
Papers},
series = {Lecture Notes in Computer Science},
volume = {4728},
pages = {122--146},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75414-5\_8},
doi = {10.1007/978-3-540-75414-5\_8},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/cai/PrangeE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/EhrigPP08,
author = {Hartmut Ehrig and
Jochen Pfalzgraf and
Ulrike Prange},
editor = {Hartmut Ehrig and
Jochen Pfalzgraf and
Ulrike Prange},
title = {Preface},
booktitle = {Proceedings of the Second Workshop on Applied and Computational Category
Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {6},
pages = {1},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.039},
doi = {10.1016/J.ENTCS.2008.10.039},
timestamp = {Mon, 13 Feb 2023 13:35:36 +0100},
biburl = {https://dblp.org/rec/journals/entcs/EhrigPP08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LambersEPO08,
author = {Leen Lambers and
Hartmut Ehrig and
Ulrike Prange and
Fernando Orejas},
editor = {Hartmut Ehrig and
Jochen Pfalzgraf and
Ulrike Prange},
title = {Parallelism and Concurrency in Adhesive High-Level Replacement Systems
with Negative Application Conditions},
booktitle = {Proceedings of the Second Workshop on Applied and Computational Category
Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {6},
pages = {43--66},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.042},
doi = {10.1016/J.ENTCS.2008.10.042},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/LambersEPO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Prange08,
author = {Ulrike Prange},
editor = {Hartmut Ehrig and
Jochen Pfalzgraf and
Ulrike Prange},
title = {Towards Algebraic High-Level Systems as Weak Adhesive {HLR} Categories},
booktitle = {Proceedings of the Second Workshop on Applied and Computational Category
Theory, ACCAT@ETAPS 2007, Braga, Portugal, March 25, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {203},
number = {6},
pages = {67--88},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2008.10.043},
doi = {10.1016/J.ENTCS.2008.10.043},
timestamp = {Mon, 13 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Prange08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/eatcs/EhrigEPT06,
author = {Hartmut Ehrig and
Karsten Ehrig and
Ulrike Prange and
Gabriele Taentzer},
title = {Fundamentals of Algebraic Graph Transformation},
series = {Monographs in Theoretical Computer Science. An {EATCS} Series},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/3-540-31188-2},
doi = {10.1007/3-540-31188-2},
isbn = {978-3-540-31187-4},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/eatcs/EhrigEPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/Prange06,
author = {Ulrike Prange},
title = {Algebraic High-Level Nets as Weak Adhesive {HLR} Categories},
journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
volume = {2},
year = {2006},
url = {https://doi.org/10.14279/tuj.eceasst.2.5},
doi = {10.14279/TUJ.ECEASST.2.5},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eceasst/Prange06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EhrigPPH06,
author = {Hartmut Ehrig and
Julia Padberg and
Ulrike Prange and
Annegret Habel},
title = {Adhesive High-Level Replacement Systems: {A} New Categorical Framework
for Graph Transformation},
journal = {Fundam. Informaticae},
volume = {74},
number = {1},
pages = {1--29},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi74-1-02},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EhrigPPH06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/EhrigEPT06,
author = {Hartmut Ehrig and
Karsten Ehrig and
Ulrike Prange and
Gabriele Taentzer},
title = {Fundamental Theory for Typed Attributed Graphs and Graph Transformation
based on Adhesive {HLR} Categories},
journal = {Fundam. Informaticae},
volume = {74},
number = {1},
pages = {31--61},
year = {2006},
url = {http://content.iospress.com/articles/fundamenta-informaticae/fi74-1-03},
timestamp = {Fri, 18 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fuin/EhrigEPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/EhrigP06,
author = {Hartmut Ehrig and
Ulrike Prange},
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Weak Adhesive High-Level Replacement Categories and Systems: {A} Unifying
Framework for Graph and Petri Net Transformations},
booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {4060},
pages = {235--251},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274\_13},
doi = {10.1007/11780274\_13},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/EhrigP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigOP06,
author = {Hartmut Ehrig and
Fernando Orejas and
Ulrike Prange},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Categorical Foundations of Distributed Graph Transformation},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {215--229},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_16},
doi = {10.1007/11841883\_16},
timestamp = {Sat, 04 Apr 2020 17:15:23 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrigOP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/VarroVEPT06,
author = {D{\'{a}}niel Varr{\'{o}} and
Szilvia Varr{\'{o}}{-}Gyapay and
Hartmut Ehrig and
Ulrike Prange and
Gabriele Taentzer},
editor = {Andrea Corradini and
Hartmut Ehrig and
Ugo Montanari and
Leila Ribeiro and
Grzegorz Rozenberg},
title = {Termination Analysis of Model Transformations by Petri Nets},
booktitle = {Graph Transformations, Third International Conference, {ICGT} 2006,
Natal, Rio Grande do Norte, Brazil, September 17-23, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4178},
pages = {260--274},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841883\_19},
doi = {10.1007/11841883\_19},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/VarroVEPT06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/LevendovszkyPE07,
author = {Tihamer Levendovszky and
Ulrike Prange and
Hartmut Ehrig},
editor = {Arend Rensink and
Reiko Heckel and
Barbara K{\"{o}}nig},
title = {Termination Criteria for {DPO} Transformations with Injective Matches},
booktitle = {Proceedings of the Workshop on Graph Transformation for Concurrency
and Verification, GT-VC@CONCUR 2006, Bonn, Germany, August 31, 2006},
series = {Electronic Notes in Theoretical Computer Science},
volume = {175},
number = {4},
pages = {87--100},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2007.04.019},
doi = {10.1016/J.ENTCS.2007.04.019},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/LevendovszkyPE07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vl/EhrigEPT05,
author = {Hartmut Ehrig and
Karsten Ehrig and
Ulrike Prange and
Gabriele Taentzer},
title = {Formal Integration of Inheritance with Typed Attributed Graph Transformation
for Efficient {VL} Definition and Model Manipulation},
booktitle = {2005 {IEEE} Symposium on Visual Languages and Human-Centric Computing
{(VL/HCC} 2005), 21-24 September 2005, Dallas, TX, {USA}},
pages = {71--78},
publisher = {{IEEE} Computer Society},
year = {2005},
url = {https://doi.org/10.1109/VLHCC.2005.37},
doi = {10.1109/VLHCC.2005.37},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vl/EhrigEPT05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigHPP04,
author = {Hartmut Ehrig and
Annegret Habel and
Julia Padberg and
Ulrike Prange},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Adhesive High-Level Replacement Categories and Systems},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {144--160},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_12},
doi = {10.1007/978-3-540-30203-2\_12},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrigHPP04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gg/EhrigPT04,
author = {Hartmut Ehrig and
Ulrike Prange and
Gabriele Taentzer},
editor = {Hartmut Ehrig and
Gregor Engels and
Francesco Parisi{-}Presicce and
Grzegorz Rozenberg},
title = {Fundamental Theory for Typed Attributed Graph Transformation},
booktitle = {Graph Transformations, Second International Conference, {ICGT} 2004,
Rome, Italy, September 28 - October 2, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3256},
pages = {161--177},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30203-2\_13},
doi = {10.1007/978-3-540-30203-2\_13},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/gg/EhrigPT04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:31 CEST 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:
