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
Engels, Gregor, Hartmut Ehrig, Fernando Orejas, and M. Wirsing, eds. Semi-Formal and Formal Specification Techniques. Vol. 218. Dagstuhl-Seminar-Report. Schloss Dagstuhl, Leibniz Center for Informatics, 1998.
LibreCat
1998 | Conference (Editor) | LibreCat-ID: 7794
Engels, Gregor, Hartmut Ehrig, Hans-Jörg Kreowski, and Grzegorz Rozenberg, eds. 6th International Workshop on Theory and Applications of Graph Transformations (TAGT ’98), Paderborn, Selected Papers. Vol. 1764. LNCS. Berlin/Heidelberg: Springer, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7843
Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika Wagner. “Ein Ansatz Zur Verbesserung Des Entwicklungsprozesses von Multimedia-Anwendungen.” In Proceedings of the GI-Fachtagung on Softwaretechnik (1998), Paderborn (Germany), 18:12–19. GI, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7844
Didrich, Klaus, and Annika Wagner. “Integration of Single Pushout Transformation and Functional Programming.” In Proceedings of the World Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), 4:65–73. Society for Design and Process Science, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7845
Cherchago, Alexey. “A Generalized Schema of a Decision-Making Process of a SCENAR-Therapeutist.” In Proceedings of the Scientific and Technical Conference on Medical Information Systems (MIS 1998), Taganrog (Russia), 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 7847
Heckel, Reiko. “Compositional Verification of Reactive Systems Specified by Graph Transformation.” In Proceedgins of the First International Conference on Fundamental Approaches to Software Engineering (FASE 1998), Lisbon (Portugal), 1382:138–53. LNCS. Berlin/Heidelberg: Springer, 1998. http://dx.doi.org/10.1007/BFb0053578.
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 7848
Padberg, Julia, Lars Jansen, Reiko Heckel, and Hartmut Ehrig. “Interoperability in Train Control Systems: Specification of Scenarios Using Open Nets.” In Proceedings of the Conference on Integrated Design and Process Technology (IDPT 1998), Berlin (Germany), 17–28. Society for Design and Process Science, 1998.
LibreCat
1998 | Report | LibreCat-ID: 8202
Engels, Gregor, and Silvia Kolmschlag. Electronic Commerce Systeme Als Anwendungsbeispiel Für Evolutionstechniken. University of Paderborn, C-LAB, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8280
Kolmschlag, Silvia, and Gregor Engels. “Unterstützung Der Flexibilität Eines Electronic Commerce Systems Durch Evolutionstechniken.” In Proceedings of the Workshop on “Integration Heterogener Softwaresysteme” (Satellite Event of the GI-Jahrestagung Informatik 1998), Magdeburg (Germany), 13–24. GI, 1998.
LibreCat
1998 | Conference Paper | LibreCat-ID: 8281
Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “Structured Transition Systems as Lax Coalgebras.” In Proceedings of the First Workshop on Coalgebraic Methods in Computer Science (CMCS 1998), Lisbon (Portugal), Vol. 11. Electronic Notes in Theoretical Computer Science. Elsevier, 1998.
LibreCat