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
Qualitätskostencontrolling auf Basis des Half-Life-Konzepts
S. Betz, Betrieb und Wirtschaft 54 (2000) 749–755.
LibreCat
S. Betz, Betrieb und Wirtschaft 54 (2000) 749–755.
2000 | Journal Article | LibreCat-ID: 3247
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method
C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
LibreCat
C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
2000 | Journal Article | LibreCat-ID: 3248
Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
LibreCat
| DOI
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
2000 | Conference Paper | LibreCat-ID: 3249
Behavioural Subtyping Relations for Object-Oriented Formalisms
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), 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
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
2000 | Conference Paper | LibreCat-ID: 3250
Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods
H. Wehrheim, in: T. S. E. Maibaum (Ed.), 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
H. Wehrheim, in: T. S. E. Maibaum (Ed.), 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.
2000 | Conference Paper | LibreCat-ID: 3251
Behavioural Subtyping and Property Preservation
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), 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
H. Wehrheim, in: S. F. Smith, C. L. Talcott (Eds.), 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.
2000 | Book Chapter | LibreCat-ID: 3602
Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung
C. Harteis, in: C. Harteis, H. Heid, S. Kraft (Eds.), Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000, pp. 209--217.
LibreCat
C. Harteis, in: C. Harteis, H. Heid, S. Kraft (Eds.), Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000, pp. 209--217.
2000 | Book (Editor) | LibreCat-ID: 3669
Kompendium Weiterbildung
C. Harteis, H. Heid, S. Kraft, eds., Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000.
LibreCat
C. Harteis, H. Heid, S. Kraft, eds., Kompendium Weiterbildung, Leske+Budrich, Opladen, 2000.
2000 | Book | LibreCat-ID: 3674
Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung
C. Harteis, Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung, Neuer Merkur, München, 2000.
LibreCat
C. Harteis, Berufliche Weiterbildung Heute Und Morgen: Zukünftige Kompetenzanforderungen an Bildungspersonal Und Nachwuchsrekrutierung, Neuer Merkur, München, 2000.
2000 | Book Chapter | LibreCat-ID: 3023
Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
LibreCat
| DOI
J. Blömer, in: Automata, Languages and Programming, Springer Berlin Heidelberg, Berlin, Heidelberg, 2000, pp. 248–259.
2000 | Conference Paper | LibreCat-ID: 20993
Qualitätssicherung bei der Herstellung von Klebverbindungen
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” Würzburg, 2000, pp. 147–161.
LibreCat
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen,” Würzburg, 2000, pp. 147–161.
2000 | Conference Paper | LibreCat-ID: 20994
Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen
M. Eis, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 135–152.
LibreCat
M. Eis, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 135–152.
2000 | Conference Paper | LibreCat-ID: 20995
Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen
O. Hahn, M. Koyro, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 225–241.
LibreCat
O. Hahn, M. Koyro, G. Meschut, in: Tagungsband Zur Veranstaltung EndForm 2000, Shaker Verlag, Aachen, 2000, pp. 225–241.
2000 | Conference Paper | LibreCat-ID: 20996
Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zur Swiss Bondung ´00, Rapperswil (CH), 2000.
LibreCat
O. Hahn, M. Eis, G. Meschut, in: Tagungsband Zur Swiss Bondung ´00, Rapperswil (CH), 2000.
2000 | Journal Article | LibreCat-ID: 20997
Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium
O. Hahn, G. Besserdich, N. Dölle, J. Jendrny, M. Koyro, T. Thesing, G. Meschut, Schweißen Und Schneiden 50 (2000) 266–271.
LibreCat
O. Hahn, G. Besserdich, N. Dölle, J. Jendrny, M. Koyro, T. Thesing, G. Meschut, Schweißen Und Schneiden 50 (2000) 266–271.
2000 | Journal Article | LibreCat-ID: 20998
Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile
O. Hahn, G. Meschut, M. Eis, M. Maciej, Schweißen Und Schneiden 52 (2000) 340–348.
LibreCat
O. Hahn, G. Meschut, M. Eis, M. Maciej, Schweißen Und Schneiden 52 (2000) 340–348.
2000 | Journal Article | LibreCat-ID: 20999
Kleben in Kombination mit Fügen durch Umformen – eine wärmearme Fügetechnik für eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen
O. Hahn, G. Meschut, M. Koyro, Schweißen Und Schneiden 52 (2000) 412–418.
LibreCat
O. Hahn, G. Meschut, M. Koyro, Schweißen Und Schneiden 52 (2000) 412–418.
2000 | Report | LibreCat-ID: 21001
Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile
O. Hahn, G. Meschut, M. Eis, G. Kötting, Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile, Verlag und Vertriebsgesellschaft mbH, Düsseldorf, 2000.
LibreCat
O. Hahn, G. Meschut, M. Eis, G. Kötting, Analyse Der Entstehung von Abzeichnungen an Klebungen Dünnwandiger Bauteile, Verlag und Vertriebsgesellschaft mbH, Düsseldorf, 2000.
2000 | Journal Article | LibreCat-ID: 21002
Kleben in Kombination mit Fügen durch Umformen
O. Hahn, M. Koyro, G. Meschut, Der Praktiker 9 (2000) 356–361.
LibreCat
O. Hahn, M. Koyro, G. Meschut, Der Praktiker 9 (2000) 356–361.
2000 | Conference Paper | LibreCat-ID: 21003
Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, S. Schumann, in: Paderborn, 2000, pp. 199–210.
LibreCat
P. Bohling, S. Jüttner, M. Kaiser, G. Meschut, S. Schumann, in: Paderborn, 2000, pp. 199–210.
2000 | Journal Article | LibreCat-ID: 21006
Eigenschaftsoptimierte Verbindungen durch wärmearmes Hybridfügen
G. Meschut, Adhäsion 44 (2000) 14–21.
LibreCat
G. Meschut, Adhäsion 44 (2000) 14–21.
2000 | Conference Paper | LibreCat-ID: 21007
Status und Weiterentwicklungsmöglichkeiten beim strukturellen Kleben bei Spaceframe-Konstruktionen
M. Koyro, G. Meschut, in: Tagungsband Zur 4. Jahres- Und 1. Europäischen Fachkonferenz “Kleben Im Automobilbau,” Bad Nauheim, 2000, pp. 114–126.
LibreCat
M. Koyro, G. Meschut, in: Tagungsband Zur 4. Jahres- Und 1. Europäischen Fachkonferenz “Kleben Im Automobilbau,” Bad Nauheim, 2000, pp. 114–126.
2000 | Journal Article | LibreCat-ID: 2143
Efficient Communication Strategies for Ad Hoc Wireless Networks
M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.
LibreCat
| DOI
M. Adler, C. Scheideler, Theory Comput. Syst. 33 (2000) 337--391.
2000 | Journal Article | LibreCat-ID: 2145
From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols
C. Scheideler, B. Vöcking, SIAM J. Comput. 30 (2000) 1126--1155.
LibreCat
| DOI
C. Scheideler, B. Vöcking, SIAM J. Comput. 30 (2000) 1126--1155.
2000 | Conference Paper | LibreCat-ID: 2146 | 
Distributed Path Selection for Storage Networks
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDPTA, 2000.
LibreCat
| Files available
P. Berenbrink, A. Brinkmann, C. Scheideler, in: PDPTA, 2000.
2000 | Conference Paper | LibreCat-ID: 2147 |
Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma
A. Czumaj, C. Scheideler, in: SODA, 2000, pp. 30--39.
LibreCat
| Files available
A. Czumaj, C. Scheideler, in: SODA, 2000, pp. 30--39.
2000 | Journal Article | LibreCat-ID: 2148
Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma
A. Czumaj, C. Scheideler, Random Struct. Algorithms 17 (2000) 213--237.
LibreCat
A. Czumaj, C. Scheideler, Random Struct. Algorithms 17 (2000) 213--237.
2000 | Conference Paper | LibreCat-ID: 2149 |
Efficient, distributed data placement strategies for storage area networks (extended abstract)
A. Brinkmann, K. Salzwedel, C. Scheideler, in: SPAA, 2000, pp. 119--128.
LibreCat
| Files available
A. Brinkmann, K. Salzwedel, C. Scheideler, in: SPAA, 2000, pp. 119--128.
2000 | Conference Paper | LibreCat-ID: 2150 |
A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)
A. Czumaj, C. Scheideler, in: STOC, ACM, 2000, pp. 38--47.
LibreCat
| Files available
A. Czumaj, C. Scheideler, in: STOC, ACM, 2000, pp. 38--47.
2000 | Book (Editor) | LibreCat-ID: 17458
“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
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
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.
2000 | Journal Article | LibreCat-ID: 17528
Análisis regresivo
V. Peckhaus, Adef Revista de Filosofia (Buenos Aires) 15 (2000) 23–38.
LibreCat
V. Peckhaus, Adef Revista de Filosofia (Buenos Aires) 15 (2000) 23–38.
2000 | Book Chapter | LibreCat-ID: 17852
Prosodic Cues at Speaker Turns
I. Mindt, in: C. Mair, M. Hundt (Eds.), Corpus Linguistics and Linguistic Theory. Papers from the Twentieth International Conference on English Language Research on Computerized Corpora (ICAME 20), Rodopi, Amsterdam, 2000, pp. 255–265.
LibreCat
I. Mindt, in: C. Mair, M. Hundt (Eds.), Corpus Linguistics and Linguistic Theory. Papers from the Twentieth International Conference on English Language Research on Computerized Corpora (ICAME 20), Rodopi, Amsterdam, 2000, pp. 255–265.
2000 | Report | LibreCat-ID: 17865
Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes
M. Wand, M. Fischer, F. Meyer auf der Heide, Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes, Universität Paderborn, 2000.
LibreCat
| Files available
M. Wand, M. Fischer, F. Meyer auf der Heide, Randomized Point Sampling for Output-Sensitive Rendering of Complex Dynamic Scenes, Universität Paderborn, 2000.
2000 | Conference Paper | LibreCat-ID: 18962
I/O-Efficient Well-Separated Pair Decomposition and Applications
S. Govindarajan, T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, pp. 585–614.
LibreCat
| DOI
S. Govindarajan, T. Lukovszki, A. Maheshwari, N. Zeh, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA 2000), LNCS, 2000, pp. 585–614.
2000 | Book (Editor) | LibreCat-ID: 19084
Deutsche Dramatiker des 20. Jahrhunderts
A. Allkemper, N.O. Eke, eds., Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000.
LibreCat
A. Allkemper, N.O. Eke, eds., Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000.
2000 | Book (Editor) | LibreCat-ID: 19086
Literatur und Demokratie
A. Allkemper, N.O. Eke, eds., Literatur und Demokratie, Erich Schmidt, Berlin, 2000.
LibreCat
A. Allkemper, N.O. Eke, eds., Literatur und Demokratie, Erich Schmidt, Berlin, 2000.
2000 | Book Chapter | LibreCat-ID: 19196
Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines “Guten Regiments” und “Guter Ordnung”
E.-M. Seng, in: G. Lupfer, K. Rudert, P. Sigel (Eds.), Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, Dresden, 2000, pp. 296–309.
LibreCat
E.-M. Seng, in: G. Lupfer, K. Rudert, P. Sigel (Eds.), Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul, Dresden, 2000, pp. 296–309.
2000 | Conference Paper | LibreCat-ID: 1920
Predictable Network Computing using Message-driven Scheduling
H. Karl, A. Polze, M. Werner, in: Proc. the Workshop on Run-Time Systems for Parallel Programming, 2000.
LibreCat
H. Karl, A. Polze, M. Werner, in: Proc. the Workshop on Run-Time Systems for Parallel Programming, 2000.
2000 | Book Chapter | LibreCat-ID: 19397
Das Schreckliche und das Komische. George Tabori und die Shoah
N.O. Eke, in: P. O’ Dochartaigh (Ed.), Jews in German Literature since 1945: German-Jewish Literature?, Rodopi, Amsterdam-Atlanta, GA, 2000, pp. 567–586.
LibreCat
N.O. Eke, in: P. O’ Dochartaigh (Ed.), Jews in German Literature since 1945: German-Jewish Literature?, Rodopi, Amsterdam-Atlanta, GA, 2000, pp. 567–586.
2000 | Book Chapter | LibreCat-ID: 19398
Körper-Schrift. Heiner Müllers Anthropologie des Körpers
N.O. Eke, in: I. Wallace, D. Tate, G. Labroisse (Eds.), Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998, 2000, pp. 69–88.
LibreCat
N.O. Eke, in: I. Wallace, D. Tate, G. Labroisse (Eds.), Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998, 2000, pp. 69–88.
2000 | Book Chapter | LibreCat-ID: 19399
Thomas Brasch
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 746–763.
LibreCat
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 746–763.
2000 | Book Chapter | LibreCat-ID: 19400
George Tabori
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 382–402.
LibreCat
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 382–402.
2000 | Book Chapter | LibreCat-ID: 19401
Der Kritiker in der Kritik. Willibald Alexis, das Junge Deutschland und Alexis' autobiographische Fragmente Erinnerungen aus meinem Leben
N.O. Eke, in: W. Beutin, P. Stein (Eds.), Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz, Aisthesis, Bielefeld, 2000, pp. 55–80.
LibreCat
N.O. Eke, in: W. Beutin, P. Stein (Eds.), Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz, Aisthesis, Bielefeld, 2000, pp. 55–80.
2000 | Book Chapter | LibreCat-ID: 19403
Wahrnehmung im Augen-Schein. Thomas Braschs (und Jurek Beckers) filmische Reflexion über die Kunst nach Auschwitz: „Der Passagier – Welcome to Germany“
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Literatur und Demokratie, Erich Schmidt, Berlin, 2000, pp. 285–300.
LibreCat
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Literatur und Demokratie, Erich Schmidt, Berlin, 2000, pp. 285–300.
2000 | Patent | LibreCat-ID: 23424
Aus einem Getriebemodul und einem Antriebsmodul bestehende Antriebseinheit
D. Zimmer, (2000).
LibreCat
D. Zimmer, (2000).
2000 | Conference Paper | LibreCat-ID: 17990
Property Testing in Computational Geometry
A. Czumaj, C. Sohler, M. Ziegler, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), Springer, Berlin, Heidelberg, 2000, pp. 155–166.
LibreCat
| DOI
A. Czumaj, C. Sohler, M. Ziegler, in: Proceedings of the 8th Annual European Symposium on Algorithms (ESA’00), Springer, Berlin, Heidelberg, 2000, pp. 155–166.
2000 | Book (Editor) | LibreCat-ID: 18121
Medienbildung und Gesellschaft
J. Fromme, S. Ganguin, S. Iske, D.M. Meister, U. Sander, eds., Medienbildung und Gesellschaft, VS Verlag, 2000.
LibreCat
J. Fromme, S. Ganguin, S. Iske, D.M. Meister, U. Sander, eds., Medienbildung und Gesellschaft, VS Verlag, 2000.
2000 | Conference Paper | LibreCat-ID: 18146
Computing the Dimension of Linear Subspaces
M. Ziegler, V. Brattka, in: SOFSEM 2000: Theory and Practice of Informatics, Springer, Berlin, Heidelberg, 2000, pp. 450–458.
LibreCat
| DOI
M. Ziegler, V. Brattka, in: SOFSEM 2000: Theory and Practice of Informatics, Springer, Berlin, Heidelberg, 2000, pp. 450–458.
2000 | Conference Paper | LibreCat-ID: 18150
Computing Cut Numbers
M. Ziegler, C. Sohler, in: Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.
LibreCat
M. Ziegler, C. Sohler, in: Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00), 2000, pp. 73–79.