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: 24485
Schlake, Oliver. Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24486
Lewandowski, Andreas. Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24487
Schmidtmann, Achim. Eine Spezifikationssprache für die Fertigungslenkung. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24488
Grobbel, Rainer. Eine Referenzarchitektur für Koopertationsbörsen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24489
Wessel, Rudolf. Modelocked Waveguide Lasers in Lithium Niobate. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24490
Löffler, Axel. Energetische Modellierung neuronaler Signalverarbeitung. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24491
Ludwig, Lars A. Computational Intelligence in der Produktionswirtschaft. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24492
Wenski, Rüdiger. Eine objektorientierte Systemkomponente zur Workflow-Modellierung und -Ausführung unter besonderer Berücksichtigung der Telekooperation. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24493
Grasmann, Mathias. Produktkonfiguration auf Basis von Engineering Data Management-Systemen. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24494
Ditze, Carsten. Towards Operating System Synthesis. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24495
Körner, Tim. Analog VLSI Implementation of a Local Cluster Neural Network. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Book | LibreCat-ID: 24496
Gausemeier, Jürgen, et al. Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Book | LibreCat-ID: 24497
Gausemeier, Jürgen, and Joachim Lückel. Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 24498
Gausemeier, Jürgen, and Joachim Lückel, editors. 4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen... Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24499
Del Castillo, Giuseppe. The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24500
Schäfermeier, Ulrich. Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24501
Krüger, Jens. 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. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24503
Bartscher, Thomas. Methoden des Integrierten Workflowmanagements (IWFM). Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24506
Quintanilla, Julia. Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 2585
Betz, Stefan. “Funktionales Qualitätscontrolling bei mehrstufiger Fertigung.” Zeitschrift für Planung, vol. 11, 2000, pp. 169–93.
LibreCat
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