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


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
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Citation Style: BibTeX

Export / Embed