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