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 | Journal Article | LibreCat-ID: 13759
Schmidt WG, Mirbt S, Bechstedt F. Surface phase diagram of (2×4) and (4×2) reconstructions of GaAs(001). Physical Review B. 2000;62(12):8087-8091. doi:10.1103/physrevb.62.8087
LibreCat | DOI
 

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 | Journal Article | LibreCat-ID: 10606
Eisenring M, Platzner M. Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems. IEE Proceedings -- Computers & Digital Techniques. 2000;147:159-165. doi:10.1049/ip-cdt:20000496
LibreCat | DOI
 

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 | 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: 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: 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: 16513
Aston PJ, Dellnitz M. The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms. In: Equadiff 99. ; 2000. doi:10.1142/9789812792617_0196
LibreCat | DOI
 

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 | Working Paper | LibreCat-ID: 14979
Sureth-Sloane C. The Influence of Taxation on Partially Irreversible Investment Decisions – A Real Option Approach. Vol 462.; 2000.
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 | Journal Article | LibreCat-ID: 10725
Platzner M, Rinner B, Weiss R. Toward embedded qualitative simulation: a specialized computer architecture for QSim. IEEE Intelligent Systems. 2000;15(2):62-68. doi:10.1109/5254.850829
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8345
Küster J, Stroop J. Towards Consistency of Dynamic Models and Analysis of Timing Constraints. In: Proceedings of 1st Workshop on Formal Design Techniques for Real-Time Systems (Satellite Event of the UML 2000), York (UK). York, UK: University of York; 2000.
LibreCat
 

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

2000 | Conference Paper | LibreCat-ID: 8334
Depke R, Heckel R. Towards Role-based Modeling of Autonomous Agents. 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: 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 | Journal Article | LibreCat-ID: 7690
Heidtkamp C, Meier C, Reuter D, et al. Tunable backscattering in quantum Hall systems induced by neighbouring gates. Physica B: Condensed Matter. 2000;284-288:1728-1729. doi:10.1016/s0921-4526(99)02892-6
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7873
Engels G, Heckel R, Sauer S. UML - A Universal Modeling Language? In: Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark). Vol 1825. LNCS. Berlin/Heidelberg: Springer; 2000:24-38.
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13761
Schmidt WG, Bechstedt F, Bernholc J. Understanding reflectance anisotropy: Surface-state signatures and bulk-related features. Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures. 2000;18(4). doi:10.1116/1.1305289
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13760
Schmidt WG, Esser N, Frisch AM, et al. Understanding reflectance anisotropy: Surface-state signatures and bulk-related features in the optical spectrum ofInP(001)(2×4). Physical Review B. 2000;61:R16335-R16338. doi:10.1103/physrevb.61.r16335
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 7520
Engels G, Kelter U, Depke R, Mehner K. Unterstützende Angebote der Softwarebegleitgruppe. In: Multimedia in Der Wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht. Münster: LIT; 2000:27-56.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24485
Schlake O. Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen. Vol 67. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn; 2000.
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8347
Mehner K, Wagner A. Visualisierung der Synchronisation von Java-Threads mit UML. In: Proceedings of the Workshop on Modelle Und Modellierungssprachen in Informatik Und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany). Vol 15. Koblenzer Schriften zur Informatik. Fölbach; 2000.
LibreCat
 

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 | 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 | Conference (Editor) | LibreCat-ID: 19085
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:486.
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: 19403
Eke NO. Wahrnehmung im Augen-Schein. Thomas Braschs (und Jurek Beckers) filmische Reflexion über die Kunst nach Auschwitz: „Der Passagier – Welcome to Germany“. In: Allkemper A, Eke NO, eds. Literatur und Demokratie. Berlin: Erich Schmidt; 2000:285-300.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 17527
Peckhaus V. Was George Boole Really the ‘Father’ of Modern Logic? In: Gasser J, ed. A Boole Anthology. Recent and Classical Studies in the Logic of George Boole. Vol 219. Synthese Library. Dordrecht/Boston/London: Kluwer Academic Publishers; 2000:271-285.
LibreCat
 

2000 | Dissertation | LibreCat-ID: 2434
Simon J. Werkzeugunterstützte Effiziente Nutzung von Hochleistungsrechnern. Dr. Dirk Blunk Verlag; 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 17787
Peckhaus V. Werner Stelzner, Gottlob Frege. Jena und die Geburt der modernen Logik, ed. Verein zur Regionalförderung von Forschung, Innovation und Technologie für die Strukturentwicklung e.V., no place [Jena]: ReFIT 1996. Modern Logic. 2000;8(1-2 (January 1998 – April 2000)):179-181.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7563
Kremer H-H. Wissensanwendung - Evaluationskonzept und Auswertungsbeispiel. 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:109-120.
LibreCat
 

