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.
384 Publications
2000 | Journal Article | LibreCat-ID: 2586
Betz, Stefan. “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts.” Betrieb und Wirtschaft 54 (2000): 749–55.
LibreCat
2000 | Journal Article | LibreCat-ID: 3247
Fischer, Clemens, and Heike Wehrheim. “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method.” Bulletin of the {EATCS}, 2000, 92--101.
LibreCat
2000 | Journal Article | LibreCat-ID: 3248
Wehrheim, Heike. “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications.” Formal Asp. Comput., no. 3 (2000): 147--164. https://doi.org/10.1007/s001650070026.
LibreCat
| DOI
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: 3602
Harteis, Christian. “Beschäftigte Im Spannungsfeld Ökonomischer Und Pädagogischer Prinzipien Betrieblicher Personal-Und Organisationsentwicklungsentwicklung.” In Kompendium Weiterbildung, edited by Christian Harteis, Helmut Heid, and Susanne Kraft, 209--217. Opladen: Leske+Budrich, 2000.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 3669
Harteis, Christian, Helmut Heid, and Susanne Kraft, eds. Kompendium Weiterbildung. Opladen: Leske+Budrich, 2000.
LibreCat
2000 | Book | LibreCat-ID: 3674
Harteis, Christian. Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung. München: Neuer Merkur, 2000.
LibreCat
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: 20993
Hahn, O., M. Eis, and Gerson Meschut. “Qualitätssicherung Bei Der Herstellung von Klebverbindungen.” In Tagungsband Zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” 147–61. Würzburg, 2000.
LibreCat
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 | Conference Paper | LibreCat-ID: 20996
Hahn, O., M. Eis, and Gerson Meschut. “Erhöhung Der Der Bauteilsteifigkeit Durch Optimierung von Unterfütterungsklebungen.” In Tagungsband Zur Swiss Bondung ´00. Rapperswil (CH), 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 20997
Hahn, O., G. Besserdich, N. Dölle, J. Jendrny, M. Koyro, T. Thesing, and Gerson Meschut. “Prüfung Und Berechnung Geklebter Blech-Profil-Verbindungen Aus Aluminium.” Schweißen Und Schneiden 50, no. 5 (2000): 266–71.
LibreCat
2000 | Journal Article | LibreCat-ID: 20998
Hahn, O., Gerson Meschut, M. Eis, and M. Maciej. “Beeinflussung Der Mechanischen Eigenschaften Geklebter Kunststoffverbindungen Durch Diffusion von Klebstoffbestandteilen in Die Polymeren Fügeteile.” Schweißen Und Schneiden 52, no. 6 (2000): 340–48.
LibreCat
2000 | Journal Article | LibreCat-ID: 20999
Hahn, O., Gerson Meschut, and M. Koyro. “Kleben in Kombination Mit Fügen Durch Umformen – Eine Wärmearme Fügetechnik Für Eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen.” Schweißen Und Schneiden 52, no. 7 (2000): 412–18.
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 | Journal Article | LibreCat-ID: 21002
Hahn, O., M. Koyro, and Gerson Meschut. “Kleben in Kombination Mit Fügen Durch Umformen.” Der Praktiker 9 (2000): 356–61.
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 | Journal Article | LibreCat-ID: 21006
Meschut, Gerson. “Eigenschaftsoptimierte Verbindungen Durch Wärmearmes Hybridfügen.” Adhäsion 44, no. 11 (2000): 14–21.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21007
Koyro, M., and Gerson Meschut. “Status Und Weiterentwicklungsmöglichkeiten Beim Strukturellen Kleben Bei Spaceframe-Konstruktionen.” In Tagungsband Zur 4. Jahres- Und 1. Europäischen Fachkonferenz “Kleben Im Automobilbau,” 114–26. Bad Nauheim, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 2143
Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies for Ad Hoc Wireless Networks.” Theory Comput. Syst. 33, no. 5/6 (2000): 337--391. https://doi.org/10.1007/s002240010006.
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 2145
Scheideler, Christian, and Berthold Vöcking. “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols.” SIAM J. Comput. 30, no. 4 (2000): 1126--1155. https://doi.org/10.1137/S0097539799353431.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 2146 |

Berenbrink, Petra, André Brinkmann, and Christian Scheideler. “Distributed Path Selection for Storage Networks.” In PDPTA, 2000.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 2147 |

Czumaj, Artur, and Christian Scheideler. “Coloring Non-Uniform Hypergraphs: A New Algorithmic Approach to the General Lovász Local Lemma.” In SODA, 30--39, 2000.
LibreCat
| Files available
2000 | Journal Article | LibreCat-ID: 2148
Czumaj, Artur, and Christian Scheideler. “Coloring Nonuniform Hypergraphs: A New Algorithmic Approach to the General Lovász Local Lemma.” Random Struct. Algorithms 17, no. 3–4 (2000): 213--237.
LibreCat
2000 | Conference Paper | LibreCat-ID: 2149 |

Brinkmann, André, Kay Salzwedel, and Christian Scheideler. “Efficient, Distributed Data Placement Strategies for Storage Area Networks (Extended Abstract).” In SPAA, 119--128, 2000.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 2150 |

