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
2002 | Conference Paper | LibreCat-ID: 7900
Gyapay, Szilvia, Reiko Heckel, and Dániel Varró. “Graph Transformation with Time: Causality and Logical Clocks.” In Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 2505:120–34. LNCS. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7901
Hendrik Hausmann, Jan, Reiko Heckel, and Gabriele Taentzer. “Detecting Conflicting Functional Requirements in a Use Case Driven Approach: A Static Analysis Technique Based on Graph Transformation.” In Proceedings of the 24th International Conference on Software Engineering (ICSE 2002), Orlando, FL (USA), 105–55. New York, NY, USA: ACM Press, 2002. http://doi.acm.org/10.1145/581339.581355.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7902
Heckel, Reiko, and Mourad Chouikha. “Compositional Control Synthesis for Discrete Event Systems: An Approach Based on Open Petri Nets.” In Proceedings of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA), 63–77. Grandview, TX, USA: Society of Design and Process Science, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7903
Heckel, Reiko, Jochen Küster, and Gabriele Taentzer. “Confluence of Typed Attributed Graph Transformation Systems.” In Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), 161–76. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7904
Mehner, Katharina. “JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs.” In Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), 2269:163–75. LNCS. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7905
Schattkowsky, Tim, and Marc Lohmann. “Rapid Development of Modular Dynamic Web Sites Using UML.” In Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), 336–50. LNCS. London, UK: Springer, 2002. http://dx.doi.org/10.1007/3-540-45800-X.
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7906
Cherchago, Alexey. “Formal Semantics for a UML Fragment Using UML/OCL Metamodeling.” In Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA). ACTA Press, 2002.
LibreCat
2002 | Report | LibreCat-ID: 8212
Constanza, Pascal, Günther Kniesel, Katharina Mehner, Elke Pulvermüller, and Andreas Speck. Proceedings of the Workshop on Aspect-Oriented Software Developement, Held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement. University of Bonn, 2002.
LibreCat
2002 | Journal Article | LibreCat-ID: 7385
Heckel, Reiko, Mercé Llabrés, Hartmut Ehrig, and Fernando Orejas. “Concurrency and Loose Semantics of Open Graph Transformation Systems.” Mathematical Structures in Computer Science 12, no. 4 (2002): 349–76.
LibreCat
2002 | Journal Article | LibreCat-ID: 7387
Engels, Gregor, Jochen Küster, and Luuk Groenewegen. “Consistent Interaction of Software Components.” Transactions of the SDPS: Journal of Integrated Design & Process Science 6, no. 4 (2002): 2–22.
LibreCat
2002 | Journal Article | LibreCat-ID: 7388
Depke, Ralph, Reiko Heckel, and Jochen Küster. “Formal Agent-Oriented Modeling with Graph Transformation.” Science of Computer Programming 44 (2002): 229–52.
LibreCat
2002 | Journal Article | LibreCat-ID: 7389
Doberkat, Ernst-Erich, and Gregor Engels. “MuSofT - Multimedia in Der Softwaretechnik.” Informatik Forschung Und Entwicklung 1, no. 17 (2002): 41–44.
LibreCat
2002 | Journal Article | LibreCat-ID: 7390
Corradini, Andrea, Reiko Heckel, and Ugo Montanari. “Compositional SOS and Beyond: A Coalgebraic View of Open Systems.” Theoretical Computer Science 280, no. 1–2 (2002): 163–92. http://dx.doi.org/10.1016/S0304-3975(01)00025-1.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7524
Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko Heckel. “High-Level Net Processes.” In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, edited by W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. http://dx.doi.org/10.1007/3-540-45711-9_12.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7525
Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7526
Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” In Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7527
Ehrig, Hartmut, Kathrin Hoffmann, Julia Padberg, Paolo Baldan, and Reiko Heckel. “High-Level Net Processes.” In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, edited by W. Brauer, H. Ehrig, J. Karhumäki, and A. Salomaa , 2300:191–219. LNCS. Berlin/Heidelberg: Springer, 2002. http://dx.doi.org/10.1007/3-540-45711-9_12.
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7528
Engels, Gregor, and Luuk Groenewegen. “Towards Team-Automata-Driven Object-Oriented Collaborative Work.” In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, edited by W. Brauer, H. Ehring, J. Karhumäki, and A. Salomaa, 2300:257–76. LNCS. Berlin/Heidelberg: Springer, 2002.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7529
Engels, Gregor, and Ernst-Erich Doberkat. “Multimedia in Der Informatik-Lehre.” In Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, edited by S. Schubert, B. Reusch, and N. Jesse, P-19:377–84. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI), 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8363
Heckel, Reiko, and Gregor Engels. “Towards a Formal Framework for Inter-Enterprise Application Integration.” In Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France), 51:139–51. Electronic Notes in Theoretical Computer Science. Elsevier, 2002. http://dx.doi.org/10.1016/S1571-0661(04)80198-1.
LibreCat
| DOI