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.
7867 Publications
2000 | Dissertation | LibreCat-ID: 19620
@book{Rieping_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Communication in Parallel Systems-Models, Algorithms and Implementations}, volume={81}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Rieping, Ingo}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
2000 | Dissertation | LibreCat-ID: 19621
@book{Westermann_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints}, volume={90}, publisher={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, author={Westermann, Matthias}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
| Files available
2000 | Habilitation | LibreCat-ID: 19784
@book{Scheideler_2000, title={Probabilistic Methods for Coordination Problems}, author={Scheideler, Christian}, year={2000} }
LibreCat
2000 | Dissertation | LibreCat-ID: 2434
@book{Simon_2000, title={Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern}, publisher={Dr. Dirk Blunk Verlag}, author={Simon, Jens}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 3249
@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={10.1007/3-540-45499-3_33}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3250
@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23}, booktitle={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}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor}, year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3251
@inproceedings{Wehrheim_2000, series={{IFIP} Conference Proceedings}, title={Behavioural Subtyping and Property Preservation}, DOI={10.1007/978-0-387-35520-7_11}, booktitle={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}}, author={Wehrheim, Heike}, editor={F. Smith, Scott and L. Talcott, CarolynEditors}, year={2000}, pages={213--231}, collection={{IFIP} Conference Proceedings} }
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 3023
@inbook{Blömer_2000, place={Berlin, Heidelberg}, title={Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices}, DOI={10.1007/3-540-45022-x_22}, booktitle={Automata, Languages and Programming}, publisher={Springer Berlin Heidelberg}, author={Blömer, Johannes}, year={2000}, pages={248–259} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20994
@inproceedings{Eis_Meschut_2000, place={Aachen}, title={Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen}, booktitle={Tagungsband zur Veranstaltung EndForm 2000}, publisher={Shaker Verlag}, author={Eis, M. and Meschut, Gerson}, year={2000}, pages={135–152} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
@inproceedings{Hahn_Koyro_Meschut_2000, place={Aachen}, title={Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen}, booktitle={Tagungsband zur Veranstaltung EndForm 2000}, publisher={Shaker Verlag}, author={Hahn, O. and Koyro, M. and Meschut, Gerson}, year={2000}, pages={225–241} }
LibreCat
2000 | Report | LibreCat-ID: 21001
@book{Hahn_Meschut_Eis_Kötting_2000, place={Düsseldorf}, title={Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile}, publisher={Verlag und Vertriebsgesellschaft mbH}, author={Hahn, O. and Meschut, Gerson and Eis, M. and Kötting, G.}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 21003
@inproceedings{Bohling_Jüttner_Kaiser_Meschut_Schumann_2000, place={Paderborn}, title={Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau}, author={Bohling, P. and Jüttner, S. and Kaiser, M. and Meschut, Gerson and Schumann, S.}, year={2000}, pages={199–210} }
LibreCat
2000 | Book (Editor) | LibreCat-ID: 17458
@book{Peckhaus_2000, title={“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}, year={2000} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 18962
@inproceedings{Govindarajan_Lukovszki_Maheshwari_Zeh_2000, title={I/O-Efficient Well-Separated Pair Decomposition and Applications}, DOI={10.1007/s00453-005-1197-3}, booktitle={Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS}, author={Govindarajan, Sathish and Lukovszki, Tamas and Maheshwari, Anil and Zeh, Norbert}, year={2000}, pages={585–614} }
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 19196
@inbook{Seng_2000, place={Dresden}, title={Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines “Guten Regiments” und “Guter Ordnung”}, booktitle={Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul}, author={Seng, Eva- Maria}, editor={Lupfer, Gilbert and Rudert, Konstanze and Sigel, PaulEditors}, year={2000}, pages={296–309} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 17990
@inproceedings{Czumaj_Sohler_Ziegler_2000, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Property Testing in Computational Geometry}, volume={4698}, DOI={10.1007/3-540-45253-2_15}, booktitle={Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00)}, publisher={Springer}, author={Czumaj, Artur and Sohler, Christian and Ziegler, Martin}, year={2000}, pages={155–166}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18146
@inproceedings{Ziegler_Brattka_2000, place={Berlin, Heidelberg}, title={Computing the Dimension of Linear Subspaces}, volume={1963}, DOI={10.1007/3-540-44411-4_34}, booktitle={SOFSEM 2000: Theory and Practice of Informatics}, publisher={Springer}, author={Ziegler, Martin and Brattka, Vasco}, year={2000}, pages={450–458} }
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18150
@inproceedings{Ziegler_Sohler_2000, title={Computing Cut Numbers}, booktitle={Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00)}, author={Ziegler, Martin and Sohler, Christian}, year={2000}, pages={73–79} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 21783
@inproceedings{Volbracht_Domik_2000, place={Vienna}, title={Developing Effective Navigation Techniques in Virtual 3D Environments}, booktitle={Virtual Environments 2000}, publisher={Springer Vienna}, author={Volbracht, Sabine and Domik, Gitta}, editor={Mulder, Jurriaan and van Liere, RobertEditors}, year={2000}, pages={55–64} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
@inproceedings{Engels_Heckel_2000, place={Berlin/Heidelberg}, series={LNCS}, title={Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution}, volume={1853}, DOI={http://dx.doi.org/10.1007/3-540-45022-X_12}, booktitle={Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko}, year={2000}, pages={127–150}, collection={LNCS} }
LibreCat
| DOI