Czumaj, Artur, and Christian Scheideler. “A New Algorithm Approach to the General Lovász Local Lemma with Applications to Scheduling and Satisfiability Problems (Extended Abstract).” In STOC, 38--47. ACM, 2000.
LibreCat
| Files available
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 | Journal Article | LibreCat-ID: 17528
Peckhaus, Volker. “Análisis regresivo.” Adef Revista de Filosofia (Buenos Aires) 15, no. 2 (November) (2000): 23–38.
LibreCat
2000 | Book Chapter | LibreCat-ID: 17852
Mindt, Ilka. “Prosodic Cues at Speaker Turns.” In Corpus Linguistics and Linguistic Theory. Papers from the Twentieth International Conference on English Language Research on Computerized Corpora (ICAME 20), edited by Christian Mair and Marianne Hundt, 255–65. Amsterdam: Rodopi, 2000.
LibreCat
2000 | Report | LibreCat-ID: 17865
Wand, Michael, Matthias Fischer, and Friedhelm Meyer auf der Heide. Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes. Universität Paderborn, 2000.
LibreCat
| Files available
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 | Book (Editor) | LibreCat-ID: 19084
Allkemper, Alo, and Norbert Otto Eke, eds. Deutsche Dramatiker des 20. Jahrhunderts. Berlin: Erich Schmidt, 2000.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 19085
Eke, Norbert Otto, and Renate Werner, eds. Vormärz – Nachmärz. Bruch oder Kontinuität? Vorträge des Symposions des Forum Vormärz Forschung e.V. vom 19.-21. November 1998 an der Universität Paderborn. Bielefeld: Aisthesis, 2000.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 19086
Allkemper, Alo, and Norbert Otto Eke, eds. Literatur und Demokratie. Berlin: Erich Schmidt, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19196
Seng, Eva- Maria. “Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines ‘Guten Regiments’ und ‘Guter Ordnung.’” In Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, edited by Gilbert Lupfer, Konstanze Rudert, and Paul Sigel, 296–309. Dresden, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 1920
Karl, Holger, Andreas Polze, and Matthias Werner. “Predictable Network Computing Using Message-Driven Scheduling.” In Proc. the Workshop on Run-Time Systems for Parallel Programming, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19397
Eke, Norbert Otto. “Das Schreckliche und das Komische. George Tabori und die Shoah.” In Jews in German Literature since 1945: German-Jewish Literature?, edited by Pól O’ Dochartaigh, 567–86. Amsterdam-Atlanta, GA: Rodopi, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19398
Eke, Norbert Otto. “Körper-Schrift. Heiner Müllers Anthropologie des Körpers.” In Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998, edited by Ian Wallace, Dennis Tate, and Gerd Labroisse, 48:69–88. Amsterdamer Beiträge zur neueren Germanistik, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19399
Eke, Norbert Otto. “Thomas Brasch.” In Deutsche Dramatiker des 20. Jahrhunderts, edited by Alo Allkemper and Norbert Otto Eke, 746–63. Berlin: Erich Schmidt, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19400
Eke, Norbert Otto. “George Tabori.” In Deutsche Dramatiker des 20. Jahrhunderts, edited by Alo Allkemper and Norbert Otto Eke, 382–402. Berlin: Erich Schmidt, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19401
Eke, Norbert Otto. “Der Kritiker in der Kritik. Willibald Alexis, das Junge Deutschland und Alexis’ autobiographische Fragmente Erinnerungen aus meinem Leben.” In Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz, edited by Wolfgang Beutin and Peter Stein, 55–80. Bielefeld: Aisthesis, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 19402
Eke, Norbert Otto. “Vormärz/Nachmärz. – Bruch oder Kontinuität? Nachfragen an die Begriffsgeschichte.” In Vormärz – Nachmärz. Bruch oder Kontinuität? Vorträge des Symposions des Forum Vormärz Forschung e.V. vom 19.-21. November 1998 an der Universität Paderborn, edited by Norbert Otto Eke and Renate Werner, 11–30. Bielefeld: Aisthesis, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19403
Eke, Norbert Otto. “Wahrnehmung im Augen-Schein. Thomas Braschs (und Jurek Beckers) filmische Reflexion über die Kunst nach Auschwitz: „Der Passagier – Welcome to Germany“.” In Literatur und Demokratie, edited by Alo Allkemper and Norbert Otto Eke, 285–300. Berlin: Erich Schmidt, 2000.
LibreCat
2000 | Patent | LibreCat-ID: 23424
Zimmer, Detmar. “Aus Einem Getriebemodul Und Einem Antriebsmodul Bestehende Antriebseinheit,” 2000.
LibreCat
2000 | Patent | LibreCat-ID: 23425
Zimmer, Detmar. “Getriebebaukasten Mit Kronengetriebe,” 2000.
LibreCat
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 | Book (Editor) | LibreCat-ID: 18121
Fromme, J., S. Ganguin, S. Iske, Dorothee M. Meister, and U. Sander, eds. Medienbildung und Gesellschaft. VS Verlag, 2000.
LibreCat