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.
9311 Publications
2002 | Conference Paper | LibreCat-ID: 7902
Compositional Control Synthesis for Discrete Event Systems: An Approach based on Open Petri Nets
R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design and Process Science, Grandview, TX, USA, 2002, pp. 63–77.
LibreCat
R. Heckel, M. Chouikha, in: Proceedings of the Conference on Integrated Design & Process Technology (IDPT 2002), Pasadena, CA (USA), Society of Design and Process Science, Grandview, TX, USA, 2002, pp. 63–77.
2002 | Conference Paper | LibreCat-ID: 7903
Confluence of Typed Attributed Graph Transformation Systems
R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 161–176.
LibreCat
R. Heckel, J. Küster, G. Taentzer, in: Proceedings of the First International Conference on Graph Transformation (ICGT 2002), Barcelona (Spain), Springer, Berlin/Heidelberg, 2002, pp. 161–176.
2002 | Conference Paper | LibreCat-ID: 7904
JaVis: A UML-Based Visualization and Debugging Environment for Concurrent Java Programs
K. Mehner, in: Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.
LibreCat
K. Mehner, in: Proceedings of the International Seminar on Software Visualization, Dagstuhl (Germany), Springer, Berlin/Heidelberg, 2002, pp. 163–175.
2002 | Conference Paper | LibreCat-ID: 7905
Rapid Development of Modular Dynamic Web Sites Using UML
T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London, UK, 2002, pp. 336–350.
LibreCat
| DOI
T. Schattkowsky, M. Lohmann, in: Proceedings of the 5th International Conference on The Unified Modeling Language (UML 2002), Dresden (Germany), Springer, London, UK, 2002, pp. 336–350.
2002 | Conference Paper | LibreCat-ID: 7906
Formal Semantics for a UML fragment using UML/OCL metamodeling
A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.
LibreCat
A. Cherchago, in: Proceedings of the 6th IASTED International Conference on Software Engineering and Applications (SEA 2002), Cambridge, MA (USA), ACTA Press, 2002.
2002 | Conference (Editor) | LibreCat-ID: 8142
Proceedings of RIO 02 – World Climate & Energy Event.
S. Krauter, L.P. Rosa, P.T. Landsberg, eds., Proceedings of RIO 02 – World Climate & Energy Event., Hrsg.: S. Krauter und L. P. Rosa, Imprinta Press (Buch mit CD), ISBN 85-902710-1-3, Rio de Janeiro (Brasilien), 2002.
LibreCat
S. Krauter, L.P. Rosa, P.T. Landsberg, eds., Proceedings of RIO 02 – World Climate & Energy Event., Hrsg.: S. Krauter und L. P. Rosa, Imprinta Press (Buch mit CD), ISBN 85-902710-1-3, Rio de Janeiro (Brasilien), 2002.
2002 | Conference Paper | LibreCat-ID: 8151
Monitoring of Remote PV-Systems by Satellite
S. Krauter, T. Depping, in: Proceedings of “PV in Europe – From PV Technology to Energy Solutions” Conference and Exhibition, Rom (Italien), 7.–11. Oktober 2002, S. 1177–1180, 2002.
LibreCat
S. Krauter, T. Depping, in: Proceedings of “PV in Europe – From PV Technology to Energy Solutions” Conference and Exhibition, Rom (Italien), 7.–11. Oktober 2002, S. 1177–1180, 2002.
2002 | Conference Paper | LibreCat-ID: 8152
Integrated Solar Home System
S. Krauter, F. Ochs, in: Proceedings of “PV in Europe – From PV Technology to Energy Solutions” Conference and Exhibition, Rom (Italien), 7.–11. Oktober 2002, S. 846–849, 2002.
LibreCat
S. Krauter, F. Ochs, in: Proceedings of “PV in Europe – From PV Technology to Energy Solutions” Conference and Exhibition, Rom (Italien), 7.–11. Oktober 2002, S. 846–849, 2002.
2002 | Conference Paper | LibreCat-ID: 8153
Eletrificação rural através de sistemas fotovoltaicos: básicos, atividades no Brasil, aplicações, desenvolvimentos atuais
S. Krauter, in: 3o Seminário Energia Na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9, 2002.
LibreCat
S. Krauter, in: 3o Seminário Energia Na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9, 2002.
2002 | Report | LibreCat-ID: 8212
Proceedings of the Workshop on Aspect-Oriented Software Developement, held by the German Society for Informatics, Special Interest Group for Object-Oriented Software Developement
P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, A. 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
P. Constanza, G. Kniesel, K. Mehner, E. Pulvermüller, A. 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.
2002 | Journal Article | LibreCat-ID: 4621
Data-driven decomposition of seasonal time series
S. Heiler, Y. Feng, Journal of Statistical Planning and Inference 91 (2002) 351–363.
LibreCat
| DOI
S. Heiler, Y. Feng, Journal of Statistical Planning and Inference 91 (2002) 351–363.
2002 | Journal Article | LibreCat-ID: 4637
Data-driven decomposition of seasonal time series
S. Heiler, Y. Feng, Journal of Statistical Planning and Inference 91 (2002) 351–363.
LibreCat
| DOI
S. Heiler, Y. Feng, Journal of Statistical Planning and Inference 91 (2002) 351–363.
2002 | Journal Article | LibreCat-ID: 7385
Concurrency and Loose Semantics of Open Graph Transformation Systems
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer Science 12 (2002) 349–376.
LibreCat
R. Heckel, M. Llabrés, H. Ehrig, F. Orejas, Mathematical Structures in Computer Science 12 (2002) 349–376.
2002 | Journal Article | LibreCat-ID: 7387
Consistent Interaction of Software Components
G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal of Integrated Design & Process Science 6 (2002) 2–22.
LibreCat
G. Engels, J. Küster, L. Groenewegen, Transactions of the SDPS: Journal of Integrated Design & Process Science 6 (2002) 2–22.
2002 | Journal Article | LibreCat-ID: 7388
Formal Agent-Oriented Modeling with Graph Transformation
R. Depke, R. Heckel, J. Küster, Science of Computer Programming 44 (2002) 229–252.
LibreCat
R. Depke, R. Heckel, J. Küster, Science of Computer Programming 44 (2002) 229–252.
2002 | Journal Article | LibreCat-ID: 7389
MuSofT - Multimedia in der Softwaretechnik
E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002) 41–44.
LibreCat
E.-E. Doberkat, G. Engels, Informatik Forschung Und Entwicklung 1 (2002) 41–44.
2002 | Journal Article | LibreCat-ID: 7390
Compositional SOS and Beyond: A Coalgebraic View of Open Systems
A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002) 163–192.
LibreCat
| DOI
A. Corradini, R. Heckel, U. Montanari, Theoretical Computer Science 280 (2002) 163–192.
2002 | Book Chapter | LibreCat-ID: 7524
High-Level Net Processes
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.
LibreCat
| DOI
H. Ehrig, K. Hoffmann, J. Padberg, P. Baldan, R. Heckel, in: W. Brauer, H. Ehrig, J. Karhumäki, A. Salomaa (Eds.), Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 191–219.
2002 | Book Chapter | LibreCat-ID: 7525
Towards Team-Automata-Driven Object-Oriented Collaborative Work
G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.
LibreCat
G. Engels, L. Groenewegen, in: Formal and Natural Computing: Essays Dedicated to Grzegorz Rozenberg, Springer, Berlin/Heidelberg, 2002, pp. 257–276.
2002 | Book Chapter | LibreCat-ID: 7526
Multimedia in der Informatik-Lehre
G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.
LibreCat
G. Engels, E.-E. Doberkat, in: Informatik Bewegt. 32. Jahrestagung Der Gesellschaft Für Informatik, 2002, Lecture Notes in Informatics, Gesellschaft für Informatik (GI), Bonn, 2002, pp. 377–384.