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.

7564 Publications


2001 | Conference Paper | LibreCat-ID: 18964
T. Lukovszki, A. Maheshwari, and N. Zeh, “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.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 18152
M. Ziegler and V. Brattka, “A Computable Spectral Theorem,” in Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), 2001, vol. 2064, pp. 378–388.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 18166
M. Ziegler and M. R. Emamy-Khansari, “New Bounds for Hypercube Slicing Numbers,” in Proceedings of the First International Conference on Discrete Models - Combinatorics, Computation and Geometry (DM-CCG’2001), 2001, vol. AA, pp. 155–164.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 18370
J. Klein and M. Fischer, “Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph,” in Proc. of 3. GI-Informatiktage 2001, 2001, pp. 275–278.
LibreCat | Files available
 

2001 | Conference Paper | LibreCat-ID: 22321
D. Zimmer, “Entwicklung eines Getriebemotoren-Baukastens,” in Variantenvielfalt in Produkten und Prozessen. Erfahrungen, Methoden und Instrumente, 2001, pp. 77–87.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 23348
A. Trächtler, “Tomographische Methoden in der Meßtechnik ,” Fortschritt-Berichte VDI Reihe 8 Nr. 897, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7884
G. Engels, R. Heckel, and J. Küster, “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), 2001, vol. 2185, pp. 272–287.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 7889
J. Hendrik Hausmann and R. Heckel, “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), 2001, vol. 1, pp. 595–599.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 7891
R. Heckel and S. Sauer, “Strengthening UML Collaboration Diagrams by State Transformations,” in Proceedings of the 4th International Conference on Fundamental Approaches to Software Engineering (FASE 2001), Genova (Italy), 2001, vol. 2029, pp. 109–123.
LibreCat | DOI
 

2001 | Conference Paper | LibreCat-ID: 8127
S. Krauter, “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
S. Krauter, F. Ochs, and T. Depping, “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
F. Ochs and S. Krauter, “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
F. Ochs and S. Krauter, “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
S. Krauter, “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
S. Krauter and G. Valentin, “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
 

2001 | Conference Paper | LibreCat-ID: 8133
S. Krauter, “RIO 02 – The World Energy and Climate Event,” 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
 

2001 | Conference Paper | LibreCat-ID: 8138
S. Krauter and F. Ochs, “All-in-one Solar Home System,” in Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S.1641–1647, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8139
S. Krauter, T. Depping, and F. Ochs, “A Satellite Monitoring System for Remote Renewable Energy Systems in Brazil,” in Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australien), 25.–.30 November 2001, S. 1485–1490, 2001.
LibreCat
 

2001 | Conference Paper | LibreCat-ID: 8140
S. Krauter, “RIO 02 – World Climate and Energy Event,” in Proceedings of the ISES 2001 Solar World Congress, Adelaide (Australia), 25–30 November 2001, S. 1473–1480, 2001.
LibreCat
 

2001 | Journal Article | LibreCat-ID: 7394
A. Corradini, M. Große-Rhode, and R. Heckel, “A Coalgebraic presentation of structured transition systems,” Theoretical Computer Science, vol. 260, no. 1–2, pp. 27–55, 2001.
LibreCat | DOI
 

Filters and Search Terms

isbn%3D978-3-540-60972-8

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed