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.
9290 Publications
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 | Conference (Editor) | LibreCat-ID: 8142
Krauter, S., Rosa, L. P., & Landsberg, P. T. (Eds.). (2002). Proceedings of RIO 02 – World Climate & Energy Event. Rio de Janeiro (Brasilien): Hrsg.: S. Krauter und L. P. Rosa, Imprinta Press (Buch mit CD), ISBN 85-902710-1-3.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8151
Krauter, S., & Depping, T. (2002). Monitoring of Remote PV-Systems by Satellite. In Proceedings of “PV in Europe – From PV Technology to Energy Solutions” Conference and Exhibition, Rom (Italien), 7.–11. Oktober 2002, S. 1177–1180.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8152
Krauter, S., & Ochs, F. (2002). Integrated Solar Home System. In Proceedings of “PV in Europe – From PV Technology to Energy Solutions” Conference and Exhibition, Rom (Italien), 7.–11. Oktober 2002, S. 846–849.
LibreCat
2002 | Conference Paper | LibreCat-ID: 8153
Krauter, S. (2002). Eletrificação rural através de sistemas fotovoltaicos: básicos, atividades no Brasil, aplicações, desenvolvimentos atuais. In 3o Seminário Energia na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9.
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: 4621
Heiler, S., & Feng, Y. (2002). Data-driven decomposition of seasonal time series. Journal of Statistical Planning and Inference, 91(2), 351–363. https://doi.org/10.1016/s0378-3758(00)00187-7
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 4637
Heiler, S., & Feng, Y. (2002). Data-driven decomposition of seasonal time series. Journal of Statistical Planning and Inference, 91(2), 351–363. https://doi.org/10.1016/s0378-3758(00)00187-7
LibreCat
| DOI
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