@phdthesis{24485, author = {{Schlake, Oliver}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen}}}, volume = {{67}}, year = {{2000}}, } @phdthesis{24486, author = {{Lewandowski, Andreas}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen}}}, volume = {{68}}, year = {{2000}}, } @phdthesis{24487, author = {{Schmidtmann, Achim}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Eine Spezifikationssprache für die Fertigungslenkung}}}, volume = {{69}}, year = {{2000}}, } @phdthesis{24488, author = {{Grobbel, Rainer}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Eine Referenzarchitektur für Koopertationsbörsen}}}, volume = {{70}}, year = {{2000}}, } @phdthesis{24489, author = {{Wessel, Rudolf}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Modelocked Waveguide Lasers in Lithium Niobate}}}, volume = {{71}}, year = {{2000}}, } @phdthesis{24490, author = {{Löffler, Axel}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Energetische Modellierung neuronaler Signalverarbeitung}}}, volume = {{72}}, year = {{2000}}, } @phdthesis{24491, author = {{Ludwig, Lars A.}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Computational Intelligence in der Produktionswirtschaft}}}, volume = {{73}}, year = {{2000}}, } @phdthesis{24492, author = {{Wenski, Rüdiger}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Eine objektorientierte Systemkomponente zur Workflow-Modellierung und -Ausführung unter besonderer Berücksichtigung der Telekooperation}}}, volume = {{74}}, year = {{2000}}, } @phdthesis{24493, author = {{Grasmann, Mathias}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Produktkonfiguration auf Basis von Engineering Data Management-Systemen}}}, volume = {{75}}, year = {{2000}}, } @phdthesis{24494, author = {{Ditze, Carsten}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Towards Operating System Synthesis}}}, volume = {{76}}, year = {{2000}}, } @phdthesis{24495, author = {{Körner, Tim}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Analog VLSI Implementation of a Local Cluster Neural Network}}}, volume = {{77}}, year = {{2000}}, } @book{24496, author = {{Gausemeier, Jürgen and Lindemann, Udo and Reinhart, G. and Wiendahl, H.}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Kooperatives Produktengineering - Ein neues Selbstverständnis des ingenieurmäßigen Wirkens}}}, volume = {{79}}, year = {{2000}}, } @book{24497, author = {{Gausemeier, Jürgen and Lückel, Joachim}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Entwicklungsumgebungen Mechatronik - Methoden und Werkzeuge zur Entwicklung mechatronischer Systeme}}}, volume = {{80}}, year = {{2000}}, } @proceedings{24498, editor = {{Gausemeier, Jürgen and Lückel, Joachim}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen...}}}, volume = {{82}}, year = {{2000}}, } @phdthesis{24499, author = {{Del Castillo, Giuseppe}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models}}}, volume = {{83}}, year = {{2000}}, } @phdthesis{24500, author = {{Schäfermeier, Ulrich}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Eine Methode zur systemorientierten organisatorischen Gestaltung der Zweckaufgabenverrichtung in kooperativen Verbünden; Klassifikation, Aufgabenzuordnung}}}, volume = {{84}}, year = {{2000}}, } @phdthesis{24501, author = {{Krüger, Jens}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{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}}}, volume = {{85}}, year = {{2000}}, } @phdthesis{24503, author = {{Bartscher, Thomas}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Methoden des Integrierten Workflowmanagements (IWFM)}}}, volume = {{86}}, year = {{2000}}, } @phdthesis{24506, author = {{Quintanilla, Julia}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme}}}, volume = {{87}}, year = {{2000}}, } @article{2585, author = {{Betz, Stefan}}, journal = {{Zeitschrift für Planung}}, pages = {{pp. 169--193}}, title = {{{Funktionales Qualitätscontrolling bei mehrstufiger Fertigung}}}, volume = {{11}}, year = {{2000}}, } @article{2586, author = {{Betz, Stefan}}, journal = {{Betrieb und Wirtschaft}}, pages = {{pp. 749--755}}, title = {{{Qualitätskostencontrolling auf Basis des Half-Life-Konzepts}}}, volume = {{54}}, year = {{2000}}, } @article{3247, author = {{Fischer, Clemens and Wehrheim, Heike}}, journal = {{Bulletin of the {EATCS}}}, pages = {{92----101}}, title = {{{Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method}}}, year = {{2000}}, } @article{3248, author = {{Wehrheim, Heike}}, journal = {{Formal Asp. Comput.}}, number = {{3}}, pages = {{147----164}}, title = {{{Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications}}}, doi = {{10.1007/s001650070026}}, year = {{2000}}, } @inproceedings{3249, author = {{Fischer, Clemens and Wehrheim, Heike}}, booktitle = {{Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}}, editor = {{Rus, Teodor}}, pages = {{469----483}}, title = {{{Behavioural Subtyping Relations for Object-Oriented Formalisms}}}, doi = {{10.1007/3-540-45499-3_33}}, year = {{2000}}, } @inproceedings{3250, author = {{Wehrheim, Heike}}, booktitle = {{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}}, editor = {{S. E. Maibaum, T.}}, pages = {{334----348}}, title = {{{Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}}}, doi = {{10.1007/3-540-46428-X_23}}, year = {{2000}}, } @inproceedings{3251, author = {{Wehrheim, Heike}}, booktitle = {{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}}}, editor = {{F. Smith, Scott and L. Talcott, Carolyn}}, pages = {{213----231}}, title = {{{Behavioural Subtyping and Property Preservation}}}, doi = {{10.1007/978-0-387-35520-7_11}}, year = {{2000}}, } @inbook{3602, author = {{Harteis, Christian}}, booktitle = {{Kompendium Weiterbildung}}, editor = {{Harteis, Christian and Heid, Helmut and Kraft, Susanne}}, pages = {{209----217}}, publisher = {{Leske+Budrich}}, title = {{{Beschäftigte im Spannungsfeld ökonomischer und pädagogischer Prinzipien betrieblicher Personal-und Organisationsentwicklungsentwicklung}}}, year = {{2000}}, } @book{3669, editor = {{Harteis, Christian and Heid, Helmut and Kraft, Susanne}}, publisher = {{Leske+Budrich}}, title = {{{Kompendium Weiterbildung}}}, year = {{2000}}, } @book{3674, author = {{Harteis, Christian}}, publisher = {{Neuer Merkur}}, title = {{{Berufliche Weiterbildung heute und morgen: zukünftige Kompetenzanforderungen an Bildungspersonal und Nachwuchsrekrutierung}}}, year = {{2000}}, } @inbook{3023, author = {{Blömer, Johannes}}, booktitle = {{Automata, Languages and Programming}}, isbn = {{9783540677154}}, issn = {{0302-9743}}, pages = {{248--259}}, publisher = {{Springer Berlin Heidelberg}}, title = {{{Closest Vectors, Successive Minima, and Dual HKZ-Bases of Lattices}}}, doi = {{10.1007/3-540-45022-x_22}}, year = {{2000}}, } @inproceedings{20993, author = {{Hahn, O. and Eis, M. and Meschut, Gerson}}, booktitle = {{Tagungsband zur Vortragsveranstaltung “Kleben – Grundlagen, Forschungsergebnisse, Anwendungen”}}, location = {{Würzburg}}, pages = {{147--161}}, title = {{{Qualitätssicherung bei der Herstellung von Klebverbindungen}}}, year = {{2000}}, } @inproceedings{20994, author = {{Eis, M. and Meschut, Gerson}}, booktitle = {{Tagungsband zur Veranstaltung EndForm 2000}}, isbn = {{ISBN 3-8265-7332-3}}, location = {{Aachen}}, pages = {{135--152}}, publisher = {{Shaker Verlag}}, title = {{{Minimierung von Bauteildeformationen beim Kleben durch Beachtung der konstruktiven und werkstofftechnischen Einflußgrößen}}}, year = {{2000}}, } @inproceedings{20995, author = {{Hahn, O. and Koyro, M. and Meschut, Gerson}}, booktitle = {{Tagungsband zur Veranstaltung EndForm 2000}}, isbn = {{ISBN 3-8265-7332-3}}, location = {{Aachen}}, pages = {{225--241}}, publisher = {{Shaker Verlag}}, title = {{{Eigenschaften von wärmearm gefügten Al-Rahmentragwerken mit IHU-Knotenelementen}}}, year = {{2000}}, } @inproceedings{20996, author = {{Hahn, O. and Eis, M. and Meschut, Gerson}}, booktitle = {{Tagungsband zur Swiss Bondung ´00}}, location = {{Rapperswil (CH)}}, title = {{{Erhöhung der der Bauteilsteifigkeit durch Optimierung von Unterfütterungsklebungen}}}, year = {{2000}}, } @article{20997, author = {{Hahn, O. and Besserdich, G. and Dölle, N. and Jendrny, J. and Koyro, M. and Thesing, T. and Meschut, Gerson}}, journal = {{Schweißen und Schneiden}}, number = {{5}}, pages = {{266--271}}, title = {{{Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium}}}, volume = {{50}}, year = {{2000}}, } @article{20998, author = {{Hahn, O. and Meschut, Gerson and Eis, M. and Maciej, M.}}, journal = {{Schweißen und Schneiden}}, number = {{6}}, pages = {{340--348}}, title = {{{Beeinflussung der mechanischen Eigenschaften geklebter Kunststoffverbindungen durch Diffusion von Klebstoffbestandteilen in die polymeren Fügeteile}}}, volume = {{52}}, year = {{2000}}, } @article{20999, author = {{Hahn, O. and Meschut, Gerson and Koyro, M.}}, journal = {{Schweißen und Schneiden}}, number = {{7}}, pages = {{412--418}}, title = {{{Kleben in Kombination mit Fügen durch Umformen – eine wärmearme Fügetechnik für eigenschaftsoptimierte Aluminium-Rahmenkonstruktionen}}}, volume = {{52}}, year = {{2000}}, } @techreport{21001, author = {{Hahn, O. and Meschut, Gerson and Eis, M. and Kötting, G.}}, isbn = {{ISBN 3-934238-25-4}}, publisher = {{Verlag und Vertriebsgesellschaft mbH}}, title = {{{Analyse der Entstehung von Abzeichnungen an Klebungen dünnwandiger Bauteile}}}, year = {{2000}}, } @article{21002, author = {{Hahn, O. and Koyro, M. and Meschut, Gerson}}, journal = {{der praktiker }}, pages = {{356--361}}, title = {{{Kleben in Kombination mit Fügen durch Umformen}}}, volume = {{9}}, year = {{2000}}, } @inproceedings{21003, author = {{Bohling, P. and Jüttner, S. and Kaiser, M. and Meschut, Gerson and Schumann, S.}}, isbn = {{ISBN 3-9805447-3-7}}, location = {{Paderborn}}, pages = {{199--210}}, title = {{{Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau}}}, year = {{2000}}, } @article{21006, author = {{Meschut, Gerson}}, journal = {{Adhäsion}}, number = {{11}}, pages = {{14--21}}, title = {{{Eigenschaftsoptimierte Verbindungen durch wärmearmes Hybridfügen}}}, volume = {{44}}, year = {{2000}}, } @inproceedings{21007, author = {{Koyro, M. and Meschut, Gerson}}, booktitle = {{Tagungsband zur 4. Jahres- und 1. Europäischen Fachkonferenz “Kleben im Automobilbau”}}, location = {{Bad Nauheim}}, pages = {{114--126}}, title = {{{Status und Weiterentwicklungsmöglichkeiten beim strukturellen Kleben bei Spaceframe-Konstruktionen}}}, year = {{2000}}, } @article{2143, author = {{Adler, Micah and Scheideler, Christian}}, journal = {{Theory Comput. Syst.}}, number = {{5/6}}, pages = {{337----391}}, title = {{{Efficient Communication Strategies for Ad Hoc Wireless Networks}}}, doi = {{10.1007/s002240010006}}, volume = {{33}}, year = {{2000}}, } @article{2145, author = {{Scheideler, Christian and Vöcking, Berthold}}, journal = {{SIAM J. Comput.}}, number = {{4}}, pages = {{1126----1155}}, title = {{{From Static to Dynamic Routing: Efficient Transformations of Store-and-Forward Protocols}}}, doi = {{10.1137/S0097539799353431}}, volume = {{30}}, year = {{2000}}, } @inproceedings{2146, author = {{Berenbrink, Petra and Brinkmann, André and Scheideler, Christian}}, booktitle = {{PDPTA}}, title = {{{Distributed Path Selection for Storage Networks}}}, year = {{2000}}, } @inproceedings{2147, author = {{Czumaj, Artur and Scheideler, Christian}}, booktitle = {{SODA}}, pages = {{30----39}}, title = {{{Coloring non-uniform hypergraphs: a new algorithmic approach to the general Lovász local lemma}}}, year = {{2000}}, } @article{2148, author = {{Czumaj, Artur and Scheideler, Christian}}, journal = {{Random Struct. Algorithms}}, number = {{3-4}}, pages = {{213----237}}, title = {{{Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma}}}, volume = {{17}}, year = {{2000}}, } @inproceedings{2149, author = {{Brinkmann, André and Salzwedel, Kay and Scheideler, Christian}}, booktitle = {{SPAA}}, pages = {{119----128}}, title = {{{Efficient, distributed data placement strategies for storage area networks (extended abstract)}}}, year = {{2000}}, } @inproceedings{2150, author = {{Czumaj, Artur and Scheideler, Christian}}, booktitle = {{STOC}}, pages = {{38----47}}, publisher = {{ACM}}, title = {{{A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract)}}}, year = {{2000}}, } @book{17458, editor = {{Peckhaus, Volker}}, isbn = {{0-8218-0844-3}}, pages = {{693–730}}, title = {{{“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}}}, year = {{2000}}, }