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.
897 Publications
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
1996 | Journal Article | LibreCat-ID: 7405
@article{Heckel_Corradini_Ehrig_Löwe_1996, title={Horizontal and Vertical Structuring of Typed Graph Transformation Systems}, volume={6}, number={6}, journal={Mathematical Structures in Computer Science}, author={Heckel, Reiko and Corradini, Andrea and Ehrig, Hartmut and Löwe, Michael}, year={1996}, pages={613–648} }
LibreCat
1996 | Journal Article | LibreCat-ID: 7406
@article{Andries_Engels_1996, title={A Hybrid Query Language for the Extended Entity Relationship Model}, volume={7}, DOI={http://dx.doi.org/10.1006/jvlc.1996.0017}, number={3}, journal={Journal of Visual Languages and Computing}, author={Andries, Marc and Engels, Gregor}, year={1996}, pages={321–352} }
LibreCat
| DOI
1996 | Book Chapter | LibreCat-ID: 7514
@inbook{Engels_Nagl_Schäfer_Westfechtel_1996, place={Berlin/Heidelberg}, series={LNCS}, title={Tight Integration on One Document: The Programming Environment}, volume={1170}, booktitle={Building Tightly Integrated Software Development Environments: The IPSEN Approach}, publisher={Springer}, author={Engels, Gregor and Nagl, Manfred and Schäfer, Wilhelm and Westfechtel, Bernhard}, year={1996}, pages={170–177}, collection={LNCS} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 7831
@inproceedings{Heckel_Müller_Taentzer_Wagner_1995, series={Technical Report}, title={Attributed Graph Transformations with Controlled Application of Rules}, number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears}, author={Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995}, collection={Technical Report} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 7832
@inproceedings{Thoben_Appelrath_Sauer_1995, place={Berlin/Heidelberg}, series={Studies in Classification, Data Analysis, and Knowledge Organization}, title={Record Linkage of Anonymous Data by Control Numbers}, booktitle={Proceedings of the 18th Annual Conference of the Gesellschaft für Klassifikation, Oldenburg (Germany)}, publisher={Springer}, author={Thoben, Wilfried and Appelrath, Hans-Jürgen and Sauer, Stefan}, year={1995}, pages={412–419}, collection={Studies in Classification, Data Analysis, and Knowledge Organization} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 7833
@inproceedings{Heckel_1995, series={Technical Report}, title={Embedding of Conditional Graph Transformations}, number={B-19}, booktitle={Proceedings of the Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears}, author={Heckel, Reiko}, year={1995}, collection={Technical Report} }
LibreCat
1995 | Report | LibreCat-ID: 8194
@book{Conrad_Gajewsky_Holl-Biniasz_Rudolf_Demuth_Weber_Heckel_Müller_Taentzer_Wagner_1995, title={Graphische Spezifikation ausgewählter Teile von AGG - einem algebraischen Graphgrammatiksystem}, author={Conrad, Mirko and Gajewsky, Magdalena and Holl-Biniasz, Rainer and Rudolf, Michael and Demuth, Jochen and Weber, Stephan and Heckel, Reiko and Müller, Jürgen and Taentzer, Gabriele and Wagner, Annika}, year={1995} }
LibreCat
1995 | Report | LibreCat-ID: 8195
@book{Ebert_Engels_1995, place={Koblenz}, title={Specialization of Object Life Cycle Definitions}, publisher={University of Koblenz-Landau}, author={Ebert, Jürgen and Engels, Gregor}, year={1995} }
LibreCat
1995 | Report | LibreCat-ID: 8196
@book{Engels_Schürr_1995, title={Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Engels, Gregor and Schürr, Andy}, year={1995} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 8266
@inproceedings{Groenewegen_Engels_1995, place={Berlin/Heidelberg}, series={LNCS}, title={Coordination by Behavioural Views and Communication Patterns}, volume={913}, DOI={http://dx.doi.org/10.1007/3-540-59205-9_56}, booktitle={Proceedings of the 4th European Workshop on Software Process Technology (EWSPT 1995), Noordwijkerhout (The Netherlands)}, publisher={Springer}, author={Groenewegen, Luuk and Engels, Gregor}, year={1995}, pages={189–192}, collection={LNCS} }
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8267
@inproceedings{Corradini_Heckel_1995, series={Electronic Notes in Theoretical Computer Science }, title={A Compositional Approach to Structuring and Refinement of Typed Graph Grammars}, volume={2}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Corradini, Andrea and Heckel, Reiko}, year={1995}, pages={46–55}, collection={Electronic Notes in Theoretical Computer Science } }
LibreCat
1995 | Conference Paper | LibreCat-ID: 8268
@inproceedings{Bardohl_Bardohl_Castro_Ehrig_Heckel_Ribeiro_Nunes_Martini_1995, series={Bilateral Seminars of the International Bureau}, title={GRAPHIT: Graphical Support and Integration of Formal and Semiformal Methods for Software Specification and Development}, volume={26}, booktitle={Proceedings of the 3rd German-Brazilian Workshop on Information Technology (1995), Berlin (Germany)}, publisher={Forschungszentrum Jülich GmbH}, author={Bardohl, Bernhard and Bardohl, Roswitha and Castro, Paulo and Ehrig, Hartmut and Heckel, Reiko and Ribeiro, Leila and Nunes, Daltro and Martini, Alfio}, year={1995}, collection={Bilateral Seminars of the International Bureau} }
LibreCat
1995 | Conference Paper | LibreCat-ID: 8269
@inproceedings{Engels_Schürr_1995, place={Amsterdam, The Netherlands}, series={Electronic Notes in Theoretical Computer Science}, title={Encapsulated Hierarchical Graphs, Graph Types, and Meta Types}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80186-0}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Engels, Gregor and Schürr, Andy}, year={1995}, pages={101–109}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI
1995 | Conference Paper | LibreCat-ID: 8270
@inproceedings{Heckel_Wagner_1995, series={Electronic Notes in Theoretical Computer Science}, title={Ensuring Consistency of Conditional Graph Grammars - A constructive Approach}, volume={2}, DOI={http://dx.doi.org/10.1016/S1571-0661(05)80188-4}, booktitle={Proceedings of the Joint COMPUGRAPH/SEMAGRAPH Workshop on Graph Rewriting and Computation (SEGRAGRA 1995), Volterra (Italy)}, publisher={Elsevier}, author={Heckel, Reiko and Wagner, Annika}, year={1995}, pages={118–126}, collection={Electronic Notes in Theoretical Computer Science} }
LibreCat
| DOI
1994 | Conference (Editor) | LibreCat-ID: 7797
@book{Ehrich_Engels_Paredaens_Wegner_1994, series={Dagstuhl-Seminar-Report}, title={Fundamentals of Object-Oriented Languages, Systems, and Methods}, volume={95}, publisher={Schloss Dagstuhl, Leibniz Center for Informatics}, year={1994}, collection={Dagstuhl-Seminar-Report} }
LibreCat
1994 | Conference (Editor) | LibreCat-ID: 7798
@book{Cuny_Ehrig_Engels_Rozenberg_1994, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Gramars and Their Application to Computer Science, 5th International Workshop (1994), Selected Papers}, volume={1073}, DOI={http://dx.doi.org/10.1007/3-540-61228-9}, publisher={Springer}, year={1994}, collection={LNCS} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 7827
@inproceedings{Thoben_Appelrath_Rettig_Sauer_1994, place={München}, title={Berücksichtigung von Datenschutzaspekten in einem bevölkerungsbezogenen Krebsregister}, booktitle={Proceedings of the conference on Medizin und Information, Biometrie und Epidemiologie (GMDS 1994), Dresden (Germany)}, publisher={MMV Medizin Verlag}, author={Thoben, Wilfried and Appelrath, Hans-Jürgen and Rettig, Jens and Sauer, Stefan}, year={1994}, pages={88–90} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 7828
@inproceedings{Ebert_Engels_1994, place={Berlin/Heidelberg}, title={Structural and Behavioural Views on OMT-Classes}, volume={858}, booktitle={Proceedings of the International Symposium on Object-Oriented Methodologies and Systems (ISOOMS 1994), Palermo (Italy)}, publisher={Springer}, author={Ebert, Jürgen and Engels, Gregor}, year={1994}, pages={142–157} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 7829
@inproceedings{Engels_Kappel_1994, title={Object-Oriented System Development: Will the New Approach Solve Old Problems?}, volume={3}, booktitle={Proceedings of the IFIP 13th World Computer Congress on Information Processing, Hamburg (Germany)}, publisher={Elsevier}, author={Engels, Gregor and Kappel, Gerti}, year={1994}, pages={434–441} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 7830
@inproceedings{Engels_Ehrig_1994, series={Technical Report }, title={Towards a Module Concept for Graph Transformation Systems: The Software Engineering Perspective}, volume={B-19}, booktitle={Proceedings Colloquium on Graph Transformation and its Application in Computer Science}, publisher={Universitat de les Illes Balears, Departament de Ci}, author={Engels, Gregor and Ehrig, Hartmut}, year={1994}, collection={Technical Report } }
LibreCat
1994 | Report | LibreCat-ID: 8193
@book{Ebert_Engels_1994, title={Observable or Invocable Behaviour - You Have to Choose}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Ebert, Jürgen and Engels, Gregor}, year={1994} }
LibreCat
1994 | Conference Paper | LibreCat-ID: 8263
@inproceedings{Andries_Engels_1994, place={Berlin/Heidelberg}, series={LNCS}, title={Syntax and Semantics of Hybrid Database Languages}, volume={776}, DOI={http://dx.doi.org/10.1007/3-540-57787-4_2}, booktitle={Proceedings of the International Workshop on Graph Transformations in Computer Science (1993), Dagstuhl (Germany)}, publisher={Springer}, author={Andries, Marc and Engels, Gregor}, year={1994}, pages={19–36}, collection={LNCS} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8264
@inproceedings{Engels_Groenewegen_1994, place={Berlin/Heidelberg}, series={LNCS}, title={Specification of coordinated behaviour by SOCCA}, DOI={http://dx.doi.org/10.1007/3-540-57739-4_19}, booktitle={Proceedings of the Third European Workshop on Software Process Technology (EWSPT 1994), Villard de Lans (France)}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={1994}, pages={128–151}, collection={LNCS} }
LibreCat
| DOI
1994 | Conference Paper | LibreCat-ID: 8265
@inproceedings{Engels_Löhr_1994, place={Berlin/Heidelberg}, title={Visual Specification of Complex Database Actions}, booktitle={Proceedings of the 2nd International East/West Database Workshop, Klagenfurt (Germany)}, publisher={Springer}, author={Engels, Gregor and Löhr, Perdita}, year={1994}, pages={303–314} }
LibreCat
1994 | Journal Article | LibreCat-ID: 7407
@article{Löhr-Richter_Engels_1994, title={Visuelles Spezifizieren von komplexen Aktionen auf Datenbankstrukturen}, volume={13}, journal={GI-Datenbank Rundbrief}, author={Löhr-Richter, Perdita and Engels, Gregor}, year={1994}, pages={33–35} }
LibreCat
1994 | Book Chapter | LibreCat-ID: 7512
@inbook{Ebert_Engels_1994, title={Design Representation}, booktitle={Encyclopedia of Software Engineering}, publisher={John Wiley & Sons, Inc.}, author={Ebert, Jürgen and Engels, Gregor}, year={1994}, pages={382–394} }
LibreCat
1994 | Book Chapter | LibreCat-ID: 7513
@inbook{Engels_Groenewegen_1994, place={Taunton}, title={SOCCA: Specifications of Coordinated and Cooperative Activities}, booktitle={Software Process Modelling and Technology}, publisher={Research Studies Press}, author={Engels, Gregor and Groenewegen, Luuk}, year={1994}, pages={71–102} }
LibreCat
1993 | Conference Paper | LibreCat-ID: 7826
@inproceedings{Engels_Verrijn-Stuart_1993, series={Reihe 10: Informatik/Kommunikationstechnik}, title={Integrationsaspekte bei verteilter Software-Entwicklung}, number={251}, booktitle={Fortschritt-Berichte VDI}, publisher={VDI Verlag}, author={Engels, Gregor and Verrijn-Stuart, A.A.}, year={1993}, pages={45–53}, collection={Reihe 10: Informatik/Kommunikationstechnik} }
LibreCat
1993 | Report | LibreCat-ID: 8190
@book{Andries_Engels_1993, title={A Hybrid Query Language for the Extended Entity Relationship Model}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Andries, Marc and Engels, Gregor}, year={1993} }
LibreCat
1993 | Report | LibreCat-ID: 8191
@book{Ehrig_Engels_1993, title={Towards a Module Concept for Graph Transformation Systems}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Ehrig, Hartmut and Engels, Gregor}, year={1993} }
LibreCat
1993 | Report | LibreCat-ID: 8192
@book{Engels_Rozenberg_1993, title={Abstracts COMPUGRAPH II Workshop}, publisher={Vakgroep Informatica, Rijksuniversiteit Leiden}, author={Engels, Gregor and Rozenberg, Grzegorz}, year={1993} }
LibreCat
1993 | Conference Paper | LibreCat-ID: 8262
@inproceedings{Engels_Groenewegen_1993, place={Washington, DC, USA}, title={Modular, Visual Specifications of Software Processes}, booktitle={Proceedings of the Workshop on Software Process (ISPW 1993), Wadern (Germany)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Groenewegen, Luuk}, year={1993}, pages={66–68} }
LibreCat
1992 | Conference Paper | LibreCat-ID: 7825
@inproceedings{Koopman_Groenewegen_Engels_1992, title={Functional Description of Parallel Processes}, booktitle={Proceedings of the conference SION Computing Science in the Netherlands (CSN ’92), The Netherlands}, author={Koopman, Pieter and Groenewegen, Luuk and Engels, Gregor}, year={1992}, pages={156–167} }
LibreCat
1992 | Report | LibreCat-ID: 8189
@book{Engels_1992, title={Visual Specifications of Conceptual Database Schemata (Abstract)}, publisher={Leiden University}, author={Engels, Gregor}, year={1992} }
LibreCat
1992 | Conference Paper | LibreCat-ID: 8260
@inproceedings{Engels_Löhr-Richter_1992, place={Washington, DC, USA}, title={CADDY: A Highly Integrated Environment to Support Conceptual Database Design}, booktitle={Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering (CASE 1992), Montreal (Canada)}, publisher={IEEE Computer Society}, author={Engels, Gregor and Löhr-Richter, Perdita}, year={1992}, pages={19–22} }
LibreCat
1992 | Conference Paper | LibreCat-ID: 8261
@inproceedings{Engels_Groenewegen_1992, place={Berlin/Heidelberg}, series={LNCS}, title={Specification of Coordinated Behaviour in the Software Development Process}, volume={635}, DOI={http://dx.doi.org/10.1007/BFb0017495}, booktitle={Proceedings of the Second European Workshop on Software Process Technology (EWSPT 92), Trondheim, Norway}, publisher={Springer}, author={Engels, Gregor and Groenewegen, Luuk}, year={1992}, pages={58–60}, collection={LNCS} }
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7408
@article{Hohenstein_Engels_1992, title={SQL/EER - Syntax and Semantics of an Entity-Relationship-Based Query Language}, volume={17}, DOI={http://dx.doi.org/10.1016/0306-4379(92)90014-E}, number={3}, journal={Information Systems}, author={Hohenstein, Uwe and Engels, Gregor}, year={1992}, pages={209–242} }
LibreCat
| DOI
1992 | Journal Article | LibreCat-ID: 7409
@article{Engels_Lewerentz_Nagl_Schäfer_Schürr_1992, title={Building Integrated Software Development Environments, Part I: Tool Specification}, volume={1}, number={2}, journal={ACM Transactions on Software Engineering and Methodology (TOSEM)}, author={Engels, Gregor and Lewerentz, Claus and Nagl, Manfred and Schäfer, Wilhelm and Schürr, Andy}, year={1992}, pages={135–167} }
LibreCat
1992 | Journal Article | LibreCat-ID: 7410
@article{Engels_Gogolla_Hohenstein_Hülsmann_Löhr-Richter_Saake_Ehrich_1992, title={Conceptual Modelling of Database Applications Using an Extended ER Model}, volume={9}, DOI={http://dx.doi.org/10.1016/0169-023X(92)90008-Y}, number={2}, journal={Data & Knowledge Engineering}, author={Engels, Gregor and Gogolla, Martin and Hohenstein, Uwe and Hülsmann, Klaus and Löhr-Richter, Perdita and Saake, Gunter and Ehrich, Hans-Dietrich}, year={1992}, pages={157–204} }
LibreCat
| DOI
1991 | Report | LibreCat-ID: 8188
@book{Löhr-Richter_Engels_1991, place={Leiden University, P.O. Box 9500, 2300 RA Leiden, The Netherlands}, title={Incremental Design of Conceptual Database Schemata with CADDY}, publisher={Leiden University}, author={Löhr-Richter, Perdita and Engels, Gregor}, year={1991} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 7824
@inproceedings{Hohenstein_Engels_1990, title={Formal Semantics of an Entity-Relationship Query Language}, booktitle={Proceedings of the 9th International Conference on Entity-Relationship Approach (ER 90), Lausanne, Switzerland}, publisher={ER Institute}, author={Hohenstein, Uwe and Engels, Gregor}, year={1990}, pages={177–188} }
LibreCat
1990 | Conference Paper | LibreCat-ID: 8259
@inproceedings{Engels_1990, place={Berlin/Heidelberg}, title={Elementary Actions on an Extended Entity-Relationship Database}, volume={532}, DOI={http://dx.doi.org/10.1007/BFb0017372}, booktitle={Proceedings of the workshop on Graph Grammars and Their Application to Computer Science (1990), Bremen (Germany)}, publisher={Springer}, author={Engels, Gregor}, year={1990}, pages={344–362} }
LibreCat
| DOI
1989 | Conference Paper | LibreCat-ID: 7821
@inproceedings{Ebert_Engels_1989, place={Berlin/Heidelberg}, series={Informatik-Fachberichte}, title={Konzepte einer Software-Architektur-Beschreibungssprache}, volume={212}, booktitle={Software-Entwicklung: Konzepte, Erfahrungen, Perspektiven, Fachtagung, 1989, Marburg (Germany)}, publisher={Springer}, author={Ebert, Jürgen and Engels, Gregor}, year={1989}, pages={238–250}, collection={Informatik-Fachberichte} }
LibreCat
1989 | Conference Paper | LibreCat-ID: 7822
@inproceedings{Engels_1989, title={CADDY-O: Syntaxgestütztes, graphisches Entwerfen konzeptioneller Datenbankschemata}, volume={18}, booktitle={Tagungsband GI-Fachtagung “Interaktive Schnittstellen für Informationssysteme”, TU Clausthal, Notizen zu Interaktive Systeme}, author={Engels, Gregor}, year={1989}, pages={1–16} }
LibreCat
1989 | Conference Paper | LibreCat-ID: 7823
@inproceedings{Engels_Hohenstein_Hülsmann_Löhr-Richter_Ehrich_1989, place={Berlin}, title={CADDY: Computer-Aided Design of Non-Standard Databases}, booktitle={Proceedings of the International Conference on System Development Environments & Factories, Berlin, Germany}, publisher={Pitman Publishing}, author={Engels, Gregor and Hohenstein, Uwe and Hülsmann, Klaus and Löhr-Richter, Perdita and Ehrich, Hans-Dietrich}, year={1989} }
LibreCat
1989 | Report | LibreCat-ID: 8187
@book{Engels_1989, title={Benutzerschnittstelle und Architektur der integrierten Datenbankentwurfsumgebung CADDY (Kurzfassung)}, publisher={TU Braunschweig}, author={Engels, Gregor}, year={1989} }
LibreCat
1989 | Book | LibreCat-ID: 7511
@book{Engels_Schäfer_1989, place={Stuttgart}, title={Programmentwicklungsumgebungen: Konzepte und Realisierung}, publisher={Teubner}, author={Engels, Gregor and Schäfer, Wilhelm}, year={1989} }
LibreCat
1988 | Conference Paper | LibreCat-ID: 7818
@inproceedings{Engels_Janning_Schäfer_1988, place={New York, NY, USA}, title={A Highly Integrated Tool Set for Program Development Support}, DOI={http://dx.doi.org/10.1145/62453.62454}, booktitle={Proceedings of the conference on ACM SIGSMALL/PC symposium on ACTES (SIGSMALL 1988), Cannes (France)}, publisher={ACM Press}, author={Engels, Gregor and Janning, Thorsten and Schäfer, Wilhelm}, year={1988}, pages={1–10} }
LibreCat
| DOI
1988 | Conference Paper | LibreCat-ID: 7819
@inproceedings{Engels_Hohenstein_Neugebauer_Saake_Ehrich_1988, title={Konzeption einer integrierten Datenbank-Entwurfsumgebung}, booktitle={Proceedings of DBTA/SI Data Dictionaries und Entwicklungswerkzeuge für Datenbank-Anwendungen, Zürich, Switzerland}, publisher={Verlag der Fachvereine an den Schweiz. Hochschulen und Techniken}, author={Engels, Gregor and Hohenstein, Uwe and Neugebauer, Leonore and Saake, Gunter and Ehrich, Hans-Dietrich}, year={1988}, pages={151–157} }
LibreCat
1988 | Conference Paper | LibreCat-ID: 7820
@inproceedings{Engels_Hohenstein_Saake_Ehrich_1988, place={Darmstadt (Germany)}, title={Auf dem Weg zu einer integrierten Datenbank-Entwurfsumgebung}, booktitle={Proceedings of the GI-Workshop on “Sprachspezifische Programmierumgebungen”}, publisher={G. Snelting}, author={Engels, Gregor and Hohenstein, Uwe and Saake, Gunter and Ehrich, Hans-Dietrich}, editor={Engels, Gregor and Hohenstein, Uwe and Saake, Gunter and Ehrich, Hans-D.Editors}, year={1988}, pages={38–51} }
LibreCat