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 | Journal Article | LibreCat-ID: 7388
Depke R, Heckel R, Küster J. Formal Agent-Oriented Modeling with Graph Transformation. Science of Computer Programming. 2002;44:229-252.
LibreCat
2002 | Journal Article | LibreCat-ID: 7389
Doberkat E-E, Engels G. MuSofT - Multimedia in der Softwaretechnik. Informatik Forschung und Entwicklung. 2002;1(17):41-44.
LibreCat
2002 | Journal Article | LibreCat-ID: 7390
Corradini A, Heckel R, Montanari U. Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Theoretical Computer Science. 2002;280(1-2):163-192. doi:http://dx.doi.org/10.1016/S0304-3975(01)00025-1
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7524
Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes. In: Brauer W, Ehrig H, Karhumäki J, Salomaa A, eds. Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:191-219. doi:http://dx.doi.org/10.1007/3-540-45711-9_12
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7525
Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7526
Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7527
Ehrig H, Hoffmann K, Padberg J, Baldan P, Heckel R. High-Level Net Processes. In: Brauer W, Ehrig H, Karhumäki J, Salomaa A, eds. Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:191-219. doi:http://dx.doi.org/10.1007/3-540-45711-9_12
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7528
Engels G, Groenewegen L. Towards Team-Automata-Driven Object-Oriented Collaborative Work. In: Brauer W, Ehring H, Karhumäki J, Salomaa A, eds. Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg. Vol 2300. LNCS. Berlin/Heidelberg: Springer; 2002:257-276.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7529
Engels G, Doberkat E-E. Multimedia in der Informatik-Lehre. In: Schubert S, Reusch B, Jesse N, eds. Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics. Vol P-19. Lecture Notes in Informatics. Bonn: Gesellschaft für Informatik (GI); 2002:377-384.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8363
Heckel R, Engels G. Towards a Formal Framework for Inter-Enterprise Application Integration. In: Proceedings of the Closing Workshop of the TMR Network GETGRATS (2002), Bordeaux (France). Vol 51. Electronic Notes in Theoretical Computer Science. Elsevier; 2002:139-151. doi:http://dx.doi.org/10.1016/S1571-0661(04)80198-1
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8364
Thöne S, Depke R, Engels G. Process-Oriented, Flexible Composition of Web Services with UML. In: Proceedings of the International Workshop on Conceptual Modeling Approaches for E-Business: A Web Service Perspective (ECOMO 2002), Tampere (Finland). Vol 2784. LNCS. Berlin/Heidelberg: Springer; 2002:390-401.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8365
Engels G, Küster J, Heckel R. Towards Consistency-Preserving Model Evolution. In: Proceedings of the International Workshop on Principles of Software Evolution(Satellite Event of the ICSE 02), Orlando, Florida (USA). New York, NY, USA: ACM Press; 2002:129-132. doi:http://doi.acm.org/10.1145/512035.512066
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 8366
Gyapay S, Heckel R. Towards Graph Transformation with Time. In: Proceedings of the APPLIGRAPH Workshop on Application of Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France). Universität Bremen; 2002:131-140.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8367
Heckel R, Küster J, Taentzer G. Towards Automatic Translation of UML Models into Semantic Domains. In: Proceedings of the APPLIGRAPH Workshop on Applied Graph Transformation (AGT 2002, Satellite Event of the ETAPS 2002), Grenoble (France). Universität Bremen; 2002:11-21.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8368
Hendrik Hausmann J, Heckel R, Sauer S. Extended Model Relations with Graphical Consistency Conditions. In: Proceeding of the Workshop on Consistency Problems in UML-Based Software Development (Satellite Event of the UML 2002), Dresden (Germany). Department of Software Engineering and Computer Science, Blekinge Institute of Technology; 2002:61-74.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8369
Mehner K, Rashid A. Towards a Standard Interface for Runtime Inspection in AOP Environments. In: Proceedings Workshop on Tools for Aspect-Oriented Software Developement (Satellite Event of the OOPSLA 2002), Seattle, WA (USA). ; 2002.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8370
Schattkowsky T, Lohmann M, Heckel R. Lightweight Modeling of Dynamic Websites using UML. In: Proceedings of Workshop on Web Engineering (Satellite Event of the ICSE 2002), Orlando, FL (USA). ; 2002.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7787
Mehner K, Mezini M, Pulvermüller E, Speck A, eds. Proceedings of the Workshop on Aspect-Orientation, German Society for Informatics, Special Interest Group for Object-Oriented Software Developement, Paderborn (Germany). Vol tr-ri-01-223. University of Paderborn; 2001.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7788
Engels G, Oberweis A, Zündorf A, eds. Modellierung 2001. Vol 1. Bonn: Gesellschaft für Informatik (GI); 2001.
LibreCat
2001 | Conference (Editor) | LibreCat-ID: 7789
Böllert K, Streitferdt D, Heuzeroth D, Mehner K, Hanenberg S, eds. Proceedings of the 3rd Young Researchers Workshop, Satellite of the 3rd International Symposium on Generative and Component-Based Engineering (GCSE ’01), Erfurt (Germany).; 2001.
LibreCat