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.

403 Publications


2000 | Journal Article | LibreCat-ID: 2586
S. Betz, “Qualitätskostencontrolling auf Basis des Half-Life-Konzepts,” Betrieb und Wirtschaft, vol. 54, pp. 749–755, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 3247
C. Fischer and H. Wehrheim, “Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method,” Bulletin of the {EATCS}, pp. 92--101, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 3248
H. Wehrheim, “Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications,” Formal Asp. Comput., no. 3, pp. 147--164, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3249
C. Fischer and H. 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, 2000, pp. 469--483.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3250
H. Wehrheim, “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, 2000, pp. 334--348.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 3251
H. Wehrheim, “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}, 2000, pp. 213--231.
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 3602
C. Harteis, “Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung,” in Kompendium Weiterbildung, C. Harteis, H. Heid, and S. Kraft, Eds. Opladen: Leske+Budrich, 2000, pp. 209--217.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 3669
C. Harteis, H. Heid, and S. Kraft, Eds., Kompendium Weiterbildung. Opladen: Leske+Budrich, 2000.
LibreCat
 

2000 | Book | LibreCat-ID: 3674
C. Harteis, Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung. München: Neuer Merkur, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 3023
J. Blömer, “Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices,” in Automata, Languages and Programming, Berlin, Heidelberg: Springer Berlin Heidelberg, 2000, pp. 248–259.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 20993
O. Hahn, M. Eis, and G. Meschut, “Qualitätssicherung bei der Herstellung von Klebverbindungen,” in Tagungsband zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” Würzburg, 2000, pp. 147–161.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 20994
M. Eis and G. Meschut, “Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen,” in Tagungsband zur Veranstaltung EndForm 2000, Aachen, 2000, pp. 135–152.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 20995
O. Hahn, M. Koyro, and G. Meschut, “Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen,” in Tagungsband zur Veranstaltung EndForm 2000, Aachen, 2000, pp. 225–241.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 20996
O. Hahn, M. Eis, and G. 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
O. Hahn et al., “Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium,” Schweißen und Schneiden, vol. 50, no. 5, pp. 266–271, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 20998
O. Hahn, G. 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, vol. 52, no. 6, pp. 340–348, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 20999
O. Hahn, G. 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, vol. 52, no. 7, pp. 412–418, 2000.
LibreCat
 

2000 | Report | LibreCat-ID: 21001
O. Hahn, G. 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
O. Hahn, M. Koyro, and G. Meschut, “Kleben in Kombination mit Fügen durch Umformen,” der praktiker , vol. 9, pp. 356–361, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 21003
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, and S. Schumann, “Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau,” presented at the 7. Paderborner Symposium Fügetechnik 2000, Paderborn, 2000, pp. 199–210.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 21006
G. Meschut, “Eigenschaftsoptimierte Verbindungen durch wärmearmes Hybridfügen,” Adhäsion, vol. 44, no. 11, pp. 14–21, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 21007
M. Koyro and G. Meschut, “Status und Weiterentwicklungsmöglichkeiten beim strukturellen Kleben bei Spaceframe-Konstruktionen,” in Tagungsband zur 4. Jahres- und 1. Europäischen Fachkonferenz “Kleben im Automobilbau,” Bad Nauheim, 2000, pp. 114–126.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2143
M. Adler and C. Scheideler, “Efficient Communication Strategies for Ad Hoc Wireless Networks,” Theory Comput. Syst., vol. 33, no. 5/6, pp. 337--391, 2000.
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 2145
C. Scheideler and B. Vöcking, “From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols,” SIAM J. Comput., vol. 30, no. 4, pp. 1126--1155, 2000.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 2146 | OA
P. Berenbrink, A. Brinkmann, and C. Scheideler, “Distributed Path Selection for Storage Networks,” in PDPTA, 2000.
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 2147 | OA
A. Czumaj and C. Scheideler, “Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma,” in SODA, 2000, pp. 30--39.
LibreCat | Files available
 

