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.

228 Publications


2000 | Conference Paper | LibreCat-ID: 7876
Hendrik Hausmann J. Graphtransitionsregeln zur Beschreibung der Semantik von UML. In: Proceedings of the Informatiktage 2000, Bad Schussenried (Germany). Leinfelden - Echterdingen: Konradin Verlag; 2000:103-107.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 8456
Kremer H-H, Sloane PFE. Lern- und Maßnahmeerfolg “Fächer- und Lernortübergreifender Lehr- Lernarrangements” - Erste Projektergebnisse. In: Kaiser FJ, ed. Berufliche Bildung in Deutschland für das 21. Jahrhundert. Nürnberg; 2000:135-144.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8329
Hendrik Hausmann J, Heckel R, Sauer S. Ein Konzept zur anwendungsbezogenen UML-Semantikbeschreibung durch dynamische Metamodellierung. 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). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8331
Heckel R, Llabrés M, Ehrig H, Orejas F. Concurrency of Double-Pullback Graph Transitions. In: Proceedings of Workshop on Graph Transformation Systems (GraTra; Satellite Event of the ETAPS 2000), Berlin (Germany). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8336
Depke R, Heckel R, Küster J. Deploying Agents in an Electronic Banking Environment. In: Proceedings of the Workshop on Agents in Industry (Agents 2000; Satellite Event of the 4th International Conference on Autonomous Agents), Barcelona (Spain). ; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8343
Heckel R, Sauer S. Dynamische Metamodellierung als Methode zur Definition einer operationalen Semantik für die UML. In: Proceedings of the 7th GI-Workshop GROOM. Vol 20. University of Koblenz-Landau; 2000:43-44.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 8918
Krzyzynski T, Popp K, Sextro W. On some regularities in dynamic response of cyclic periodic structures. Chaos, Solitons \& Fractals. 2000;11(10):1597-1609. doi:10.1016/S0960-0779(99)00080-6
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8920
Sextro W. The Calculation of the Forced Response of Shrouded Blades with Friction Contacts and Its Experimental Verification. In: International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME. Munich, Germany; 2000:1-8.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 16553
Dellnitz M, Froyland G, Sertl S. A Conjecture on the Existence of Isolated Eigenvalues of the Perron-Frobenius Operator. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0199
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16616
Junge O. Rigorous discretization of subdivision techniques. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0178
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17018
Dellnitz M, Junge O, Rumpf M, Strzodka R. The computation of an unstable invariant set inside a cylinder containing a knotted flow. In: Equadiff 99. ; 2000:1053--1059. doi:10.1142/9789812792617_0204
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17525
Peckhaus V. Kantianer oder Neukantianer? Über die Schwierigkeiten, Frege der Philosophie seiner Zeit zuzuordnen. In: Gabriel G, Dathe U, eds. Gottlob Frege — Werk und Wirkung. Mit den unveröffentlichten Vorschlägen für ein Wahlgesetz von Gottlob Frege. Paderborn: mentis; 2000:191--209.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 18150
Ziegler M, Sohler C. Computing Cut Numbers. In: Proceedings of the 12th Canadian Conference on Computational Geometry (CCCG’00). ; 2000:73-79.
LibreCat
 

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: 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.
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: 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 | Journal Article | LibreCat-ID: 15018
Domik G. Do we need formal education in visualization? IEEE Computer Graphics and Applications. 2000;20(4):16-19.
LibreCat
 

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 | 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 | 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
 

Filters and Search Terms

year=2000

Search

Filter Publications

Display / Sort

Citation Style: AMA

Export / Embed