Stop the war!
Остановите войну!
for scientists:
default search action
Search dblp for Publications
export results for "hartmut ehrig"
@inproceedings{DBLP:conf/birthday/Pfaltz18, author = {John L. Pfaltz}, editor = {Reiko Heckel and Gabriele Taentzer}, title = {A Category of "Undirected Graphs" - {A} Tribute to Hartmut Ehrig}, booktitle = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig}, series = {Lecture Notes in Computer Science}, volume = {10800}, pages = {223--230}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-75396-6\_12}, doi = {10.1007/978-3-319-75396-6\_12}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/Pfaltz18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2018ehrig, editor = {Reiko Heckel and Gabriele Taentzer}, title = {Graph Transformation, Specifications, and Nets - In Memory of Hartmut Ehrig}, series = {Lecture Notes in Computer Science}, volume = {10800}, publisher = {Springer}, year = {2018}, url = {https://doi.org/10.1007/978-3-319-75396-6}, doi = {10.1007/978-3-319-75396-6}, isbn = {978-3-319-75395-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2018ehrig.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/HeckelCMKOR16, author = {Reiko Heckel and Andrea Corradini and Ugo Montanari and Hans{-}J{\"{o}}rg Kreowski and Fernando Orejas and Grzegorz Rozenberg}, title = {Hartmut Ehrig {(1944-2016)}}, journal = {Bull. {EATCS}}, volume = {119}, year = {2016}, url = {http://eatcs.org/beatcs/index.php/beatcs/article/view/412}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eatcs/HeckelCMKOR16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/2016, editor = {Rachid Echahed and Mark Minas}, title = {Graph Transformation - 9th International Conference, {ICGT} 2016, in Memory of Hartmut Ehrig, Held as Part of {STAF} 2016, Vienna, Austria, July 5-6, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9761}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-40530-8}, doi = {10.1007/978-3-319-40530-8}, isbn = {978-3-319-40529-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@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} }
@article{DBLP:journals/scp/MaximovaEE15, author = {Maria Maximova and Hartmut Ehrig and Claudia Ermel}, title = {Local confluence analysis of hypergraph transformation systems with application conditions based on M-functors and Agg}, journal = {Sci. Comput. Program.}, volume = {104}, pages = {44--70}, year = {2015}, url = {https://doi.org/10.1016/j.scico.2014.10.002}, doi = {10.1016/J.SCICO.2014.10.002}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/scp/MaximovaEE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/0001EOCDXGE15, author = {Frank Hermann and Hartmut Ehrig and Fernando Orejas and Krzysztof Czarnecki and Zinovy Diskin and Yingfei Xiong and Susann Gottmann and Thomas Engel}, title = {Model synchronization based on triple graph grammars: correctness, completeness and invertibility}, journal = {Softw. Syst. Model.}, volume = {14}, number = {1}, pages = {241--269}, year = {2015}, url = {https://doi.org/10.1007/s10270-012-0309-1}, doi = {10.1007/S10270-012-0309-1}, timestamp = {Fri, 30 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sosym/0001EOCDXGE15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/BucchiaroneEEPR15, author = {Antonio Bucchiarone and Hartmut Ehrig and Claudia Ermel and Patrizio Pelliccione and Olga Runge}, editor = {Rocco De Nicola and Rolf Hennicker}, title = {Rule-Based Modeling and Static Analysis of Self-adaptive Systems by Graph Transformation}, booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing on the Occasion of His Retirement from the Chair of Programming and Software Engineering}, series = {Lecture Notes in Computer Science}, volume = {8950}, pages = {582--601}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-15545-6\_33}, doi = {10.1007/978-3-319-15545-6\_33}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/BucchiaroneEEPR15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/0001CE14, author = {Frank Hermann and Andrea Corradini and Hartmut Ehrig}, title = {Analysis of permutation equivalence in -adhesive transformation systems with negative application conditions}, journal = {Math. Struct. Comput. Sci.}, volume = {24}, number = {4}, year = {2014}, url = {https://doi.org/10.1017/S0960129512000382}, doi = {10.1017/S0960129512000382}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/0001CE14.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/icmt/0001GNEBMPEE14, author = {Frank Hermann and Susann Gottmann and Nico Nachtigall and Hartmut Ehrig and Benjamin Braatz and Gianluigi Morelli and Alain Pierre and Thomas Engel and Claudia Ermel}, editor = {Davide Di Ruscio and D{\'{a}}niel Varr{\'{o}}}, title = {Triple Graph Grammars in the Large for Translating Satellite Procedures}, booktitle = {Theory and Practice of Model Transformations - 7th International Conference, ICMT@STAF 2014, York, UK, July 21-22, 2014. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {8568}, pages = {122--137}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-08789-4\_9}, doi = {10.1007/978-3-319-08789-4\_9}, timestamp = {Wed, 24 Jun 2020 13:02:21 +0200}, biburl = {https://dblp.org/rec/conf/icmt/0001GNEBMPEE14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/computability/EhrigEHNR13, author = {Hartmut Ehrig and Claudia Ermel and Falk H{\"{u}}ffner and Rolf Niedermeier and Olga Runge}, title = {Confluence in Data Reduction: Bridging Graph Transformation and Kernelization}, journal = {Comput.}, volume = {2}, number = {1}, pages = {31--49}, year = {2013}, url = {https://doi.org/10.3233/COM-13016}, doi = {10.3233/COM-13016}, timestamp = {Mon, 26 Oct 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/computability/EhrigEHNR13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/MaximovaEE13, author = {Maria Maximova and Hartmut Ehrig and Claudia Ermel}, title = {Analysis of Hypergraph Transformation Systems in {AGG} based on M-Functors}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {58}, year = {2013}, url = {https://doi.org/10.14279/tuj.eceasst.58.841}, doi = {10.14279/TUJ.ECEASST.58.841}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/MaximovaEE13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/OrejasBE0S13, author = {Fernando Orejas and Artur Boronat and Hartmut Ehrig and Frank Hermann and Hanna Sch{\"{o}}lzel}, title = {On Propagation-Based Concurrent Model Synchronization}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {57}, year = {2013}, url = {https://doi.org/10.14279/tuj.eceasst.57.871}, doi = {10.14279/TUJ.ECEASST.57.871}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/OrejasBE0S13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/vlc/Ehrig0SB13, author = {Hartmut Ehrig and Frank Hermann and Hanna Sch{\"{o}}lzel and Christoph Brandt}, title = {Propagation of constraints along model transformations using triple graph grammars and borrowed context}, journal = {J. Vis. Lang. Comput.}, volume = {24}, number = {5}, pages = {365--388}, year = {2013}, url = {https://doi.org/10.1016/j.jvlc.2013.08.002}, doi = {10.1016/J.JVLC.2013.08.002}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/vlc/Ehrig0SB13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/Gottmann0NBEEE13, author = {Susann Gottmann and Frank Hermann and Nico Nachtigall and Benjamin Braatz and Claudia Ermel and Hartmut Ehrig and Thomas Engel}, editor = {Benoit Baudry and J{\"{u}}rgen Dingel and Levi Lucio and Hans Vangheluwe}, title = {Correctness and Completeness of Generalised Concurrent Model Synchronisation Based on Triple Graph Grammars}, booktitle = {Proceedings of the Second Workshop on the Analysis of Model Transformations {(AMT} 2013), Miami, FL, USA, September 29, 2013}, series = {{CEUR} Workshop Proceedings}, volume = {1077}, publisher = {CEUR-WS.org}, year = {2013}, url = {https://ceur-ws.org/Vol-1077/amt13\_submission\_2.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:21 +0100}, biburl = {https://dblp.org/rec/conf/models/Gottmann0NBEEE13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/MaximovaEE12, author = {Maria Maximova and Hartmut Ehrig and Claudia Ermel}, title = {Transfer of Local Confluence and Termination between Petri Net and Graph Transformation Systems Based on M-Functors}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {51}, year = {2012}, url = {https://doi.org/10.14279/tuj.eceasst.51.758}, doi = {10.14279/TUJ.ECEASST.51.758}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/MaximovaEE12.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/GabrielE12, author = {Karsten Gabriel and Hartmut Ehrig}, title = {Modelling evolution of communication platforms and scenarios based on transformations of high-level nets and processes}, journal = {Theor. Comput. Sci.}, volume = {429}, pages = {87--97}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2011.12.027}, doi = {10.1016/J.TCS.2011.12.027}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/GabrielE12.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/birthday/GabrielE12, author = {Karsten Gabriel and Hartmut Ehrig}, editor = {Maritta Heisel}, title = {Modelling of Communication Platforms Using Algebraic High-Level Nets and Their Processes}, booktitle = {Software Service and Application Engineering - Essays Dedicated to Bernd Kr{\"{a}}mer on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {7365}, pages = {10--25}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30835-2\_2}, doi = {10.1007/978-3-642-30835-2\_2}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/GabrielE12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cie/EhrigEHNR12, author = {Hartmut Ehrig and Claudia Ermel and Falk H{\"{u}}ffner and Rolf Niedermeier and Olga Runge}, editor = {S. Barry Cooper and Anuj Dawar and Benedikt L{\"{o}}we}, title = {Confluence in Data Reduction: Bridging Graph Transformation and Kernelization}, booktitle = {How the World Computes - Turing Centenary Conference and 8th Conference on Computability in Europe, CiE 2012, Cambridge, UK, June 18-23, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7318}, pages = {193--202}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-30870-3\_19}, doi = {10.1007/978-3-642-30870-3\_19}, timestamp = {Sun, 25 Oct 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cie/EhrigEHNR12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/HermannEEO12, author = {Frank Hermann and Hartmut Ehrig and Claudia Ermel and Fernando Orejas}, editor = {Juan de Lara and Andrea Zisman}, title = {Concurrent Model Synchronization with Conflict Resolution Based on Triple Graph Grammars}, booktitle = {Fundamental Approaches to Software Engineering - 15th International Conference, {FASE} 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24 - April 1, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7212}, pages = {178--193}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-28872-2\_13}, doi = {10.1007/978-3-642-28872-2\_13}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/HermannEEO12.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 = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/GolasLEG12.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 = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/HeckelEGH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/corr/abs-1209-1436, author = {Hanna Sch{\"{o}}lzel and Hartmut Ehrig and Maria Maximova and Karsten Gabriel and Frank Hermann}, editor = {Ulrike Golas and Thomas Soboll}, title = {Satisfaction, Restriction and Amalgamation of Constraints in the Framework of M-Adhesive Categories}, booktitle = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012}, series = {{EPTCS}}, volume = {93}, pages = {83--104}, year = {2012}, url = {https://doi.org/10.4204/EPTCS.93.5}, doi = {10.4204/EPTCS.93.5}, timestamp = {Wed, 12 Sep 2018 01:05:15 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-1209-1436.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/2012, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Graph Transformations - 6th International Conference, {ICGT} 2012, Bremen, Germany, September 24-29, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7562}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-33654-6}, doi = {10.1007/978-3-642-33654-6}, isbn = {978-3-642-33653-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/2012.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/EhrigHSB11, author = {Hartmut Ehrig and Frank Hermann and Hanna Sch{\"{o}}lzel and Christoph Brandt}, title = {Propagation of Constraints along Model Transformations Based on Triple Graph Grammars}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {41}, year = {2011}, url = {https://doi.org/10.14279/tuj.eceasst.41.581}, doi = {10.14279/TUJ.ECEASST.41.581}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/EhrigHSB11.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/ijsi/EhrigG11, author = {Hartmut Ehrig and Karsten Gabriel}, title = {Transformation of Algebraic High-Level Nets and Amalgamation of Processes with Applications to Communication Platforms}, journal = {Int. J. Softw. Informatics}, volume = {5}, number = {1-2}, pages = {207--229}, year = {2011}, url = {http://www.ijsi.org/ch/reader/view\_abstract.aspx?file\_no=i81}, timestamp = {Thu, 06 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijsi/EhrigG11.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} }
@inproceedings{DBLP:conf/fase/EhrigET11, author = {Hartmut Ehrig and Claudia Ermel and Gabriele Taentzer}, editor = {Dimitra Giannakopoulou and Fernando Orejas}, title = {A Formal Resolution Strategy for Operation-Based Conflicts in Model Versioning Using Graph Modifications}, booktitle = {Fundamental Approaches to Software Engineering - 14th International Conference, {FASE} 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2011, Saarbr{\"{u}}cken, Germany, March 26-April 3, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6603}, pages = {202--216}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-19811-3\_15}, doi = {10.1007/978-3-642-19811-3\_15}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/EhrigET11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/DiskinXCEHO11, author = {Zinovy Diskin and Yingfei Xiong and Krzysztof Czarnecki and Hartmut Ehrig and Frank Hermann and Fernando Orejas}, editor = {Jon Whittle and Tony Clark and Thomas K{\"{u}}hne}, title = {From State- to Delta-Based Bidirectional Model Transformations: The Symmetric Case}, booktitle = {Model Driven Engineering Languages and Systems, 14th International Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6981}, pages = {304--318}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24485-8\_22}, doi = {10.1007/978-3-642-24485-8\_22}, timestamp = {Sat, 30 Sep 2023 09:53:36 +0200}, biburl = {https://dblp.org/rec/conf/models/DiskinXCEHO11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/models/HermannEOCDX11, author = {Frank Hermann and Hartmut Ehrig and Fernando Orejas and Krzysztof Czarnecki and Zinovy Diskin and Yingfei Xiong}, editor = {Jon Whittle and Tony Clark and Thomas K{\"{u}}hne}, title = {Correctness of Model Synchronization Based on Triple Graph Grammars}, booktitle = {Model Driven Engineering Languages and Systems, 14th International Conference, {MODELS} 2011, Wellington, New Zealand, October 16-21, 2011. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6981}, pages = {668--682}, publisher = {Springer}, year = {2011}, url = {https://doi.org/10.1007/978-3-642-24485-8\_49}, doi = {10.1007/978-3-642-24485-8\_49}, timestamp = {Fri, 30 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/models/HermannEOCDX11.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/Ehrig10, author = {Hartmut Ehrig}, title = {From Separate Formal Specifications to Certified Integrated Visual Modelling Techniques and Environments - Position Statement}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {30}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.30.430}, doi = {10.14279/TUJ.ECEASST.30.430}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/Ehrig10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/EhrigHL10, author = {Hartmut Ehrig and Annegret Habel and Leen Lambers}, title = {Parallelism and Concurrency Theorems for Rules with Nested Application Conditions}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {26}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.26.363}, doi = {10.14279/TUJ.ECEASST.26.363}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/EhrigHL10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/ErmelEOT10, author = {Claudia Ermel and Hartmut Ehrig and Fernando Orejas and Gabriele Taentzer}, title = {International Colloquium on Graph and Model Transformation (GraMoT) 2010: Preface}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {30}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.30.436.427}, doi = {10.14279/TUJ.ECEASST.30.436.427}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/ErmelEOT10.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/eceasst/HermannCEK10, author = {Frank Hermann and Andrea Corradini and Hartmut Ehrig and Barbara K{\"{o}}nig}, title = {Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {29}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.29.415}, doi = {10.14279/TUJ.ECEASST.29.415}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/HermannCEK10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/MaximovaEE10, author = {Maria Maximova and Hartmut Ehrig and Claudia Ermel}, title = {Formal Relationship between Petri Net and Graph Transformation Systems based on Functors between M-adhesive Categories}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {40}, year = {2010}, url = {https://doi.org/10.14279/tuj.eceasst.40.628}, doi = {10.14279/TUJ.ECEASST.40.628}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/MaximovaEE10.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/fuin/OrejasEKPPP10, author = {Fernando Orejas and Hartmut Ehrig and Markus Klein and Julia Padberg and Elvira Pino and Sonia P{\'{e}}rez}, title = {A Generic Approach to Connector Architectures Part {I:} The General Framework}, journal = {Fundam. Informaticae}, volume = {99}, number = {1}, pages = {63--93}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-239}, doi = {10.3233/FI-2010-239}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/OrejasEKPPP10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/OrejasEKPPP10a, author = {Fernando Orejas and Hartmut Ehrig and Markus Klein and Julia Padberg and Elvira Pino and Sonia P{\'{e}}rez}, title = {A Generic Approach to Connector Architectures Part {II:} Instantiation to Petri Nets and {CSP}}, journal = {Fundam. Informaticae}, volume = {99}, number = {1}, pages = {95--124}, year = {2010}, url = {https://doi.org/10.3233/FI-2010-240}, doi = {10.3233/FI-2010-240}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fuin/OrejasEKPPP10a.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/fase/EhrigERBP10, author = {Hartmut Ehrig and Claudia Ermel and Olga Runge and Antonio Bucchiarone and Patrizio Pelliccione}, editor = {David S. Rosenblum and Gabriele Taentzer}, title = {Formal Analysis and Verification of Self-Healing Systems}, booktitle = {Fundamental Approaches to Software Engineering, 13th International Conference, {FASE} 2010, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6013}, pages = {139--153}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-12029-9\_10}, doi = {10.1007/978-3-642-12029-9\_10}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/EhrigERBP10.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/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 = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/HermannEOG10.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} }
@proceedings{DBLP:conf/gg/2010, editor = {Hartmut Ehrig and Arend Rensink and Grzegorz Rozenberg and Andy Sch{\"{u}}rr}, title = {Graph Transformations - 5th International Conference, {ICGT} 2010, Enschede, The Netherlands, September 27 - - October 2, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6372}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-15928-2}, doi = {10.1007/978-3-642-15928-2}, isbn = {978-3-642-15927-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/2010.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigEHK09, author = {Hartmut Ehrig and Claudia Ermel and Frank Hermann and Barbara K{\"{o}}nig}, title = {Behaviour Simulation and Equivalence of Systems Modelled by Graph Transformation}, journal = {Bull. {EATCS}}, volume = {97}, pages = {117--125}, year = {2009}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigEHK09.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} }
@article{DBLP:journals/eceasst/EhrigEE09, author = {Hartmut Ehrig and Karsten Ehrig and Claudia Ermel}, title = {Refactoring of Model Transformations}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {18}, year = {2009}, url = {https://doi.org/10.14279/tuj.eceasst.18.267}, doi = {10.14279/TUJ.ECEASST.18.267}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/EhrigEE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/EhrigHS09, author = {Hartmut Ehrig and Frank Hermann and Christoph Sartorius}, title = {Completeness and Correctness of Model Transformations based on Triple Graph Grammars with Negative Application Conditions}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {18}, year = {2009}, url = {https://doi.org/10.14279/tuj.eceasst.18.270}, doi = {10.14279/TUJ.ECEASST.18.270}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/EhrigHS09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/OrejasGLE09, author = {Fernando Orejas and Esther Guerra and Juan de Lara and Hartmut Ehrig}, editor = {Alexander Kurz and Marina Lenisa and Andrzej Tarlecki}, title = {Correctness, Completeness and Termination of Pattern-Based Model-to-Model Transformation}, booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference, {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5728}, pages = {383--397}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03741-2\_26}, doi = {10.1007/978-3-642-03741-2\_26}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/calco/OrejasGLE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/HermannEE09, author = {Frank Hermann and Hartmut Ehrig and Claudia Ermel}, editor = {Marsha Chechik and Martin Wirsing}, title = {Transformation of Type Graphs with Inheritance for Ensuring Security in E-Government Networks}, booktitle = {Fundamental Approaches to Software Engineering, 12th International Conference, {FASE} 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2009, York, UK, March 22-29, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5503}, pages = {325--339}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-00593-0\_22}, doi = {10.1007/978-3-642-00593-0\_22}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/HermannEE09.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} }
@inproceedings{DBLP:conf/vl/ErmelMBEH09, author = {Claudia Ermel and Tony Modica and Enrico Biermann and Hartmut Ehrig and Kathrin Hoffmann}, title = {Modeling multicasting in communication spaces by reconfigurable high-level Petri nets}, booktitle = {{IEEE} Symposium on Visual Languages and Human-Centric Computing, {VL/HCC} 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings}, pages = {47--50}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/VLHCC.2009.5295303}, doi = {10.1109/VLHCC.2009.5295303}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/vl/ErmelMBEH09.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/eatcs/HermannE08, author = {Frank Hermann and Hartmut Ehrig}, title = {Process Definition using Subobject Transformation Systems}, journal = {Bull. {EATCS}}, volume = {95}, pages = {153--163}, year = {2008}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/HermannE08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BisztrayHE08, author = {D{\'{e}}nes Bisztray and Reiko Heckel and Hartmut Ehrig}, title = {Verification of Architectural Refactorings: Rule Extraction and Tool Support}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {16}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.16.240}, doi = {10.14279/TUJ.ECEASST.16.240}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BisztrayHE08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/EhrigEH08, author = {Hartmut Ehrig and Karsten Ehrig and Frank Hermann}, title = {From Model Transformation to Model Integration based on the Algebraic Approach to Triple Graph Grammars}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {10}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.10.154}, doi = {10.14279/TUJ.ECEASST.10.154}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/EhrigEH08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/HoffmannEP08, author = {Kathrin Hoffmann and Hartmut Ehrig and Julia Padberg}, title = {Flexible Modeling of Emergency Scenarios using Reconfigurable Systems}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {12}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.12.336}, doi = {10.14279/TUJ.ECEASST.12.336}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/HoffmannEP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/LambersET08, author = {Leen Lambers and Hartmut Ehrig and Gabriele Taentzer}, title = {Sufficient Criteria for Applicability and Non-Applicability of Rule Sequences}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {10}, year = {2008}, url = {https://doi.org/10.14279/tuj.eceasst.10.139}, doi = {10.14279/TUJ.ECEASST.10.139}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/LambersET08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/lmcs/BaldanCEHK08, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets}, journal = {Log. Methods Comput. Sci.}, volume = {4}, number = {4}, year = {2008}, url = {https://doi.org/10.2168/LMCS-4(4:3)2008}, doi = {10.2168/LMCS-4(4:3)2008}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/lmcs/BaldanCEHK08.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/BisztrayHE08, author = {D{\'{e}}nes Bisztray and Reiko Heckel and Hartmut Ehrig}, editor = {Jos{\'{e}} Luiz Fiadeiro and Paola Inverardi}, title = {Verification of Architectural Refactorings by Rule Extraction}, 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 = {347--361}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78743-3\_26}, doi = {10.1007/978-3-540-78743-3\_26}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/BisztrayHE08.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, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/EhrigEEP08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/LambersMEP08, author = {Leen Lambers and Leonardo Mariani and Hartmut Ehrig and Mauro Pezz{\`{e}}}, editor = {Jos{\'{e}} Luiz Fiadeiro and Paola Inverardi}, title = {A Formal Framework for Developing Adaptable Service-Based Applications}, 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 = {392--406}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78743-3\_29}, doi = {10.1007/978-3-540-78743-3\_29}, timestamp = {Mon, 16 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/LambersMEP08.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/fossacs/RangelKE08, author = {Guilherme Rangel and Barbara K{\"{o}}nig and Hartmut Ehrig}, editor = {Roberto M. Amadio}, title = {Deriving Bisimulation Congruences in the Presence of Negative Application Conditions}, booktitle = {Foundations of Software Science and Computational Structures, 11th International Conference, {FOSSACS} 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 = {4962}, pages = {413--427}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-78499-9\_29}, doi = {10.1007/978-3-540-78499-9\_29}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/RangelKE08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BaldanCEK08, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Barbara K{\"{o}}nig}, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Open Petri Nets: Non-deterministic Processes and Compositionality}, 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 = {257--273}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87405-8\_18}, doi = {10.1007/978-3-540-87405-8\_18}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanCEK08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigE08, author = {Hartmut Ehrig and Claudia Ermel}, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation}, 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 = {194--210}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87405-8\_14}, doi = {10.1007/978-3-540-87405-8\_14}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigE08.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} }
@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 = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/LambersEPO08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/RangelLKEB08, author = {Guilherme Rangel and Leen Lambers and Barbara K{\"{o}}nig and Hartmut Ehrig and Paolo Baldan}, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Behavior Preservation in Model Refactoring Using {DPO} Transformations with Borrowed Contexts}, 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 = {242--256}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87405-8\_17}, doi = {10.1007/978-3-540-87405-8\_17}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/RangelLKEB08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/BisztrayHE08, author = {D{\'{e}}nes Bisztray and Reiko Heckel and Hartmut Ehrig}, editor = {Rog{\'{e}}rio de Lemos and Jean{-}Charles Fabre and Cristina Gacek and Fabio Gadducci and Maurice H. ter Beek}, title = {Compositional Verification of Architectural Refactorings}, booktitle = {Architecting Dependable Systems {VI}}, series = {Lecture Notes in Computer Science}, volume = {5835}, pages = {308--333}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-642-10248-6\_13}, doi = {10.1007/978-3-642-10248-6\_13}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/icse/BisztrayHE08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icse/EhrigE008, author = {Hartmut Ehrig and Claudia Ermel and Frank Hermann}, editor = {Gabor Karsai and Gabriele Taentzer}, title = {On the relationship of model transformations based on triple and plain graph grammars}, booktitle = {Proceedings of the Third International Workshop on Graph and Model Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008}, pages = {9--16}, publisher = {{ACM}}, year = {2008}, url = {https://doi.org/10.1145/1402947.1402950}, doi = {10.1145/1402947.1402950}, timestamp = {Wed, 26 Jan 2022 13:41:57 +0100}, biburl = {https://dblp.org/rec/conf/icse/EhrigE008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BisztrayHE09, author = {D{\'{e}}nes Bisztray and Reiko Heckel and Hartmut Ehrig}, editor = {Alessandro Aldini and Maurice H. ter Beek and Fabio Gadducci}, title = {Compositionality of Model Transformations}, booktitle = {Proceedings of the 3rd International Workshop on Views On Designing Complex Architectures, VODCA@FOSAD 2008, Bertinoro, Italy, August 30-31, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {236}, pages = {5--19}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.03.011}, doi = {10.1016/J.ENTCS.2009.03.011}, timestamp = {Thu, 09 Mar 2023 13:17:10 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BisztrayHE09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigHGP09, author = {Hartmut Ehrig and Kathrin Hoffmann and Karsten Gabriel and Julia Padberg}, editor = {Jens Chr. Godskesen and Massimo Merro}, title = {Composition and Independence of High-Level Net Processes}, booktitle = {Proceedings of the First Workshop on Formal Methods for Wireless Systems, FMWS@CONCUR 2008, Toronto, ON, Canada, August 23, 2008}, series = {Electronic Notes in Theoretical Computer Science}, volume = {242}, number = {2}, pages = {59--71}, publisher = {Elsevier}, year = {2008}, url = {https://doi.org/10.1016/j.entcs.2009.06.023}, doi = {10.1016/J.ENTCS.2009.06.023}, timestamp = {Fri, 24 Feb 2023 13:34:36 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigHGP09.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} }
@proceedings{DBLP:conf/gg/2008, editor = {Hartmut Ehrig and Reiko Heckel and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Graph Transformations, 4th International Conference, {ICGT} 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5214}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-87405-8}, doi = {10.1007/978-3-540-87405-8}, isbn = {978-3-540-87404-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/2008.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-0809-4115, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara K{\"{o}}nig}, title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets}, journal = {CoRR}, volume = {abs/0809.4115}, year = {2008}, url = {http://arxiv.org/abs/0809.4115}, eprinttype = {arXiv}, eprint = {0809.4115}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/corr/abs-0809-4115.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/eatcs/PadbergEH07, author = {Julia Padberg and Hartmut Ehrig and Kathrin Hoffmann}, title = {Formal Modeling and Analysis of Flexible Processes in Mobile Ad-Hoc Networks}, journal = {Bull. {EATCS}}, volume = {91}, pages = {120--124}, year = {2007}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/PadbergEH07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/RangelKE07, author = {Guilherme Rangel and Barbara K{\"{o}}nig and Hartmut Ehrig}, title = {Bisimulation Verification for the {DPO} Approach with Borrowed}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {6}, year = {2007}, url = {https://doi.org/10.14279/tuj.eceasst.6.70}, doi = {10.14279/TUJ.ECEASST.6.70}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/RangelKE07.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:conf/calco/BaldanCEHK07, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel and Barbara K{\"{o}}nig}, editor = {Till Mossakowski and Ugo Montanari and Magne Haveraaen}, title = {Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets}, booktitle = {Algebra and Coalgebra in Computer Science, Second International Conference, {CALCO} 2007, Bergen, Norway, August 20-24, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4624}, pages = {126--142}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73859-6\_9}, doi = {10.1007/978-3-540-73859-6\_9}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/calco/BaldanCEHK07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/EhrigEEHT07, author = {Hartmut Ehrig and Karsten Ehrig and Claudia Ermel and Frank Hermann and Gabriele Taentzer}, editor = {Matthew B. Dwyer and Ant{\'{o}}nia Lopes}, title = {Information Preserving Bidirectional Model Transformations}, booktitle = {Fundamental Approaches to Software Engineering, 10th International Conference, {FASE} 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4422}, pages = {72--86}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71289-3\_7}, doi = {10.1007/978-3-540-71289-3\_7}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/EhrigEEHT07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/PadbergHEMBE07, author = {Julia Padberg and Kathrin Hoffmann and Hartmut Ehrig and Tony Modica and Enrico Biermann and Claudia Ermel}, editor = {Matthew B. Dwyer and Ant{\'{o}}nia Lopes}, title = {Maintaining Consistency in Layered Architectures of Mobile Ad-Hoc Networks}, booktitle = {Fundamental Approaches to Software Engineering, 10th International Conference, {FASE} 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, {ETAPS} 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4422}, pages = {383--397}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-71289-3\_29}, doi = {10.1007/978-3-540-71289-3\_29}, timestamp = {Tue, 26 Jun 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/PadbergHEMBE07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/LambersEMP07, author = {Leen Lambers and Hartmut Ehrig and Leonardo Mariani and Mauro Pezz{\`{e}}}, editor = {R. E. Kurt Stirewalt and Alexander Egyed and Bernd Fischer}, title = {Iterative model-driven development of adaptable service-based applications}, booktitle = {22nd {IEEE/ACM} International Conference on Automated Software Engineering {(ASE} 2007), November 5-9, 2007, Atlanta, Georgia, {USA}}, pages = {453--456}, publisher = {{ACM}}, year = {2007}, url = {https://doi.org/10.1145/1321631.1321707}, doi = {10.1145/1321631.1321707}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/kbse/LambersEMP07.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/ErmelE08, author = {Claudia Ermel and Hartmut Ehrig}, editor = {Barbara K{\"{o}}nig and Arend Rensink and Reiko Heckel}, title = {Behavior-Preserving Simulation-to-Animation Model and Rule Transformations}, booktitle = {Proceedings of the Third Workshop on Graph Transformation for Concurrency and Verification, GT-VC@CONCUR 2007, Lisbon, Portugal, September 3, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {213}, number = {1}, pages = {55--74}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.04.074}, doi = {10.1016/J.ENTCS.2008.04.074}, timestamp = {Fri, 17 Feb 2023 09:59:54 +0100}, biburl = {https://dblp.org/rec/journals/entcs/ErmelE08.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/PadbergEO09, author = {Julia Padberg and Hartmut Ehrig and Fernando Orejas}, editor = {Juliana K{\"{u}}ster Filipe Bowles and Iman Poernomo and Ralf H. Reussner}, title = {Towards Component Verification in the Generic Component Framework}, booktitle = {Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, FESCA@ETAPS 2007, Braga, Portugal, March 24, 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {203}, number = {7}, pages = {37--53}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2009.03.025}, doi = {10.1016/J.ENTCS.2009.03.025}, timestamp = {Mon, 13 Feb 2023 13:42:26 +0100}, biburl = {https://dblp.org/rec/journals/entcs/PadbergEO09.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/eatcs/Ehrig06, author = {Hartmut Ehrig}, title = {Footprints of {HR} in Initial Algebra and Final Coalgebra}, journal = {Bull. {EATCS}}, volume = {88}, pages = {120--125}, year = {2006}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig06a, author = {Hartmut Ehrig}, title = {Report on {ACCAT} Workshop at {ETAPS} 2006: Applied and Computational Category Theory}, journal = {Bull. {EATCS}}, volume = {89}, pages = {134--135}, year = {2006}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig06a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig06b, author = {Hartmut Ehrig}, title = {Revie of Dines Bj{\o}rner's Textbooks Software Engineering 1-3}, journal = {Bull. {EATCS}}, volume = {90}, pages = {131--133}, year = {2006}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig06b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/BaldanEPR06, author = {Paolo Baldan and Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, title = {Foreword}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {2}, year = {2006}, url = {https://doi.org/10.14279/tuj.eceasst.2.58.30}, doi = {10.14279/TUJ.ECEASST.2.58.30}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/BaldanEPR06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eceasst/ErmelEE06, author = {Claudia Ermel and Hartmut Ehrig and Karsten Ehrig}, title = {Semantical Correctness of Simulation-to-Animation Model and Rule Transformation}, journal = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.}, volume = {4}, year = {2006}, url = {https://doi.org/10.14279/tuj.eceasst.4.13}, doi = {10.14279/TUJ.ECEASST.4.13}, timestamp = {Tue, 25 Aug 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eceasst/ErmelEE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/EhrigEHP06, author = {Hartmut Ehrig and Karsten Ehrig and Annegret Habel and Karl{-}Heinz Pennemann}, title = {Theory of Constraints and Application Conditions: From Graphs to High-Level Structures}, journal = {Fundam. Informaticae}, volume = {74}, number = {1}, pages = {135--166}, year = {2006}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi74-1-07}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/EhrigEHP06.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} }
@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/jlp/PadbergE06, author = {Julia Padberg and Hartmut Ehrig}, title = {Petri net modules in the transformation-based component framework}, journal = {J. Log. Algebraic Methods Program.}, volume = {67}, number = {1-2}, pages = {198--225}, year = {2006}, url = {https://doi.org/10.1016/j.jlap.2005.09.007}, doi = {10.1016/J.JLAP.2005.09.007}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jlp/PadbergE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/EhrigK06, author = {Hartmut Ehrig and Barbara K{\"{o}}nig}, title = {Deriving bisimulation congruences in the {DPO} approach to graph rewriting with borrowed contexts}, journal = {Math. Struct. Comput. Sci.}, volume = {16}, number = {6}, pages = {1133--1163}, year = {2006}, url = {https://doi.org/10.1017/S096012950600569X}, doi = {10.1017/S096012950600569X}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/EhrigK06.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/BaldanEK06, author = {Paolo Baldan and Hartmut Ehrig and Barbara K{\"{o}}nig}, editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg}, title = {Composition and Decomposition of {DPO} Transformations with Borrowed Context}, 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 = {153--167}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841883\_12}, doi = {10.1007/11841883\_12}, timestamp = {Sat, 04 Apr 2020 17:15:23 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanEK06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BaldanEPR06, author = {Paolo Baldan and Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg}, title = {Workshop on Petri Nets and Graph Transformations}, 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 = {467--469}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841883\_35}, doi = {10.1007/11841883\_35}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/BaldanEPR06.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 = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigOP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/LambersEO06, author = {Leen Lambers and Hartmut Ehrig and Fernando Orejas}, editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg}, title = {Conflict Detection for Graph Transformation with Negative Application Conditions}, 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 = {61--76}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841883\_6}, doi = {10.1007/11841883\_6}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/LambersEO06.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/HermannET08, author = {Frank Hermann and Hartmut Ehrig and Gabriele Taentzer}, editor = {Roberto Bruni and D{\'{a}}niel Varr{\'{o}}}, title = {A Typed Attributed Graph Grammar with Inheritance for the Abstract Syntax of {UML} Class and Sequence Diagrams}, booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {211}, pages = {261--269}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.048}, doi = {10.1016/J.ENTCS.2008.04.048}, timestamp = {Fri, 17 Feb 2023 09:34:01 +0100}, biburl = {https://dblp.org/rec/journals/entcs/HermannET08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LambersEO08, author = {Leen Lambers and Hartmut Ehrig and Fernando Orejas}, editor = {Roberto Bruni and D{\'{a}}niel Varr{\'{o}}}, title = {Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs}, booktitle = {Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ETAPS 2006, Vienna, Austria, April 1-2, 2006}, series = {Electronic Notes in Theoretical Computer Science}, volume = {211}, pages = {17--26}, publisher = {Elsevier}, year = {2006}, url = {https://doi.org/10.1016/j.entcs.2008.04.026}, doi = {10.1016/J.ENTCS.2008.04.026}, timestamp = {Fri, 17 Feb 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LambersEO08.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} }
@proceedings{DBLP:conf/gg/2006, editor = {Andrea Corradini and Hartmut Ehrig and Ugo Montanari and Leila Ribeiro and Grzegorz Rozenberg}, title = {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}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11841883}, doi = {10.1007/11841883}, isbn = {3-540-38870-2}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/2006.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fuin/Ehrig05, author = {Hartmut Ehrig}, title = {Behaviour and Instantiation of High-Level Petri Net Processes}, journal = {Fundam. Informaticae}, volume = {65}, number = {3}, pages = {211--247}, year = {2005}, url = {http://content.iospress.com/articles/fundamenta-informaticae/fi65-3-02}, timestamp = {Fri, 18 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fuin/Ehrig05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/it/EhrigBK05, author = {Hartmut Ehrig and Benjamin Braatz and Markus Klein}, title = {Priority Program SoftSpez and the International {INT} Workshops "Integration of Software Specification Techniques for Applications in Engineering" (DFG-Schwerpunktprogramm SoftSpez und die internationalen INT-Workshops "Integration von Techniken der Softwarespezifikation f{\"{u}}r ingenieurwissenschaftliche Anwendungen")}, journal = {it Inf. Technol.}, volume = {47}, number = {1}, pages = {45--53}, year = {2005}, url = {https://doi.org/10.1524/itit.47.1.45.58262}, doi = {10.1524/ITIT.47.1.45.58262}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/it/EhrigBK05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/BaldanCEH05, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel}, title = {Compositional semantics for open Petri nets based on deterministic processe}, journal = {Math. Struct. Comput. Sci.}, volume = {15}, number = {1}, pages = {1--35}, year = {2005}, url = {https://doi.org/10.1017/S0960129504004311}, doi = {10.1017/S0960129504004311}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/BaldanCEH05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/HoffmannEM05, author = {Kathrin Hoffmann and Hartmut Ehrig and Till Mossakowski}, editor = {Gianfranco Ciardo and Philippe Darondeau}, title = {High-Level Nets with Nets and Rules as Tokens}, booktitle = {Applications and Theory of Petri Nets 2005, 26th International Conference, {ICATPN} 2005, Miami, USA, June 20-25, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3536}, pages = {268--288}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/11494744\_16}, doi = {10.1007/11494744\_16}, timestamp = {Sun, 02 Oct 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/HoffmannEM05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/EhrigELTVV05, author = {Hartmut Ehrig and Karsten Ehrig and Juan de Lara and Gabriele Taentzer and D{\'{a}}niel Varr{\'{o}} and Szilvia Varr{\'{o}}{-}Gyapay}, editor = {Maura Cerioli}, title = {Termination Criteria for Model Transformation}, booktitle = {Fundamental Approaches to Software Engineering, 8th International Conference, {FASE} 2005, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2005, Edinburgh, UK, April 4-8, 2005, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3442}, pages = {49--63}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-31984-9\_5}, doi = {10.1007/978-3-540-31984-9\_5}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/fase/EhrigELTVV05.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:journals/entcs/EhrigBKOPP05, author = {Hartmut Ehrig and Benjamin Braatz and Markus Klein and Fernando Orejas and Sonia P{\'{e}}rez and Elvira Pino}, editor = {Juliana K{\"{u}}ster Filipe and Iman Poernomo and Ralf H. Reussner and Sandeep K. Shukla}, title = {Object-Oriented Connector-Component Architectures}, booktitle = {Proceedings of the Second International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2005, Edinburgh, UK, April 9, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {141}, number = {3}, pages = {123--151}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.02.048}, doi = {10.1016/J.ENTCS.2005.02.048}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigBKOPP05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigE06, author = {Hartmut Ehrig and Karsten Ehrig}, editor = {Gabor Karsai and Gabriele Taentzer}, title = {Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation}, booktitle = {Proceedings of the International Workshop on Graph and Model Transformation, GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {152}, pages = {3--22}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.01.011}, doi = {10.1016/J.ENTCS.2006.01.011}, timestamp = {Thu, 15 Dec 2022 15:55:07 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigE06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/LambersEO06, author = {Leen Lambers and Hartmut Ehrig and Fernando Orejas}, editor = {Gabor Karsai and Gabriele Taentzer}, title = {Efficient Detection of Conflicts in Graph-based Model Transformation}, booktitle = {Proceedings of the International Workshop on Graph and Model Transformation, GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {152}, pages = {97--109}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2006.01.017}, doi = {10.1016/J.ENTCS.2006.01.017}, timestamp = {Thu, 15 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/LambersEO06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2005ehrig, editor = {Hans{-}J{\"{o}}rg Kreowski and Ugo Montanari and Fernando Orejas and Grzegorz Rozenberg and Gabriele Taentzer}, title = {Formal Methods in Software and Systems Modeling, Essays Dedicated to Hartmut Ehrig, on the Occasion of His 60th Birthday}, series = {Lecture Notes in Computer Science}, volume = {3393}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/b106390}, doi = {10.1007/B106390}, isbn = {3-540-24936-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2005ehrig.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/2004pngt, editor = {Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, title = {Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {127}, number = {2}, publisher = {Elsevier}, year = {2005}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/127/issue/2}, timestamp = {Mon, 12 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gg/2004pngt.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/EhrigETLVV05, author = {Hartmut Ehrig and Karsten Ehrig and Gabriele Taentzer and Juan de Lara and D{\'{a}}niel Varr{\'{o}} and Szilvia Varr{\'{o}}{-}Gyapay}, editor = {James R. Cordy and Ralf L{\"{a}}mmel and Andreas Winter}, title = {Termination Criteria for Model Transformation}, booktitle = {Transformation Techniques in Software Engineering, 17.-22. April 2005}, series = {Dagstuhl Seminar Proceedings}, volume = {05161}, publisher = {Internationales Begegnungs- und Forschungszentrum f{\"{u}}r Informatik (IBFI), Schloss Dagstuhl, Germany}, year = {2005}, url = {http://drops.dagstuhl.de/opus/volltexte/2006/428}, timestamp = {Thu, 10 Jun 2021 13:02:04 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/EhrigETLVV05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig04, author = {Hartmut Ehrig}, title = {Attributed Graphs and Typing: Reationshi between Different Representations (Column: Formal Specification)}, journal = {Bull. {EATCS}}, volume = {82}, pages = {175--190}, year = {2004}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig04a, author = {Hartmut Ehrig}, title = {Integration of Specification Techniques for Applications in Engineering 1998-2004 (Column: Formal Specification)}, journal = {Bull. {EATCS}}, volume = {83}, pages = {156--158}, year = {2004}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig04a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sosym/EhrigOBKP04, author = {Hartmut Ehrig and Fernando Orejas and Benjamin Braatz and Markus Klein and Martti Piirainen}, title = {A component framework for system modeling based on high-level replacement systems}, journal = {Softw. Syst. Model.}, volume = {3}, number = {2}, pages = {114--135}, year = {2004}, url = {https://doi.org/10.1007/s10270-003-0043-9}, doi = {10.1007/S10270-003-0043-9}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/sosym/EhrigOBKP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/Ehrig04, author = {Hartmut Ehrig}, editor = {Hartmut Ehrig and Werner Damm and J{\"{o}}rg Desel and Martin Gro{\ss}e{-}Rhode and Wolfgang Reif and Eckehard Schnieder and Engelbert Westk{\"{a}}mper}, title = {Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results}, booktitle = {Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report}, series = {Lecture Notes in Computer Science}, volume = {3147}, pages = {1--8}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-27863-4\_1}, doi = {10.1007/978-3-540-27863-4\_1}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/dfg/Ehrig04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/BardohlELT04, author = {Roswitha Bardohl and Hartmut Ehrig and Juan de Lara and Gabriele Taentzer}, editor = {Michel Wermelinger and Tiziana Margaria}, title = {Integrating Meta-modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation}, booktitle = {Fundamental Approaches to Software Engineering, 7th International Conference, {FASE} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2984}, pages = {214--228}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24721-0\_16}, doi = {10.1007/978-3-540-24721-0\_16}, timestamp = {Sun, 02 Jun 2019 21:17:06 +0200}, biburl = {https://dblp.org/rec/conf/fase/BardohlELT04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fossacs/EhrigK04, author = {Hartmut Ehrig and Barbara K{\"{o}}nig}, editor = {Igor Walukiewicz}, title = {Deriving Bisimulation Congruences in the {DPO} Approach to Graph Rewriting}, booktitle = {Foundations of Software Science and Computation Structures, 7th International Conference, {FOSSACS} 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2987}, pages = {151--166}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-24727-2\_12}, doi = {10.1007/978-3-540-24727-2\_12}, timestamp = {Tue, 14 May 2019 10:00:55 +0200}, biburl = {https://dblp.org/rec/conf/fossacs/EhrigK04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigEHP04, author = {Hartmut Ehrig and Karsten Ehrig and Annegret Habel and Karl{-}Heinz Pennemann}, editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi{-}Presicce and Grzegorz Rozenberg}, title = {Constraints and Application Conditions: From Graphs to High-Level Structures}, 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 = {287--303}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30203-2\_21}, doi = {10.1007/978-3-540-30203-2\_21}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigEHP04.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 = {Thu, 15 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigHPP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigPR04, author = {Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi{-}Presicce and Grzegorz Rozenberg}, title = {Workshop on Petri Nets and Graph Transformations}, 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 = {442--444}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/978-3-540-30203-2\_34}, doi = {10.1007/978-3-540-30203-2\_34}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigPR04.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} }
@inproceedings{DBLP:journals/entcs/EhrigHP06, author = {Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg}, editor = {Reiko Heckel}, title = {Transformations of Petri Nets}, booktitle = {Proceedings of the School of SegraVis Research Training Network on Foundations of Visual Modelling Techniques, FoVMT 2004, Dagstuhl, Germany, May 3-7, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {148}, number = {1}, pages = {151--172}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.12.016}, doi = {10.1016/J.ENTCS.2005.12.016}, timestamp = {Fri, 16 Dec 2022 13:13:21 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigHP06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigPBKOPP04, author = {Hartmut Ehrig and Julia Padberg and Benjamin Braatz and Markus Klein and Fernando Orejas and Sonia P{\'{e}}rez and Elvira Pino}, editor = {Juliana K{\"{u}}ster Filipe and Iman Poernomo and Ralf H. Reussner and Sandeep K. Shukla}, title = {A Generic Framework for Connector Architectures based on Components and Transformations}, booktitle = {Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, FESCA@ETAPS 2004, Barcelona, Spain, April 3, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {108}, pages = {53--67}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2004.01.012}, doi = {10.1016/J.ENTCS.2004.01.012}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigPBKOPP04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigPR05, author = {Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, editor = {Hartmut Ehrig and Julia Padberg and Grzegorz Rozenberg}, title = {Preface}, booktitle = {Proceedings of the Workshop on Petri Nets and Graph Transformations, PNGT@ICGT 2004, Rome, Italy, October 2, 2004}, series = {Electronic Notes in Theoretical Computer Science}, volume = {127}, number = {2}, pages = {1--3}, publisher = {Elsevier}, year = {2004}, url = {https://doi.org/10.1016/j.entcs.2005.02.002}, doi = {10.1016/J.ENTCS.2005.02.002}, timestamp = {Mon, 12 Dec 2022 14:22:43 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigPR05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dfg/2004, editor = {Hartmut Ehrig and Werner Damm and J{\"{o}}rg Desel and Martin Gro{\ss}e{-}Rhode and Wolfgang Reif and Eckehard Schnieder and Engelbert Westk{\"{a}}mper}, title = {Integration of Software Specification Techniques for Applications in Engineering, Priority Program SoftSpez of the German Research Foundation (DFG), Final Report}, series = {Lecture Notes in Computer Science}, volume = {3147}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b100778}, doi = {10.1007/B100778}, isbn = {3-540-23135-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/2004, editor = {Hartmut Ehrig and Gregor Engels and Francesco Parisi{-}Presicce and Grzegorz Rozenberg}, title = {Graph Transformations, Second International Conference, {ICGT} 2004, Rome, Italy, September 28 - October 2, 2004, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {3256}, publisher = {Springer}, year = {2004}, url = {https://doi.org/10.1007/b100934}, doi = {10.1007/B100934}, isbn = {3-540-23207-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/2004.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig03, author = {Hartmut Ehrig}, title = {On the relevance of high-level net processes, Formal Specification Column}, journal = {Bull. {EATCS}}, volume = {79}, pages = {64--68}, year = {2003}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ac/EhrigP03, author = {Hartmut Ehrig and Julia Padberg}, editor = {J{\"{o}}rg Desel and Wolfgang Reisig and Grzegorz Rozenberg}, title = {Graph Grammars and Petri Net Transformations}, booktitle = {Lectures on Concurrency and Petri Nets, Advances in Petri Nets [This tutorial volume originates from the 4th Advanced Course on Petri Nets, {ACPN} 2003, held in Eichst{\"{a}}tt, Germany in September 2003. In addition to lectures given at {ACPN} 2003, additional chapters have been commissioned]}, series = {Lecture Notes in Computer Science}, volume = {3098}, pages = {496--536}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-27755-2\_14}, doi = {10.1007/978-3-540-27755-2\_14}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/ac/EhrigP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/BraatzEU03, author = {Benjamin Braatz and Hartmut Ehrig and Milan Urb{\'{a}}sek}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Petri Net Transformations in the "Petri Net Baukasten"}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {37--65}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_3}, doi = {10.1007/978-3-540-40022-6\_3}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/dfg/BraatzEU03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/ErmelBE03, author = {Claudia Ermel and Roswitha Bardohl and Hartmut Ehrig}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Generation of Animation Views for Petri Nets in GenGED}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {83--108}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_5}, doi = {10.1007/978-3-540-40022-6\_5}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/ErmelBE03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dfg/WeberERBLDWMPEQ03, author = {Herbert Weber and Hartmut Ehrig and Wolfgang Reisig and Alexander Borusan and Sabine Lembke and Juliane Dehnert and Michael Weber and Axel Martens and Julia Padberg and Claudia Ermel and Anilda Qemali}, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {The Petri Net Baukasten of the {DFG} Forschergruppe {PETRI} {NET} {TECHNOLOGY}}, booktitle = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, pages = {1--21}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-40022-6\_1}, doi = {10.1007/978-3-540-40022-6\_1}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/WeberERBLDWMPEQ03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/BardohlE03, author = {Roswitha Bardohl and Hartmut Ehrig}, editor = {Roswitha Bardohl and Hartmut Ehrig}, title = {Preface UNIGRA'03 - Uniform Approaches to Graphical Process Specification Techniques}, booktitle = {Uniform Approaches to Graphical Process Specification Techniques, {UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April 5-6, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {7}, pages = {166--167}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(05)80754-6}, doi = {10.1016/S1571-0661(05)80754-6}, timestamp = {Thu, 08 Dec 2022 11:16:42 +0100}, biburl = {https://dblp.org/rec/journals/entcs/BardohlE03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Ehrig03, author = {Hartmut Ehrig}, editor = {Roswitha Bardohl and Hartmut Ehrig}, title = {Behaviour and Instantiation of High-Level Net Processes}, booktitle = {Uniform Approaches to Graphical Process Specification Techniques, {UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April 5-6, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {7}, pages = {1--15}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)80743-6}, doi = {10.1016/S1571-0661(04)80743-6}, timestamp = {Thu, 08 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Ehrig03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/OrejasE03, author = {Fernando Orejas and Hartmut Ehrig}, editor = {Roswitha Bardohl and Hartmut Ehrig}, title = {Components for Algebra Transformation Systems}, booktitle = {Uniform Approaches to Graphical Process Specification Techniques, {UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April 5-6, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {7}, pages = {63--78}, publisher = {Elsevier}, year = {2003}, url = {https://doi.org/10.1016/S1571-0661(04)80747-3}, doi = {10.1016/S1571-0661(04)80747-3}, timestamp = {Thu, 08 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/OrejasE03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dfg/2003, editor = {Hartmut Ehrig and Wolfgang Reisig and Grzegorz Rozenberg and Herbert Weber}, title = {Petri Net Technology for Communication-Based Systems - Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2472}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/b83526}, doi = {10.1007/B83526}, isbn = {3-540-20538-1}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dfg/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/unigra/2003, editor = {Roswitha Bardohl and Hartmut Ehrig}, title = {Uniform Approaches to Graphical Process Specification Techniques, {UNIGRA} 2003, Satellite Event for {ETAPS} 2003, Warsaw, Poland, April 5-6, 2003}, series = {Electronic Notes in Theoretical Computer Science}, volume = {82}, number = {7}, publisher = {Elsevier}, year = {2003}, url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/82/issue/7}, timestamp = {Thu, 08 Dec 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/unigra/2003.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig02, author = {Hartmut Ehrig}, title = {Bigraphs meet Double Pushouts}, journal = {Bull. {EATCS}}, volume = {78}, pages = {72--85}, year = {2002}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig02a, author = {Hartmut Ehrig}, title = {A Review of Algebraic Specification and Component Techniques at {TU} Berlin}, journal = {Bull. {EATCS}}, volume = {76}, pages = {84--87}, year = {2002}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig02a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/entcs/EhrigO02, author = {Hartmut Ehrig and Fernando Orejas}, title = {Foreword Volume 72}, journal = {Electron. Notes Theor. Comput. Sci.}, volume = {72}, year = {2002}, url = {http://www.elsevier.com/gej-ng/31/29/23/127/23/show/Products/notes/index.htt\#001}, timestamp = {Mon, 24 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigO02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/EhrigOBKP02, author = {Hartmut Ehrig and Fernando Orejas and Benjamin Braatz and Markus Klein and Martti Piirainen}, title = {A Transformation-Based Component Framework for a Generic Integrated Modeling Technique}, journal = {Trans. {SDPS}}, volume = {6}, number = {4}, pages = {78--104}, year = {2002}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid6-4-06}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jid/EhrigOBKP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/EhrigP02, author = {Hartmut Ehrig and Julia Padberg}, title = {Component-Based System Development}, journal = {Trans. {SDPS}}, volume = {6}, number = {4}, pages = {1}, year = {2002}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid6-4-01}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/EhrigP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/HeckelLEO02, author = {Reiko Heckel and Merc{\`{e}} Llabr{\'{e}}s and Hartmut Ehrig and Fernando Orejas}, title = {Concurrency and Loose Semantics of Open Graph Transformation Systems}, journal = {Math. Struct. Comput. Sci.}, volume = {12}, number = {4}, pages = {349--376}, year = {2002}, url = {https://doi.org/10.1017/S0960129501003553}, doi = {10.1017/S0960129501003553}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/mscs/HeckelLEO02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/EhrigHPBH02, author = {Hartmut Ehrig and Kathrin Hoffmann and Julia Padberg and Paolo Baldan and Reiko Heckel}, editor = {Wilfried Brauer and Hartmut Ehrig and Juhani Karhum{\"{a}}ki and Arto Salomaa}, title = {High-Level Net Processes}, booktitle = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]}, series = {Lecture Notes in Computer Science}, volume = {2300}, pages = {191--219}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45711-9\_12}, doi = {10.1007/3-540-45711-9\_12}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/EhrigHPBH02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/EhrigOBKP02, author = {Hartmut Ehrig and Fernando Orejas and Benjamin Braatz and Markus Klein and Martti Piirainen}, editor = {Ralf{-}Detlef Kutsche and Herbert Weber}, title = {A Generic Component Framework for System Modeling}, booktitle = {Fundamental Approaches to Software Engineering, 5th International Conference, {FASE} 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2306}, pages = {33--48}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45923-5\_3}, doi = {10.1007/3-540-45923-5\_3}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fase/EhrigOBKP02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigOBKP03, author = {Hartmut Ehrig and Fernando Orejas and Benjamin Braatz and Markus Klein and Martti Piirainen}, editor = {Paolo Bottoni and Mark Minas}, title = {A Component Framework Based on High-Level Replacement Systems}, booktitle = {International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT@ICGT 2002, Barcelona, Spain, October 11-12, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {72}, number = {3}, pages = {118--132}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(04)80616-9}, doi = {10.1016/S1571-0661(04)80616-9}, timestamp = {Mon, 13 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigOBKP03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2002rozenberg, editor = {Wilfried Brauer and Hartmut Ehrig and Juhani Karhum{\"{a}}ki and Arto Salomaa}, title = {Formal and Natural Computing - Essays Dedicated to Grzegorz Rozenberg [on occasion of his 60th birthday, March 14, 2002]}, series = {Lecture Notes in Computer Science}, volume = {2300}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45711-9}, doi = {10.1007/3-540-45711-9}, isbn = {3-540-43190-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2002rozenberg.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/2002, editor = {Andrea Corradini and Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Graph Transformation, First International Conference, {ICGT} 2002, Barcelona, Spain, October 7-12, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2505}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-45832-8}, doi = {10.1007/3-540-45832-8}, isbn = {3-540-44310-X}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/2002.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0003953, author = {Hartmut Ehrig and Bernd Mahr and Martin Gro{\ss}e{-}Rhode and Felix Cornelius and Philip Zeitz}, title = {Mathematisch-strukturelle Grundlagen der Informatik, 2. Auflage}, series = {Springer-Lehrbuch}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/978-3-642-56792-6}, doi = {10.1007/978-3-642-56792-6}, isbn = {978-3-540-41923-5}, timestamp = {Thu, 27 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0003953.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/HeckelEWC01, author = {Reiko Heckel and Hartmut Ehrig and Uwe Wolter and Andrea Corradini}, title = {Double-Pullback Transitions and Coalgebraic Loose Semantics for Graph Transformation Systems}, journal = {Appl. Categorical Struct.}, volume = {9}, number = {1}, pages = {83--110}, year = {2001}, url = {https://doi.org/10.1023/A:1008734426504}, doi = {10.1023/A:1008734426504}, timestamp = {Fri, 09 Apr 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/HeckelEWC01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig01, author = {Hartmut Ehrig}, title = {A Review of Graph Grammars and Preview of {ICGT} 2002: The First International Conference on Graph Transformation}, journal = {Bull. {EATCS}}, volume = {75}, pages = {97}, year = {2001}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig01a, author = {Hartmut Ehrig}, title = {On the Roots, Birth and Childhood of {ETAPS}}, journal = {Bull. {EATCS}}, volume = {74}, pages = {58--60}, year = {2001}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig01a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ife/EhrigG01, author = {Hartmut Ehrig and Martin Gro{\ss}e{-}Rhode}, title = {Integration von Techniken der Softwarespezifkation fuer ingenieurwissenschaftliche Anwendungen}, journal = {Inform. Forsch. Entwickl.}, volume = {16}, number = {2}, pages = {110--117}, year = {2001}, url = {https://doi.org/10.1007/PL00009144}, doi = {10.1007/PL00009144}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ife/EhrigG01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/EhrigGP01, author = {Hartmut Ehrig and Michael Goedicke and Julia Padberg}, title = {Integration and Collaboration Based on Graphical Techniques (Editorial)}, journal = {Trans. {SDPS}}, volume = {5}, number = {1}, pages = {1--2}, year = {2001}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-1-01}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/EhrigGP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jid/PadbergJESH01, author = {Julia Padberg and L. Jansen and Hartmut Ehrig and Eckehard Schnieder and Reiko Heckel}, title = {Cooperability in Train Control Systems: Specification of Scenarios using Open Nets}, journal = {Trans. {SDPS}}, volume = {5}, number = {1}, pages = {3--21}, year = {2001}, url = {http://content.iospress.com/articles/journal-of-integrated-design-and-process-science/jid5-1-02}, timestamp = {Thu, 14 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jid/PadbergJESH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/GajewskyE01, author = {Magdalena Gajewsky and Hartmut Ehrig}, editor = {Hartmut Ehrig and Gabriel Juh{\'{a}}s and Julia Padberg and Grzegorz Rozenberg}, title = {The {\guillemotright}Petri Net Baukasten{\guillemotleft}: An Overview}, booktitle = {Unifying Petri Nets, Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2128}, pages = {26--53}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45541-8\_2}, doi = {10.1007/3-540-45541-8\_2}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/apn/GajewskyE01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/PadbergE01, author = {Julia Padberg and Hartmut Ehrig}, editor = {Hartmut Ehrig and Gabriel Juh{\'{a}}s and Julia Padberg and Grzegorz Rozenberg}, title = {Parameterized Net Classes: {A} Uniform Approach to Petri Net Classes}, booktitle = {Unifying Petri Nets, Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2128}, pages = {173--229}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45541-8\_7}, doi = {10.1007/3-540-45541-8\_7}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/PadbergE01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apn/PadbergER01, author = {Julia Padberg and Hartmut Ehrig and Grzegorz Rozenberg}, editor = {Hartmut Ehrig and Gabriel Juh{\'{a}}s and Julia Padberg and Grzegorz Rozenberg}, title = {Behavior and Realization Construction for Petri Nets Based on Free Monoid and Power Set Graphs}, booktitle = {Unifying Petri Nets, Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2128}, pages = {230--249}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45541-8\_8}, doi = {10.1007/3-540-45541-8\_8}, timestamp = {Fri, 26 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/PadbergER01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/BaldanCEH01, author = {Paolo Baldan and Andrea Corradini and Hartmut Ehrig and Reiko Heckel}, editor = {Kim Guldstrand Larsen and Mogens Nielsen}, title = {Compositional Modeling of Reactive Systems Using Open Nets}, booktitle = {{CONCUR} 2001 - Concurrency Theory, 12th International Conference, Aalborg, Denmark, August 20-25, 2001, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2154}, pages = {502--518}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-44685-0\_34}, doi = {10.1007/3-540-44685-0\_34}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/concur/BaldanCEH01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/OrejasEP01, author = {Fernando Orejas and Hartmut Ehrig and Elvira Pino}, editor = {Maura Cerioli and Gianna Reggio}, title = {Tight and Loose Semantics for Transformation Systems}, booktitle = {Recent Trends in Algebraic Development Techniques, 15th International Workshop, {WADT} 2001, Joint with the CoFI {WG} Meeting, Genova, Italy, April 1-3, 2001, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {2267}, pages = {238--255}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45645-7\_12}, doi = {10.1007/3-540-45645-7\_12}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wadt/OrejasEP01.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 11:20:11 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigEP01.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 11:42:16 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigHP01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/EhrigO01, author = {Hartmut Ehrig and Fernando Orejas}, editor = {Luciano Baresi and Mauro Pezz{\`{e}} and Gabriele Taentzer}, title = {A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques}, booktitle = {International Workshop on Graph Transformation and Visual Modeling Techniques, {GT-VMT} 2001, Satellite Workshop of {ICALP} 2001, Crete, Greece, July 12-13, 2001}, series = {Electronic Notes in Theoretical Computer Science}, volume = {50}, number = {3}, pages = {199--226}, publisher = {Elsevier}, year = {2001}, url = {https://doi.org/10.1016/S1571-0661(04)00173-2}, doi = {10.1016/S1571-0661(04)00173-2}, timestamp = {Tue, 13 Dec 2022 10:53:28 +0100}, biburl = {https://dblp.org/rec/journals/entcs/EhrigO01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ws/phaunRS01/Ehrig01, author = {Hartmut Ehrig}, editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {On the Role of Formal Specification Techniques: From {TAPSOFT} 1985 to {ETAPS} 2000}, booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th Century}, pages = {131--133}, publisher = {World Scientific}, year = {2001}, timestamp = {Sat, 03 Aug 2019 22:52:51 +0200}, biburl = {https://dblp.org/rec/books/ws/phaunRS01/Ehrig01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ws/phaunRS01/EhrigGGKM01, author = {Hartmut Ehrig and Robert Geisler and Martin Gro{\ss}e{-}Rhode and Marcus Klar and Stefan Mann}, editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {On Formal Semantics and Integration of Object-Oriented Modeling Languages}, booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th Century}, pages = {226--232}, publisher = {World Scientific}, year = {2001}, timestamp = {Sat, 03 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/ws/phaunRS01/EhrigGGKM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ws/phaunRS01/EhrigM01, author = {Hartmut Ehrig and Bernd Mahr}, editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Theory and Practice of Software Development: {A} Review of Driving Forces and Expectations of {TAPSOFT} from 1985 to 1997}, booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th Century}, pages = {118--130}, publisher = {World Scientific}, year = {2001}, timestamp = {Sat, 03 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/ws/phaunRS01/EhrigM01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ws/phaunRS01/EhrigM01a, author = {Hartmut Ehrig and Bernd Mahr}, editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Algebraic Techniques in Software Development: {A} Review of Progress up to the Mid Nineties}, booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th Century}, pages = {134--152}, publisher = {World Scientific}, year = {2001}, timestamp = {Sat, 03 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/ws/phaunRS01/EhrigM01a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ws/phaunRS01/EhrigO01, author = {Hartmut Ehrig and Fernando Orejas}, editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Dynamic Abstract Data Types: An Informal Proposal in 1994}, booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th Century}, pages = {180--191}, publisher = {World Scientific}, year = {2001}, timestamp = {Sat, 03 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/ws/phaunRS01/EhrigO01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ws/phaunRS01/EhrigO01a, author = {Hartmut Ehrig and Fernando Orejas}, editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {Integration Paradigm for Data Type and Process Specification Techniques}, booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th Century}, pages = {192--201}, publisher = {World Scientific}, year = {2001}, timestamp = {Sat, 03 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/ws/phaunRS01/EhrigO01a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:books/ws/phaunRS01/EhrigPO01, author = {Hartmut Ehrig and Julia Padberg and Fernando Orejas}, editor = {Gheorghe Paun and Grzegorz Rozenberg and Arto Salomaa}, title = {From Basic Views and Aspects to Integration of Specification Formalisms}, booktitle = {Current Trends in Theoretical Computer Science, Entering the 21th Century}, pages = {202--214}, publisher = {World Scientific}, year = {2001}, timestamp = {Sat, 03 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/ws/phaunRS01/EhrigPO01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/apn/2001u, editor = {Hartmut Ehrig and Gabriel Juh{\'{a}}s and Julia Padberg and Grzegorz Rozenberg}, title = {Unifying Petri Nets, Advances in Petri Nets}, series = {Lecture Notes in Computer Science}, volume = {2128}, publisher = {Springer}, year = {2001}, url = {https://doi.org/10.1007/3-540-45541-8}, doi = {10.1007/3-540-45541-8}, isbn = {3-540-43067-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apn/2001u.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} }
@article{DBLP:journals/eatcs/Ehrig00, author = {Hartmut Ehrig}, title = {On the Role of Formal Specification Techniques: From {TAPSOFT} 1985 to {ETAPS} 2000}, journal = {Bull. {EATCS}}, volume = {71}, pages = {90--91}, year = {2000}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigGGKM00, author = {Hartmut Ehrig and Robert Geisler and Martin Gro{\ss}e{-}Rhode and Marcus Klar and Stefan Mann}, title = {On Formal Semantics and Integration of Object-Oriented Modeling Languages}, journal = {Bull. {EATCS}}, volume = {70}, pages = {77--81}, year = {2000}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigGGKM00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigS00, author = {Hartmut Ehrig and Gunnar Schr{\"{o}}ter}, title = {The Role of Mathematics and Formal Specification Techniques in Software System Development}, journal = {Bull. {EATCS}}, volume = {72}, pages = {77--83}, year = {2000}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigS00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EhrigT00, author = {Hartmut Ehrig and Gabriele Taentzer}, editor = {Jos{\'{e}} D. P. Rolim and Andrei Z. Broder and Andrea Corradini and Roberto Gorrieri and Reiko Heckel and Juraj Hromkovic and Ugo Vaccaro and J. B. Wells}, title = {A Proposal for Consistent Integration of Visual Computing with Visual Development of Software Components}, booktitle = {{ICALP} Workshops 2000, Proceedings of the Satelite Workshops of the 27th International Colloquium on Automata, Languages and Programming, Geneva, Switzerland, July 9-15, 2000}, pages = {427--434}, publisher = {Carleton Scientific, Waterloo, Ontario, Canada}, year = {2000}, timestamp = {Sat, 04 Apr 2020 17:15:23 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EhrigT00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tagt/1998, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1764}, publisher = {Springer}, year = {2000}, url = {https://doi.org/10.1007/b75045}, doi = {10.1007/B75045}, isbn = {3-540-67203-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tagt/1998.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0095969, author = {Hartmut Ehrig and Bernd Mahr and Felix Cornelius and Martin Gro{\ss}e{-}Rhode and Philip Zeitz}, title = {Mathematisch-strukturelle Grundlagen der Informatik}, series = {Springer-Lehrbuch}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-97986-6}, doi = {10.1007/978-3-642-97986-6}, isbn = {978-3-540-63865-0}, timestamp = {Mon, 24 Jun 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0095969.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/csur/EhrigT99, author = {Hartmut Ehrig and Gabriele Taentzer}, title = {Graphical Represenation and Graph Transformation}, journal = {{ACM} Comput. Surv.}, volume = {31}, number = {3es}, pages = {9}, year = {1999}, url = {https://doi.org/10.1145/333580.333588}, doi = {10.1145/333580.333588}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/csur/EhrigT99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigPO99, author = {Hartmut Ehrig and Julia Padberg and Fernando Orejas}, title = {From Basic Views and Aspects to Integration of Specification Formalisms}, journal = {Bull. {EATCS}}, volume = {69}, pages = {98--109}, year = {1999}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigPO99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/CorneliusBEO99, author = {Felix Cornelius and Michael Baldamus and Hartmut Ehrig and Fernando Orejas}, title = {Abstract and behaviour module specifications}, journal = {Math. Struct. Comput. Sci.}, volume = {9}, number = {1}, pages = {21--62}, year = {1999}, url = {http://journals.cambridge.org/action/displayAbstract?aid=44773}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/CorneliusBEO99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gait/WeberKMKJBEGBPFW99, author = {Herbert Weber and Marcus Klar and Stefan Mann and Ralf{-}Detlef Kutsche and Stefan J{\"{a}}hnichen and Robert B{\"{u}}ssow and Hartmut Ehrig and Robert Geisler and Gabriel Baum and Claudia Pons and Miguel Felder and Sergio Waldoke}, editor = {Stefan J{\"{a}}hnichen and Irene Loiseau}, title = {Integrating Object-Oriented Modelling Techniques with Formal Specification Techniques}, booktitle = {German-Argentinian Workshop on Information Technology, K{\"{o}}nigswinter, Germany, March 3-5, 1999. International Bureau of the BMBF, North and South America, Bonn, 1999}, pages = {23--30}, year = {1999}, timestamp = {Mon, 15 Jul 2019 16:01:48 +0200}, biburl = {https://dblp.org/rec/conf/gait/WeberKMKJBEGBPFW99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/ifip/EhrigK99, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski}, editor = {Egidio Astesiano and Hans{-}J{\"{o}}rg Kreowski and Bernd Krieg{-}Br{\"{u}}ckner}, title = {Refinement and Implementation}, booktitle = {Algebraic Foundations of Systems Specification}, series = {{IFIP} State-of-the-Art Reports}, pages = {201--242}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/978-3-642-59851-7\_7}, doi = {10.1007/978-3-642-59851-7\_7}, timestamp = {Tue, 16 May 2017 14:24:23 +0200}, biburl = {https://dblp.org/rec/series/ifip/EhrigK99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/EhrigGW98, author = {Hartmut Ehrig and Martin Gro{\ss}e{-}Rhode and Uwe Wolter}, title = {Applications of Category Theory to the Area of Algebraic Specification in Computer Science}, journal = {Appl. Categorical Struct.}, volume = {6}, number = {1}, pages = {1--35}, year = {1998}, url = {https://doi.org/10.1023/A:1008688122154}, doi = {10.1023/A:1008688122154}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/EhrigGW98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig98, author = {Hartmut Ehrig}, title = {{EATCS} Mini-Track of FM'99}, journal = {Bull. {EATCS}}, volume = {66}, pages = {83--84}, year = {1998}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigO98, author = {Hartmut Ehrig and Fernando Orejas}, title = {Integration Paradigm for Data Type and Process Specification Techniques}, journal = {Bull. {EATCS}}, volume = {65}, pages = {90--97}, year = {1998}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigO98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ife/EhrigGK98, author = {Hartmut Ehrig and Robert Geisler and Marcus Klar}, title = {DFG-Schwerpunktprogramm ab 1998. Integration von Techniken der Softwarespezifikation f{\"{u}}r ingenieurwissenschaftliche Anwendungen}, journal = {Inform. Forsch. Entwickl.}, volume = {13}, number = {1}, pages = {43--46}, year = {1998}, url = {https://doi.org/10.1007/s004500050096}, doi = {10.1007/S004500050096}, timestamp = {Thu, 21 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ife/EhrigGK98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/BardohlE98, author = {Roswitha Bardohl and Hartmut Ehrig}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Conceptual Model of the Graphical Editor {GENGED} for the Visual Definition of Visual Languages}, booktitle = {Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1764}, pages = {252--266}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-540-46464-8\_18}, doi = {10.1007/978-3-540-46464-8\_18}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/tagt/BardohlE98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/EhrigHLOPR98, author = {Hartmut Ehrig and Reiko Heckel and Merc{\`{e}} Llabr{\'{e}}s and Fernando Orejas and Julia Padberg and Grzegorz Rozenberg}, editor = {Hartmut Ehrig and Gregor Engels and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Double-Pullback Graph Transitions: {A} Rule-Based Framework with Incomplete Information}, booktitle = {Theory and Application of Graph Transformations, 6th International Workshop, TAGT'98, Paderborn, Germany, November 16-20, 1998, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1764}, pages = {85--102}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/978-3-540-46464-8\_7}, doi = {10.1007/978-3-540-46464-8\_7}, timestamp = {Mon, 03 Jan 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tagt/EhrigHLOPR98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigMP97, author = {Hartmut Ehrig and A. Merten and Julia Padberg}, title = {How to Transfer Concepts of Abstract Data Types to Petri Nets?}, journal = {Bull. {EATCS}}, volume = {62}, year = {1997}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigMP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigR97, author = {Hartmut Ehrig and Wolfgang Reisig}, title = {An Algebraic View on Petri Nets}, journal = {Bull. {EATCS}}, volume = {61}, year = {1997}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigR97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/EngelsHTE97, author = {Gregor Engels and Reiko Heckel and Gabriele Taentzer and Hartmut Ehrig}, title = {A Combined Reference Model- and View-Based Approach to System Specification}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {7}, number = {4}, pages = {457--477}, year = {1997}, url = {https://doi.org/10.1142/S0218194097000266}, doi = {10.1142/S0218194097000266}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/EngelsHTE97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/OrejasPE97, author = {Fernando Orejas and Elvira Pino and Hartmut Ehrig}, title = {Institutions for Logic Programming}, journal = {Theor. Comput. Sci.}, volume = {173}, number = {2}, pages = {485--511}, year = {1997}, url = {https://doi.org/10.1016/S0304-3975(96)00164-8}, doi = {10.1016/S0304-3975(96)00164-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/OrejasPE97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/EhrigP97, author = {Hartmut Ehrig and Julia Padberg}, editor = {Christian Freksa and Matthias Jantzen and R{\"{u}}diger Valk}, title = {A Uniform Approach to Petri Nets}, booktitle = {Foundations of Computer Science: Potential - Theory - Cognition, to Wilfried Brauer on the occasion of his sixtieth birthday}, series = {Lecture Notes in Computer Science}, volume = {1337}, pages = {219--231}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0052090}, doi = {10.1007/BFB0052090}, timestamp = {Tue, 14 May 2019 10:00:52 +0200}, biburl = {https://dblp.org/rec/conf/birthday/EhrigP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/concur/EhrigGKP97, author = {Hartmut Ehrig and Robert Geisler and Marcus Klar and Julia Padberg}, editor = {Antoni W. Mazurkiewicz and J{\'{o}}zef Winkowski}, title = {Horizontal and Vertical Structuring Techniques for Statecharts}, booktitle = {{CONCUR} '97: Concurrency Theory, 8th International Conference, Warsaw, Poland, July 1-4, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1243}, pages = {181--195}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63141-0\_13}, doi = {10.1007/3-540-63141-0\_13}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/concur/EhrigGKP97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/esec/EngelsHTE98, author = {Gregor Engels and Reiko Heckel and Gabriele Taentzer and Hartmut Ehrig}, editor = {Mehdi Jazayeri and Helmut Schauer}, title = {A View-Oriented Approach to System Modelling Based on Graph Transformation}, booktitle = {Software Engineering - {ESEC/FSE} '97, 6th European Software Engineering Conference Held Jointly with the 5th {ACM} {SIGSOFT} Symposium on Foundations of Software Engineering, Zurich, Switzerland, September 22-25, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1301}, pages = {327--343}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-63531-9\_23}, doi = {10.1007/3-540-63531-9\_23}, timestamp = {Wed, 04 May 2022 13:01:10 +0200}, biburl = {https://dblp.org/rec/conf/esec/EngelsHTE98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Ehrig97, author = {Hartmut Ehrig}, editor = {Matthias Jarke and Klaus Pasedach and Klaus Pohl}, title = {DFG-Schwerpunktprogramm "Integration von Techniken der Softwarespezifikation f{\"{u}}r ingenieurwissenschaftliche Anwendungen"}, booktitle = {Informatik '97, Informatik als Innovationsmotor, 27. Jahrestagung der Gesellschaft f{\"{u}}r Informatik, Aachen, 24.-26. September 1997}, series = {Informatik Aktuell}, pages = {180--181}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/978-3-642-60831-5\_24}, doi = {10.1007/978-3-642-60831-5\_24}, timestamp = {Tue, 23 May 2017 01:10:32 +0200}, biburl = {https://dblp.org/rec/conf/gi/Ehrig97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/HeckelEWC97, author = {Reiko Heckel and Hartmut Ehrig and Uwe Wolter and Andrea Corradini}, editor = {Igor Pr{\'{\i}}vara and Peter Ruzicka}, title = {Integrating the Specification Techniques of Graph Transformation and Temporal Logic}, booktitle = {Mathematical Foundations of Computer Science 1997, 22nd International Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1295}, pages = {219--228}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0029965}, doi = {10.1007/BFB0029965}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/HeckelEWC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/EhrigM97, author = {Hartmut Ehrig and Bernd Mahr}, editor = {Michel Bidoit and Max Dauchet}, title = {Future Trends of {TAPSOFT}}, booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1214}, pages = {6--10}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0030583}, doi = {10.1007/BFB0030583}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/EhrigM97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wadt/EhrigGW97, author = {Hartmut Ehrig and Magdalena Gajewsky and Uwe Wolter}, editor = {Francesco Parisi{-}Presicce}, title = {From abstract data types to algebraic development techniques: {A} shift of paradigms}, booktitle = {Recent Trends in Algebraic Development Techniques, 12th International Workshop, WADT'97, Tarquinia, Italy, June 1997, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1376}, pages = {1--17}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-64299-4\_25}, doi = {10.1007/3-540-64299-4\_25}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/wadt/EhrigGW97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/gg/CorradiniMREHL97, author = {Andrea Corradini and Ugo Montanari and Francesca Rossi and Hartmut Ehrig and Reiko Heckel and Michael L{\"{o}}we}, editor = {Grzegorz Rozenberg}, title = {Algebraic Approaches to Graph Transformation - Part {I:} Basic Concepts and Double Pushout Approach}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}, pages = {163--246}, publisher = {World Scientific}, year = {1997}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gg/CorradiniMREHL97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:conf/gg/EhrigHKLRWC97, author = {Hartmut Ehrig and Reiko Heckel and Martin Korff and Michael L{\"{o}}we and Leila Ribeiro and Annika Wagner and Andrea Corradini}, editor = {Grzegorz Rozenberg}, title = {Algebraic Approaches to Graph Transformation - Part {II:} Single Pushout Approach and Comparison with Double Pushout Approach}, booktitle = {Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations}, pages = {247--312}, publisher = {World Scientific}, year = {1997}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigHKLRWC97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigM96, author = {Hartmut Ehrig and Bernd Mahr}, title = {Algebraic Techniques in Software Development}, journal = {Bull. {EATCS}}, volume = {58}, year = {1996}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigM96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigW96, author = {Hartmut Ehrig and Uwe Wolter}, title = {The Impact and Future Role of Algebraic Specification}, journal = {Bull. {EATCS}}, volume = {60}, pages = {74--77}, year = {1996}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigW96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/HeckelCEL96, author = {Reiko Heckel and Andrea Corradini and Hartmut Ehrig and Michael L{\"{o}}we}, title = {Horizontal and Vertical Structuring of Typed Graph Transformation Systems}, journal = {Math. Struct. Comput. Sci.}, volume = {6}, number = {6}, pages = {613--648}, year = {1996}, url = {https://doi.org/10.1017/s0960129500070110}, doi = {10.1017/S0960129500070110}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/HeckelCEL96.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tagt/1994, editor = {Janice E. Cuny and Hartmut Ehrig and Gregor Engels and Grzegorz Rozenberg}, title = {Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1073}, publisher = {Springer}, year = {1996}, url = {https://doi.org/10.1007/3-540-61228-9}, doi = {10.1007/3-540-61228-9}, isbn = {3-540-61228-9}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tagt/1994.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigKO95, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Fernando Orejas}, title = {Correctness of actualization for parameterized implementation concepts based on constructors and abstractors}, journal = {Bull. {EATCS}}, volume = {56}, year = {1995}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigKO95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigM95, author = {Hartmut Ehrig and Bernd Mahr}, title = {Theory and Practice of Software Development: {A} Review of Driving Forces and Expectations}, journal = {Bull. {EATCS}}, volume = {57}, year = {1995}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/JimenezOE95, author = {Rosa M. Jim{\'{e}}nez and Fernando Orejas and Hartmut Ehrig}, title = {Compositionality and Compatibility of Parameterization and Parameter Passing in Specification Languages}, journal = {Math. Struct. Comput. Sci.}, volume = {5}, number = {2}, pages = {283--314}, year = {1995}, url = {https://doi.org/10.1017/S0960129500000748}, doi = {10.1017/S0960129500000748}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/JimenezOE95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/PadbergER95, author = {Julia Padberg and Hartmut Ehrig and Leila Ribeiro}, title = {Algebraic High-Level Net Transformation Systems}, journal = {Math. Struct. Comput. Sci.}, volume = {5}, number = {2}, pages = {217--256}, year = {1995}, url = {https://doi.org/10.1017/S0960129500000724}, doi = {10.1017/S0960129500000724}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/PadbergER95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compass/EhrigGW95, author = {Hartmut Ehrig and Martin Gro{\ss}e{-}Rhode and Uwe Wolter}, editor = {Magne Haveraaen and Olaf Owe and Ole{-}Johan Dahl}, title = {On the Role of Category Theory in the Area of Algebraic Specification}, booktitle = {Recent Trends in Data Type Specification, 11th Workshop on Specification of Abstract Data Types Joint with the 8th {COMPASS} Workshop, Oslo, Norway, September 19-23, 1995, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1130}, pages = {17--48}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-61629-2\_34}, doi = {10.1007/3-540-61629-2\_34}, timestamp = {Sat, 30 Sep 2023 09:37:34 +0200}, biburl = {https://dblp.org/rec/conf/compass/EhrigGW95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/EhrigM95, author = {Hartmut Ehrig and Bernd Mahr}, editor = {Peter D. Mosses and Mogens Nielsen and Michael I. Schwartzbach}, title = {A Decade of {TAPSOFT:} Aspects of Process and Prospects in Theory and Practice of Software Development}, booktitle = {TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {915}, pages = {3--24}, publisher = {Springer}, year = {1995}, url = {https://doi.org/10.1007/3-540-59293-8\_184}, doi = {10.1007/3-540-59293-8\_184}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/EhrigM95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/Ehrig95, author = {Hartmut Ehrig}, editor = {Andrea Corradini and Ugo Montanari}, title = {Introduction to {COMPUGRAPH}}, booktitle = {Joint {COMPUGRAPH/SEMAGRAPH} Workshop on Graph Rewriting and Computation, {SEGRAGRA} 1995, Volterra, Italy, August 28 - September 1, 1995}, series = {Electronic Notes in Theoretical Computer Science}, volume = {2}, pages = {89--100}, publisher = {Elsevier}, year = {1995}, url = {https://doi.org/10.1016/S1571-0661(05)80185-9}, doi = {10.1016/S1571-0661(05)80185-9}, timestamp = {Fri, 11 Nov 2022 13:14:20 +0100}, biburl = {https://dblp.org/rec/journals/entcs/Ehrig95.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig94, author = {Hartmut Ehrig}, title = {{FLEX:} {A} Flexible Extension and Integration Concept for Software Development in SORSo and {COMPASS}}, journal = {Bull. {EATCS}}, volume = {52}, pages = {188--202}, year = {1994}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigO94, author = {Hartmut Ehrig and Fernando Orejas}, title = {Dynamic Abstract Data Types: An informal Proposal}, journal = {Bull. {EATCS}}, volume = {53}, pages = {162--169}, year = {1994}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigO94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigP94, author = {Hartmut Ehrig and Julia Padberg}, title = {Linking Algebraic High level Nets and Dynamic Abstract Data}, journal = {Bull. {EATCS}}, volume = {54}, pages = {132--144}, year = {1994}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrigG94, author = {Hartmut Ehrig and Martin Gro{\ss}e{-}Rhode}, title = {Functorial Theory of Parameterized Specifications in a General Specification Framework}, journal = {Theor. Comput. Sci.}, volume = {135}, number = {2}, pages = {221--266}, year = {1994}, url = {https://doi.org/10.1016/0304-3975(94)90110-4}, doi = {10.1016/0304-3975(94)90110-4}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EhrigG94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compass/EhrigLO94, author = {Hartmut Ehrig and Michael L{\"{o}}we and Fernando Orejas}, editor = {Egidio Astesiano and Gianna Reggio and Andrzej Tarlecki}, title = {Dynamic Abstract Data Types Based on Algebraic Graph Transformations}, booktitle = {Recent Trends in Data Type Specification, 10th Workshop on Specification of Abstract Data Types Joint with the 5th {COMPASS} Workshop, S. Margherita, Italy, May 30 - June 3, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {906}, pages = {236--254}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/BFb0014431}, doi = {10.1007/BFB0014431}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/compass/EhrigLO94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/OrejasPE94, author = {Fernando Orejas and Elvira Pino and Hartmut Ehrig}, editor = {Igor Pr{\'{\i}}vara and Branislav Rovan and Peter Ruzicka}, title = {Algebraic Methods in the Compositional Analysis of Logic Programs}, booktitle = {Mathematical Foundations of Computer Science 1994, 19th International Symposium, MFCS'94, Kosice, Slovakia, August 22 - 26, 1994, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {841}, pages = {112--126}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-58338-6\_62}, doi = {10.1007/3-540-58338-6\_62}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/OrejasPE94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/procomet/CorradiniELMR94, author = {Andrea Corradini and Hartmut Ehrig and Michael L{\"{o}}we and Ugo Montanari and Francesca Rossi}, editor = {Ernst{-}R{\"{u}}diger Olderog}, title = {An Event Structure Semantics for Safe Graph Grammars}, booktitle = {Programming Concepts, Methods and Calculi, Proceedings of the {IFIP} {TC2/WG2.1/WG2.2/WG2.3} Working Conference on Programming Concepts, Methods and Calculi {(PROCOMET} '94) San Miniato, Italy, 6-10 June, 1994}, series = {{IFIP} Transactions}, volume = {{A-56}}, pages = {423--444}, publisher = {North-Holland}, year = {1994}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/procomet/CorradiniELMR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/CorradiniELMP94, author = {Andrea Corradini and Hartmut Ehrig and Michael L{\"{o}}we and Ugo Montanari and Julia Padberg}, editor = {Janice E. Cuny and Hartmut Ehrig and Gregor Engels and Grzegorz Rozenberg}, title = {The Category of Typed Graph Grammars and its Adjunctions with Categories}, booktitle = {Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {56--74}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-61228-9\_79}, doi = {10.1007/3-540-61228-9\_79}, timestamp = {Sat, 04 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tagt/CorradiniELMP94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/CorradiniELMR94, author = {Andrea Corradini and Hartmut Ehrig and Michael L{\"{o}}we and Ugo Montanari and Francesca Rossi}, editor = {Janice E. Cuny and Hartmut Ehrig and Gregor Engels and Grzegorz Rozenberg}, title = {An Event Structure Semantics for Graph Grammars with Parallel Productions}, booktitle = {Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {240--256}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-61228-9\_91}, doi = {10.1007/3-540-61228-9\_91}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tagt/CorradiniELMR94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tagt/EhrigE94, author = {Hartmut Ehrig and Gregor Engels}, editor = {Janice E. Cuny and Hartmut Ehrig and Gregor Engels and Grzegorz Rozenberg}, title = {Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems}, booktitle = {Graph Gramars and Their Application to Computer Science, 5th International Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {1073}, pages = {137--154}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-61228-9\_84}, doi = {10.1007/3-540-61228-9\_84}, timestamp = {Mon, 22 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tagt/EhrigE94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/compass/1992, editor = {Hartmut Ehrig}, title = {Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {785}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-57867-6}, doi = {10.1007/3-540-57867-6}, isbn = {3-540-57867-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compass/1992.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/dagstuhl/1993gtcs, editor = {Hans J{\"{u}}rgen Schneider and Hartmut Ehrig}, title = {Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {776}, publisher = {Springer}, year = {1994}, url = {https://doi.org/10.1007/3-540-57787-4}, doi = {10.1007/3-540-57787-4}, isbn = {3-540-57787-4}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/1993gtcs.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/amast/ClassenEW93, author = {Ingo Cla{\ss}en and Hartmut Ehrig and Dietmar Wolz}, title = {Algebraic Specification Techniques and Tools for Software Development: The Act Approach}, series = {{AMAST} Series in Computing}, volume = {1}, publisher = {World Scientific}, year = {1993}, url = {https://doi.org/10.1142/1877}, doi = {10.1142/1877}, isbn = {978-981-02-1227-8}, timestamp = {Tue, 16 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/amast/ClassenEW93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acs/EhrigL93, author = {Hartmut Ehrig and Michael L{\"{o}}we}, title = {Categorical principles, techniques and results for high-level-replacement systems in computer science}, journal = {Appl. Categorical Struct.}, volume = {1}, number = {1}, pages = {21--50}, year = {1993}, url = {https://doi.org/10.1007/BF00872984}, doi = {10.1007/BF00872984}, timestamp = {Tue, 29 Sep 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acs/EhrigL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrigL93, author = {Hartmut Ehrig and Michael L{\"{o}}we}, title = {The {ESPRIT} Basic Research Working Group {COMPUGRAPH} "Computing by Graph Transformation": {A} Survey}, journal = {Theor. Comput. Sci.}, volume = {109}, number = {1{\&}2}, pages = {3--6}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90062-X}, doi = {10.1016/0304-3975(93)90062-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EhrigL93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrigL93a, author = {Hartmut Ehrig and Michael L{\"{o}}we}, title = {Parallel and Distributed Derivations in the Single-Pushout Approach}, journal = {Theor. Comput. Sci.}, volume = {109}, number = {1{\&}2}, pages = {123--143}, year = {1993}, url = {https://doi.org/10.1016/0304-3975(93)90066-3}, doi = {10.1016/0304-3975(93)90066-3}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EhrigL93a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/EhrigP93, author = {Hartmut Ehrig and Francesco Parisi{-}Presicce}, editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo}, title = {Interaction between Algebraic Specification Grammars and Modular System Design}, booktitle = {Algebraic Methodology and Software Technology {(AMAST} '93), Proceedings of the Third International Conference on Methodology and Software Technology, University of Twente, Enschede, The Netherlands, 21-25 June, 1993}, series = {Workshops in Computing}, pages = {217--224}, publisher = {Springer}, year = {1993}, timestamp = {Tue, 18 Feb 2003 11:00:12 +0100}, biburl = {https://dblp.org/rec/conf/amast/EhrigP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/CorradiniELMR93, author = {Andrea Corradini and Hartmut Ehrig and Michael L{\"{o}}we and Ugo Montanari and Francesca Rossi}, editor = {Hans J{\"{u}}rgen Schneider and Hartmut Ehrig}, title = {Abstract Graph Derivations in the Double Pushout Approach}, booktitle = {Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {86--103}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57787-4\_6}, doi = {10.1007/3-540-57787-4\_6}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/CorradiniELMR93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/CorradiniELMR93a, author = {Andrea Corradini and Hartmut Ehrig and Michael L{\"{o}}we and Ugo Montanari and Francesca Rossi}, editor = {Hans J{\"{u}}rgen Schneider and Hartmut Ehrig}, title = {Jungle Rewriting: an Abstract Description of a Lazy Narrowing Machine}, booktitle = {Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {119--137}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57787-4\_8}, doi = {10.1007/3-540-57787-4\_8}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dagstuhl/CorradiniELMR93a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dagstuhl/EhrigKT93, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Gabriele Taentzer}, editor = {Hans J{\"{u}}rgen Schneider and Hartmut Ehrig}, title = {Canonical Derivaitons for High-Level Replacement Systems}, booktitle = {Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, January 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {776}, pages = {153--169}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-57787-4\_10}, doi = {10.1007/3-540-57787-4\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dagstuhl/EhrigKT93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/Ehrig93, author = {Hartmut Ehrig}, editor = {Horst Reichel}, title = {Combined Algebraic Specification Techniques for Concurrent and Distributed Systems}, booktitle = {Informatik - Wirtschaft - Gesellschaft, 23. Gi-Jahrestagung, Dresden, Germany, 27. September - 1. Oktober 1993}, series = {Informatik Aktuell}, pages = {528--533}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/978-3-642-78486-6\_94}, doi = {10.1007/978-3-642-78486-6\_94}, timestamp = {Tue, 23 May 2017 01:10:33 +0200}, biburl = {https://dblp.org/rec/conf/gi/Ehrig93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sbes/0001EP93, author = {Leila Ribeiro and Hartmut Ehrig and Julia Padberg}, editor = {Julio C{\'{e}}sar Sampaio do Prado Leite and Ana Regina Cavalcanti da Rocha and Cl{\'{a}}udia L. R. Motta and Marcelo Gattass and Pedro Manoel da Silveira and Roberto Antonio Rodrigues de Almeida}, title = {Formal Development of Concurrent Systems using Algebraic High-Level Nets and Transformations}, booktitle = {Proceedings of the 7th Brazilian Symposium on Software Engineering, {SBES} 1993, Rio de Janeiro, RJ, Brazil, October 27-29, 1993}, pages = {1--16}, publisher = {{SBC}}, year = {1993}, url = {https://doi.org/10.5753/sbes.1993.24392}, doi = {10.5753/SBES.1993.24392}, timestamp = {Tue, 06 Feb 2024 14:19:46 +0100}, biburl = {https://dblp.org/rec/conf/sbes/0001EP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/EhrigJO93, author = {Hartmut Ehrig and Rosa M. Jim{\'{e}}nez and Fernando Orejas}, editor = {Marie{-}Claude Gaudel and Jean{-}Pierre Jouannaud}, title = {Compositionality Results for Different Types of Parameterization and Parameter Passing in Specification Languages}, booktitle = {TAPSOFT'93: Theory and Practice of Software Development, International Joint Conference CAAP/FASE, Orsay, France, April 13-17, 1993, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {668}, pages = {31--45}, publisher = {Springer}, year = {1993}, url = {https://doi.org/10.1007/3-540-56610-4\_54}, doi = {10.1007/3-540-56610-4\_54}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/EhrigJO93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/wsscs/Ehrig93, author = {Hartmut Ehrig}, editor = {Grzegorz Rozenberg and Arto Salomaa}, title = {Algebraic Specification}, booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {49--50}, publisher = {World Scientific}, year = {1993}, url = {https://doi.org/10.1142/9789812794499\_others02}, doi = {10.1142/9789812794499\_OTHERS02}, timestamp = {Mon, 13 Mar 2017 16:29:04 +0100}, biburl = {https://dblp.org/rec/series/wsscs/Ehrig93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/wsscs/Ehrig93a, author = {Hartmut Ehrig}, editor = {Grzegorz Rozenberg and Arto Salomaa}, title = {ESF-Concepts Linked with Algebraic Module Specifications}, booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {121--128}, publisher = {World Scientific}, year = {1993}, url = {https://doi.org/10.1142/9789812794499\_0008}, doi = {10.1142/9789812794499\_0008}, timestamp = {Mon, 13 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/wsscs/Ehrig93a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/wsscs/Ehrig93b, author = {Hartmut Ehrig}, editor = {Grzegorz Rozenberg and Arto Salomaa}, title = {Concepts and Compatibility Requirements for Implementations and Transformations of Specifications}, booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {133--148}, publisher = {World Scientific}, year = {1993}, url = {https://doi.org/10.1142/9789812794499\_0010}, doi = {10.1142/9789812794499\_0010}, timestamp = {Mon, 13 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/wsscs/Ehrig93b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/wsscs/EhrigA93, author = {Hartmut Ehrig and Michael A. Arbib}, editor = {Grzegorz Rozenberg and Arto Salomaa}, title = {Linking Schemas and Module Specifications: a Proposal}, booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {129--132}, publisher = {World Scientific}, year = {1993}, url = {https://doi.org/10.1142/9789812794499\_0009}, doi = {10.1142/9789812794499\_0009}, timestamp = {Mon, 13 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/wsscs/EhrigA93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/wsscs/EhrigA93a, author = {Hartmut Ehrig and Helmut Adametz}, editor = {Grzegorz Rozenberg and Arto Salomaa}, title = {New Compatibility Results for Implementations within the Initial Algebraic Approach}, booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {149--160}, publisher = {World Scientific}, year = {1993}, url = {https://doi.org/10.1142/9789812794499\_0011}, doi = {10.1142/9789812794499\_0011}, timestamp = {Mon, 13 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/wsscs/EhrigA93a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/wsscs/EhrigBO93, author = {Hartmut Ehrig and Michael Baldamus and Fernando Orejas}, editor = {Grzegorz Rozenberg and Arto Salomaa}, title = {New Concepts for Amalgamation and Extension in the Framework of Specification Logics}, booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {161--182}, publisher = {World Scientific}, year = {1993}, url = {https://doi.org/10.1142/9789812794499\_0012}, doi = {10.1142/9789812794499\_0012}, timestamp = {Mon, 13 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/wsscs/EhrigBO93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/wsscs/EhrigC93, author = {Hartmut Ehrig and Ingo Cla{\ss}en}, editor = {Grzegorz Rozenberg and Arto Salomaa}, title = {Overview of Algebraic Specification Languages, Environments and Tools, and Algebraic Specifications of Software Systems}, booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {82--110}, publisher = {World Scientific}, year = {1993}, url = {https://doi.org/10.1142/9789812794499\_0005}, doi = {10.1142/9789812794499\_0005}, timestamp = {Mon, 13 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/wsscs/EhrigC93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/wsscs/EhrigP93, author = {Hartmut Ehrig and Peter Pepper}, editor = {Grzegorz Rozenberg and Arto Salomaa}, title = {On the potential Role of Algebraic Specification within Computer Science}, booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {51--53}, publisher = {World Scientific}, year = {1993}, url = {https://doi.org/10.1142/9789812794499\_0002}, doi = {10.1142/9789812794499\_0002}, timestamp = {Mon, 13 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/wsscs/EhrigP93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@incollection{DBLP:series/wsscs/Grobetae-RhodeE93, author = {Martin Gro{\ss}e{-}Rhode and Hartmut Ehrig}, editor = {Grzegorz Rozenberg and Arto Salomaa}, title = {Restriction Constructions in Specification Logics}, booktitle = {Current Trends in Theoretical Computer Science - Essays and Tutorials}, series = {World Scientific Series in Computer Science}, volume = {40}, pages = {195--201}, publisher = {World Scientific}, year = {1993}, url = {https://doi.org/10.1142/9789812794499\_0014}, doi = {10.1142/9789812794499\_0014}, timestamp = {Mon, 13 Mar 2017 00:00:00 +0100}, biburl = {https://dblp.org/rec/series/wsscs/Grobetae-RhodeE93.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/EhrigMCO92, author = {Hartmut Ehrig and Bernd Mahr and Ingo Cla{\ss}en and Fernando Orejas}, title = {Introduction to Algebraic Specification. Part 1: Formal Methods for Software Development}, journal = {Comput. J.}, volume = {35}, number = {5}, pages = {460--467}, year = {1992}, url = {https://doi.org/10.1093/comjnl/35.5.460}, doi = {10.1093/COMJNL/35.5.460}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/EhrigMCO92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/EhrigMCO92a, author = {Hartmut Ehrig and Bernd Mahr and Ingo Cla{\ss}en and Fernando Orejas}, title = {Introduction to Algebraic Specification. Part 2: From Classical View to Foundations of System Specifications}, journal = {Comput. J.}, volume = {35}, number = {5}, pages = {468--477}, year = {1992}, url = {https://doi.org/10.1093/comjnl/35.5.468}, doi = {10.1093/COMJNL/35.5.468}, timestamp = {Wed, 14 Jun 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/EhrigMCO92a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig92, author = {Hartmut Ehrig}, title = {Some important new facts supporting the development of algebraic specifications}, journal = {Bull. {EATCS}}, volume = {47}, pages = {135--136}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Grosse-RhodeE92, author = {Martin Gro{\ss}e{-}Rhode and Hartmut Ehrig}, title = {Restriction Constructions in Specification Logics}, journal = {Bull. {EATCS}}, volume = {46}, pages = {84--89}, year = {1992}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Grosse-RhodeE92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/alp/EhrigP92, author = {Hartmut Ehrig and Francesco Parisi{-}Presicce}, editor = {H{\'{e}}l{\`{e}}ne Kirchner and Giorgio Levi}, title = {High-Level-Replacement Systems for Equational Algebraic Specifications}, booktitle = {Algebraic and Logic Programming, Third International Conference, Volterra, Italy, September 2-4, 1992, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {632}, pages = {3--20}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/BFb0013816}, doi = {10.1007/BFB0013816}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/alp/EhrigP92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/EhrigL92, author = {Hartmut Ehrig and Michael L{\"{o}}we}, editor = {Hans{-}J{\"{o}}rg Kreowski}, title = {From Parallel to Distributed Derivations of Graphs in the Single-Pushout-Approach}, booktitle = {Informatik zwischen Wissenschaft und Gesellschaft, Zur Erinnerung an Reinhold Franck}, series = {Informatik-Fachberichte}, volume = {309}, pages = {47--65}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/978-3-642-77449-2\_3}, doi = {10.1007/978-3-642-77449-2\_3}, timestamp = {Tue, 23 May 2017 01:06:47 +0200}, biburl = {https://dblp.org/rec/conf/birthday/EhrigL92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compass/EhrigPR92, author = {Hartmut Ehrig and Julia Padberg and Leila Ribeiro}, editor = {Hartmut Ehrig}, title = {Algebraic High-Level Nets: Petri Nets Revisited}, booktitle = {Recent Trends in Data Type Specification, 9th Workshop on Specification of Abstract Data Types Joint with the 4th {COMPASS} Workshop, Caldes de Malavella, Spain, October 26-30, 1992, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {785}, pages = {188--206}, publisher = {Springer}, year = {1992}, url = {https://doi.org/10.1007/3-540-57867-6\_11}, doi = {10.1007/3-540-57867-6\_11}, timestamp = {Mon, 02 Dec 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compass/EhrigPR92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrichBO91, author = {Hartmut Ehrig and Michael Baldamus and Fernando Orejas}, title = {Amalgamation and Extension in the Framework of Specification Logics and Generalized Morphisms}, journal = {Bull. {EATCS}}, volume = {44}, pages = {129--143}, year = {1991}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrichBO91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigA91, author = {Hartmut Ehrig and Helmut Adametz}, title = {New Compatibility Results for Implementations within the Initial Algebraic Approach}, journal = {Bull. {EATCS}}, volume = {43}, pages = {102--112}, year = {1991}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigA91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mscs/EhrigHKP91, author = {Hartmut Ehrig and Annegret Habel and Hans{-}J{\"{o}}rg Kreowski and Francesco Parisi{-}Presicce}, title = {Parallelism and Concurrency in High-Level Replacement Systems}, journal = {Math. Struct. Comput. Sci.}, volume = {1}, number = {3}, pages = {361--404}, year = {1991}, url = {https://doi.org/10.1017/S0960129500001353}, doi = {10.1017/S0960129500001353}, timestamp = {Wed, 01 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mscs/EhrigHKP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/amast/EhrigBCO91, author = {Hartmut Ehrig and Michael Baldamus and Felix Cornelius and Fernando Orejas}, editor = {Maurice Nivat and Charles Rattray and Teodor Rus and Giuseppe Scollo}, title = {Theory of Algebraic Module Specification including Behavioral Semantics and Constraints}, booktitle = {Algebraic Methodology and Software Technology {(AMAST} '91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991}, series = {Workshops in Computing}, pages = {145--172}, publisher = {Springer}, year = {1991}, timestamp = {Tue, 18 Feb 2003 11:01:41 +0100}, biburl = {https://dblp.org/rec/conf/amast/EhrigBCO91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compass/EhrigBO91, author = {Hartmut Ehrig and Michael Baldamus and Fernando Orejas}, editor = {Michel Bidoit and Christine Choppy}, title = {New Concepts of Amalgamation and Extension for a General Theory of Specifications}, booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan, France, August 26-30, 1991, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {655}, pages = {199--221}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-56379-2\_41}, doi = {10.1007/3-540-56379-2\_41}, timestamp = {Tue, 14 May 2019 10:00:54 +0200}, biburl = {https://dblp.org/rec/conf/compass/EhrigBO91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compass/EhrigP91, author = {Hartmut Ehrig and Francesco Parisi{-}Presicce}, editor = {Michel Bidoit and Christine Choppy}, title = {Non-Equivalence of Categories for Equational Algebraic Specifications}, booktitle = {Recent Trends in Data Type Specification, 8th Workshop on Specification of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan, France, August 26-30, 1991, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {655}, pages = {222--235}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-56379-2\_42}, doi = {10.1007/3-540-56379-2\_42}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compass/EhrigP91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tapsoft/LoweEFJ91, author = {Michael L{\"{o}}we and Hartmut Ehrig and Werner Fey and Dean Jacobs}, editor = {Samson Abramsky and T. S. E. Maibaum}, title = {On the Relationship Between Algebraic Module Specifications and Program Modules}, booktitle = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Brighton, UK, April 8-12, 1991, Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium on Combining Paradigms for Software Developmemnt {(CCPSD)}}, series = {Lecture Notes in Computer Science}, volume = {494}, pages = {83--98}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3540539816\_62}, doi = {10.1007/3540539816\_62}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/LoweEFJ91.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/adt/1990, editor = {Hartmut Ehrig and Klaus P. Jantke and Fernando Orejas and Horst Reichel}, title = {Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990}, series = {Lecture Notes in Computer Science}, volume = {534}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/3-540-54496-8}, doi = {10.1007/3-540-54496-8}, isbn = {3-540-54496-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/1990.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/1990, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, publisher = {Springer}, year = {1991}, url = {https://doi.org/10.1007/BFb0017372}, doi = {10.1007/BFB0017372}, isbn = {3-540-54478-X}, timestamp = {Fri, 17 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/1990.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:series/eatcs/EhrigM90, author = {Hartmut Ehrig and Bernd Mahr}, title = {Fundamentals of Algebraic Specification 2}, series = {{EATCS} Monographs on Theoretical Computer Science}, volume = {21}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/978-3-642-61284-8}, doi = {10.1007/978-3-642-61284-8}, isbn = {978-3-642-64776-5}, timestamp = {Fri, 17 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/series/eatcs/EhrigM90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig90, author = {Hartmut Ehrig}, title = {ESF-concepts linked with algebraic module specifications}, journal = {Bull. {EATCS}}, volume = {41}, pages = {138--144}, year = {1990}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigA90, author = {Hartmut Ehrig and Michael A. Arbib}, title = {Linking Schemas and Module Specifications: {A} Proposal}, journal = {Bull. {EATCS}}, volume = {42}, pages = {135}, year = {1990}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigA90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigC90, author = {Hartmut Ehrig and Ingo Cla{\ss}en}, title = {Overview of algebraic specification languages, enviroments and tools, and algebraic specifications of software systems(Part 3)}, journal = {Bull. {EATCS}}, volume = {41}, pages = {145--153}, year = {1990}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigC90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigC90a, author = {Hartmut Ehrig and Ingo Cla{\ss}en}, title = {Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems}, journal = {Bull. {EATCS}}, volume = {40}, pages = {172--181}, year = {1990}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigC90a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrigFHLJP90, author = {Hartmut Ehrig and Werner Fey and Horst Hansen and Michael L{\"{o}}we and Dean Jacobs and Francesco Parisi{-}Presicce}, title = {Compatibility Problems in the Development of Algebraic Module Specifications}, journal = {Theor. Comput. Sci.}, volume = {77}, number = {1{\&}2}, pages = {27--71}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90115-X}, doi = {10.1016/0304-3975(90)90115-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EhrigFHLJP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrigPBRDG90, author = {Hartmut Ehrig and Francesco Parisi{-}Presicce and Paul Boehm and Catharina Rieckhoff and Christian Dimitrovici and Martin Gro{\ss}e{-}Rhode}, title = {Combining Data Type and Recursive Process Specifications Using Projection Algebras}, journal = {Theor. Comput. Sci.}, volume = {71}, number = {3}, pages = {347--380}, year = {1990}, url = {https://doi.org/10.1016/0304-3975(90)90049-N}, doi = {10.1016/0304-3975(90)90049-N}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EhrigPBRDG90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/EhrigP90, author = {Hartmut Ehrig and Francesco Parisi{-}Presicce}, editor = {Hartmut Ehrig and Klaus P. Jantke and Fernando Orejas and Horst Reichel}, title = {A Match Operation for Rule-Based Modular System Design}, booktitle = {Recent Trends in Data Type Specification, Proceedings 7th Workshop on Abstract Data Types, Wusterhausen, Dosse, Germany, April 17-20, 1990}, series = {Lecture Notes in Computer Science}, volume = {534}, pages = {74--97}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-54496-8\_5}, doi = {10.1007/3-540-54496-8\_5}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/adt/EhrigP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/CorradiniMREL90, author = {Andrea Corradini and Ugo Montanari and Francesca Rossi and Hartmut Ehrig and Michael L{\"{o}}we}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Graph Grammars and Logic Programming}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {221--237}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017392}, doi = {10.1007/BFB0017392}, timestamp = {Tue, 23 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/gg/CorradiniMREL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigHKP90, author = {Hartmut Ehrig and Annegret Habel and Hans{-}J{\"{o}}rg Kreowski and Francesco Parisi{-}Presicce}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {From Graph Grammars to High Level Replacement Systems}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {269--291}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017395}, doi = {10.1007/BFB0017395}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigHKP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigKL90, author = {Hartmut Ehrig and Martin Korff and Michael L{\"{o}}we}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Tutorial Introduction to the Algebraic Approach of Graph Grammars Based on Double and Single Pushouts}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {24--37}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017375}, doi = {10.1007/BFB0017375}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigKL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigL90, author = {Hartmut Ehrig and Michael L{\"{o}}we}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Computing by Graph Transformation: Overall Aims and New Results}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {688--703}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017422}, doi = {10.1007/BFB0017422}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigL90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhringP90, author = {Hartmut Ehrig and Francesco Parisi{-}Presicce}, editor = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg}, title = {Algebraic Specification Grammars: {A} Junction between Module Specifications and Graph Grammars}, booktitle = {Graph-Grammars and Their Application to Computer Science, 4th International Workshop, Bremen, Germany, March 5-9, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {532}, pages = {292--310}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/BFb0017396}, doi = {10.1007/BFB0017396}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhringP90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/LoweE90, author = {Michael L{\"{o}}we and Hartmut Ehrig}, editor = {Rolf H. M{\"{o}}hring}, title = {Algebraic Approach to Graph Transformation Based on Single Pushout Derivations}, booktitle = {Graph-Theoretic Concepts in Computer Science, 16rd International Workshop, {WG} '90, Berlin, Germany, June 20-22, 1990, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {484}, pages = {338--353}, publisher = {Springer}, year = {1990}, url = {https://doi.org/10.1007/3-540-53832-1\_52}, doi = {10.1007/3-540-53832-1\_52}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/wg/LoweE90.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig89, author = {Hartmut Ehrig}, title = {The Algebraic Specification Column}, journal = {Bull. {EATCS}}, volume = {38}, pages = {79--92}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigC89, author = {Hartmut Ehrig and Ingo Cla{\ss}en}, title = {Overview of Algebraic Specification Languages Environments and Tools, and Algebraic Specifications of Software Systems}, journal = {Bull. {EATCS}}, volume = {39}, pages = {103--111}, year = {1989}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigC89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eik/EhrigFHLJLP89, author = {Hartmut Ehrig and Werner Fey and Horst Hansen and Michael L{\"{o}}we and Dean Jacobs and Anno Langen and Francesco Parisi{-}Presicce}, title = {Algebraic Specification of Modules and Configuration Families}, journal = {J. Inf. Process. Cybern.}, volume = {25}, number = {5/6}, pages = {205--232}, year = {1989}, timestamp = {Fri, 06 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/eik/EhrigFHLJLP89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fsttcs/EhrigFHLJ89, author = {Hartmut Ehrig and Werner Fey and Horst Hansen and Michael L{\"{o}}we and Dean Jacobs}, editor = {C. E. Veni Madhavan}, title = {Algebraic Software Development Concepts for Module and Configuration Families}, booktitle = {Foundations of Software Technology and Theoretical Computer Science, Ninth Conference, Bangalore, India, December 19-21, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {405}, pages = {181--192}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-52048-1\_43}, doi = {10.1007/3-540-52048-1\_43}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/fsttcs/EhrigFHLJ89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EhrigPO89, author = {Hartmut Ehrig and Peter Pepper and Fernando Orejas}, editor = {Giorgio Ausiello and Mariangiola Dezani{-}Ciancaglini and Simona Ronchi Della Rocca}, title = {On Recent Trends in Algebraic Specification}, booktitle = {Automata, Languages and Programming, 16th International Colloquium, ICALP89, Stresa, Italy, July 11-15, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {372}, pages = {263--288}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/BFb0035766}, doi = {10.1007/BFB0035766}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EhrigPO89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rex/Grosse-RhodeE89, author = {Martin Gro{\ss}e{-}Rhode and Hartmut Ehrig}, editor = {J. W. de Bakker and Willem P. de Roever and Grzegorz Rozenberg}, title = {Transformation of Combined Data Type and Process Specifications Using Projection Algebras}, booktitle = {Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, {REX} Workshop, Mook, The Netherlands, May 29 - June 2, 1989, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {430}, pages = {301--339}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-52559-9\_69}, doi = {10.1007/3-540-52559-9\_69}, timestamp = {Fri, 17 Jul 2020 16:12:47 +0200}, biburl = {https://dblp.org/rec/conf/rex/Grosse-RhodeE89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/softent/EhrigCBFKL89, author = {Hartmut Ehrig and Ingo Cla{\ss}en and Paul Boehm and Werner Fey and Martin Korff and Michael L{\"{o}}we}, editor = {Wolfram{-}Manfred Lippe}, title = {Algebraic Concepts for Software Development in {ACT} ONE, {ACT} {TWO} and {LOTOS} (eingeladener Vortrag)}, booktitle = {Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, veranstaltet vom Fachausschlu{\ss} 2.1 der GI, Marburg, 21.-23. Juni 1989, Proceedings}, series = {Informatik-Fachberichte}, volume = {212}, pages = {201--224}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/978-3-642-74872-1\_14}, doi = {10.1007/978-3-642-74872-1\_14}, timestamp = {Sun, 21 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/softent/EhrigCBFKL89.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/category/1988, editor = {Hartmut Ehrig and Horst Herrlich and Hans{-}J{\"{o}}rg Kreowski and Gerhard Preu{\ss}}, title = {Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]}, series = {Lecture Notes in Computer Science}, volume = {393}, publisher = {Springer}, year = {1989}, url = {https://doi.org/10.1007/3-540-51722-7}, doi = {10.1007/3-540-51722-7}, isbn = {3-540-51722-7}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/category/1988.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig88, author = {Hartmut Ehrig}, title = {The Algebraic Specification Column}, journal = {Bull. {EATCS}}, volume = {36}, pages = {52--56}, year = {1988}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig88a, author = {Hartmut Ehrig}, title = {The Algebraic Specification Column}, journal = {Bull. {EATCS}}, volume = {35}, pages = {69--70}, year = {1988}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig88a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig88b, author = {Hartmut Ehrig}, title = {The Algebraic Specification Column}, journal = {Bull. {EATCS}}, volume = {34}, pages = {39--40}, year = {1988}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig88b.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/FeyEHL88, author = {Werner Fey and Hartmut Ehrig and Horst Hansen and Michael L{\"{o}}we}, editor = {Hartmut Ehrig}, title = {Algebraic Theory of Modular Specification Development}, booktitle = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany}, year = {1988}, timestamp = {Fri, 19 Jul 2019 16:40:27 +0200}, biburl = {https://dblp.org/rec/conf/adt/FeyEHL88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/category/Ehrig88, author = {Hartmut Ehrig}, editor = {Hartmut Ehrig and Horst Herrlich and Hans{-}J{\"{o}}rg Kreowski and Gerhard Preu{\ss}}, title = {Categorical Concept of Constraints for Algebraic Specifications}, booktitle = {Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]}, series = {Lecture Notes in Computer Science}, volume = {393}, pages = {1--15}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-51722-7\_1}, doi = {10.1007/3-540-51722-7\_1}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/category/Ehrig88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/category/EhrigFHLP88, author = {Hartmut Ehrig and Werner Fey and Horst Hansen and Michael L{\"{o}}we and Francesco Parisi{-}Presicce}, editor = {Hartmut Ehrig and Horst Herrlich and Hans{-}J{\"{o}}rg Kreowski and Gerhard Preu{\ss}}, title = {Categories for the Development of Algebraic Module Specifications}, booktitle = {Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]}, series = {Lecture Notes in Computer Science}, volume = {393}, pages = {157--184}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-51722-7\_10}, doi = {10.1007/3-540-51722-7\_10}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/category/EhrigFHLP88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/category/HerrlichE88, author = {Horst Herrlich and Hartmut Ehrig}, editor = {Hartmut Ehrig and Horst Herrlich and Hans{-}J{\"{o}}rg Kreowski and Gerhard Preu{\ss}}, title = {The Construct {PRO} of Projection Spaces: Its Internal Structure}, booktitle = {Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]}, series = {Lecture Notes in Computer Science}, volume = {393}, pages = {286--293}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-51722-7\_17}, doi = {10.1007/3-540-51722-7\_17}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/category/HerrlichE88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/category/OrejasNE88, author = {Fernando Orejas and Pilar Nivela and Hartmut Ehrig}, editor = {Hartmut Ehrig and Horst Herrlich and Hans{-}J{\"{o}}rg Kreowski and Gerhard Preu{\ss}}, title = {Semantical Constructions for Categories of Behavioural Specifications}, booktitle = {Categorial Methods in Computer Science: With Aspects from Topology [Workshop, September 1988, Berlin, Germany]}, series = {Lecture Notes in Computer Science}, volume = {393}, pages = {220--243}, publisher = {Springer}, year = {1988}, url = {https://doi.org/10.1007/3-540-51722-7\_13}, doi = {10.1007/3-540-51722-7\_13}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/category/OrejasNE88.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/adt/1988, editor = {Hartmut Ehrig}, title = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany}, year = {1988}, timestamp = {Fri, 19 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/1988.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig87, author = {Hartmut Ehrig}, title = {The Algebraic Specification Column}, journal = {Bull. {EATCS}}, volume = {33}, pages = {25--26}, year = {1987}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/Ehrig87a, author = {Hartmut Ehrig}, title = {The Algebraic Specification Column}, journal = {Bull. {EATCS}}, volume = {32}, pages = {70--72}, year = {1987}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/Ehrig87a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/BlumEP87, author = {Edward K. Blum and Hartmut Ehrig and Francesco Parisi{-}Presicce}, title = {Algebraic Specification of Modules and Their Basic Interconnections}, journal = {J. Comput. Syst. Sci.}, volume = {34}, number = {2/3}, pages = {293--339}, year = {1987}, url = {https://doi.org/10.1016/0022-0000(87)90028-6}, doi = {10.1016/0022-0000(87)90028-6}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/BlumEP87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/WagnerE87, author = {Eric G. Wagner and Hartmut Ehrig}, title = {Canonical Constraints for Parameterized Data Types}, journal = {Theor. Comput. Sci.}, volume = {50}, pages = {323--349}, year = {1987}, url = {https://doi.org/10.1016/0304-3975(87)90119-8}, doi = {10.1016/0304-3975(87)90119-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/WagnerE87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/EhrigPBRDG87, author = {Hartmut Ehrig and Francesco Parisi{-}Presicce and Paul Boehm and Catharina Rieckhoff and Christian Dimitrovici and Martin Gro{\ss}e{-}Rhode}, editor = {Donald Sannella and Andrzej Tarlecki}, title = {Algebraic Data Type and Process Specifications based on Projection Spaces}, booktitle = {Recent Trends in Data Type Specification, 5th Workshop on Abstract Data Types, Gullane, Scotland, UK, September 1-4, 1987, Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {332}, pages = {23--43}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-50325-0\_2}, doi = {10.1007/3-540-50325-0\_2}, timestamp = {Tue, 14 May 2019 10:00:39 +0200}, biburl = {https://dblp.org/rec/conf/adt/EhrigPBRDG87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/Ehrig87, author = {Hartmut Ehrig}, editor = {Herbert G{\"{o}}ttler and Hans J{\"{u}}rgen Schneider}, title = {Distributed Parallelism of Graph Transformations}, booktitle = {Graph-Theoretic Concepts in Computer Science, International Workshop, {WG} '87, Kloster Banz/Staffelstein, Germany, June 29 - July 1, 1987, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {314}, pages = {1--19}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-19422-3\_1}, doi = {10.1007/3-540-19422-3\_1}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/wg/Ehrig87.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/1986, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg and Azriel Rosenfeld}, title = {Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986}, series = {Lecture Notes in Computer Science}, volume = {291}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-18771-5}, doi = {10.1007/3-540-18771-5}, isbn = {3-540-18771-5}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/1986.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tapsoft/1987-1, editor = {Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari}, title = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 1: Advanced Seminar on Foundations of Innovative Software Development {I} and Colloquium on Trees in Algebra and Programming (CAAP'87)}, series = {Lecture Notes in Computer Science}, volume = {249}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/3-540-17660-8}, doi = {10.1007/3-540-17660-8}, isbn = {3-540-17660-8}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/1987-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tapsoft/1987-2, editor = {Hartmut Ehrig and Robert A. Kowalski and Giorgio Levi and Ugo Montanari}, title = {TAPSOFT'87: Proceedings of the International Joint Conference on Theory and Practice of Software Development, Pisa, Italy, March 23-27, 1987, Volume 2: Advanced Seminar on Foundations of Innovative Software Development {II} and Colloquium on Functional and Logic Programming and Specifications {(CFLP)}}, series = {Lecture Notes in Computer Science}, volume = {250}, publisher = {Springer}, year = {1987}, url = {https://doi.org/10.1007/BFb0014968}, doi = {10.1007/BFB0014968}, isbn = {3-540-17611-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/1987-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigHHB86, author = {Hartmut Ehrig and Annegret Habel and Udo Hummert and Paul Boehm}, title = {Towards algebraic data types grammars: a junction between algebraic specification and graph grammars}, journal = {Bull. {EATCS}}, volume = {29}, pages = {22--26}, year = {1986}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigHHB86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/eatcs/EhrigLM86, author = {Hartmut Ehrig and Jacques Loeckx and Bernd Mahr}, title = {A remark on the equational calculus for many-sorted algebras with possibly empty carrier sets}, journal = {Bull. {EATCS}}, volume = {30}, pages = {61--65}, year = {1986}, timestamp = {Thu, 18 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/eatcs/EhrigLM86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tse/WeberE86, author = {Herbert Weber and Hartmut Ehrig}, title = {Specification of Modular Systems}, journal = {{IEEE} Trans. Software Eng.}, volume = {12}, number = {7}, pages = {784--798}, year = {1986}, url = {https://doi.org/10.1109/TSE.1986.6312979}, doi = {10.1109/TSE.1986.6312979}, timestamp = {Wed, 17 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tse/WeberE86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/Ehrig86, author = {Hartmut Ehrig}, editor = {Klaus Drosten and Hans{-}Dieter Ehrich and Martin Gogolla and Udo W. Lipeck}, title = {Towards an Algebraic Semantics of the {ISO} Specification Language {LOTOS}}, booktitle = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University of Braunschweig, Germany}, year = {1986}, timestamp = {Fri, 19 Jul 2019 16:40:26 +0200}, biburl = {https://dblp.org/rec/conf/adt/Ehrig86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/BoehmEHL86, author = {Paul Boehm and Hartmut Ehrig and Udo Hummert and Michael L{\"{o}}we}, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg and Azriel Rosenfeld}, title = {Towards distributed graph grammars}, booktitle = {Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {86--98}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18771-5\_47}, doi = {10.1007/3-540-18771-5\_47}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/BoehmEHL86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Ehrig86, author = {Hartmut Ehrig}, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg and Azriel Rosenfeld}, title = {Tutorial introduction to the algebraic approach of graph grammars}, booktitle = {Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {3--14}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18771-5\_40}, doi = {10.1007/3-540-18771-5\_40}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/Ehrig86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Parisi-PresicceEM86, author = {Francesco Parisi{-}Presicce and Hartmut Ehrig and Ugo Montanari}, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg and Azriel Rosenfeld}, title = {Graph rewriting with unification and composition}, booktitle = {Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2-6, 1986}, series = {Lecture Notes in Computer Science}, volume = {291}, pages = {496--514}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/3-540-18771-5\_72}, doi = {10.1007/3-540-18771-5\_72}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/Parisi-PresicceEM86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip/EhrigW86, author = {Hartmut Ehrig and Herbert Weber}, editor = {Hans{-}J{\"{u}}rgen Kugler}, title = {Programming in the Large with Algebraic Module Specifications (Invited Paper)}, booktitle = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer Congress, Dublin, Ireland, September 1-5, 1986}, pages = {675--684}, publisher = {North-Holland/IFIP}, year = {1986}, timestamp = {Sun, 28 Jul 2019 12:54:16 +0200}, biburl = {https://dblp.org/rec/conf/ifip/EhrigW86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/EhrigFPB86, author = {Hartmut Ehrig and Werner Fey and Francesco Parisi{-}Presicce and Edward K. Blum}, editor = {Jozef Gruska and Branislav Rovan and Juraj Wiedermann}, title = {Algebraic Theory of Module Specification with Constraints}, booktitle = {Mathematical Foundations of Computer Science 1986, Bratislava, Czechoslovakia, August 25-29, 1996, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {233}, pages = {59--77}, publisher = {Springer}, year = {1986}, url = {https://doi.org/10.1007/BFb0016234}, doi = {10.1007/BFB0016234}, timestamp = {Sat, 30 Sep 2023 09:52:35 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/EhrigFPB86.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/sp/EhrigM85, author = {Hartmut Ehrig and Bernd Mahr}, title = {Fundamentals of Algebraic Specification 1: Equations and Initial Semantics}, series = {{EATCS} Monographs on Theoretical Computer Science}, volume = {6}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/978-3-642-69962-7}, doi = {10.1007/978-3-642-69962-7}, isbn = {3-540-13718-1}, timestamp = {Tue, 26 Nov 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/books/sp/EhrigM85.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tapsoft/1985-1, editor = {Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James W. Thatcher}, title = {Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'85)}, series = {Lecture Notes in Computer Science}, volume = {185}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15198-2}, doi = {10.1007/3-540-15198-2}, isbn = {3-540-15198-2}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/1985-1.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/tapsoft/1985-2, editor = {Hartmut Ehrig and Christiane Floyd and Maurice Nivat and James W. Thatcher}, title = {Mathematical Foundations of Software Development, Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume 2: Colloquium on Software Engineering {(CSE)}}, series = {Lecture Notes in Computer Science}, volume = {186}, publisher = {Springer}, year = {1985}, url = {https://doi.org/10.1007/3-540-15199-0}, doi = {10.1007/3-540-15199-0}, isbn = {3-540-15199-0}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/tapsoft/1985-2.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrigKTWW84, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and James W. Thatcher and Eric G. Wagner and Jesse B. Wright}, title = {Parameter Passing in Algebraic Specification Languages}, journal = {Theor. Comput. Sci.}, volume = {28}, pages = {45--81}, year = {1984}, url = {https://doi.org/10.1016/0304-3975(83)90065-8}, doi = {10.1016/0304-3975(83)90065-8}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EhrigKTWW84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/EhrigFH84, author = {Hartmut Ehrig and Werner Fey and Horst Hansen}, editor = {Hans{-}J{\"{o}}rg Kreowski}, title = {Towards Abstract User Interfaces for Formal System Specifications}, booktitle = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and Applications of Abstract Data Types, Bremen, Germany, November 13-16, 1984, Selected Papers}, series = {Informatik-Fachberichte}, volume = {116}, pages = {73--88}, publisher = {Springer}, year = {1984}, url = {https://doi.org/10.1007/978-3-662-09691-8\_7}, doi = {10.1007/978-3-662-09691-8\_7}, timestamp = {Mon, 18 Jun 2018 21:21:13 +0200}, biburl = {https://dblp.org/rec/conf/adt/EhrigFH84.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrigK83, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski}, title = {Compatibility of Parameter Passing and Implementation of Parameterized Data Types}, journal = {Theor. Comput. Sci.}, volume = {27}, pages = {255--286}, year = {1983}, url = {https://doi.org/10.1016/0304-3975(82)90121-9}, doi = {10.1016/0304-3975(82)90121-9}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EhrigK83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/EhrigFH83, author = {Hartmut Ehrig and Werner Fey and Horst Hansen}, editor = {Manfred Broy and Martin Wirsing}, title = {{ACT} {ONE} - An Algebraic Specification Language with two Levels of Semantics}, booktitle = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of Passau, Germany}, publisher = {University of Passau}, year = {1983}, timestamp = {Fri, 19 Jul 2019 16:40:27 +0200}, biburl = {https://dblp.org/rec/conf/adt/EhrigFH83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EhrigWT83, author = {Hartmut Ehrig and Eric G. Wagner and James W. Thatcher}, editor = {Josep D{\'{\i}}az}, title = {Algebraic Specifications with Generating Constraints}, booktitle = {Automata, Languages and Programming, 10th Colloquium, Barcelona, Spain, July 18-22, 1983, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {154}, pages = {188--202}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/BFb0036909}, doi = {10.1007/BFB0036909}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EhrigWT83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/EhrigH83, author = {Hartmut Ehrig and Annegret Habel}, editor = {Manfred Nagl and J{\"{u}}rgen Perl}, title = {Concurrent Transformations of Graphs and Relational Structures}, booktitle = {Proceedings of the {WG} '83, International Workshop on Graphtheoretic Concepts in Computer Science, June 16-18, 1983, Haus Ohrbeck, near Osnabr{\"{u}}ck, Germany}, pages = {76--88}, publisher = {Universit{\"{a}}tsverlag Rudolf Trauner, Linz}, year = {1983}, timestamp = {Thu, 12 Mar 2020 11:37:19 +0100}, biburl = {https://dblp.org/rec/conf/wg/EhrigH83.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/1982, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg}, title = {Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October 4-8, 1982}, series = {Lecture Notes in Computer Science}, volume = {153}, publisher = {Springer}, year = {1983}, url = {https://doi.org/10.1007/BFb0000094}, doi = {10.1007/BFB0000094}, isbn = {3-540-12310-5}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/1982.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrigKMP82, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Bernd Mahr and Peter Padawitz}, title = {Algebraic Implementation of Abstract Data Types}, journal = {Theor. Comput. Sci.}, volume = {20}, pages = {209--263}, year = {1982}, url = {https://doi.org/10.1016/S0304-3975(82)80001-7}, doi = {10.1016/S0304-3975(82)80001-7}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EhrigKMP82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/Ehrig82, author = {Hartmut Ehrig}, editor = {Hans{-}Dieter Ehrich and Udo W. Lipeck}, title = {{ACT} - Algebraic Specification Technique for the Correct Design of Reliable Software Systems}, booktitle = {Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Germany}, publisher = {University of Dortmund}, year = {1982}, timestamp = {Fri, 19 Jul 2019 16:40:25 +0200}, biburl = {https://dblp.org/rec/conf/adt/Ehrig82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/adt/Ehrig82a, author = {Hartmut Ehrig}, editor = {Hans{-}Dieter Ehrich and Udo W. Lipeck}, title = {Parameterized Data Types and Parameter Passing}, booktitle = {Proceedings 1st Workshop on Abstract Data Type, 1982. University of Dortmund, Germany}, publisher = {University of Dortmund}, year = {1982}, timestamp = {Fri, 19 Jul 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/adt/Ehrig82a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Ehrig82, author = {Hartmut Ehrig}, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg}, title = {Aspects of concurrency in graph grammars}, booktitle = {Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October 4-8, 1982}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {58--81}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/BFb0000099}, doi = {10.1007/BFB0000099}, timestamp = {Thu, 14 Oct 2021 10:05:48 +0200}, biburl = {https://dblp.org/rec/conf/gg/Ehrig82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigS82, author = {Hartmut Ehrig and John Staples}, editor = {Hartmut Ehrig and Manfred Nagl and Grzegorz Rozenberg}, title = {Church-Rosser properties for graph replacement systems with unique splitting}, booktitle = {Graph-Grammars and Their Application to Computer Science, 2nd International Workshop, Haus Ohrbeck [near Osnabr{\"{u}}ck], Germany, October 4-8, 1982}, series = {Lecture Notes in Computer Science}, volume = {153}, pages = {82--101}, publisher = {Springer}, year = {1982}, url = {https://doi.org/10.1007/BFb0000100}, doi = {10.1007/BFB0000100}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigS82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/JanssensKRE82, author = {Dirk Janssens and Hans{-}J{\"{o}}rg Kreowski and Grzegorz Rozenberg and Hartmut Ehrig}, editor = {Hans J{\"{u}}rgen Schneider and Herbert G{\"{o}}ttler}, title = {Concurrency of Node-Label-Controlled Graph Transformations}, booktitle = {Proceedings of the 8th Conference Graphtheoretic Concepts in Computer Science {(WG} '82), Neuenkirchen (near Erlangen), Germany}, pages = {91--108}, publisher = {Hanser, Munich}, year = {1982}, timestamp = {Thu, 04 Feb 2021 13:01:49 +0100}, biburl = {https://dblp.org/rec/conf/wg/JanssensKRE82.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/EhrigM81, author = {Hartmut Ehrig and Bernd Mahr}, title = {Complexity of Algebraic Implementations for Abstract Data Types}, journal = {J. Comput. Syst. Sci.}, volume = {23}, number = {2}, pages = {223--253}, year = {1981}, url = {https://doi.org/10.1016/0022-0000(81)90014-3}, doi = {10.1016/0022-0000(81)90014-3}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/EhrigM81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mst/EhrigKMRW81, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Andrea Maggiolo{-}Schettini and Barry K. Rosen and J{\'{o}}zef Winkowski}, title = {Transformations of Structures: an Algebraic Approach}, journal = {Math. Syst. Theory}, volume = {14}, pages = {305--334}, year = {1981}, url = {https://doi.org/10.1007/BF01752403}, doi = {10.1007/BF01752403}, timestamp = {Sun, 17 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mst/EhrigKMRW81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/caap/Ehrig81, author = {Hartmut Ehrig}, editor = {Egidio Astesiano and Corrado B{\"{o}}hm}, title = {Algebraic Theory of Parameterized Specifications with Requirements}, booktitle = {{CAAP} '81, Trees in Algebra and Programming, 6th Colloquium, Genoa, Italy, March 5-7, 1981, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {112}, pages = {1--24}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-10828-9\_51}, doi = {10.1007/3-540-10828-9\_51}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/caap/Ehrig81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/EhrigKTWW81, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and James W. Thatcher and Eric G. Wagner and Jesse B. Wright}, editor = {J{\o}rgen Staunstrup}, title = {Parameter Passing in Algebraic Specification Languages}, booktitle = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981}, series = {Lecture Notes in Computer Science}, volume = {134}, pages = {322--369}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-11490-4\_21}, doi = {10.1007/3-540-11490-4\_21}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/fm/EhrigKTWW81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fm/Steensgaard-MadsenHPEKNASGCG81, author = {J{\o}rgen Steensgaard{-}Madsen and Jane W. Hughes and Malcolm S. Powell and Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Leif Sandegaard Nielsen and Jean{-}Raymond Abrial and Ib Holm S{\o}rensen and Robin M. Gallimore and Derek Coleman and Joseph A. Goguen}, editor = {J{\o}rgen Staunstrup}, title = {KWIC-index generation}, booktitle = {Program Specification, Proceedings of a Workshop, Aarhus, Denmark, August 1981}, series = {Lecture Notes in Computer Science}, volume = {134}, pages = {47--117}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/3-540-11490-4\_5}, doi = {10.1007/3-540-11490-4\_5}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fm/Steensgaard-MadsenHPEKNASGCG81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gi/EhrigF81, author = {Hartmut Ehrig and Werner Fey}, editor = {Wilfried Brauer}, title = {Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications}, booktitle = {{GI} - 11. Jahrestagung in Verbindung mit Third Conference of the European Co-operation in Informatics (ECI), M{\"{u}}nchen, 20.-23. Oktober 1981, Proceedings}, series = {Informatik-Fachberichte}, volume = {50}, pages = {255--269}, publisher = {Springer}, year = {1981}, url = {https://doi.org/10.1007/978-3-662-01089-1\_24}, doi = {10.1007/978-3-662-01089-1\_24}, timestamp = {Tue, 23 May 2017 01:10:33 +0200}, biburl = {https://dblp.org/rec/conf/gi/EhrigF81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wg/EhrigHS81, author = {Hartmut Ehrig and Berthold Hoffmann and Ilse Schmiedecke}, editor = {J{\"{o}}rg R. M{\"{u}}hlbacher}, title = {A Graph-Theoretical Model for Multi-Pass Parsing}, booktitle = {Proceedings of the 7th Conference Graphtheoretic Concepts in Computer Science {(WG} '81), Linz, Austria, June 15-17, 1981}, pages = {19--32}, publisher = {Hanser, Munich}, year = {1981}, timestamp = {Fri, 14 Oct 2016 13:17:23 +0200}, biburl = {https://dblp.org/rec/conf/wg/EhrigHS81.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/is/EhrigK80, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski}, title = {Applications of Graph Grammar Theory to Consistency, Synchronization and Scheduling in Data Base Systems}, journal = {Inf. Syst.}, volume = {5}, number = {3}, pages = {225--238}, year = {1980}, url = {https://doi.org/10.1016/0306-4379(80)90014-9}, doi = {10.1016/0306-4379(80)90014-9}, timestamp = {Sat, 20 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/is/EhrigK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/kybernetika/AdamekET80, author = {Jir{\'{\i}} Ad{\'{a}}mek and Hartmut Ehrig and Vera Trnkov{\'{a}}}, title = {On an equivalence of system-theoretical and categorical concepts}, journal = {Kybernetika}, volume = {16}, number = {5}, pages = {389--410}, year = {1980}, url = {http://www.kybernetika.cz/content/1980/5/389}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/kybernetika/AdamekET80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/siamcomp/EhrigR80, author = {Hartmut Ehrig and Barry K. Rosen}, title = {The Mathematics of Record Handling}, journal = {{SIAM} J. Comput.}, volume = {9}, number = {3}, pages = {441--469}, year = {1980}, url = {https://doi.org/10.1137/0209034}, doi = {10.1137/0209034}, timestamp = {Sat, 27 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/siamcomp/EhrigR80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/EhrigR80, author = {Hartmut Ehrig and Barry K. Rosen}, title = {Parallelism and Concurrency of Graph Manipulations}, journal = {Theor. Comput. Sci.}, volume = {11}, pages = {247--275}, year = {1980}, url = {https://doi.org/10.1016/0304-3975(80)90016-X}, doi = {10.1016/0304-3975(80)90016-X}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/EhrigR80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EhrigKP80, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Peter Padawitz}, editor = {J. W. de Bakker and Jan van Leeuwen}, title = {Algebraic Implementation of Abstract Data Types: Concept, Syntax, Semantics and Correctness}, booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {85}, pages = {142--156}, publisher = {Springer}, year = {1980}, url = {https://doi.org/10.1007/3-540-10003-2\_67}, doi = {10.1007/3-540-10003-2\_67}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EhrigKP80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EhrigKTWW80, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and James W. Thatcher and Eric G. Wagner and Jesse B. Wright}, editor = {J. W. de Bakker and Jan van Leeuwen}, title = {Parameterized Data Types in Algebraic Specification Languages (Short Version)}, booktitle = {Automata, Languages and Programming, 7th Colloquium, Noordweijkerhout, The Netherlands, July 14-18, 1980, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {85}, pages = {157--168}, publisher = {Springer}, year = {1980}, url = {https://doi.org/10.1007/3-540-10003-2\_68}, doi = {10.1007/3-540-10003-2\_68}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EhrigKTWW80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/EhrigKMP80, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Bernd Mahr and Peter Padawitz}, editor = {Piotr Dembinski}, title = {Compound Algebraic Implementations: An Approach to Stepwise Refinement of Software Systems}, booktitle = {Mathematical Foundations of Computer Science 1980 (MFCS'80), Proceedings of the 9th Symposium, Rydzyna, Poland, September 1-5, 1980}, series = {Lecture Notes in Computer Science}, volume = {88}, pages = {231--245}, publisher = {Springer}, year = {1980}, url = {https://doi.org/10.1007/BFb0022508}, doi = {10.1007/BFB0022508}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/EhrigKMP80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/programm/EhrigKP80, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Peter Padawitz}, editor = {Bernard J. Robinet}, title = {A Case Study of Abstract Implementations and Their Correctness}, booktitle = {International Symposium on Programming, Proceedings of the Fourth 'Colloque International sur la Programmation', Paris, France, 22-24 April 1980}, series = {Lecture Notes in Computer Science}, volume = {83}, pages = {108--122}, publisher = {Springer}, year = {1980}, url = {https://doi.org/10.1007/3-540-09981-6\_8}, doi = {10.1007/3-540-09981-6\_8}, timestamp = {Thu, 24 Feb 2022 13:41:39 +0100}, biburl = {https://dblp.org/rec/conf/programm/EhrigKP80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/se/EhrigFK80, author = {Hartmut Ehrig and Werner Fey and Hans{-}J{\"{o}}rg Kreowski}, editor = {Christiane Floyd and Hermann Kopetz}, title = {Algebraische Spezifikation eines St{\"{u}}cklistensystems - eine Fallstudie}, booktitle = {Software Engineering - Entwurf und Spezifikation, Tagung {II/1980} mit Workshop des German Chapter of the {ACM} vom 12. bis 16.9.1980 in Berlin}, series = {Berichte des German Chapter of the {ACM}}, volume = {5}, pages = {75--90}, publisher = {Teubner}, year = {1980}, timestamp = {Thu, 27 Feb 2003 09:55:22 +0100}, biburl = {https://dblp.org/rec/conf/se/EhrigFK80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/stoc/EhrigM80, author = {Hartmut Ehrig and Bernd Mahr}, editor = {Raymond E. Miller and Seymour Ginsburg and Walter A. Burkhard and Richard J. Lipton}, title = {Complexity of Implementations on the Level of Algebraic Specifications}, booktitle = {Proceedings of the 12th Annual {ACM} Symposium on Theory of Computing, April 28-30, 1980, Los Angeles, California, {USA}}, pages = {281--293}, publisher = {{ACM}}, year = {1980}, url = {https://doi.org/10.1145/800141.804676}, doi = {10.1145/800141.804676}, timestamp = {Tue, 06 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/stoc/EhrigM80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/EhrigK79, author = {Hartmut Ehrig and Wolfgang K{\"{u}}hnel}, title = {Categorial approach to nonlinear constant continuous-time systems}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {13}, number = {2}, pages = {107--133}, year = {1979}, url = {https://doi.org/10.1051/ita/1979130201071}, doi = {10.1051/ITA/1979130201071}, timestamp = {Mon, 25 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/EhrigK79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/sigact/EhrigKP79, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Peter Padawitz}, title = {Algebraic implementation of abstract data types: an announcement}, journal = {{SIGACT} News}, volume = {11}, number = {2}, pages = {25--29}, year = {1979}, url = {https://doi.org/10.1145/1008620.1008622}, doi = {10.1145/1008620.1008622}, timestamp = {Tue, 03 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/sigact/EhrigKP79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mmb/EhrigKW79, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Herbert Weber}, editor = {Heinrich C. Mayr and Bernd E. Meyer}, title = {Neue Aspekte algebraischer Spezifikationsschemata f{\"{u}}r Datenbanksysteme}, booktitle = {Formale Modelle f{\"{u}}r Informationssysteme, GI-Fachtagung, 24.-26. Mai 1979, Tutzing, Deutschland}, series = {Informatik-Fachberichte}, volume = {21}, pages = {181--198}, publisher = {Springer}, year = {1979}, url = {https://doi.org/10.1007/978-3-642-67485-3\_10}, doi = {10.1007/978-3-642-67485-3\_10}, timestamp = {Sat, 07 Sep 2019 11:59:23 +0200}, biburl = {https://dblp.org/rec/conf/mmb/EhrigKW79.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/gg/1978, editor = {Volker Claus and Hartmut Ehrig and Grzegorz Rozenberg}, title = {Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, Germany, October 30 - November 3, 1978}, series = {Lecture Notes in Computer Science}, volume = {73}, publisher = {Springer}, year = {1979}, url = {https://doi.org/10.1007/BFb0025713}, doi = {10.1007/BFB0025713}, isbn = {3-540-09525-X}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/1978.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/Ehrig78, author = {Hartmut Ehrig}, editor = {Volker Claus and Hartmut Ehrig and Grzegorz Rozenberg}, title = {Introduction to the Algebraic Theory of Graph Grammars {(A} Survey)}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, Germany, October 30 - November 3, 1978}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {1--69}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/BFb0025714}, doi = {10.1007/BFB0025714}, timestamp = {Tue, 14 May 2019 10:00:49 +0200}, biburl = {https://dblp.org/rec/conf/gg/Ehrig78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigL78, author = {Hartmut Ehrig and Axel Liedtke}, editor = {Volker Claus and Hartmut Ehrig and Grzegorz Rozenberg}, title = {Locally Star Sluing Formulas for a Class of Parallel Graph Grammars}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, Germany, October 30 - November 3, 1978}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {206--223}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/BFb0025722}, doi = {10.1007/BFB0025722}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigL78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/gg/EhrigR78, author = {Hartmut Ehrig and Barry K. Rosen}, editor = {Volker Claus and Hartmut Ehrig and Grzegorz Rozenberg}, title = {Decomposition of Graph Grammar Productions and Derivations}, booktitle = {Graph-Grammars and Their Application to Computer Science and Biology, International Workshop, Bad Honnef, Germany, October 30 - November 3, 1978}, series = {Lecture Notes in Computer Science}, volume = {73}, pages = {192--205}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/BFb0025721}, doi = {10.1007/BFB0025721}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/gg/EhrigR78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EhrigKP78, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Peter Padawitz}, editor = {Giorgio Ausiello and Corrado B{\"{o}}hm}, title = {Stepwise Specification and Implementation of Abstract Data Types}, booktitle = {Automata, Languages and Programming, Fifth Colloquium, Udine, Italy, July 17-21, 1978, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {62}, pages = {205--226}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/3-540-08860-1\_16}, doi = {10.1007/3-540-08860-1\_16}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EhrigKP78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/EhrigKMW78, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Andrea Maggiolo{-}Schettini and Barry K. Rosen and J{\'{o}}zef Winkowski}, editor = {J{\'{o}}zef Winkowski}, title = {Deriving Structures from Structures}, booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978}, series = {Lecture Notes in Computer Science}, volume = {64}, pages = {177--190}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/3-540-08921-7\_66}, doi = {10.1007/3-540-08921-7\_66}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/EhrigKMW78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/EhrigR78, author = {Hartmut Ehrig and Barry K. Rosen}, editor = {J{\'{o}}zef Winkowski}, title = {Concurrency of Manipulations in Multidimensional Information Structures}, booktitle = {Mathematical Foundations of Computer Science 1978, Proceedings, 7th Symposium, Zakopane, Poland, September 4-8, 1978}, series = {Lecture Notes in Computer Science}, volume = {64}, pages = {165--176}, publisher = {Springer}, year = {1978}, url = {https://doi.org/10.1007/3-540-08921-7\_65}, doi = {10.1007/3-540-08921-7\_65}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/EhrigR78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vldb/EhrigKW78, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski and Herbert Weber}, editor = {S. Bing Yao}, title = {Algebraic Specification Schemes for Data Base Systems}, booktitle = {Fourth International Conference on Very Large Data Bases, September 13-15, 1978, West Berlin, Germany}, pages = {427--440}, publisher = {{IEEE} Computer Society}, year = {1978}, timestamp = {Wed, 29 Mar 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/vldb/EhrigKW78.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fct/Ehrig77, author = {Hartmut Ehrig}, editor = {Marek Karpinski}, title = {Embedding Theorem in the Algebraic Theory of Graph Grammars}, booktitle = {Fundamentals of Computation Theory, Proceedings of the 1977 International FCT-Conference, Poznan-K{\'{o}}rnik, Poland, September 19-23, 1977}, series = {Lecture Notes in Computer Science}, volume = {56}, pages = {245--255}, publisher = {Springer}, year = {1977}, url = {https://doi.org/10.1007/3-540-08442-8\_91}, doi = {10.1007/3-540-08442-8\_91}, timestamp = {Mon, 02 Sep 2019 13:37:20 +0200}, biburl = {https://dblp.org/rec/conf/fct/Ehrig77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icalp/EhrigR77, author = {Hartmut Ehrig and Barry K. Rosen}, editor = {Arto Salomaa and Magnus Steinby}, title = {The Mathematics of Record Handling}, booktitle = {Automata, Languages and Programming, Fourth Colloquium, University of Turku, Finland, July 18-22, 1977, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {52}, pages = {206--220}, publisher = {Springer}, year = {1977}, url = {https://doi.org/10.1007/3-540-08342-1\_16}, doi = {10.1007/3-540-08342-1\_16}, timestamp = {Tue, 14 May 2019 10:00:44 +0200}, biburl = {https://dblp.org/rec/conf/icalp/EhrigR77.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/acta/SchneiderE76, author = {Hans J{\"{u}}rgen Schneider and Hartmut Ehrig}, title = {Grammars on Partial Graphs}, journal = {Acta Informatica}, volume = {6}, pages = {297--316}, year = {1976}, url = {https://doi.org/10.1007/BF00288659}, doi = {10.1007/BF00288659}, timestamp = {Sun, 21 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/acta/SchneiderE76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/EhrigK76, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski}, title = {Systematic Approach to Reduction and Minimization in Automata and System Theory}, journal = {J. Comput. Syst. Sci.}, volume = {12}, number = {3}, pages = {269--304}, year = {1976}, url = {https://doi.org/10.1016/S0022-0000(76)80002-5}, doi = {10.1016/S0022-0000(76)80002-5}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/EhrigK76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/mfcs/EhrigK76, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski}, editor = {Antoni W. Mazurkiewicz}, title = {Parallelism of Manipulations in Multidimensional Information Structures}, booktitle = {Mathematical Foundations of Computer Science 1976, 5th Symposium, Gdansk, Poland, September 6-10, 1976, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {45}, pages = {284--293}, publisher = {Springer}, year = {1976}, url = {https://doi.org/10.1007/3-540-07854-1\_188}, doi = {10.1007/3-540-07854-1\_188}, timestamp = {Tue, 14 May 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/mfcs/EhrigK76.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jcss/EhrigT75, author = {Hartmut Ehrig and Karl Wilhelm Tischer}, title = {Graph Grammars and Applications to Specialization and Evolution in Biology}, journal = {J. Comput. Syst. Sci.}, volume = {11}, number = {2}, pages = {212--236}, year = {1975}, url = {https://doi.org/10.1016/S0022-0000(75)80069-9}, doi = {10.1016/S0022-0000(75)80069-9}, timestamp = {Tue, 16 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jcss/EhrigT75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/Lsystems/EhrigK75, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski}, editor = {Aristid Lindenmayer and Grzegorz Rozenberg}, title = {Parallel Graph Grammers}, booktitle = {Automata, Languages, Development: At the crossroads of biology, mathematics and computer science, result of an international conference held at Noordwijkerhout, The Netherlands, March 31 - April 6, 1975}, pages = {425--442}, publisher = {North-Holland Publishing Company}, year = {1975}, timestamp = {Wed, 08 Dec 2021 08:36:04 +0100}, biburl = {https://dblp.org/rec/conf/Lsystems/EhrigK75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/Lsystems/EhrigR75, author = {Hartmut Ehrig and Grzegorz Rozenberg}, editor = {Aristid Lindenmayer and Grzegorz Rozenberg}, title = {Some Definitional Suggestions for Parallel Graph Grammars}, booktitle = {Automata, Languages, Development: At the crossroads of biology, mathematics and computer science, result of an international conference held at Noordwijkerhout, The Netherlands, March 31 - April 6, 1975}, pages = {443--468}, publisher = {North-Holland Publishing Company}, year = {1975}, timestamp = {Wed, 08 Dec 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/Lsystems/EhrigR75.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@book{DBLP:books/daglib/0067967, author = {Hartmut Ehrig and Klaus{-}Dieter Kiermeier and Hans{-}J{\"{o}}rg Kreowski and Wolfgang K{\"{u}}hnel}, title = {Universal theory of automata - a categorial approach}, series = {Teubner Studienb{\"{u}}cher}, publisher = {Teubner}, year = {1974}, isbn = {978-3-519-02054-7}, timestamp = {Fri, 26 Aug 2011 01:00:00 +0200}, biburl = {https://dblp.org/rec/books/daglib/0067967.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ita/EhrigK74, author = {Hartmut Ehrig and Wolfgang K{\"{u}}hnel}, title = {Topological automata}, journal = {{RAIRO} Theor. Informatics Appl.}, volume = {8}, number = {3}, pages = {73--91}, year = {1974}, url = {https://doi.org/10.1051/ita/197408R300731}, doi = {10.1051/ITA/197408R300731}, timestamp = {Thu, 04 Jun 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ita/EhrigK74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/category/EhrigK74, author = {Hartmut Ehrig and Hans{-}J{\"{o}}rg Kreowski}, editor = {Ernest G. Manes}, title = {Power and initial automata in pseudoclosed categories}, booktitle = {Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {25}, pages = {144--150}, publisher = {Springer}, year = {1974}, url = {https://doi.org/10.1007/3-540-07142-3\_74}, doi = {10.1007/3-540-07142-3\_74}, timestamp = {Tue, 14 May 2019 10:00:45 +0200}, biburl = {https://dblp.org/rec/conf/category/EhrigK74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/category/EhrigKP74, author = {Hartmut Ehrig and Wolfgang K{\"{u}}hnel and Michael Pfender}, editor = {Ernest G. Manes}, title = {Diagram characterization}, booktitle = {Category Theory Applied to Computation and Control, Proceedings of the First International Symposium, San Francisco, CA, USA, February 25-26, 1974, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {25}, pages = {137--143}, publisher = {Springer}, year = {1974}, url = {https://doi.org/10.1007/3-540-07142-3\_73}, doi = {10.1007/3-540-07142-3\_73}, timestamp = {Fri, 19 May 2017 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/category/EhrigKP74.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/focs/EhrigPS73, author = {Hartmut Ehrig and Michael Pfender and Hans J{\"{u}}rgen Schneider}, title = {Graph-Grammars: An Algebraic Approach}, booktitle = {14th Annual Symposium on Switching and Automata Theory, Iowa City, Iowa, USA, October 15-17, 1973}, pages = {167--180}, publisher = {{IEEE} Computer Society}, year = {1973}, url = {https://doi.org/10.1109/SWAT.1973.11}, doi = {10.1109/SWAT.1973.11}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/focs/EhrigPS73.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.