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.
7262 Publications
2002 | Book Review | LibreCat-ID: 18756
Peckhaus V. Degnan, Michael J., “What is the Scope of Aristotle’s Defense of the PNC”, Apeiron 32 (1999), no. 3, 243–274. Mathematical Reviews, MR1853434 (2002h:01005). Published online 2002.
LibreCat
| Download (ext.)
2002 | Book Review | LibreCat-ID: 18751 | 
Peckhaus V. Thom, Paul, “The Principle of Non-contradiction in Early Greek Philosophy”, Apeiron 32 (1999), no. 3, 153–170. Mathematical Reviews, MR1853431 (2002h:01001). Published online 2002.
LibreCat
| Download (ext.)
2002 | Book Review | LibreCat-ID: 18753
Peckhaus V. Baltzly, Dirk, “Aristotle and Platonic Dialectic in Metaphysics Γ 4”, Apeiron 32 (1999), no. 3, 171–202. Mathematical Reviews, MR1853432 (2002h:01002). Published online 2002.
LibreCat
| Download (ext.)
2001 | Dissertation | LibreCat-ID: 19622
Schröder K. Balls into Bins: A Paradigm for Job Allocation, Data Distribution Processes, and Routing. Vol 89. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2001.
LibreCat
| Files available
2001 | Conference Paper | LibreCat-ID: 2428
Plessl C, Platzner M. Instance-Specific Accelerators for Minimum Covering. In: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA). CSREA Press; 2001:85-91.
LibreCat
2001 | Mastersthesis | LibreCat-ID: 2430
Plessl C. Reconfigurable Accelerators for Minimum Covering. Computer Engineering and Networks Lab, ETH Zurich, Switzerland; 2001.
LibreCat
2001 | Conference Paper | LibreCat-ID: 2431
Schintke F, Simon J, Reinefeld A. A Cache Simulator for Shared Memory Systems. In: Proc. Int. Conf. on Computational Science (ICCS). Vol 2074. Lecture Notes in Computer Science (LNCS). Berlin / Heidelberg: Springer; 2001:569-578. doi:10.1007/3-540-45718-6_62
LibreCat
| DOI
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 | 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