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, S., Heckel, R., & Varró, D. (2002). Graph Transformation with Time: Causality and Logical Clocks. In Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain) (Vol. 2505, pp. 120–134). Berlin/Heidelberg: Springer.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7901
Hendrik Hausmann, J., Heckel, R., & Taentzer, G. (2002). 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) (pp. 105–155). New York, NY, USA: ACM Press. http://doi.acm.org/10.1145/581339.581355
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7902
Heckel, R., & Chouikha, M. (2002). 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) (pp. 63–77). Grandview, TX, USA: Society of Design and Process Science.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7903
Heckel, R., Küster, J., & Taentzer, G. (2002). Confluence of Typed Attributed Graph Transformation Systems. In Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain) (pp. 161–176). Berlin/Heidelberg: Springer.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7904
Mehner, K. (2002). JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs. In Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany) (Vol. 2269, pp. 163–175). Berlin/Heidelberg: Springer.
LibreCat
2002 | Conference Paper | LibreCat-ID: 7905
Schattkowsky, T., & Lohmann, M. (2002). 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) (pp. 336–350). London, UK: Springer. http://dx.doi.org/10.1007/3-540-45800-X
LibreCat
| DOI
2002 | Conference Paper | LibreCat-ID: 7906
Cherchago, A. (2002). 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.
LibreCat
2002 | Report | LibreCat-ID: 8212
Constanza, P., Kniesel, G., Mehner, K., Pulvermüller, E., & Speck, A. (2002). 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.
LibreCat
2002 | Journal Article | LibreCat-ID: 7385
Heckel, R., Llabrés, M., Ehrig, H., & Orejas, F. (2002). Concurrency and Loose Semantics of Open Graph Transformation Systems. Mathematical Structures in Computer Science, 12(4), 349–376.
LibreCat
2002 | Journal Article | LibreCat-ID: 7387
Engels, G., Küster, J., & Groenewegen, L. (2002). Consistent Interaction of Software Components. Transactions of the SDPS: Journal of Integrated Design & Process Science, 6(4), 2–22.
LibreCat
2002 | Journal Article | LibreCat-ID: 7388
Depke, R., Heckel, R., & Küster, J. (2002). Formal Agent-Oriented Modeling with Graph Transformation. Science of Computer Programming, 44, 229–252.
LibreCat
2002 | Journal Article | LibreCat-ID: 7389
Doberkat, E.-E., & Engels, G. (2002). MuSofT - Multimedia in der Softwaretechnik. Informatik Forschung Und Entwicklung, 1(17), 41–44.
LibreCat
2002 | Journal Article | LibreCat-ID: 7390
Corradini, A., Heckel, R., & Montanari, U. (2002). Compositional SOS and Beyond: A Coalgebraic View of Open Systems. Theoretical Computer Science, 280(1–2), 163–192. 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. (2002). High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol. 2300, pp. 191–219). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45711-9_12
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7525
Engels, G., & Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented Collaborative Work. In Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7526
Engels, G., & Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre. In Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics (Vol. P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2002 | Book Chapter | LibreCat-ID: 7527
Ehrig, H., Hoffmann, K., Padberg, J., Baldan, P., & Heckel, R. (2002). High-Level Net Processes. In W. Brauer, H. Ehrig, J. Karhumäki, & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol. 2300, pp. 191–219). Berlin/Heidelberg: Springer. http://dx.doi.org/10.1007/3-540-45711-9_12
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 7528
Engels, G., & Groenewegen, L. (2002). Towards Team-Automata-Driven Object-Oriented Collaborative Work. In W. Brauer, H. Ehring, J. Karhumäki, & A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg (Vol. 2300, pp. 257–276). Berlin/Heidelberg: Springer.
LibreCat
2002 | Book Chapter | LibreCat-ID: 7529
Engels, G., & Doberkat, E.-E. (2002). Multimedia in der Informatik-Lehre. In S. Schubert, B. Reusch, & N. Jesse (Eds.), Informatik bewegt. 32. Jahrestagung der Gesellschaft für Informatik, 2002, Lecture Notes in Informatics (Vol. P-19, pp. 377–384). Bonn: Gesellschaft für Informatik (GI).
LibreCat
2002 | Conference Paper | LibreCat-ID: 8363
Heckel, R., & Engels, G. (2002). 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, pp. 139–151). Elsevier. http://dx.doi.org/10.1016/S1571-0661(04)80198-1
LibreCat
| DOI