2000 | Journal Article | LibreCat-ID: 2148
A. Czumaj and C. Scheideler, “Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma,” Random Struct. Algorithms, vol. 17, no. 3–4, pp. 213--237, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 2149 | OA
A. Brinkmann, K. Salzwedel, and C. Scheideler, “Efficient, distributed data placement strategies for storage area networks (extended abstract),” in SPAA, 2000, pp. 119--128.
LibreCat | Files available
 

2000 | Conference Paper | LibreCat-ID: 2150 | OA
A. Czumaj and C. Scheideler, “A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract),” in STOC, 2000, pp. 38--47.
LibreCat | Files available
 

2000 | Book (Editor) | LibreCat-ID: 17458
V. Peckhaus, 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
V. Peckhaus, “Análisis regresivo,” Adef Revista de Filosofia (Buenos Aires), vol. 15, no. 2 (November), pp. 23–38, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 17852
I. Mindt, “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), C. Mair and M. Hundt, Eds. Amsterdam: Rodopi, 2000, pp. 255–265.
LibreCat
 

2000 | Report | LibreCat-ID: 17865
M. Wand, M. Fischer, and F. 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
S. Govindarajan, T. Lukovszki, A. Maheshwari, and N. Zeh, “I/O-Efficient Well-Separated Pair Decomposition and Applications,” in Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, pp. 585–614.
LibreCat | DOI
 

2000 | Book (Editor) | LibreCat-ID: 19084
A. Allkemper and N. O. Eke, Eds., Deutsche Dramatiker des 20. Jahrhunderts. Berlin: Erich Schmidt, 2000.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 19086
A. Allkemper and N. O. Eke, Eds., Literatur und Demokratie. Berlin: Erich Schmidt, 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19196
E.-M. Seng, “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, G. Lupfer, K. Rudert, and P. Sigel, Eds. Dresden, 2000, pp. 296–309.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 1920
H. Karl, A. Polze, and M. 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
N. O. Eke, “Das Schreckliche und das Komische. George Tabori und die Shoah,” in Jews in German Literature since 1945: German-Jewish Literature?, P. O’ Dochartaigh, Ed. Amsterdam-Atlanta, GA: Rodopi, 2000, pp. 567–586.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19398
N. O. Eke, “Körper-Schrift. Heiner Müllers Anthropologie des Körpers,” in Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998, vol. 48, I. Wallace, D. Tate, and G. Labroisse, Eds. 2000, pp. 69–88.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19399
N. O. Eke, “Thomas Brasch,” in Deutsche Dramatiker des 20. Jahrhunderts, A. Allkemper and N. O. Eke, Eds. Berlin: Erich Schmidt, 2000, pp. 746–763.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19400
N. O. Eke, “George Tabori,” in Deutsche Dramatiker des 20. Jahrhunderts, A. Allkemper and N. O. Eke, Eds. Berlin: Erich Schmidt, 2000, pp. 382–402.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19401
N. O. Eke, “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, W. Beutin and P. Stein, Eds. Bielefeld: Aisthesis, 2000, pp. 55–80.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19403
N. O. Eke, “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, A. Allkemper and N. O. Eke, Eds. Berlin: Erich Schmidt, 2000, pp. 285–300.
LibreCat
 

2000 | Patent | LibreCat-ID: 23424
D. Zimmer, “Aus einem Getriebemodul und einem Antriebsmodul bestehende Antriebseinheit.” 2000.
LibreCat
 

2000 | Patent | LibreCat-ID: 23425
D. Zimmer, “Getriebebaukasten mit Kronengetriebe.” 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 17990
A. Czumaj, C. Sohler, and M. Ziegler, “Property Testing in Computational Geometry,” in Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), 2000, vol. 4698, pp. 155–166.
LibreCat | DOI
 

2000 | Book (Editor) | LibreCat-ID: 18121
J. Fromme, S. Ganguin, S. Iske, D. M. Meister, and U. Sander, Eds., Medienbildung und Gesellschaft. VS Verlag, 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 18146
M. Ziegler and V. Brattka, “Computing the Dimension of Linear Subspaces,” in SOFSEM 2000: Theory and Practice of Informatics, 2000, vol. 1963, pp. 450–458.
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 18150
M. Ziegler and C. Sohler, “Computing Cut Numbers,” in Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
LibreCat
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed