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.
7536 Publications
2001 | Conference Paper | LibreCat-ID: 7884
Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model
G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.
LibreCat
| DOI
G. Engels, R. Heckel, J. Küster, in: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada), Springer, Berlin/Heidelberg, 2001, pp. 272–287.
2001 | Conference Paper | LibreCat-ID: 7889
Use Cases as views: A formal approach to Requirements engineering in the Unified Process
J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.
LibreCat
J. Hendrik Hausmann, R. Heckel, in: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich), Österreichische Computer Gesellschaft, Wien (Österreich), 2001, pp. 595–599.
2001 | Conference Paper | LibreCat-ID: 7891
Strengthening UML Collaboration Diagrams by State Transformations
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
LibreCat
| DOI
R. Heckel, S. Sauer, in: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), Springer, London, UK, 2001, pp. 109–123.
2001 | Conference Paper | LibreCat-ID: 8127
New façade system consisting of combined photovoltaic and solar thermal generators with building insulation
S. Krauter, in: Proceedings of the 7th International Building Performance Simulation Association Conference, Rio de Janeiro (Brasilien), 13.–15. August 2001, S. 619–626, 2001.
LibreCat
S. Krauter, in: Proceedings of the 7th International Building Performance Simulation Association Conference, Rio de Janeiro (Brasilien), 13.–15. August 2001, S. 619–626, 2001.
2001 | Conference Paper | LibreCat-ID: 8128
Satellite Monitoring of Remote PV-Systems
S. Krauter, F. Ochs, T. Depping, in: Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2598–2599, 2001.
LibreCat
S. Krauter, F. Ochs, T. Depping, in: Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2598–2599, 2001.
2001 | Conference Paper | LibreCat-ID: 8129
Development of an All-in-one Solar Home System
F. Ochs, S. Krauter, in: Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2595–2597, 2001.
LibreCat
F. Ochs, S. Krauter, in: Proceedings of the 17th European Photovoltaic Solar Energy Conference and Exhibition, München (Deutschland), 22.–26. Oktober 2001, Band 3, S. 2595–2597, 2001.
2001 | Conference Paper | LibreCat-ID: 8130
Online Energy Monitoring and Control of a School Building
F. Ochs, S. Krauter, in: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 2, S. 917–919, 2001.
LibreCat
F. Ochs, S. Krauter, in: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 2, S. 917–919, 2001.
2001 | Conference Paper | LibreCat-ID: 8131
Façade Elements for Combined Photovoltaic–Solar Thermal Energy Generation and Building Insulation
S. Krauter, in: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 275–262, 2001.
LibreCat
S. Krauter, in: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 275–262, 2001.
2001 | Conference Paper | LibreCat-ID: 8132
Software for Simulation of Photovoltaic Systems in Buildings
S. Krauter, G. Valentin, in: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 283–285, 2001.
LibreCat
S. Krauter, G. Valentin, in: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band 1, S. 283–285, 2001.
2001 | Conference Paper | LibreCat-ID: 8133
RIO 02 – The World Energy and Climate Event
S. Krauter, in: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band. 2, S. 1049–1052, 2001.
LibreCat
S. Krauter, in: Proceedings of the 18th Conference on Passive and Low Energy Architecture, Florianópolis (Brasilien), 7.–9. November 2001, Band. 2, S. 1049–1052, 2001.
2001 | Conference Paper | LibreCat-ID: 8138
All-in-one Solar Home System
S. Krauter, F. Ochs, in: Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S.1641–1647, 2001.
LibreCat
S. Krauter, F. Ochs, in: Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S.1641–1647, 2001.
2001 | Conference Paper | LibreCat-ID: 8139
A Satellite Monitoring System for Remote Renewable Energy Systems in Brazil
S. Krauter, T. Depping, F. Ochs, in: Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australien), 25.–.30 November 2001, S. 1485–1490, 2001.
LibreCat
S. Krauter, T. Depping, F. Ochs, in: Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australien), 25.–.30 November 2001, S. 1485–1490, 2001.
2001 | Conference Paper | LibreCat-ID: 8140
RIO 02 – World Climate and Energy Event
S. Krauter, in: Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S. 1473–1480, 2001.
LibreCat
S. Krauter, in: Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S. 1473–1480, 2001.
2001 | Journal Article | LibreCat-ID: 7394
A Coalgebraic presentation of structured transition systems
A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260 (2001) 27–55.
LibreCat
| DOI
A. Corradini, M. Große-Rhode, R. Heckel, Theoretical Computer Science 260 (2001) 27–55.
2001 | Conference Paper | LibreCat-ID: 8357
Agent-oriented Modeling with Graph Transformation
R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.
LibreCat
| DOI
R. Depke, R. Heckel, J. Küster, in: Proceedings of the First International Workshop on Agent-Oriented Software Engineering (AOSE 2000), Limerick (Ireland), Springer, Berlin/Heidelberg, 2001, pp. 105–120.
2001 | Dissertation | LibreCat-ID: 8469
Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe
T. Hemsel, Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
T. Hemsel, Untersuchung und Weiterentwicklung linearer piezoelektrischer Schwingungsantriebe, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Book Chapter | LibreCat-ID: 16493
Data Management in Networks
F. Meyer auf der Heide, in: Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 2001.
LibreCat
| DOI
F. Meyer auf der Heide, in: Graph-Theoretic Concepts in Computer Science, Berlin, Heidelberg, 2001.
2001 | Book Chapter | LibreCat-ID: 16494
Parallel Bridging Models and Their Impact on Algorithm Design
F. Meyer auf der Heide, R. Wanka, in: Computational Science - ICCS 2001, Berlin, Heidelberg, 2001.
LibreCat
| DOI
F. Meyer auf der Heide, R. Wanka, in: Computational Science - ICCS 2001, Berlin, Heidelberg, 2001.
2001 | Book Chapter | LibreCat-ID: 16555
The Algorithms Behind GAIO — Set Oriented Numerical Methods for Dynamical Systems
M. Dellnitz, G. Froyland, O. Junge, in: Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems, Berlin, Heidelberg, 2001.
LibreCat
| DOI
M. Dellnitz, G. Froyland, O. Junge, in: Ergodic Theory, Analysis, and Efficient Simulation of Dynamical Systems, Berlin, Heidelberg, 2001.
2001 | Book (Editor) | LibreCat-ID: 16722
Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark
F. Meyer auf der Heide, ed., Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark, Lecture Notes in Computer Science (LNCS, volume 2161), Springer , Berlin, Heidelberg, 2001.
LibreCat
| DOI
F. Meyer auf der Heide, ed., Algorithms — ESA 2001, 9th Annual European Symposium Århus, Denmark, Lecture Notes in Computer Science (LNCS, volume 2161), Springer , Berlin, Heidelberg, 2001.