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.
7517 Publications
2001 | Book Review | LibreCat-ID: 18741
Peckhaus, Volker. “van Dalen, Dirk, ‘The Role of Language in Brouwer’s Work’, in: Ewa Orłowska (Hg.), Logic at Work. Essays Dedicated to the Memory of Helena Rasiowa, Physica-Verlag: Heidelberg 1999, 3–14.” Mathematical Reviews, MR1715906 (2001c:03004) , 2001.
LibreCat
| Download (ext.)
2000 | Dissertation | LibreCat-ID: 19620
Rieping, Ingo. Communication in Parallel Systems-Models, Algorithms and Implementations. Vol. 81. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 19621
Westermann, Matthias. Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints. Vol. 90. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
| Files available
2000 | Habilitation | LibreCat-ID: 19784
Scheideler, Christian. Probabilistic Methods for Coordination Problems, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 2434
Simon, Jens. Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern. Dr. Dirk Blunk Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 3249
Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” In Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 469--483. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-45499-3_33.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim, Heike. “Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods.” In Fundamental Approaches to Software Engineering, Third Internationsl Conference, {FASE} 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, edited by T. S. E. Maibaum, 334--348. Lecture Notes in Computer Science, 2000. https://doi.org/10.1007/3-540-46428-X_23.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3251
Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” In Formal Methods for Open Object-Based Distributed Systems IV, {IFIF} {TC6/WG6.1} Fourth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2000), September 6-8, 2000, Stanford, California, {USA}, edited by Scott F. Smith and Carolyn L. Talcott, 213--231. {IFIP} Conference Proceedings, 2000. https://doi.org/10.1007/978-0-387-35520-7_11.
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 3023
Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” In Automata, Languages and Programming, 248–59. Berlin, Heidelberg: Springer Berlin Heidelberg, 2000. https://doi.org/10.1007/3-540-45022-x_22.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20994
Eis, M., and Gerson Meschut. “Minimierung von Bauteildeformationen Beim Kleben Durch Beachtung Der Konstruktiven Und Werkstofftechnischen Einflußgrößen.” In Tagungsband Zur Veranstaltung EndForm 2000, 135–52. Aachen: Shaker Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
Hahn, O., M. Koyro, and Gerson Meschut. “Eigenschaften von Wärmearm Gefügten Al-Rahmentragwerken Mit IHU-Knotenelementen.” In Tagungsband Zur Veranstaltung EndForm 2000, 225–41. Aachen: Shaker Verlag, 2000.
LibreCat
2000 | Report | LibreCat-ID: 21001
Hahn, O., Gerson Meschut, M. Eis, and G. Kötting. Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile. Düsseldorf: Verlag und Vertriebsgesellschaft mbH, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21003
Bohling, P., S. Jüttner, M. Kaiser, Gerson Meschut, and S. Schumann. “Eigenschaften von Thermisch Und Wärmearm Gefügten Al-/Mg-Verbindungen Für Den Strukturellen Karosserieleichtbau,” 199–210. Paderborn, 2000.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 17458
Peckhaus, Volker, ed. “Contributing Editor” Für Die Sektion “Philosophy of Mathematics” in: The History of Mathematics from Antiquity to the Present: A Selective Annotated Bibliography, Edited by Joseph W. Dauben, Revised Edition on CD-ROM by Albert C. Lewis, in Cooperation with the International Commission on the History Mathematics, American Mathematical Society, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 18962
Govindarajan, Sathish, Tamas Lukovszki, Anil Maheshwari, and Norbert Zeh. “I/O-Efficient Well-Separated Pair Decomposition and Applications.” In Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 585–614, 2000. https://doi.org/10.1007/s00453-005-1197-3.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 17990
Czumaj, Artur, Christian Sohler, and Martin Ziegler. “Property Testing in Computational Geometry.” In Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), 4698:155–66. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2000. https://doi.org/10.1007/3-540-45253-2_15.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18146
Ziegler, Martin, and Vasco Brattka. “Computing the Dimension of Linear Subspaces.” In SOFSEM 2000: Theory and Practice of Informatics, 1963:450–58. Berlin, Heidelberg: Springer, 2000. https://doi.org/10.1007/3-540-44411-4_34.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 21783
Volbracht, Sabine, and Gitta Domik. “Developing Effective Navigation Techniques in Virtual 3D Environments.” In Virtual Environments 2000, edited by Jurriaan Mulder and Robert van Liere, 55–64. Vienna: Springer Vienna, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
Engels, Gregor, and Reiko Heckel. “Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution.” In Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland), 1853:127–50. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-45022-X_12.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7875
Engels, Gregor, Jan Hendrik Hausmann, Reiko Heckel, and Stefan Sauer. “Dynamic Meta-Modeling: A Graphical Approach to the Operational Semantics of Behavioral Diagrams in UML.” In Proceedings of the 3rd International Conference on the Unified Modeling Language (UML 2000), York (UK), 1939:323–37. LNCS. Berlin/Heidelberg: Springer, 2000. http://dx.doi.org/10.1007/3-540-40011-7_23.
LibreCat
| DOI