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 | Dissertation | LibreCat-ID: 24495
T. Körner, Analog VLSI Implementation of a Local Cluster Neural Network, vol. 77. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Book | LibreCat-ID: 24496
J. Gausemeier, U. Lindemann, G. Reinhart, and H. Wiendahl, Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens, vol. 79. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Book | LibreCat-ID: 24497
J. Gausemeier and J. Lückel, Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme, vol. 80. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 24498
J. Gausemeier and J. Lückel, Eds., 4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen..., vol. 82. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24499
G. Del Castillo, The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models, vol. 83. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24500
U. Schäfermeier, Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung, vol. 84. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24501
J. Krüger, Ganzheitliche Beherrschung von Abläufen in und zwischen soziotechnischen Systemen: Ein Beitrag zur Modellbildung und zum paradigmatischen Verständnis von Industrieunternehmen zur Integration von Mensc, vol. 85. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24503
T. Bartscher, Methoden des Integrierten Workflowmanagements (IWFM), vol. 86. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24506
J. Quintanilla, Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme, vol. 87. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 2585
S. Betz, “Funktionales Qualitätscontrolling bei mehrstufiger Fertigung,” Zeitschrift für Planung, vol. 11, pp. 169–193, 2000.
LibreCat
 

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
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed