en
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.
274 Publications
2000 | Book Review | LibreCat-ID: 18345
Peckhaus V. Boolos, George; Heck, Richard G. jun., “Die Grundlagen der Arithmetik, §§ 82–3”, in: Matthias Schirn (Hg.), The Philosophy of Mathematics Today. Papers from a Conference, Munich, Germany, June 28–July 4, 1993, Clarendon Press: Oxford 1998, 407–428. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 93503008]. 2000.
LibreCat
2000 | Book Review | LibreCat-ID: 18338
Peckhaus V. Arsac, Jacques, «Les langages de programmation: une moderne Babel», C.R. Académie des Sciences (Paris). La vie des Sciences 13, Nr. 1 (1996), 25–37. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 92768015]. 2000.
LibreCat
2000 | Book Review | LibreCat-ID: 18340
Peckhaus V. Landini, Gregory, Russell’s Hidden Substitutional Theory, Oxford University Press: Oxford 1998. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 93303002]. 2000.
LibreCat
2000 | Book Review | LibreCat-ID: 18357
Peckhaus V. Mancosu, Paolo, “Between Russell and Hilbert: Behmann on the Foundations of Mathematics”, Bulletin of Symbolic Logic 5 (1999), 303–330. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 942030029]. 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 18617
Schindlmayr A. Decay properties of the one-particle Green function in real space and imaginary time. Physical Review B. 2000;62(19):12573-12576. doi:10.1103/PhysRevB.62.12573
LibreCat
| Files available
| DOI
| WoS
2000 | Book Chapter | LibreCat-ID: 19196
Seng E-M. Architektur und Ausstattung von Schloß Augustusburg als politisches Vermächtnis eines “Guten Regiments” und “Guter Ordnung.” In: Lupfer G, Rudert K, Sigel P, eds. Bau + Kunst, Festschrift zum 65. Geburtstag von Jürgen Paul. Dresden; 2000:296-309.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19398
Eke NO. Körper-Schrift. Heiner Müllers Anthropologie des Körpers. In: Wallace I, Tate D, Labroisse G, eds. Heiner Müller: Probleme und Perspektiven. Bath-Symposion 1998. Vol 48. Amsterdamer Beiträge zur neueren Germanistik. ; 2000:69-88.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19401
Eke NO. Der Kritiker in der Kritik. Willibald Alexis, das Junge Deutschland und Alexis’ autobiographische Fragmente Erinnerungen aus meinem Leben. In: Beutin W, Stein P, eds. Willibald Alexis (1798-1871). Ein Autor des Vor- und Nachmärz. Bielefeld: Aisthesis; 2000:55-80.
LibreCat
2000 | Journal Article | LibreCat-ID: 19709
Büker P. Das Fremde spüren - dem Anderen begegnen. Elisabeth Reuter: Soham. Eine Geschichte vom Fremdsein. Praxis Deutsch . 2000;27, H. 162:31-36.
LibreCat
2000 | Journal Article | LibreCat-ID: 2143
Adler M, Scheideler C. Efficient Communication Strategies for Ad Hoc Wireless Networks. Theory Comput Syst. 2000;33(5/6):337--391. doi:10.1007/s002240010006
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 2150
Czumaj A, Scheideler C. A new algorithm approach to the general Lovász local lemma with applications to scheduling and satisfiability problems (extended abstract). In: STOC. ACM; 2000:38--47.
LibreCat
| Files available
2000 | Journal Article | LibreCat-ID: 2148
Czumaj A, Scheideler C. Coloring nonuniform hypergraphs: A new algorithmic approach to the general Lovász local lemma. Random Struct Algorithms. 2000;17(3-4):213--237.
LibreCat
2000 | Journal Article | LibreCat-ID: 13174
Luke A, Baumhögger E, Scheunemann P. 3-DIMENSIONAL DESCRIPTION OF THE MICROSTRUCTURE OF HEATED SURFACES IN NUCLEATE POOL BOILING. Multiphase Science and Technology. 2000. doi:10.1615/multscientechn.v12.i3-4.20
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 20996
Hahn O, Eis M, Meschut G. 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: 21002
Hahn O, Koyro M, Meschut G. Kleben in Kombination mit Fügen durch Umformen. der praktiker . 2000;9:356-361.
LibreCat
2000 | Conference Paper | LibreCat-ID: 21007
Koyro M, Meschut G. 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:114-126.
LibreCat
2000 | Journal Article | LibreCat-ID: 18446
Lorys K, Wanka R, Oesterdiekhoff B, Kutylowski M. Periodification Scheme: Constructing Sorting Networks with Constant Period. Journal of the ACM. 2000;45:944-967. doi:10.1145/355483.355490
LibreCat
| DOI
2000 | Dissertation | LibreCat-ID: 24486
Lewandowski A. Methode zur Gestaltung von Leistungserstellungsprozessen in Industrieunternehmen. Vol 68. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 24498
Gausemeier J, Lückel J, eds. 4. Internationales Heinz Nixdorf Symposium - Auf dem Weg zu den Produkten für die Märkte von morgen... Vol 82. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24493
Grasmann M. Produktkonfiguration auf Basis von Engineering Data Management-Systemen. Vol 75. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24501
Krüger J. 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. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24506
Quintanilla J. Ein Verifikationsansatz für eine netzbasierte Modellierungsmethode für Fertigungssteuerungssysteme. Vol 87. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 16495
Meyer auf der Heide F, Räcke H, Westermann M. Data management in hierarchical bus networks. In: Proceedings of the Twelfth Annual ACM Symposium on Parallel Algorithms and Architectures - SPAA ’00. ; 2000. doi:10.1145/341800.341814
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 10183
Steffen E. A refinement of Vizing’s theorem. Discrete Mathematics. 2000;218:289-291.
LibreCat
2000 | Conference Paper | LibreCat-ID: 11869
Lieb M, Haeb-Umbach R. LDA derived cepstral trajectory filters in adverse environmental conditions. In: IEEE International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2000). Vol 2. ; 2000:II1105-II1108 vol.2. doi:10.1109/ICASSP.2000.859157
LibreCat
| DOI
| Download (ext.)
2000 | Conference Paper | LibreCat-ID: 11871
Loog M, Haeb-Umbach R. Multi-class Linear Dimension Reduction by Generalized Fisher Criteria. In: International Conference on Spoken Language Processing (ICSLP 2000). ; 2000.
LibreCat
| Download (ext.)
2000 | Conference Paper | LibreCat-ID: 13005
Hellebrand S, Liang H-G, Wunderlich H-J. A Mixed Mode BIST Scheme Based on Reseeding of Folding Counters. In: {IEEE International Test Conference (ITC’00)}. Atlantic City, NJ, USA: {IEEE}; 2000:778-784. doi:10.1109/test.2000.894274
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 13757
Schmidt WG, Bernholc J, Bechstedt F. (001) Surfaces of GaP and InP: structural motifs, electronic states and optical signatures. Applied Surface Science. 2000;166:179-184. doi:10.1016/s0169-4332(00)00406-2
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 15063
Hüllermeier E. Change detection in heuristic search. In: Proceedings AAAI 2000, 17th National Conference on Artificial Intelligence, Austin, Texas. ; 2000:898-903.
LibreCat
2000 | Conference Paper | LibreCat-ID: 14844
Hüllermeier E. Similarity-based inference as evidential reasoning. In: Horn W, ed. In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany. IOS Press; 2000:50-54.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 1634
Clermont A, Schmeisser W, Krimphove D, eds. Personalführung Und Organisation. München: Verlag Vahlen; 2000.
LibreCat
2000 | Book | LibreCat-ID: 1608
Krimphove D, Pieper SU, Schollmeier A. Europarecht - Das Casebook. 2nd ed. Köln: Carl Heymanns Verlag KG; 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 16198
Hüllermeier E, Kraft M, Weise P. Evaluation and specification of a synergetic business cycle model with German data. Homo Oeconomicus XVI. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 1920
Karl H, Polze A, Werner M. Predictable Network Computing using Message-driven Scheduling. In: Proc. the Workshop on Run-Time Systems for Parallel Programming. ; 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 2586
Betz S. Qualitätskostencontrolling auf Basis des Half-Life-Konzepts. Betrieb und Wirtschaft. 2000;54:749-755.
LibreCat
2000 | Conference Paper | LibreCat-ID: 3250
Wehrheim H. Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods. In: S. E. Maibaum T, ed. 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. Lecture Notes in Computer Science. ; 2000:334--348. doi:10.1007/3-540-46428-X_23
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 3248
Wehrheim H. Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications. Formal Asp Comput. 2000;(3):147--164. doi:10.1007/s001650070026
LibreCat
| DOI
2000 | Conference Abstract | LibreCat-ID: 6014
Calaminus D, Klöpfer E, Kundisch D, Wolfersberger P. Ein Contentmodell für den Multichannel Vertrieb von Finanzdienstleistungen. In: 3. FANTagung 2000. ; 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 6507
Platzner M. Reconfigurable accelerators for combinatorial problems. Computer. 2000;33(4):58-60. doi:10.1109/2.839322
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 6223
Friedrich A, Kabst R, Rodehuth M, Weber W. Job Rotation: An Empirical Analysis on the Utilization and Strategic Integration in European Companies. In: Brewster C, Mayrhofer W, Morley M, eds. New Challenges for European Human Resource Management. Houndmills/Basingstoke: Macmillan Press; 2000:56-71.
LibreCat
2000 | Conference Paper | LibreCat-ID: 6691
Bendfeld J, Bettenwort G, Drilling C, et al. MODEL FOR EVALUATING MPP METHODS FOR GRID-CONNECTED PV PLANTS. In: Proceedings of the 16th European Photovoltaic Solar Energy Congress and Exhibition, 1-5 May 2000, Glasgow United Kingdom. ; 2000.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7543
Kremer H-H, Wilbers K. Telekooperatives Lehren und Lernen - Erfahrungen aus dem virtuellen Seminar “WiPäd München - Köln.” In: Straka GA, Bader R, Sloane PFE, eds. Perspektiven der Berufs- und Wirtschaftspädagogik. Forschungsberichte der Sektion Berufs- und Wirtschaftspädagogik der Deutschen Gesellschaft für Erziehungswissenschaft - Frühjahrstagung 2000. Opladen; 2000:159-170.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7550
Kremer H-H, Sloane PFE. Präzisierung: Fächer- und lernortübergreifende Ausbildungskonzepte. In: Sloane PFE, ed. Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung.” Markt Schwaben; 2000:15-32.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7555
Kremer H-H, Sloane PFE. Präzisierung: Entwicklungswege und -beispiel. In: Sloane PFE, ed. Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung.” Markt Schwaben; 2000:33-44.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7562
Kremer H-H, Sloane PFE. DFG-Projekt “FäLoU”: Evaluationskonzept. In: Sloane PFE, ed. Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung.” Markt Schwaben; 2000:81-83.
LibreCat
2000 | Conference Paper | LibreCat-ID: 7872
Engels G, Heckel R. Graph Transformation as a Conceptual and Formal Framework for System Modeling and Model Evolution. In: Proceedings of the 27th International Colloquium on Automata, Languages and Programming (ICALP 2000), Geneva (Switzerland). Vol 1853. LNCS. Berlin/Heidelberg: Springer; 2000:127-150. doi:http://dx.doi.org/10.1007/3-540-45022-X_12
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 7877
Mehner K, Wagner A. Visualizing the Synchronization of Java-Threads with UML. In: Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington). Washington, DC, USA: IEEE Computer Society; 2000:199-206.
LibreCat
2000 | Book Chapter | LibreCat-ID: 7670
Bliemel F, Eggert A. Stärkt Customer Care die Kundenbeziehung? Eine kausalanalytische Untersuchung aus Kundensicht. In: Bruhn M, Stauss B, eds. Jahrbuch Für Dienstleistungsmanagement 2000 - Kundenbeziehungen Im Dienstleistungsbereich. Wiesbaden: Gabler; 2000:197-211.
LibreCat
2000 | Journal Article | LibreCat-ID: 7396
Engels G, Heckel R. Graph Transformation and Visual Modeling Techniques. Bulletin of the EATCS. 2000;(71):186-202.
LibreCat
2000 | Conference (Editor) | LibreCat-ID: 7790
Ehrig H, Engels G, Kreowksi H-J, Taentzer G, eds. Special Issue: Selected Papers of GRATRA 2000. Vol 44. Amsterdam, The Netherlands: Elsevier; 2000.
LibreCat
2000 | Journal Article | LibreCat-ID: 8914
Hemsel T, Wallaschek J. Survey of the present state of the art of piezoelectric linear motors. Ultrasonics. 2000;38:37-40. doi:10.1016/S0041-624X(99)00143-2
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8919
Panning L, Sextro W, Popp K. Optimization of Interblade Friction Damper. In: International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME. Munich, Germany; 2000:1-8.
LibreCat
2000 | Book Chapter | LibreCat-ID: 8457
Kremer H-H. Didaktische Theorie implementieren - Innovationen gestalten. In: Euler D, Jongebloed H-C, Sloane PFE, eds. Sozialökonomische Theorie - sozialökonomisches Handeln. Konturen und Perspektiven der Wirtschafts- und Sozialpädagogik. Kiel; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8332
Busatto G, Engels G, Mehner K, Wagner A. A Framework for Adding Packages to Graph Transformation Approaches. In: Selected Papers of the 6th International Workshop on Theory and Application of Graph Transformations (TAGT ’98), Paderborn (Germany). Vol 1764. LNCS. Berlin/Heidelberg: Springer; 2000:352-367. doi:http://dx.doi.org/10.1007/b75045
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 8337
Depke R, Heckel R, Küster J. Rollenbasierte Modellierung autonomer Agenten. In: Proceedings of the Workshop Des Arbeitskreises GROOM Der GI Fachgruppe 2.1.9 Objektorientierte Software-Entwicklung on Visuelle Verhaltensmodellierung Verteilter Und Nebenläufiger Software-Systeme, Münster (Germany). Münster: Universität Münster; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 8344
Heckel R, Sauer S. Strengthening the Semantics of UML Collaboration Diagrams. In: Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany). Munich (Germany): Ludwig-Maximilians-University; 2000:63-69.
LibreCat
2000 | Journal Article | LibreCat-ID: 16554
Dellnitz M, Froyland G, Sertl S. On the isolated spectrum of the Perron-Frobenius operator. Nonlinearity. 2000:1171-1188. doi:10.1088/0951-7715/13/4/310
LibreCat
| DOI
2000 | Journal Article | LibreCat-ID: 16345
Meyer auf der Heide F, Wanka R. Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik. ForschungsForum Paderborn. 2000:112-116.
LibreCat
| Files available
2000 | Book Chapter | LibreCat-ID: 17526
Peckhaus V. The Contextualism of Philosophy. In: Kusch M, ed. The Sociology of Philosophical Knowledge. Vol 48. New Synthese Historical Library. Dordrecht/Boston/London: Kluwer Academic Publishers; 2000:179-191.
LibreCat
2000 | Book Review | LibreCat-ID: 18341
Peckhaus V. Müller, Ralf, Die dynamische Logik des Erkennens von Charles S. Peirce, Königshausen & Neumann: Würzburg 1999. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 93401004]. 2000.
LibreCat
2000 | Book Review | LibreCat-ID: 18358
Peckhaus V. Zach, Richard, “Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic”, Bulletin of Symbolic Logic 5 (1999), 331–366. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 94203002]. 2000.
LibreCat
2000 | Book Review | LibreCat-ID: 18360
Peckhaus V. Glashoff, Klaus, „Das Rad der Gründe — Der Hetucakradamara von Dignaga“, Mitt. Math. Ges. Hamb. 18 (1999), 75–104. Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl 94601004]. 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 16496
Meyer auf der Heide F, Vöcking B, Westermann M. Caching in networks. In: SODA ’00: Proceedings of the Eleventh Annual ACM-SIAM Symposium on Discrete Algorithms. ; 2000:430–439.
LibreCat
2000 | Book (Editor) | LibreCat-ID: 19084
Allkemper A, Eke NO, eds. Deutsche Dramatiker des 20. Jahrhunderts. Berlin: Erich Schmidt; 2000.
LibreCat
2000 | Conference Paper | LibreCat-ID: 19402
Eke NO. Vormärz/Nachmärz. – Bruch oder Kontinuität? Nachfragen an die Begriffsgeschichte. In: Eke NO, Werner R, eds. Vormärz – Nachmärz. Bruch oder Kontinuität? Vorträge des Symposions des Forum Vormärz Forschung e.V. vom 19.-21. November 1998 an der Universität Paderborn. Bielefeld: Aisthesis; 2000:11-30.
LibreCat
2000 | Book Chapter | LibreCat-ID: 19399
Eke NO. Thomas Brasch. In: Allkemper A, Eke NO, eds. Deutsche Dramatiker des 20. Jahrhunderts. Berlin: Erich Schmidt; 2000:746-763.
LibreCat
2000 | Book Review | LibreCat-ID: 19546
Eke NO. Horst Domdey: Produktivkraft Tod. Das Drama Heiner Müllers. Köln u.a.: Böhlau, 1998. Germanistik. 2000;41(H. 1):294-295.
LibreCat
2000 | Conference Paper | LibreCat-ID: 19849
Bednara M, Beyer O, Teich J, Wanka R. Tradeoff analysis and architecture design of a hybrid hardware/software sorter. In: Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP). ; 2000:299-308. doi:10.1109/asap.2000.862400
LibreCat
| DOI
2000 | Conference Paper | LibreCat-ID: 2149
Brinkmann A, Salzwedel K, Scheideler C. Efficient, distributed data placement strategies for storage area networks (extended abstract). In: SPAA. ; 2000:119--128.
LibreCat
| Files available
2000 | Conference Paper | LibreCat-ID: 21003
Bohling P, Jüttner S, Kaiser M, Meschut G, Schumann S. Eigenschaften von thermisch und wärmearm gefügten Al-/Mg-Verbindungen für den strukturellen Karosserieleichtbau. In: Paderborn; 2000:199-210.
LibreCat
2000 | Journal Article | LibreCat-ID: 20997
Hahn O, Besserdich G, Dölle N, et al. Prüfung und Berechnung geklebter Blech-Profil-Verbindungen aus Aluminium. Schweißen und Schneiden. 2000;50(5):266-271.
LibreCat
2000 | Dissertation | LibreCat-ID: 24487
Schmidtmann A. Eine Spezifikationssprache für die Fertigungslenkung. Vol 69. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24499
Del Castillo G. The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models. Vol 83. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat
2000 | Dissertation | LibreCat-ID: 24494
Ditze C. Towards Operating System Synthesis. Vol 76. Heinz Nixdorf Institut, Universität Paderborn; 2000.
LibreCat