2000 | Book Review | LibreCat-ID: 19549
Eke NO. Wolfgang Struck: Konfigurationen der Vergangenheit. Deutsche Geschichtsdramen im Zeitalter der Restauration. Tübingen: Max Niemeyer Verlag, 1997. 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/). 2000;(1/2000):6 Seiten.
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7791
Rolim JDP, Broder AZ, Corradini A, et al., eds. Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland). Waterloo, Ontario, Canada: Carleton Scientific; 2000.
LibreCat
 

2000 | Book Review | LibreCat-ID: 19547
Eke NO. Wynfrid Kriegleder: Vorwärts in die Vergangenheit. Das Bild der USA im deutschsprachigen Roman von 1776 bis 1855. Tübingen: Stauffenburg Verlag, 1999. Germanistik. 2000;41(H. 1):158-159.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 6762
Tönnies M, Stratmann G, Viol C-U, Anglistik und Englischunterricht 63, eds. Youth Identities. Teens and Twens in British Culture. Heidelberg: Winter; 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 (Editor) | LibreCat-ID: 7323
Hasenbank T, Kremer H-H, Retzmann T, eds. Zukunftswerkstatt: Berufliche Bildung neu gestalten - Kreative Wege zur Realisierung didaktischer Innovationen in berufsbildenden Schulen. Bielefeld; 2000.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7565
Kremer H-H, Sloane PFE. Zur Fortführung des Forschungsprogramms. 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:130-134.
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 18355
Tophinke D. Zur Wortabtrennung in den Werler Statuten des 14. und 15. Jahrhunderts – eine exemplarische Analyse. In: Elmentaler M, ed. Regionalsprachen, Stadtsprachen und Institutionssprachen im historischen Prozeß. Wien: Edition Präsens; 2000:73-99.
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 17458
Peckhaus V, ed. “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.; 2000.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 13768
Frisch AM, Schmidt WG, Bernholc J, Pristovsek M, Esser N, Richter W. (2×4)GaP(001) surface: Atomic structure and optical anisotropy. Physical Review B. 1999;60(4):2488-2494. doi:10.1103/physrevb.60.2488
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 17506
Peckhaus V. 19th Century Logic: Between Philosophy and Mathematics. In: Tattersall JJ, ed. Proceedings of the Canadian Society for the History and Philosophy of Mathematics. Société Canadienne d’Histoire et Philosophie Des Mathématiques, Bd. 11: Twenty-Fourth Annual Meeting. University of Ottawa. Ottawa, Ontario, May 29–31, 1998. Providence, R.I.; 1999:1-20.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 17511
Peckhaus V. 19th Century Logic: Between Philosophy and Mathematics (Wiederabdruck und Online-Fassung). The Bulletin of Symbolic Logic. 1999;5:433-450.
LibreCat | Download (ext.)
 

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 | Conference Paper | LibreCat-ID: 7858
Gadducci F, Heckel R, Llabrés M. A Bi-Categorical Axiomatisation of Concurrent Graph Rewriting. In: Proceedings of the 8th Conference on Category Theory and Computer Science (CTCS 1999), Edinburgh (UK). Vol 29. Electronic Notes in Theoretical Computer Science. Elsevier; 1999:80-100. doi:http://dx.doi.org/10.1016/S1571-0661(05)80309-3
LibreCat | DOI
 

1999 | Report | LibreCat-ID: 8206
Engels G, Dassen R, Groenewegen L, G. Sprinkhuizen-Kuyper I, Koopman P, Jan t’Hoen P. A Formalisation of SOCCA Using Z, Part 1: The Type Level Concepts. Leiden Institute of Advanced Computer Science; 1999.
LibreCat
 

1999 | Journal Article | LibreCat-ID: 3410
Hehenkamp B, Leininger W. A note on evolutionary stability of Bertrand equilibrium. Journal of Evolutionary Economics. 1999;9(3):367-371. doi:10.1007/s001910050087
LibreCat | DOI
 

1999 | Conference Paper | LibreCat-ID: 15234
Hüllermeier E. A possibilistic formalization of case-based reasoning and decision making. In: Reusch B, ed. In Proceedings of the 6th International Conference on Computational Intelligence, Dortmund, Germany. Vol 1625. LNCS. Springer; 1999:411-420.
LibreCat
 

1999 | Conference Paper | LibreCat-ID: 2436
Brune M, Reinefeld A, Varnholt J. A Resource Description Environment for Distributed Computing Systems. In: Proc. Int. Symp. High-Performance Distributed Computing (HPDC). Washington, DC: IEEE Computer Society; 1999.
LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: AMA

Export / Embed