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.

18621 Publications


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: 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: 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 | 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 | Dissertation | LibreCat-ID: 24487
Schmidtmann A. Eine Spezifikationssprache für die Fertigungslenkung. Vol 69. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24494
Ditze C. Towards Operating System Synthesis. Vol 76. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10189
Steffen E. Non-bicritical critical snarks. Graphs Comb. 1999;15:473-480.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 10191
Grünewald S, Steffen E. Chromatic-index-critical graphs of even order. J Graph Theory. 1999;30:27-36.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 13006
Hellebrand S, Wunderlich H-J, A. Ivaniuk A, V. Klimets Y, N. Yarmolik V. Error Detecting Refreshment for Embedded DRAMs. In: {17th IEEE VLSI Test Symposium (VTS’99)}. Dana Point, CA, USA: {IEEE (Comput. Soc.)}; 1999:384-390. doi:10.1109/vtest.1999.766693
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 13607
Mencer O, Platzner M. Dynamic circuit generation for Boolean satisfiability in an object-oriented design environment. In: Proceedings of the 32nd Annual Hawaii International Conference on Systems Sciences (HICSS-32). IEEE CS Press; 1999. doi:10.1109/hicss.1999.772883
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 13765
Schmidt WG, FATTEBERT JL, BERNHOLC J, BECHSTEDT F. SELF-ENERGY EFFECTS IN THE OPTICAL ANISOTROPY OF GaP(001). Surface Review and Letters. 1999;6(6):1159-1165. doi:10.1142/s0218625x99001281
LibreCat | DOI
 

1999 | Journal Article | LibreCat-ID: 16199
Hüllermeier E. Numerical methods for fuzzy initial value problems. International Journal of Uncertainty, Fuzziness and Knowledge-Based Systems. 1999;7(5):439-461.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 15711
Schulte C, Selke H, Huth C. Kooperative Arbeitsplattformen - CSCW-Systeme in Lehr- und Lernkontexten. LOG IN. 1999;19(3/4):40.
LibreCat
 

1999 | Book Chapter | LibreCat-ID: 2056
Krimphove D, Seitz S. : Personalcontrolling und Recht - Fallbeispiele und deren juristische Lösung -. In: Schmeisser W, Clermont A, Protz A, eds. Personalinformationssysteme & Personalcontrolling. Neuwied: Hermann Luchterhand Verlag; 1999:363 ff.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 1666
Krimphove D. Das neue europäische Schadenersatzrecht. Österreichische Juristenzeitschrift (ÖJZ). 1999;(Heft 9):321 ff.
LibreCat
 

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed