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.
6942 Publications
2002 | Book Review | LibreCat-ID: 18751 | 
Thom, Paul, “The Principle of Non-contradiction in Early Greek Philosophy”, Apeiron 32 (1999), no. 3, 153–170
V. Peckhaus, Mathematical Reviews, MR1853431 (2002h:01001) (2002).
LibreCat
| Download (ext.)
V. Peckhaus, Mathematical Reviews, MR1853431 (2002h:01001) (2002).
2002 | Book Review | LibreCat-ID: 18753
Baltzly, Dirk, “Aristotle and Platonic Dialectic in Metaphysics Γ 4”, Apeiron 32 (1999), no. 3, 171–202
V. Peckhaus, Mathematical Reviews, MR1853432 (2002h:01002) (2002).
LibreCat
| Download (ext.)
V. Peckhaus, Mathematical Reviews, MR1853432 (2002h:01002) (2002).
2001 | Dissertation | LibreCat-ID: 19622
Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing
K. Schröder, Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
LibreCat
| Files available
K. Schröder, Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2001.
2001 | Conference Paper | LibreCat-ID: 2428
Instance-Specific Accelerators for Minimum Covering
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2001, pp. 85–91.
LibreCat
C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2001, pp. 85–91.
2001 | Mastersthesis | LibreCat-ID: 2430
Reconfigurable Accelerators for Minimum Covering
C. Plessl, Reconfigurable Accelerators for Minimum Covering, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2001.
LibreCat
C. Plessl, Reconfigurable Accelerators for Minimum Covering, Computer Engineering and Networks Lab, ETH Zurich, Switzerland, 2001.
2001 | Conference Paper | LibreCat-ID: 2431
A Cache Simulator for Shared Memory Systems
F. Schintke, J. Simon, A. Reinefeld, in: Proc. Int. Conf. on Computational Science (ICCS), Springer, Berlin / Heidelberg, 2001, pp. 569–578.
LibreCat
| DOI
F. Schintke, J. Simon, A. Reinefeld, in: Proc. Int. Conf. on Computational Science (ICCS), Springer, Berlin / Heidelberg, 2001, pp. 569–578.
2001 | Conference Paper | LibreCat-ID: 3246
A {CSP} View on {UML-RT} Structure Diagrams
C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\ss}mann (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, 2001, pp. 91--108.
LibreCat
| DOI
C. Fischer, E.-R. Olderog, H. Wehrheim, in: H. Hu{\ss}mann (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, 2001, pp. 91--108.
2001 | Conference Paper | LibreCat-ID: 21010
Material technologies und joining techniques for multi material car body structures
S. Brüdgam, G. Meschut, in: DVS-Berichte, Band 218, Bejing, P.R. China, 2001, pp. 191–200.
LibreCat
S. Brüdgam, G. Meschut, in: DVS-Berichte, Band 218, Bejing, P.R. China, 2001, pp. 191–200.
2001 | Journal Article | LibreCat-ID: 18749
Testing Hypergraph Coloring
A. Czumaj, C. Sohler, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) (2001) 493–505.
LibreCat
| DOI
A. Czumaj, C. Sohler, Proceedings of the 28th International Colloquium on Automata, Languages and Programming (ICALP) (2001) 493–505.
2001 | Journal Article | LibreCat-ID: 18857
Property Testing with Geometric Queries
C. Sohler, A. Czumaj, Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01) (2001) 266–277.
LibreCat
| DOI
C. Sohler, A. Czumaj, Proceedings of the 9th Annual European Symposium on Algorithms (ESA`01) (2001) 266–277.
2001 | Conference Paper | LibreCat-ID: 18964
I/O-Efficient Batched Range Counting and Its Applications to Proximity Problems
T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001.
LibreCat
| DOI
T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 21st Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2001), LNCS, 2001.
2001 | Conference Paper | LibreCat-ID: 18152
A Computable Spectral Theorem
M. Ziegler, V. Brattka, in: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), Berlin, Heidelberg, 2001, pp. 378–388.
LibreCat
| DOI
M. Ziegler, V. Brattka, in: Proceedings of the 4th Workshop on Computability and Complexity in Analysis (CCA’2000), Berlin, Heidelberg, 2001, pp. 378–388.
2001 | Conference Paper | LibreCat-ID: 18370
Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph
J. Klein, M. Fischer, in: Proc. of 3. GI-Informatiktage 2001, Bad Schussenried, 2001, pp. 275–278.
LibreCat
| Files available
J. Klein, M. Fischer, in: Proc. of 3. GI-Informatiktage 2001, Bad Schussenried, 2001, pp. 275–278.
2001 | Conference Paper | LibreCat-ID: 22321
Entwicklung eines Getriebemotoren-Baukastens
D. Zimmer, in: Variantenvielfalt in Produkten Und Prozessen. Erfahrungen, Methoden Und Instrumente, VDI-Gesellschaft Entwicklung Konstruktion Vertrieb (VDI-EKV), 2001, pp. 77–87.
LibreCat
D. Zimmer, in: Variantenvielfalt in Produkten Und Prozessen. Erfahrungen, Methoden Und Instrumente, VDI-Gesellschaft Entwicklung Konstruktion Vertrieb (VDI-EKV), 2001, pp. 77–87.
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.