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 | Journal Article | LibreCat-ID: 7397
Corradini, Andrea, and Reiko Heckel. “Graph Transformation and Visual Modeling Techniques: Workshop Summary and HowTo.” Bulletin of the EATCS, no. 72 (2000): 69–76.
LibreCat
2000 | Journal Article | LibreCat-ID: 7398
Depke, Ralph, Reiko Heckel, Jochen Küster, and Matthew Langham. “Agenten Im Auftrag Des Bankkunden.” Geldinstitute 31, no. 1–2 (2000): 32–33.
LibreCat
2000 | Book | LibreCat-ID: 7509
Doberkat, Ernst-Erich. Multimedia in Der Wirtschaftswissenschaftlichen Lehre: Erfahrungsbericht. LIT Verlag Münster, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7520
Engels, Gregor, Udo Kelter, Ralph Depke, and Katharina Mehner. “Unterstützende Angebote Der Softwarebegleitgruppe.” In Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, 27–56. Münster: LIT, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7521
Engels, Gregor, Ralph Depke, and Katharina Mehner. “Ergebnisse - Vergleichende Darstellung.” In Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht, 277–94. Münster: LIT, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7522
Engels, Gregor, Luuk Groenewegen, and Gerti Kappel. “Coordinated Collaboration of Objects.” In Proceedings of Advances in Object-Oriented Modeling, 307–32. The MIT Press, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8341
Gadducci, Fabio, Reiko Heckel, and Manuel Koch. “A Fully Abstract Model for Graph-Interpreted Temporal Logic.” In Proceedings of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT 1998), Paderborn (Germany), 1764:310–22. LNCS. London, UK: Springer, 2000. http://dx.doi.org/10.1007/b75045.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8342
Engels, Gregor, and Andreas Zamperoni. “Formal Integration of Software Engineering Aspects Using Graph Rewrite Systems - A Typical Experience?!” In Proceedings of the International Workshop on Applications of Graph Transformations with Industrial Relevance (AGTIVE 1999), Kerkrade (The Netherlands), 1779:359–68. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-45104-8_28.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8343
Heckel, Reiko, and Stefan Sauer. “Dynamische Metamodellierung Als Methode Zur Definition Einer Operationalen Semantik Für Die UML.” In Proceedings of the 7th GI-Workshop GROOM, 20:43–44. University of Koblenz-Landau, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
Heckel, Reiko, and Stefan Sauer. “Strengthening the Semantics of UML Collaboration Diagrams.” In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 63–69. Munich (Germany): Ludwig-Maximilians-University, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8345
Küster, Jochen, and Joachim Stroop. “Towards Consistency of Dynamic Models and Analysis of Timing Constraints.” In Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK). York, UK: University of York, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8346
Mehner, Katharina, and Tim Schattkowsky. “Methodische Aspekte von Modellierungssprachen Für Nebenläufige Software.” In Proceedings of the 8th GROOM Workshop: Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Softwaresysteme (VVVNS 2000), Münster (Germany), 24:14–18. Universität Münster, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8347
Mehner, Katharina, and Annika Wagner. “Visualisierung Der Synchronisation von Java-Threads Mit UML.” In Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany), Vol. 15. Koblenzer Schriften Zur Informatik. Fölbach, 2000.
LibreCat
1999 | Conference (Editor) | LibreCat-ID: 7792
Engels, Gregor, K. Beiersdörfer, and Wilhelm Schäfer, eds. Informatik ’99: Informatik Überwindet Grenzen. Tagungsband Der 29. Jahrestagung Der Gesellschaft Für Informatik, Paderborn (Germany). Informatik Aktuell. Berlin/Heidelberg: Springer, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7849
Deugo, Dwight, Jochen Küster, Franz Oppacher, and Ingo von Otte. “Patterns as a Means for Intelligent Software Engineering.” In Proceedings of the Conference on Artificial Intelligence (IC-AI 1999) Las Vegas, Nevada (USA), 2:605–11. CSREA Press, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7850
Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Tile Transition Systems as Structured Coalgebras.” In Proceedings of the 12th International Symposium on Fundamentals of Computation Theory (FCT ’99), 1684:13–38. LNCS. Berlin/Heidelberg: Springer, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7851
Cherchago, Alexey. “Application of the Structured Analysis and Design Technique (SADT) Methodology for the Medical Information Systems Development.” In 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), 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7852
Engels, Gregor, Ralph Depke, and Christoph Borowski. “Konzeption Und Objektorientierte Realisierung Einer Internet-Basierten Datenbankanwendung.” In Kolloquium Software-Entwicklung - Methoden, Werkzeuge, Erfahrungen, 8:531–40. Ostfildern: Technische Akademie Esslingen, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7856
Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. “UML Collaboration Diagrams and Their Transformation to Java.” In Proceddings of The Unified Modeling Language: Beyond the Standard, Second International Conference (UML 99), Fort Collins, Colorado, USA, 1723:473–88. LNCS. Berlin/Heidelberg: Springer, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7858
Gadducci, Fabio, Reiko Heckel, and Mercé Llabrés. “A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting.” In Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK), 29:80–100. Electronic Notes in Theoretical Computer Science. Elsevier, 1999. http://dx.doi.org/10.1016/S1571-0661(05)80309-3.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 7859
Heckel, Reiko. “Modeling Agent-Based Systems with Graph Transformation and UML.” In Proceedings of the Dagstuhl-Seminar 99451 on Rigorous Analysis and Design for Software Intensive Systems, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 7860
Sauer, Stefan, and Gregor Engels. “Extending UML for Modeling of Multimedia Applications.” In Proceedings of the IEEE Symposium on Visual Languages (VL 1999), Tokyo (Japan), 80–87. Tokyo, Japan: IEEE Computer Society, 1999. http://doi.ieeecomputersociety.org/10.1109/VL.1999.795878.
LibreCat
| DOI
1999 | Report | LibreCat-ID: 8203
Ehrig, Hartmut, Reiko Heckel, Mercé Llabrés, and Fernando Orejas. Basic Properties of Double Pullback Graph Transitions. Technical University of Berlin, 1999.
LibreCat
1999 | Report | LibreCat-ID: 8204
Engels, Gregor, Roland Hücking, Stefan Sauer, and Annika Wagner. UML Collaboration Diagrams and Their Transformation to Java. University of Paderborn, Department of Computer Science, 1999.
LibreCat
1999 | Report | LibreCat-ID: 8205
Engels, Gregor, Pieter Jan t’Hoen, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper, and Pieter Koopman. SOCCA Extended with UML like Packages. Leiden Institute of Advanced Computer Science, 1999.
LibreCat
1999 | Report | LibreCat-ID: 8206
Engels, Gregor, Ray Dassen, Luuk Groenewegen, Ida G. Sprinkhuizen-Kuyper, Pieter Koopman, and Pieter Jan t’Hoen. A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8321
Sauer, Stefan, and Gregor Engels. “UML-Basierte Modellierung von Multimediaanwendungen.” In Modellierung 1999, Workshop Der Gesellschaft Für Informatik e. V. (GI), März 1999 in Karlsruhe, 155–70. Karlsruhe, Germany: Teubner, Stuttgart, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8322
Sauer, Stefan, and Gregor Engels. “OMMMA: An Object-Oriented Approach for Modeling Multimedia Information Systems.” In Proceedings of the Workshop on Multimedia Information Systems (MIS 1999), Indian Wells, CA (USA), 64–71. Indian Wells, California, USA, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8323
Corradini, Andrea, Martin Große-Rhode, and Reiko Heckel. “An Algebra of Graph Derivations Using Finite (Co-) Limit Double Theories.” In Selected Papers of the 13th International Workshop on Recent Trends in Algebraic Development Techniques (WADT 1998), Lisbon (Portugal), 1589:92–106. LNCS. Berlin/Heidelberg: Springer, 1999. http://dx.doi.org/10.1007/3-540-48483-3_7.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8324
Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “From SOS Specifications to Structured Coalgebras: How to Make Bisimulation a Congruence.” In Proceedings of the 2nd Workshop on Coalgebraic Methods in Computer Science (CMCS 99), 19:118–41. Electronic Notes in TCS. Amsterdam, The Netherlands: Elsevier, 1999. http://dx.doi.org/10.1016/S1571-0661(05)80273-7.
LibreCat
| DOI
1999 | Conference Paper | LibreCat-ID: 8325
Engels, Gregor, Reiko Heckel, and Stefan Sauer. “Dynamic Meta Modelling: A Graphical Approach to Operational Semantics.” In 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), 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8326
Engels, Gregor, and Stefan Sauer. “MVC-Based Modeling Support for Embedded Real-Time Systems.” In Proceedings of OMER Workshop, Herrsching, Germany, 11–14. Herrsching, Universität der Bundeswehr München, Fakultät für Informatik, 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8327
Mehner, Katharina, and Annika Wagner. “An Assessment of Aspect Language Design.” In Proceedings of the Young Researchers Workshop (Satellite Event of the Generative and Component-Based Software Engineering (GCSE 1999)), Erfurt (Germany), 1999.
LibreCat
1999 | Conference Paper | LibreCat-ID: 8328
Mehner, Katharina, and Annika Wagner. “On the Role of Method Families in Aspect Oriented Programming.” In Proceedings of the ECOOP Workshop on Aspect Oriented Programming, Lisboa (Spain), 1743:305–6. LNCS. Berlin/Heidelberg: Springer, 1999.
LibreCat
1999 | Journal Article | LibreCat-ID: 7399
Depke, Ralph, Gregor Engels, Katharina Mehner, Stefan Sauer, and Annika Wagner. “Ein Vorgehensmodell Für Die Multimedia-Entwicklung Mit Autorensystemen.” Informatik Forschung Und Entwicklung 14, no. 2 (1999): 83–94. http://dx.doi.org/10.1007/s004500050128.
LibreCat
| DOI
1999 | Journal Article | LibreCat-ID: 7400
Cherchago, Alexey, and V. Finaev. “Formalization of the Development Process for a Software-Hardware Reflexodiagnostic Tool.” Scientific Bulletin of Academy of Information Technologies in Education, Science and Balneology 3 (1999).
LibreCat
1999 | Journal Article | LibreCat-ID: 7401
Andries, Marc, Gregor Engels, Annegret Habel, Berthold Hoffmann, Hans-Jörg Kreowski, Sabine Kuske, Detlef Plump, Andy Schürr, and Gabriele Taentzer. “Graph Transformation for Specification and Programming.” Science of Computer Programming 34, no. 1 (1999): 1–54. http://dx.doi.org/10.1016/S0167-6423(98)00023-9.
LibreCat
| DOI
1999 | Book | LibreCat-ID: 7510
Ehrig, Hartmut, Gregor Engels, Hans Jörg Kreowski, and Grzegorz Rozenberg. Handbook of Graph Grammars and Computing by Graph Transformation: Vol. 2: Applications, Languages, and Tools. River Edge, NJ, USA: World Scientific Publishing Co., Inc., 1999.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7518
Heckel, Reiko, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. “A View-Based Approach to System Modeling Based on Open Graph Transformation Systems.” In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, 639–68. Singapore: World Scientific, 1999.
LibreCat
1999 | Book Chapter | LibreCat-ID: 7519
Heckel, Reiko, Gregor Engels, Hartmut Ehrig, and Gabriele Taentzer. “Classification and Comparison of Module Concepts for Graph Transformation Systems.” In Handbook of Graph Grammars and Computing by Graph Transformations, Volume 2: Applications, Languages and Tools, 2:669–89. Singapore: World Scientific, 1999.
LibreCat
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