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.
404 Publications
2000 | Journal Article | LibreCat-ID: 2586
Betz, Stefan. “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts.” Betrieb und Wirtschaft, vol. 54, 2000, pp. 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, pp. 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, pp. 147--164, doi:10.1007/s001650070026.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3249
Fischer, Clemens, and Heike Wehrheim. “Behavioural Subtyping Relations for Object-Oriented Formalisms.” Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, edited by Teodor Rus, 2000, pp. 469--483, doi: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.” 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, 2000, pp. 334--348, doi:10.1007/3-540-46428-X_23.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 3251
Wehrheim, Heike. “Behavioural Subtyping and Property Preservation.” 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, 2000, pp. 213--231, doi: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.” Kompendium Weiterbildung, edited by Christian Harteis et al., Leske+Budrich, 2000, pp. 209--217.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 3669
Harteis, Christian, et al., editors. Kompendium Weiterbildung. Leske+Budrich, 2000.
LibreCat
2000 | Book | LibreCat-ID: 3674
Harteis, Christian. Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung. Neuer Merkur, 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 3023
Blömer, Johannes. “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices.” Automata, Languages and Programming, Springer Berlin Heidelberg, 2000, pp. 248–59, doi:10.1007/3-540-45022-x_22.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20993
Hahn, O., et al. “Qualitätssicherung Bei Der Herstellung von Klebverbindungen.” Tagungsband Zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” 2000, pp. 147–61.
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.” Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, 2000, pp. 135–52.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20995
Hahn, O., et al. “Eigenschaften von Wärmearm Gefügten Al-Rahmentragwerken Mit IHU-Knotenelementen.” Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, 2000, pp. 225–41.
LibreCat
2000 | Conference Paper | LibreCat-ID: 20996
Hahn, O., et al. “Erhöhung Der Der Bauteilsteifigkeit Durch Optimierung von Unterfütterungsklebungen.” Tagungsband Zur Swiss Bondung ´00, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 20997
Hahn, O., et al. “Prüfung Und Berechnung Geklebter Blech-Profil-Verbindungen Aus Aluminium.” Schweißen Und Schneiden, vol. 50, no. 5, 2000, pp. 266–71.
LibreCat
2000 | Journal Article | LibreCat-ID: 20998
Hahn, O., et al. “Beeinflussung Der Mechanischen Eigenschaften Geklebter Kunststoffverbindungen Durch Diffusion von Klebstoffbestandteilen in Die Polymeren Fügeteile.” Schweißen Und Schneiden, vol. 52, no. 6, 2000, pp. 340–48.
LibreCat
2000 | Journal Article | LibreCat-ID: 20999
Hahn, O., et al. “Kleben in Kombination Mit Fügen Durch Umformen – Eine Wärmearme Fügetechnik Für Eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen.” Schweißen Und Schneiden, vol. 52, no. 7, 2000, pp. 412–18.
LibreCat
2000 | Report | LibreCat-ID: 21001
Hahn, O., et al. Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile. Verlag und Vertriebsgesellschaft mbH, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 21002
Hahn, O., et al. “Kleben in Kombination Mit Fügen Durch Umformen.” Der Praktiker , vol. 9, 2000, pp. 356–61.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21003
Bohling, P., et al. Eigenschaften von Thermisch Und Wärmearm Gefügten Al-/Mg-Verbindungen Für Den Strukturellen Karosserieleichtbau. 2000, pp. 199–210.
LibreCat
2000 | Journal Article | LibreCat-ID: 21006
Meschut, Gerson. “Eigenschaftsoptimierte Verbindungen Durch Wärmearmes Hybridfügen.” Adhäsion, vol. 44, no. 11, 2000, pp. 14–21.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21007
Koyro, M., and Gerson Meschut. “Status Und Weiterentwicklungsmöglichkeiten Beim Strukturellen Kleben Bei Spaceframe-Konstruktionen.” Tagungsband Zur 4. Jahres- Und 1. Europäischen Fachkonferenz “Kleben Im Automobilbau,” 2000, pp. 114–26.
LibreCat
2000 | Journal Article | LibreCat-ID: 2143
Adler, Micah, and Christian Scheideler. “Efficient Communication Strategies for Ad Hoc Wireless Networks.” Theory Comput. Syst., vol. 33, no. 5/6, 2000, pp. 337--391, doi: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., vol. 30, no. 4, 2000, pp. 1126--1155, doi:10.1137/S0097539799353431.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 2146 | 
Berenbrink, Petra, et al. “Distributed Path Selection for Storage Networks.” 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.” SODA, 2000, pp. 30--39.
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, vol. 17, no. 3–4, 2000, pp. 213--237.
LibreCat
2000 | Conference Paper | LibreCat-ID: 2149 |
Brinkmann, André, et al. “Efficient, Distributed Data Placement Strategies for Storage Area Networks (Extended Abstract).” SPAA, 2000, pp. 119--128.
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).” STOC, ACM, 2000, pp. 38--47.
LibreCat
| Files available
2000 | Book (Editor) | LibreCat-ID: 17458
Peckhaus, Volker, editor. “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), vol. 15, no. 2 (November), 2000, pp. 23–38.
LibreCat
2000 | Book Chapter | LibreCat-ID: 17852
Mindt, Ilka. “Prosodic Cues at Speaker Turns.” 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, Rodopi, 2000, pp. 255–65.
LibreCat
2000 | Report | LibreCat-ID: 17865
Wand, Michael, et al. Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes. 2000.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 18962
Govindarajan, Sathish, et al. “I/O-Efficient Well-Separated Pair Decomposition and Applications.” Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, pp. 585–614, doi:10.1007/s00453-005-1197-3.
LibreCat
| DOI
2000 | Book (Editor) | LibreCat-ID: 19084
Allkemper, Alo, and Norbert Otto Eke, editors. Deutsche Dramatiker des 20. Jahrhunderts. Erich Schmidt, 2000.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 19086
Allkemper, Alo, and Norbert Otto Eke, editors. Literatur und Demokratie. 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.’” Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, edited by Gilbert Lupfer et al., 2000, pp. 296–309.
LibreCat
2000 | Conference Paper | LibreCat-ID: 1920
Karl, Holger, et al. “Predictable Network Computing Using Message-Driven Scheduling.” 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.” Jews in German Literature since 1945: German-Jewish Literature?, edited by Pól O’ Dochartaigh, Rodopi, 2000, pp. 567–86.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19398
Eke, Norbert Otto. “Körper-Schrift. Heiner Müllers Anthropologie des Körpers.” Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998, edited by Ian Wallace et al., vol. 48, 2000, pp. 69–88.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19399
Eke, Norbert Otto. “Thomas Brasch.” Deutsche Dramatiker des 20. Jahrhunderts, edited by Alo Allkemper and Norbert Otto Eke, Erich Schmidt, 2000, pp. 746–63.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19400
Eke, Norbert Otto. “George Tabori.” Deutsche Dramatiker des 20. Jahrhunderts, edited by Alo Allkemper and Norbert Otto Eke, Erich Schmidt, 2000, pp. 382–402.
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.” Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz, edited by Wolfgang Beutin and Peter Stein, Aisthesis, 2000, pp. 55–80.
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“.” Literatur und Demokratie, edited by Alo Allkemper and Norbert Otto Eke, Erich Schmidt, 2000, pp. 285–300.
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, et al. “Property Testing in Computational Geometry.” Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), vol. 4698, Springer, 2000, pp. 155–66, doi:10.1007/3-540-45253-2_15.
LibreCat
| DOI
2000 | Book (Editor) | LibreCat-ID: 18121
Fromme, J., et al., editors. Medienbildung und Gesellschaft. VS Verlag, 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 18146
Ziegler, Martin, and Vasco Brattka. “Computing the Dimension of Linear Subspaces.” SOFSEM 2000: Theory and Practice of Informatics, vol. 1963, Springer, 2000, pp. 450–58, doi:10.1007/3-540-44411-4_34.
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 18150
Ziegler, Martin, and Christian Sohler. “Computing Cut Numbers.” Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
LibreCat