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.

911 Publications


2000 | Conference Paper | LibreCat-ID: 8338
Depke, Ralph, and Reiko Heckel. “Formalizing the Development of Agent-Based Systems Using Graph Processes.” In Proceedings of the Workshop on Graph Transformation and Visual Modelling Techniques (Satellite Event of the ICALP 2000), Geneva (Switzerland), 419–26. Carleton Scientific, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8339
Engels, Gregor, and Reiko Heckel. “From Trees to Graphs: Defining the Semantics of Diagram Languages with Graph Transformation.” In Proceedings of the Workshop on Graph Transformation and Visual Modeling Techniques (Satellite Events of the ICALP 2000), Geneva(Switzerland), 373–82. Carleton Scientific, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8340
Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Modeling Concurrent Behavior through Consistent Statechart Views.” In Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany), 44–49. Munich (Germany): Ludwig-Maximilians-University, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 7396
Engels, Gregor, and Reiko Heckel. “Graph Transformation and Visual Modeling Techniques.” Bulletin of the EATCS, no. 71 (2000): 186–202.
LibreCat
 

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
 

Filters and Search Terms

department=66

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed