@inbook{1947, author = {{Krimphove, Dieter}}, booktitle = {{Personalführung und Organisation}}, editor = {{Clermont, Alois and Schmeisser, Wilhelm and Krimphove, Dieter}}, pages = {{505 – 540}}, publisher = {{Verlag Vahlen}}, title = {{{Europäischer Betriebsrat / Betriebsräte in Europa – Strategien und Chancen der Europaweiten Vereinheitlichung der Arbeitnehmerbeteiligung an unternehmerischen und personalpolitischen Entscheidungen –}}}, year = {{2000}}, } @misc{19478, author = {{Eke, Norbert Otto}}, booktitle = {{Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III}}, editor = {{Max, Frank Rainer and Ruhrberg, Christine}}, pages = {{93--97}}, publisher = {{Reclam}}, title = {{{Heiner Müller: Das eiserne Kreuz; Der Vater; Wüsten der Liebe}}}, year = {{2000}}, } @misc{19479, author = {{Eke, Norbert Otto}}, booktitle = {{Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III}}, editor = {{Max, Frank Rainer and Ruhrberg, Christine}}, pages = {{505--510}}, publisher = {{Reclam}}, title = {{{Herta Müller: Niederungen; Der Fuchs war damals schon der Jäger; Herztier}}}, year = {{2000}}, } @misc{19546, author = {{Eke, Norbert Otto}}, booktitle = {{Germanistik}}, number = {{H. 1}}, pages = {{294--295}}, title = {{{Horst Domdey: Produktivkraft Tod. Das Drama Heiner Müllers. Köln u.a.: Böhlau, 1998}}}, volume = {{41}}, year = {{2000}}, } @misc{19547, author = {{Eke, Norbert Otto}}, booktitle = {{Germanistik}}, number = {{H. 1}}, pages = {{158--159}}, title = {{{Wynfrid Kriegleder: Vorwärts in die Vergangenheit. Das Bild der USA im deutschsprachigen Roman von 1776 bis 1855. Tübingen: Stauffenburg Verlag, 1999}}}, volume = {{41}}, year = {{2000}}, } @misc{19548, author = {{Eke, Norbert Otto}}, booktitle = {{Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 2/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/)}}, number = {{2/2000}}, pages = {{9 Seiten}}, title = {{{Roy C. Cowen: Christian Dietrich Grabbe – Dramatiker ungelöster Widersprüche. Bielefeld: Aisthesis Verlag, 1998; Carl Wiemer: Der Paria als Unmensch. Grabbe – Genealoge des Anti-Humanitarismus. Bielefeld: Aisthesis Verlag, 1997}}}, year = {{2000}}, } @misc{19549, author = {{Eke, Norbert Otto}}, booktitle = {{Internationales Archiv für Sozialgeschichte der deutschen Literatur (IASL), Preprint der in Nr. 1/2000 erscheinenden Druckfassung im Internet (http://iasl.uni-muenchen.de, inzwischen Weiterleitung auf http://www.iaslonline.de/)}}, number = {{1/2000}}, pages = {{6 Seiten}}, title = {{{Wolfgang Struck: Konfigurationen der Vergangenheit. Deutsche Geschichtsdramen im Zeitalter der Restauration. Tübingen: Max Niemeyer Verlag, 1997}}}, year = {{2000}}, } @phdthesis{19620, author = {{Rieping, Ingo}}, isbn = {{3-931466-80-9}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Communication in Parallel Systems-Models, Algorithms and Implementations}}}, volume = {{81}}, year = {{2000}}, } @phdthesis{19621, author = {{Westermann, Matthias}}, isbn = {{3-931466-89-2}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Caching in Networks: Non-Uniform Algorithms and Memory Capacity Constraints}}}, volume = {{90}}, year = {{2000}}, } @article{19709, author = {{Büker, Petra}}, journal = {{Praxis Deutsch }}, pages = {{31--36}}, title = {{{Das Fremde spüren - dem Anderen begegnen. Elisabeth Reuter: Soham. Eine Geschichte vom Fremdsein}}}, volume = {{27, H. 162}}, year = {{2000}}, } @inbook{19710, author = {{Büker, Petra}}, booktitle = {{Bildungsprojekt Europa in der universitären Lehrerausbildung. Standortvergewisserung - Perspektivenentwicklung - Erfahrungspräsentation}}, editor = {{Kurth, Ulrike}}, pages = {{63--78}}, publisher = {{Medien-Verlag}}, title = {{{Europaoffenes Lernen mit Grundschulkindern oder: Europa beginnt in der Primarstufe}}}, year = {{2000}}, } @techreport{19733, author = {{Bonorden, Olaf and Rieping, Ingo and von Otte, Ingo and Juurlink, Bernhardus}}, title = {{{PUB-Library, Release 7.0, User Guide and Function Reference}}}, year = {{2000}}, } @misc{19784, author = {{Scheideler, Christian}}, isbn = {{3-931466-77-9}}, title = {{{Probabilistic Methods for Coordination Problems}}}, year = {{2000}}, } @inproceedings{19849, author = {{Bednara, M. and Beyer, O. and Teich, J. and Wanka, Rolf}}, booktitle = {{Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)}}, isbn = {{0769507166}}, pages = {{299--308}}, title = {{{Tradeoff analysis and architecture design of a hybrid hardware/software sorter}}}, doi = {{10.1109/asap.2000.862400}}, year = {{2000}}, } @inproceedings{2003, abstract = {{RsdEditor is a graphical user interface which produces specifications of computational resources. It is used in the RSD (Resource and Service Description) environment for specifying, registering, requesting and accessing resources and services in a metacomputer. RsdEditor was designed to be used by the administrators and users of metacomputing environments. At the administrator level, the GUI is used to describe the available computing and networking components of a metacomputer. At the user level, RsdEditor can be used to specify which characteristics of the computational resources are needed to execute a meta-application. This paper is organized as follows: it first introduces RsdEditor. It then briefly describes the RSD environment, and finally, it highlights various features and implementation issues of RsdEditor.}}, author = {{Baraglia, Ranieri and Keller, Axel and Laforenza, Domenico and Reinefeld, Alexander}}, booktitle = {{Proc. Heterogenous Computing Workshop HCW at IPDPS}}, pages = {{336--348}}, title = {{{RsdEditor: A Graphical User Interface for Specifying Metacomputer Components}}}, doi = {{10.1109/HCW.2000.843756}}, year = {{2000}}, } @article{27987, author = {{Buyken, Anette and Toeller, M and Heitkamp, G and Irsigler, K and Holler, C and Santeusanio, F and Stehle, P and Fuller, JH}}, issn = {{0742-3071}}, journal = {{Diabet Med}}, number = {{5}}, pages = {{351--359}}, title = {{{Carbohydrate sources and glycaemic control in Type 1 diabetes mellitus. EURODIAB IDDM Complications Study Group.}}}, doi = {{10.1046/j.1464-5491.2000.00283.x}}, volume = {{17}}, year = {{2000}}, } @misc{2433, author = {{Plessl, Christian and Maurer, Simon}}, keywords = {{co-design, speech processing}}, publisher = {{Computer Engineering and Networks Lab, ETH Zurich, Switzerland}}, title = {{{Hardware/Software Codesign in Speech Compression Applications}}}, year = {{2000}}, } @phdthesis{2434, author = {{Simon, Jens}}, isbn = {{3-934445-03-9}}, pages = {{255}}, publisher = {{Dr. Dirk Blunk Verlag}}, title = {{{Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern}}}, year = {{2000}}, } @book{24483, author = {{Schäfermeier, Ulrich and Bischoff, Christian}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{KMUnet - Ein Konzept zur ablauforganisatorischen Gestaltung der Lieferanteneinbindung}}}, volume = {{65}}, year = {{2000}}, } @book{24484, author = {{Holthöfer, Norbert}}, publisher = {{Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}}, title = {{{Regeln in einer Mengenplanung unter Ausbringungsgrenzen}}}, volume = {{66}}, year = {{2000}}, } @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}}, }