Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
907 Publications
2000 | Conference Paper | LibreCat-ID: 8332
@inproceedings{Busatto_Engels_Mehner_Wagner_2000, place={Berlin/Heidelberg}, series={LNCS}, title={A Framework for Adding Packages to Graph Transformation Approaches}, volume={1764}, DOI={http://dx.doi.org/10.1007/b75045}, booktitle={Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany)}, publisher={Springer}, author={Busatto, Giorgio and Engels, Gregor and Mehner, Katharina and Wagner, Annika}, year={2000}, pages={352–367}, collection={LNCS} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8333
@inproceedings{Corradini_Heckel_Montanari_2000, title={Graphical Operational Semantics}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)}, publisher={Carleton Scientific}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={2000}, pages={411–418} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8334
@inproceedings{Depke_Heckel_2000, title={Towards Role-based Modeling of Autonomous Agents}, booktitle={Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)}, author={Depke, Ralph and Heckel, Reiko}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8335
@inproceedings{Depke_Heckel_Küster_2000, place={Limerick, Ireland}, title={Requirement Specification and Design of Agent-Based Systems with Graph Transformation, Roles and UML}, booktitle={Proceedings of the 1st International Workshop on Agent-Oriented Software Engineering (satellite event of the ICSE 2000), Limerick (Ireland)}, publisher={University of Limerick}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8336
@inproceedings{Depke_Heckel_Küster_2000, title={Deploying Agents in an Electronic Banking Environment}, booktitle={Proceedings of the Workshop on Agents in Industry (Agents 2000; satellite event of the 4th International Conference on Autonomous Agents), Barcelona (Spain)}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8337
@inproceedings{Depke_Heckel_Küster_2000, place={Münster}, title={Rollenbasierte Modellierung autonomer Agenten}, booktitle={Proceedings of the Workshop des Arbeitskreises GROOM der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Münster (Germany)}, publisher={Universität Münster}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8338
@inproceedings{Depke_Heckel_2000, title={Formalizing the Development of Agent-Based Systems Using Graph Processes}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (satellite event of the ICALP 2000), Geneva (Switzerland)}, publisher={Carleton Scientific}, author={Depke, Ralph and Heckel, Reiko}, year={2000}, pages={419–426} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8339
@inproceedings{Engels_Heckel_2000, title={From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation}, booktitle={Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (satellite events of the ICALP 2000), Geneva(Switzerland)}, publisher={Carleton Scientific}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={373–382} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8340
@inproceedings{Engels_Küster_Groenewegen_2000, place={Munich (Germany)}, title={Modeling Concurrent Behavior through Consistent Statechart Views}, number={0006}, booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Engels, Gregor and Küster, Jochen and Groenewegen, Luuk}, year={2000}, pages={44–49} }
LibreCat
2000 | Journal Article | LibreCat-ID: 7396
@article{Engels_Heckel_2000, title={Graph Transformation and Visual Modeling Techniques}, number={71}, journal={Bulletin of the EATCS}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={186–202} }
LibreCat
2000 | Journal Article | LibreCat-ID: 7397
@article{Corradini_Heckel_2000, title={Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo}, number={72}, journal={Bulletin of the EATCS}, author={Corradini, Andrea and Heckel, Reiko}, year={2000}, pages={69–76} }
LibreCat
2000 | Journal Article | LibreCat-ID: 7398
@article{Depke_Heckel_Küster_Langham_2000, title={Agenten im Auftrag des Bankkunden}, volume={31}, number={1–2}, journal={Geldinstitute}, author={Depke, Ralph and Heckel, Reiko and Küster, Jochen and Langham, Matthew}, year={2000}, pages={32–33} }
LibreCat
2000 | Book | LibreCat-ID: 7509
@book{Doberkat_2000, title={Multimedia in der wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht}, publisher={LIT Verlag Münster}, author={Doberkat, Ernst-Erich}, year={2000} }
LibreCat
2000 | Book Chapter | LibreCat-ID: 7520
@inbook{Engels_Kelter_Depke_Mehner_2000, place={Münster}, title={Unterstützende Angebote der Softwarebegleitgruppe}, booktitle={Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht}, publisher={LIT}, author={Engels, Gregor and Kelter, Udo and Depke, Ralph and Mehner, Katharina}, year={2000}, pages={27–56} }
LibreCat
2000 | Book Chapter | LibreCat-ID: 7521
@inbook{Engels_Depke_Mehner_2000, place={Münster}, title={Ergebnisse - vergleichende Darstellung}, booktitle={Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht}, publisher={LIT}, author={Engels, Gregor and Depke, Ralph and Mehner, Katharina}, year={2000}, pages={277–294} }
LibreCat
2000 | Book Chapter | LibreCat-ID: 7522
@inbook{Engels_Groenewegen_Kappel_2000, title={Coordinated Collaboration of Objects}, booktitle={Proceedings of Advances in Object-Oriented Modeling}, publisher={The MIT Press}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={2000}, pages={307–332} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8341
@inproceedings{Gadducci_Heckel_Koch_2000, place={London, UK}, series={LNCS}, title={A Fully Abstract Model for Graph-Interpreted Temporal Logic}, volume={1764}, DOI={http://dx.doi.org/10.1007/b75045}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={2000}, pages={310–322}, collection={LNCS} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
@inproceedings{Engels_Zamperoni_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!}, volume={1779}, DOI={http://dx.doi.org/10.1007/3-540-45104-8_28}, booktitle={Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands)}, publisher={Springer}, author={Engels, Gregor and Zamperoni, Andreas}, year={2000}, pages={359–368}, collection={LNCS} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
@inproceedings{Heckel_Sauer_2000, title={Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML}, volume={20}, number={2}, booktitle={Proceedings of the 7th GI-Workshop GROOM}, publisher={University of Koblenz-Landau}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={43–44} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
@inproceedings{Heckel_Sauer_2000, place={Munich (Germany)}, title={Strengthening the Semantics of UML Collaboration Diagrams}, number={0006}, booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={63–69} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
@inproceedings{Küster_Stroop_2000, place={York, UK}, title={Towards Consistency of Dynamic Models and Analysis of Timing Constraints}, booktitle={Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)}, publisher={University of York}, author={Küster, Jochen and Stroop, Joachim}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
@inproceedings{Mehner_Schattkowsky_2000, title={Methodische Aspekte von Modellierungssprachen für nebenläufige Software}, volume={24}, booktitle={Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung verteilter und nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany)}, publisher={Universität Münster}, author={Mehner, Katharina and Schattkowsky, Tim}, year={2000}, pages={14–18} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
@inproceedings{Mehner_Wagner_2000, series={Koblenzer Schriften zur Informatik}, title={Visualisierung der Synchronisation von Java-Threads mit UML}, volume={15}, booktitle={Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)}, publisher={Fölbach}, author={Mehner, Katharina and Wagner, Annika}, year={2000}, collection={Koblenzer Schriften zur Informatik} }
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
@book{Engels_Beiersdörfer_Schäfer_1999, place={Berlin/Heidelberg}, series={Informatik aktuell}, title={Informatik ’99: Informatik überwindet Grenzen. Tagungsband der 29. Jahrestagung der Gesellschaft für Informatik, Paderborn (Germany)}, publisher={Springer}, year={1999}, collection={Informatik aktuell} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
@inproceedings{Deugo_Küster_Oppacher_von Otte_1999, title={Patterns as a Means for Intelligent Software Engineering}, volume={2}, booktitle={Proceedings of the conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA)}, publisher={CSREA Press}, author={Deugo, Dwight and Küster, Jochen and Oppacher, Franz and von Otte, Ingo}, year={1999}, pages={605–611} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
@inproceedings{Corradini_Heckel_Montanari_1999, place={Berlin/Heidelberg}, series={LNCS}, title={Tile Transition Systems as Structured Coalgebras}, volume={1684}, booktitle={Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99)}, publisher={Springer}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={13–38}, collection={LNCS} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
@inproceedings{Cherchago_1999, title={Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development}, booktitle={Proceedings of the All-Russia Students’, Young Scientists’ and Specialists’ Scientific and Technical Conference “New Information Technologies in Scientific Researches and in Education” (Ryazan, Russia)}, author={Cherchago, Alexey}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
@inproceedings{Engels_Depke_Borowski_1999, place={Ostfildern}, title={Konzeption und objektorientierte Realisierung einer internet-basierten Datenbankanwendung}, volume={8}, booktitle={Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen}, publisher={Technische Akademie Esslingen}, author={Engels, Gregor and Depke, Ralph and Borowski, Christoph}, year={1999}, pages={531–540} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
@inproceedings{Engels_Hücking_Sauer_Wagner_1999, place={Berlin/Heidelberg}, series={LNCS}, title={UML Collaboration Diagrams and Their Transformation to Java}, volume={1723}, booktitle={Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA}, publisher={Springer}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}, year={1999}, pages={473–488}, collection={LNCS} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
@inproceedings{Gadducci_Heckel_Llabrés_1999, series={Electronic Notes in Theoretical Computer Science}, title={A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting}, volume={29}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80309-3}, booktitle={Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK)}, publisher={Elsevier}, author={Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}, year={1999}, pages={80–100}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
@inproceedings{Heckel_1999, title={Modeling Agent-Based Systems with Graph Transformation and UML}, number={258}, booktitle={Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems}, author={Heckel, Reiko}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 7860
@inproceedings{Sauer_Engels_1999, place={Tokyo, Japan}, title={Extending UML for Modeling of Multimedia Applications}, DOI={http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878}, booktitle={Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={80–87} }
LibreCat
| DOI
1999 | Report | LibreCat-ID: 8203
@book{Ehrig_Heckel_Llabrés_Orejas_1999, title={Basic Properties of Double Pullback Graph Transitions}, publisher={Technical University of Berlin}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}, year={1999} }
LibreCat
1999 | Report | LibreCat-ID: 8204
@book{Engels_Hücking_Sauer_Wagner_1999, title={UML Collaboration Diagrams and Their Transformation to Java}, publisher={University of Paderborn, Department of Computer Science}, author={Engels, Gregor and Hücking, Roland and Sauer, Stefan and Wagner, Annika}, year={1999} }
LibreCat
1999 | Report | LibreCat-ID: 8205
@book{Engels_Jan t’Hoen_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_1999, title={SOCCA Extended with UML like Packages}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Jan t’Hoen, Pieter and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter}, year={1999}, pages={99–06} }
LibreCat
1999 | Report | LibreCat-ID: 8206
@book{Engels_Dassen_Groenewegen_G. Sprinkhuizen-Kuyper_Koopman_Jan t’Hoen_1999, title={A Formalisation of SOCCA using Z, part 1: The Type Level Concepts}, publisher={Leiden Institute of Advanced Computer Science}, author={Engels, Gregor and Dassen, Ray and Groenewegen, Luuk and G. Sprinkhuizen-Kuyper, Ida and Koopman, Pieter and Jan t’Hoen, Pieter}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
@inproceedings{Sauer_Engels_1999, place={Karlsruhe, Germany}, title={UML-basierte Modellierung von Multimediaanwendungen}, booktitle={Modellierung 1999, Workshop der Gesellschaft für Informatik e. V. (GI), März 1999 in Karlsruhe}, publisher={Teubner, Stuttgart}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={155–170} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
@inproceedings{Sauer_Engels_1999, place={Indian Wells, California, USA}, title={OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems}, booktitle={Proceedings of the workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA)}, author={Sauer, Stefan and Engels, Gregor}, year={1999}, pages={64–71} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
@inproceedings{Corradini_Große-Rhode_Heckel_1999, place={Berlin/Heidelberg}, series={LNCS}, title={An Algebra of Graph Derivations using Finite (co-) limit Double Theories}, volume={1589}, DOI={http://dx.doi.org/10.1007/3-540-48483-3_7}, booktitle={Selected papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal)}, publisher={Springer}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1999}, pages={92–106}, collection={LNCS} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8324
@inproceedings{Corradini_Heckel_Montanari_1999, place={Amsterdam, The Netherlands}, series={Electronic Notes in TCS}, title={From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence}, volume={19}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80273-7}, booktitle={Proceedings of the 2nd workshop on Coalgebraic Methods in Computer Science (CMCS 99)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko and Montanari, Ugo}, year={1999}, pages={118–141}, collection={Electronic Notes in TCS} }
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8325
@inproceedings{Engels_Heckel_Sauer_1999, title={Dynamic Meta Modelling: A Graphical Approach to Operational Semantics}, booktitle={Proceedings of the workshop on Rigorous Modeling and Analysis with the UML: Challenges and Limitations (satellite event of the Conference on Onject-Oriented Programming, Systems, Languages, and Applications (OOPSLA 1999)), Denver, CO (USA)}, author={Engels, Gregor and Heckel, Reiko and Sauer, Stefan}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8326
@inproceedings{Engels_Sauer_1999, place={Herrsching, Universität der Bundeswehr München, Fakultät für Informatik}, title={MVC-Based Modeling Support for Embedded Real-Time Systems}, number={01}, booktitle={Proceedings of OMER Workshop, Herrsching, Germany}, author={Engels, Gregor and Sauer, Stefan}, year={1999}, pages={11–14} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8327
@inproceedings{Mehner_Wagner_1999, title={An Assessment of Aspect Language Design}, booktitle={Proceedings of the Young Researchers Workshop (satellite event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany)}, author={Mehner, Katharina and Wagner, Annika}, year={1999} }
LibreCat
1999 | Conference Paper | LibreCat-ID: 8328
@inproceedings{Mehner_Wagner_1999, place={Berlin/Heidelberg}, series={LNCS}, title={On the Role of Method Families in Aspect Oriented Programming}, volume={1743}, booktitle={Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain)}, publisher={Springer}, author={Mehner, Katharina and Wagner, Annika}, year={1999}, pages={305–306}, collection={LNCS} }
LibreCat
1999 | Journal Article | LibreCat-ID: 7399
@article{Depke_Engels_Mehner_Sauer_Wagner_1999, title={Ein Vorgehensmodell für die Multimedia-Entwicklung mit Autorensystemen}, volume={14}, DOI={http://dx.doi.org/10.1007/s004500050128}, number={2}, journal={Informatik Forschung und Entwicklung}, author={Depke, Ralph and Engels, Gregor and Mehner, Katharina and Sauer, Stefan and Wagner, Annika}, year={1999}, pages={83–94} }
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 7400
@article{Cherchago_Finaev_1999, title={Formalization of the development process for a software-hardware reflexodiagnostic tool}, volume={3}, journal={Scientific bulletin of Academy of Information Technologies in Education, Science and Balneology}, author={Cherchago, Alexey and Finaev, V.}, year={1999} }
LibreCat
1999 | Journal Article | LibreCat-ID: 7401
@article{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1999, title={Graph Transformation for Specification and Programming}, volume={34}, DOI={http://dx.doi.org/10.1016/S0167-6423(98)00023-9}, number={1}, journal={Science of Computer Programming}, author={Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}, year={1999}, pages={1–54} }
LibreCat
| DOI
1999 | Book | LibreCat-ID: 7510
@book{Ehrig_Engels_Kreowski_Rozenberg_1999, place={River Edge, NJ, USA}, title={Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools}, publisher={World Scientific Publishing Co., Inc.}, author={Ehrig, Hartmut and Engels, Gregor and Kreowski, Hans Jörg and Rozenberg, Grzegorz}, year={1999} }
LibreCat
1999 | Book Chapter | LibreCat-ID: 7518
@inbook{Heckel_Engels_Ehrig_Taentzer_1999, place={Singapore}, title={A View-based Approach to System Modeling Based on Open Graph Transformation Systems}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools}, publisher={World Scientific}, author={Heckel, Reiko and Engels, Gregor and Ehrig, Hartmut and Taentzer, Gabriele}, year={1999}, pages={639–668} }
LibreCat
1999 | Book Chapter | LibreCat-ID: 7519
@inbook{Heckel_Engels_Ehrig_Taentzer_1999, place={Singapore}, title={Classification and Comparison of Module Concepts for Graph Transformation Systems}, volume={2}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools}, publisher={World Scientific}, author={Heckel, Reiko and Engels, Gregor and Ehrig, Hartmut and Taentzer, Gabriele}, year={1999}, pages={669–689} }
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7793
@book{Engels_Ehrig_Orejas_Wirsing_1998, series={Dagstuhl-Seminar-Report}, title={Semi-Formal and Formal Specification Techniques}, volume={218}, publisher={Schloss Dagstuhl, Leibniz Center for Informatics}, year={1998}, collection={Dagstuhl-Seminar-Report} }
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7794
@book{Engels_Ehrig_Kreowski_Rozenberg_1998, place={Berlin/Heidelberg}, series={LNCS}, title={6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers}, volume={1764}, publisher={Springer}, year={1998}, collection={LNCS} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 7843
@inproceedings{Depke_Engels_Mehner_Sauer_Wagner_1998, title={Ein Ansatz zur Verbesserung des Entwicklungsprozesses von Multimedia-Anwendungen}, volume={18}, number={3}, booktitle={Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany)}, publisher={GI}, author={Depke, Ralph and Engels, Gregor and Mehner, Katharina and Sauer, Stefan and Wagner, Annika}, year={1998}, pages={12–19} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 7844
@inproceedings{Didrich_Wagner_1998, title={Integration of Single Pushout Transformation and Functional Programming}, volume={4}, booktitle={Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)}, publisher={Society for Design and Process Science}, author={Didrich, Klaus and Wagner, Annika}, year={1998}, pages={65–73} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 7845
@inproceedings{Cherchago_1998, title={A generalized schema of a decision-making process of a SCENAR-therapeutist}, booktitle={Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia)}, author={Cherchago, Alexey}, year={1998} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 7847
@inproceedings{Heckel_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Compositional Verification of Reactive Systems Specified by Graph Transformation}, volume={1382}, DOI={http://dx.doi.org/10.1007/BFb0053578}, booktitle={Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal)}, publisher={Springer}, author={Heckel, Reiko}, year={1998}, pages={138–153}, collection={LNCS} }
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 7848
@inproceedings{Padberg_Jansen_Heckel_Ehrig_1998, title={Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets}, booktitle={Proceedings of the conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany)}, publisher={Society for Design and Process Science}, author={Padberg, Julia and Jansen, Lars and Heckel, Reiko and Ehrig, Hartmut}, year={1998}, pages={17–28} }
LibreCat
1998 | Report | LibreCat-ID: 8202
@book{Engels_Kolmschlag_1998, title={Electronic Commerce Systeme als Anwendungsbeispiel für Evolutionstechniken}, publisher={University of Paderborn, C-LAB}, author={Engels, Gregor and Kolmschlag, Silvia}, year={1998} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 8280
@inproceedings{Kolmschlag_Engels_1998, title={Unterstützung der Flexibilität eines Electronic Commerce Systems durch Evolutionstechniken}, booktitle={Proceedings of the workshop on “Integration heterogener Softwaresysteme” (satellite event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany)}, publisher={GI}, author={Kolmschlag, Silvia and Engels, Gregor}, year={1998}, pages={13–24} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 8281
@inproceedings{Corradini_Große-Rhode_Heckel_1998, series={Electronic Notes in Theoretical Computer Science}, title={Structured Transition Systems as Lax Coalgebras}, volume={11}, booktitle={Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal)}, publisher={Elsevier}, author={Corradini, Andrea and Große-Rhode, Martin and Heckel, Reiko}, year={1998}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 8282
@inproceedings{Heckel_Hoffmann_Knirsch_Kuske_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Simple Modules for Grace}, volume={1764}, booktitle={Selected papers of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Heckel, Reiko and Hoffmann, Berthold and Knirsch, Peter and Kuske, Sabine}, year={1998}, pages={215–224}, collection={LNCS} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 8283
@inproceedings{Ehrig_Heckel_Padberg_Rozenberg_1998, title={Graph Transformation and Other Rule-Based Formalisms with Incomplete Information}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Ehrig, Hartmut and Heckel, Reiko and Padberg, Julia and Rozenberg, Grzegorz}, year={1998} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 8284
@inproceedings{Ehrig_Heckel_Llabrés_Orejas_Padberg_Rozenberg_1998, place={Berlin/Heidelberg}, series={LNCS}, title={Double-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information}, volume={1764}, DOI={http://dx.doi.org/10.1007/b75045}, booktitle={Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany)}, publisher={Springer}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando and Padberg, Julia and Rozenberg, Grzegorz}, year={1998}, pages={85–102}, collection={LNCS} }
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 8285
@inproceedings{Ehrig_Engels_Heckel_Taentzer_1998, title={Classification and Comparison of Modularity Concepts for Graph Transformation Systems}, number={tr-ri-98-201}, booktitle={Pre-Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT ’98), Paderborn (Germany)}, publisher={University of Paderborn}, author={Ehrig, Hartmut and Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele}, year={1998}, pages={122–131} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 8286
@inproceedings{Gadducci_Heckel_Koch_1998, place={Paderborn}, title={Model Checking Graph-Interpreted Temporal Formulas}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1998} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 8287
@inproceedings{Gadducci_Heckel_Llabrés_1998, title={DPO Derivations via Disconnected Rules}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Gadducci, Fabio and Heckel, Reiko and Llabrés, Mercé}, year={1998} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 8288
@inproceedings{Sauer_Zukunft_1998, place={Washington, DC, USA}, title={Event Processing in Mobile and Active Database Systems Using Broadcasts}, booktitle={Proceedings of the 9th International Workshop on Database and Expert Systems Applications (DEXA 1998), Vienna (Austria)}, publisher={IEEE Computer Society}, author={Sauer, Stefan and Zukunft, Olaf}, year={1998}, pages={420–426} }
LibreCat
1998 | Conference Paper | LibreCat-ID: 8289
@inproceedings{Ehrig_Heckel_Llabrés_Orejas_1998, title={Construction and Characterisation of Double-Pullback Graph Transitions}, booktitle={Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany)}, author={Ehrig, Hartmut and Heckel, Reiko and Llabrés, Mercé and Orejas, Fernando}, year={1998} }
LibreCat
1998 | Dissertation | LibreCat-ID: 7587
@book{Heckel_1998, title={Open Graph Transformation Systems: A New Approach to the Compositional Modelling of Concurrent and Reactive Systems}, author={Heckel, Reiko}, year={1998} }
LibreCat
1997 | Conference (Editor) | LibreCat-ID: 7795
@book{Engels_1997, place={Berlin/Heidelberg}, series={Informatik: Forschung und Entwicklung}, title={Themenheft: Softwaretechnik}, volume={12}, DOI={http://dx.doi.org/10.1007/s004500050085}, number={4}, publisher={Springer}, year={1997}, collection={Informatik: Forschung und Entwicklung} }
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7839
@inproceedings{Engels_Heckel_Taentzer_Ehrig_1997, place={Berlin/Heidelberg}, title={A View-Oriented Approach to System Modelling Using Graph Transformations}, volume={1301}, DOI={http://dx.doi.org/10.1007/3-540-63531-9}, booktitle={Proceedings European Software Engineering Conference (ESEC 1997), Zürich (Switzerland)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele and Ehrig, Hartmut}, editor={Jazayeri, M. and Schauer, H.Editors}, year={1997}, pages={327–343} }
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7840
@inproceedings{Depke_Knoke_Schöne_Tünnermann_Welling_1997, place={Weinheim, Germany}, title={Thermooptische Effekte in Nd:YAG-Slablasern}, volume={32}, number={3}, booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft}, publisher={Physik-Verlag}, author={Depke, Ralph and Knoke, Stefan and Schöne, Wolfram and Tünnermann, Andreas and Welling, H.}, year={1997} }
LibreCat
1997 | Conference Paper | LibreCat-ID: 7841
@inproceedings{Heckel_Ehrig_Wolter_Corradini_1997, place={London, UK}, series={LNCS}, title={Integrating the Specification Techniques of Graph Transformation and Temporal Logic}, DOI={http://dx.doi.org/10.1007/BFb0029965}, booktitle={Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science (MFCS 1997), Bratislava (Slovakia)}, publisher={Springer}, author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={1997}, pages={219–228}, collection={LNCS} }
LibreCat
| DOI
1997 | Conference Paper | LibreCat-ID: 7842
@inproceedings{Knoke_Depke_Schöne_Brozek_Tünnermann_Welling_1997, title={Einfrequenzbetrieb von Nd:YAG-Stablasersystemen hoher Ausgangsleistung}, volume={32}, number={3}, booktitle={Verhandlungen der Deutschen Physikalischen Gesellschaft, Weinheim (Germany)}, publisher={Physik-Verlag}, author={Knoke, Stefan and Depke, Ralph and Schöne, Wolfram and Brozek, O.S. and Tünnermann, Andreas and Welling, H.}, year={1997} }
LibreCat
1997 | Report | LibreCat-ID: 8201
@book{Heckel_Ehrig_Wolter_Corradini_1997, title={Loose Semantics and Constraints for Graph Transformation Systems}, author={Heckel, Reiko and Ehrig, Hartmut and Wolter, Uwe and Corradini, Andrea}, year={1997} }
LibreCat
1997 | Conference Paper | LibreCat-ID: 8276
@inproceedings{Gadducci_Heckel_1997, place={Bordeaux}, title={A 2-Categorical Presentation of Distributed Graph Transformation}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Gadducci, Fabio and Heckel, Reiko}, year={1997} }
LibreCat
1997 | Conference Paper | LibreCat-ID: 8277
@inproceedings{Gadducci_Heckel_Koch_1997, place={Bordeaux}, title={Combining Graph Transformations with Temporal Logic}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Gadducci, Fabio and Heckel, Reiko and Koch, Manuel}, year={1997} }
LibreCat
1997 | Conference Paper | LibreCat-ID: 8278
@inproceedings{Gadducci_Heckel_1997, place={Berlin/Heidelberg}, series={LNCS}, title={An Inductive View of Graph Transformation}, volume={1376}, booktitle={Proceedings of the 12th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1997), Tarquinia (Italy)}, publisher={Springer}, author={Gadducci, Fabio and Heckel, Reiko}, year={1997}, pages={223–237}, collection={LNCS} }
LibreCat
1997 | Conference Paper | LibreCat-ID: 8279
@inproceedings{Heckel_1997, title={Compositional Development and Verification of Graph Transformation Systems Based on Views and View Integration}, booktitle={Proceedings of the Workshop on the General Theory of Graph Transformation Systems (GETGRATS 1997), Bordeaux (France)}, author={Heckel, Reiko}, year={1997} }
LibreCat
1997 | Journal Article | LibreCat-ID: 7402
@article{Engels_Jürgen Schneider_1997, title={Guest Editors’ Introduction}, volume={7}, DOI={http://dx.doi.org/10.1142/S0218194097000230}, number={4}, journal={International Journal on Software Engineering and Knowledge Engineering (IJSEKE)}, author={Engels, Gregor and Jürgen Schneider, Hans}, year={1997}, pages={397–400} }
LibreCat
| DOI
1997 | Journal Article | LibreCat-ID: 7403
@article{Engels_Heckel_Taentzer_Ehrig_1997, title={A Combined Reference Model- and View-Based Approach to System Specification}, volume={7}, number={4}, journal={Int. Journal of Software and Knowledge Engeneering}, author={Engels, Gregor and Heckel, Reiko and Taentzer, Gabriele and Ehrig, Hartmut}, year={1997}, pages={457–477} }
LibreCat
1997 | Book Chapter | LibreCat-ID: 7515
@inbook{Ehrig_Heckel_Korff_Löwe_Ribeiro_Wagner_Corradini_1997, place={Singapore}, 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}, publisher={World Scientific}, author={Ehrig, Hartmut and Heckel, Reiko and Korff, Martin and Löwe, Michael and Ribeiro, Leila and Wagner, Annika and Corradini, Andrea}, year={1997}, pages={247–312} }
LibreCat
1997 | Book Chapter | LibreCat-ID: 7516
@inbook{Engels_Rekers_Andries_1997, place={Berlin/Heidelberg}, title={How to represent a visual specification}, booktitle={Visual Language Theory}, publisher={Springer}, author={Engels, Gregor and Rekers, Jan and Andries, Marc}, year={1997}, pages={241–255} }
LibreCat
1997 | Book Chapter | LibreCat-ID: 7517
@inbook{Corradini_Montanari_Rossi_Ehrig_Heckel_Löwe_1997, place={Singapore}, title={Algebraic Approaches to Graph Transformation, Part I: Basic Concepts and Double Pushout Approach}, booktitle={Handbook of Graph Grammars and Computing by Graph Transformation, Volume 1: Foundations}, publisher={World Scientific}, author={Corradini, Andrea and Montanari, Ugo and Rossi, Francesca and Ehrig, Hartmut and Heckel, Reiko and Löwe, Michael}, year={1997}, pages={163–245} }
LibreCat
1996 | Conference (Editor) | LibreCat-ID: 7796
@book{Engels_Ehrig_Rozenberg_Skowron_1996, place={Amsterdam}, series={Fundamenta Informaticae}, title={Special Issue on Graph Transformations}, volume={26}, number={3–4}, publisher={IOS Press}, year={1996}, collection={Fundamenta Informaticae} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 7834
@inproceedings{Ehrig_Heckel_Padberg_Taentzer_Wolter_Corradini_Engels_1996, title={Synchronization of Views and Loose Semantics of Typed Graph Productions}, number={155}, booktitle={Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}, publisher={Technical University of Berlin}, author={Ehrig, Hartmut and Heckel, Reiko and Padberg, Julia and Taentzer, Gabriele and Wolter, Uwe and Corradini, Andrea and Engels, Gregor}, year={1996}, pages={11–12} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 7835
@inproceedings{Heckel_1996, series={Dagstuhl-Seminar-Report}, title={Behavioral Constraints for Loose Graph Transformation Systems}, number={155}, booktitle={Report on the Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}, publisher={Technical University of Berlin}, author={Heckel, Reiko}, year={1996}, pages={12–13}, collection={Dagstuhl-Seminar-Report} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 7836
@inproceedings{de Bunje_Engels_Groenewegen_Matsinger_Rijnbeek_1996, place={Washington, DC, USA}, title={Industrial maintenance modelled in SOCCA: an experience report}, DOI={http://dx.doi.org/10.1109/ICSP.1996.565021}, booktitle={Proceedings of the Fourth International Conference on the Software Process (ICSP 1996), Brighton (UK)}, publisher={IEEE Computer Society}, author={de Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Matsinger, Aart and Rijnbeek, Martin}, year={1996}, pages={13–26} }
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 7837
@inproceedings{Engels_Ehrig_Heckel_Taentzer_Corradini_1996, series={Dagstuhl-Seminar-Report}, title={A View-Based Approach to System Modelling}, volume={155}, booktitle={Report on Dagstuhl-Seminar 9637 on Graph Transformations in Computer Science}, publisher={Technical University of Berlin}, author={Engels, Gregor and Ehrig, Hartmut and Heckel, Reiko and Taentzer, Gabriele and Corradini, Andrea}, year={1996}, pages={11}, collection={Dagstuhl-Seminar-Report} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 7838
@inproceedings{Engels_Groenewegen_Kappel_1996, title={Object-oriented specification of coordinated collaboration}, booktitle={Proceedings of IFIP World Conference on IT Tools (1996), Canberra (Australia)}, publisher={Chapman & Hall}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={1996}, pages={437–452} }
LibreCat
1996 | Report | LibreCat-ID: 8197
@book{Andries_Engels_Habel_Hoffmann_Kreowski_Kuske_Plump_Schürr_Taentzer_1996, title={Graph Transformation for Specification and Programming}, publisher={University of Bremen, Department of Mathematics and Computer Science}, author={Andries, Marc and Engels, Gregor and Habel, Annegret and Hoffmann, Berthold and Kreowski, Hans-Jörg and Kuske, Sabine and Plump, Detlef and Schürr, Andy and Taentzer, Gabriele}, year={1996} }
LibreCat
1996 | Report | LibreCat-ID: 8198
@book{Busatto_Engels_1996, title={Definition of an Encapsulated Hierarchical Graph Data Model: Static Aspects, Part 1.}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Busatto, Giorgio and Engels, Gregor}, year={1996} }
LibreCat
1996 | Report | LibreCat-ID: 8199
@book{Engels_Groenewegen_Kappel_1996, title={Object-oriented Specification of Coordinated Collaboration}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Engels, Gregor and Groenewegen, Luuk and Kappel, Gerti}, year={1996} }
LibreCat
1996 | Report | LibreCat-ID: 8200
@book{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical Structuring of Typed Graph Transformation Systems}, author={Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}, year={1996} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 8271
@inproceedings{de Bunje_Engels_Groenewegen_Heus_Matsinger_1996, place={Berlin/Heidelberg}, title={Towards Measurable Process Models}, volume={1149}, DOI={http://dx.doi.org/10.1007/BFb0017743}, booktitle={Proceedings of the Workshop on Software Process Technology (EWSPT 1996), Nancy (France)}, publisher={Springer}, author={de Bunje, Tineke and Engels, Gregor and Groenewegen, Luuk and Heus, Michael and Matsinger, Aart}, year={1996}, pages={183–187} }
LibreCat
| DOI
1996 | Conference Paper | LibreCat-ID: 8272
@inproceedings{Ehrig_Engels_1996, place={Berlin/Heidelberg}, title={Pragmatic and Semantic Aspects of a Module Concept for Graph Transformation Systems}, volume={1073}, booktitle={Selected papers from the 5th International Workshop on Graph Gramars and Their Application to Computer Science, Williamsburg, VA (USA)}, publisher={Springer}, author={Ehrig, Hartmut and Engels, Gregor}, year={1996}, pages={137–154} }
LibreCat
| Download (ext.)
1996 | Conference Paper | LibreCat-ID: 8273
@inproceedings{Engels_Zamperoni_1996, title={Comprehensive Support for Change: Generic, Multi-dimensional (Software) Engineering Frameworks (position paper)}, booktitle={Proceedings of the Workshop on Requirements Engineering in a Changing World (satellite event of the Conference on Advanced Information Systems Engineering (CAISE 1996)), Crete (Greece)}, author={Engels, Gregor and Zamperoni, Andreas}, year={1996}, pages={42–44} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 8274
@inproceedings{Groenewegen_Engels_1996, place={Washington, DC, USA}, title={Reuse of Software Process Fragments is Reuse of Software, too}, booktitle={Proceedings of the 10th International Software Process Workshop (ISPW 1996), Ventron (France)}, publisher={IEEE Computer Society}, author={Groenewegen, Luuk and Engels, Gregor}, year={1996}, pages={68} }
LibreCat
1996 | Conference Paper | LibreCat-ID: 8275
@inproceedings{Heckel_Conrad_Egger_Hiemer_1996, place={Bremen, Germany}, title={Automatic Integration of Safety Invariants into Z Specifications}, volume={1}, booktitle={Proceedings of the Workshop on Tools for System Development and Verifcation}, publisher={Shaker Verlag}, author={Heckel, Reiko and Conrad, Mirko and Egger, Gottfried and Hiemer, Jörg}, year={1996}, pages={70–83} }
LibreCat
| Download (ext.)
1996 | Journal Article | LibreCat-ID: 7404
@article{Habel_Heckel_Taentzer_1996, title={Graph Grammars with Negative Application Conditions}, volume={26}, number={3,4}, journal={Fundamenta Informaticae}, author={Habel, Annegret and Heckel, Reiko and Taentzer, Gabriele}, year={1996}, pages={287–313} }
LibreCat