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.
7911 Publications
2001 | Conference Paper | LibreCat-ID: 3246
Fischer C, Olderog E-R, Wehrheim H. A {CSP} View on {UML-RT} Structure Diagrams. In: Hu{\ss}mann H, ed. Fundamental Approaches to Software Engineering, 4th International Conference, {FASE} 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, {ETAPS} 2001 Genova, Italy, April 2-6, 2001, Proceedings. Lecture Notes in Computer Science. ; 2001:91--108. doi:10.1007/3-540-45314-8_8
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 21010
Brüdgam S, Meschut G. Material technologies und joining techniques for multi material car body structures. In: DVS-Berichte, Band 218. Vol 218. Bejing, P.R. China; 2001:191-200.
LibreCat
2001 | Journal Article | LibreCat-ID: 18749
Czumaj A, Sohler C. Testing Hypergraph Coloring. Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP). 2001:493-505. doi:10.1007/3-540-48224-5_41
LibreCat
| DOI
2001 | Journal Article | LibreCat-ID: 18857
Sohler C, Czumaj A. Property Testing with Geometric Queries. Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01). 2001:266-277. doi:10.1007/3-540-44676-1_22
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18964
Lukovszki T, Maheshwari A, Zeh N. I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems. In: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS. ; 2001. doi:10.1007/3-540-45294-x_21
LibreCat
| DOI
2001 | Book Chapter | LibreCat-ID: 19145
Seng E-M. Architektonischer Wunschtraum, literarische Utopie, bauliche Realität. Samjatins “Wir” und die Architektur des 20. Jahrhunderts. In: Reese-Schäfer W, Kühnel M, Rüdiger A, eds. Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage. Halle; 2001:236-263.
LibreCat
2001 | Book Chapter | LibreCat-ID: 19184
Seng E-M. Christianopolis. Der utopische Architekturentwurf des Johann Valentin Andreae. In: Lächele R, ed. Das Echo Halles. Tübingen; 2001:59-92.
LibreCat
2001 | Journal Article | LibreCat-ID: 19195
Seng E-M. Vom Kristallpalast zum gläsernen Menschen. MUT Forum für Kultur, Politik und Geschichte, Nr407, Juli 2001. 2001;(Nr. 407):18-27.
LibreCat
2001 | Conference Paper | LibreCat-ID: 18152
Ziegler M, Brattka V. A Computable Spectral Theorem. In: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000). Vol 2064. Berlin, Heidelberg; 2001:378-388. doi:10.1007/3-540-45335-0_23
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 18370
Klein J, Fischer M. Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph. In: Proc. of 3. GI-Informatiktage 2001. Bad Schussenried; 2001:275-278.
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 22321
Zimmer D. Entwicklung eines Getriebemotoren-Baukastens. In: Variantenvielfalt in Produkten Und Prozessen. Erfahrungen, Methoden Und Instrumente. VDI-Gesellschaft Entwicklung Konstruktion Vertrieb (VDI-EKV); 2001:77-87.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7884
Engels G, Heckel R, Küster J. Rule-Based Specification of Behavioral Consistency Based on the UML Meta-model. In: Proceedings of the Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools (UML 2001), Toronto (Canada). Vol 2185. Berlin/Heidelberg: Springer; 2001:272-287. doi:http://dx.doi.org/10.1007/3-540-45441-1_21
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 7889
Hendrik Hausmann J, Heckel R. Use Cases as views: A formal approach to Requirements engineering in the Unified Process. In: Proceedings of the GI/OCG-Jahrestagung on Wirtschaft Und Wissenschaft in Der Network Economy - Visionen Und Wirklichkeit (2001), Wien (Österreich). Vol 1. Wien (Österreich): Österreichische Computer Gesellschaft; 2001:595-599.
LibreCat
2001 | Conference Paper | LibreCat-ID: 7891
Heckel R, Sauer S. Strengthening UML Collaboration Diagrams by State Transformations. In: Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy). Vol 2029. LNCS. London, UK: Springer; 2001:109-123. doi:http://dx.doi.org/10.1007/3-540-45314-8_9
LibreCat
| DOI
2001 | Conference Paper | LibreCat-ID: 8127
Krauter S. New façade system consisting of combined photovoltaic and solar thermal generators with building insulation. In: Proceedings of the 7th International Building Performance Simulation Association Conference, Rio de Janeiro (Brasilien), 13.–15. August 2001, S. 619–626. ; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 8128
Krauter S, Ochs F, Depping T. Satellite Monitoring of Remote PV-Systems. 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
2001 | Conference Paper | LibreCat-ID: 8129
Ochs F, Krauter S. Development of an All-in-one Solar Home System. 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
2001 | Conference Paper | LibreCat-ID: 8130
Ochs F, Krauter S. Online Energy Monitoring and Control of a School Building. 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
2001 | Conference Paper | LibreCat-ID: 8131
Krauter S. Façade Elements for Combined Photovoltaic–Solar Thermal Energy Generation and Building Insulation. 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
2001 | Conference Paper | LibreCat-ID: 8132
Krauter S, Valentin G. Software for Simulation of Photovoltaic Systems in Buildings. 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