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.

18383 Publications


2000 | Book Chapter | LibreCat-ID: 17524
@inbook{Peckhaus_2000, place={Dordrecht/Boston/London}, series={Synthese Library}, title={Scientific Progress and Changes of Order Hierarchies of Scientific Disciplines}, volume={289}, booktitle={The Nature of Growth of Mathematical Knowledge}, publisher={Kluwer Academic Publishers}, author={Peckhaus, Volker}, editor={Grosholz, Emily and Breger, HerbertEditors}, year={2000}, pages={363–376}, collection={Synthese Library} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 14844
@inproceedings{Hüllermeier_2000, title={Similarity-based inference as evidential reasoning}, booktitle={In Proceedings ECAI-2000, 14th European Conference on Artificial Inteligence, Berlin, Germany}, publisher={IOS Press}, author={Hüllermeier, Eyke}, editor={Horn, W.Editor}, year={2000}, pages={50–54} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8126
@inproceedings{Krauter_2000, title={Sistemas híbridos termo-solares/fotovoltaicos.}, booktitle={Proceedings of Workshop “Formas Não-Convencionais de Geração e Uso Racional de Energia”, UFSC, Florianópolis, Santa Catarina (Brasilien), 9.–11. November 2000.}, author={Krauter, Stefan}, year={2000} }
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7790
@book{Ehrig_Engels_Kreowksi_Taentzer_2000, place={Amsterdam, The Netherlands}, series={Science of Computer Programming}, title={Special Issue: Selected Papers of GRATRA 2000}, volume={44}, number={2}, publisher={Elsevier}, year={2000}, collection={Science of Computer Programming} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 3250
@inproceedings{Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Specification of an Automatic Manufacturing System: {A} Case Study in Using Integrated Formal Methods}, DOI={10.1007/3-540-46428-X_23}, 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}, author={Wehrheim, Heike}, editor={S. E. Maibaum, T.Editor}, year={2000}, pages={334--348}, collection={Lecture Notes in Computer Science} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8917
@article{Hemsel_Wallaschek_2000, place={D{\"u}sseldorf}, series={VDI-Bericht}, title={Stand der Technik und Entwicklungsperspektiven linearer piezoelektrischer Schwingungsantriebe}, volume={1533}, author={Hemsel, Tobias and Wallaschek, Jörg}, year={2000}, pages={147–166}, collection={VDI-Bericht} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8915
@inproceedings{Hemsel_Wallaschek_2000, title={State of the art and development trends of ultrasonic linear motors}, volume={1}, DOI={10.1109/ULTSYM.2000.922635}, booktitle={Ultrasonics Symposium, 2000 IEEE}, author={Hemsel, Tobias and Wallaschek, Jörg}, year={2000}, pages={663–666 vol.1} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 21007
@inproceedings{Koyro_Meschut_2000, place={Bad Nauheim}, title={Status und Weiterentwicklungsmöglichkeiten beim strukturellen Kleben bei Spaceframe-Konstruktionen}, booktitle={Tagungsband zur 4. Jahres- und 1. Europäischen Fachkonferenz “Kleben im Automobilbau”}, author={Koyro, M. and Meschut, Gerson}, year={2000}, pages={114–126} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13762
@article{Schmidt_Bernholc_2000, title={Step-induced optical anisotropy of Si(111):H surfaces}, volume={61}, DOI={10.1103/physrevb.61.7604}, number={11}, journal={Physical Review B}, author={Schmidt, Wolf Gero and Bernholc, J.}, year={2000}, pages={7604–7608} }
LibreCat | DOI
 

2000 | Book | LibreCat-ID: 6145
@book{Kabst_2000, place={München/Mehring}, title={Steuerung und Kontrolle Internationaler Joint Venture: Eine transaktionskostentheoretisch fundierte empirische Analyse}, author={Kabst, Rüdiger}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8344
@inproceedings{Heckel_Sauer_2000, place={Munich (Germany)}, title={Strengthening the Semantics of UML Collaboration Diagrams}, number={0006}, booktitle={Proceedings of the Workshop on Dynamic Behaviour in UML Models: Semantic Questions, Munich (Germany)}, publisher={Ludwig-Maximilians-University}, author={Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={63–69} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7670
@inbook{Bliemel_Eggert_2000, place={Wiesbaden}, title={Stärkt Customer Care die Kundenbeziehung? Eine kausalanalytische Untersuchung aus Kundensicht}, booktitle={Jahrbuch für Dienstleistungsmanagement 2000 - Kundenbeziehungen im Dienstleistungsbereich}, publisher={Gabler}, author={Bliemel, F and Eggert, A}, editor={Bruhn , M and Stauss, BEditors}, year={2000}, pages={197–211} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13759
@article{Schmidt_Mirbt_Bechstedt_2000, title={Surface phase diagram of (2×4) and (4×2) reconstructions of GaAs(001)}, volume={62}, DOI={10.1103/physrevb.62.8087}, number={12}, journal={Physical Review B}, author={Schmidt, Wolf Gero and Mirbt, S. and Bechstedt, F.}, year={2000}, pages={8087–8091} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 8914
@article{Hemsel_Wallaschek_2000, title={Survey of the present state of the art of piezoelectric linear motors}, volume={38}, DOI={10.1016/S0041-624X(99)00143-2}, journal={Ultrasonics}, author={Hemsel, Tobias and Wallaschek, Jörg}, year={2000}, pages={37–40} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 10606
@article{Eisenring_Platzner_2000, title={Synthesis of Interfaces and Communication in Reconfigurable Embedded Systems}, volume={147}, DOI={10.1049/ip-cdt:20000496}, journal={IEE Proceedings -- Computers & Digital Techniques}, publisher={IET}, author={Eisenring, Michael and Platzner, Marco}, year={2000}, pages={159–165} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 7543
@inbook{Kremer_Wilbers_2000, place={Opladen}, title={Telekooperatives Lehren und Lernen - Erfahrungen aus dem virtuellen Seminar “WiPäd München - Köln”}, booktitle={Perspektiven der Berufs- und Wirtschaftspädagogik. Forschungsberichte der Sektion Berufs- und Wirtschaftspädagogik der Deutschen Gesellschaft für Erziehungswissenschaft - Frühjahrstagung 2000}, author={Kremer, H.-Hugo and Wilbers, K.}, editor={Straka, G. A. and Bader, R. and Sloane, P. F. E.Editors}, year={2000}, pages={159–170} }
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24499
@book{Del Castillo_2000, series={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}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Del Castillo, Giuseppe}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8920
@inproceedings{Sextro_2000, place={Munich, Germany}, title={The Calculation of the Forced Response of Shrouded Blades with Friction Contacts and Its Experimental Verification}, booktitle={International Gas Turbine \& Aeroengine Congress \& Exhibition, ASME}, author={Sextro, Walter}, year={2000}, pages={1–8} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 17018
@inbook{Dellnitz_Junge_Rumpf_Strzodka_2000, title={The computation of an unstable invariant set inside a cylinder containing a knotted flow}, DOI={10.1142/9789812792617_0204}, booktitle={Equadiff 99}, author={Dellnitz, Michael and Junge, Oliver and Rumpf, Martin and Strzodka, Robert}, year={2000}, pages={1053--1059} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 16513
@inbook{Aston_Dellnitz_2000, title={The Computation of Lyapunov Exponents via Spatial Integration Using Vector Norms}, DOI={10.1142/9789812792617_0196}, booktitle={Equadiff 99}, author={Aston, P. J. and Dellnitz, M.}, year={2000} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 17526
@inbook{Peckhaus_2000, place={Dordrecht/Boston/London}, series={New Synthese Historical Library}, title={The Contextualism of Philosophy}, volume={48}, booktitle={The Sociology of Philosophical Knowledge}, publisher={Kluwer Academic Publishers}, author={Peckhaus, Volker}, editor={Kusch, MartinEditor}, year={2000}, pages={179–191}, collection={New Synthese Historical Library} }
LibreCat
 

2000 | Working Paper | LibreCat-ID: 14979
@book{Sureth-Sloane_2000, series={University of Bielefeld, Faculty for Business Administration and Economics, Discussion Paper}, title={The Influence of Taxation on Partially Irreversible Investment Decisions – A Real Option Approach}, volume={462}, author={Sureth-Sloane, Caren}, year={2000}, collection={University of Bielefeld, Faculty for Business Administration and Economics, Discussion Paper} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19399
@inbook{Eke_2000, place={Berlin}, title={Thomas Brasch}, booktitle={Deutsche Dramatiker des 20. Jahrhunderts}, publisher={Erich Schmidt}, author={Eke, Norbert Otto}, editor={Allkemper, Alo and Eke, Norbert OttoEditors}, year={2000}, pages={746–763} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 10725
@article{Platzner_Rinner_Weiss_2000, title={Toward embedded qualitative simulation: a specialized computer architecture for QSim}, volume={15}, DOI={10.1109/5254.850829}, number={2}, journal={IEEE Intelligent Systems}, publisher={Institute of Electrical {\&} Electronics Engineers ({IEEE})}, author={Platzner, Marco and Rinner, Bernhard and Weiss, Reinhold}, year={2000}, pages={62–68} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 8345
@inproceedings{Küster_Stroop_2000, place={York, UK}, title={Towards Consistency of Dynamic Models and Analysis of Timing Constraints}, booktitle={Proceedings of 1st Workshop on Formal Design Techniques for Real-time Systems (satellite event of the UML 2000), York (UK)}, publisher={University of York}, author={Küster, Jochen and Stroop, Joachim}, year={2000} }
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24494
@book{Ditze_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Towards Operating System Synthesis}, volume={76}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Ditze, Carsten}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8334
@inproceedings{Depke_Heckel_2000, title={Towards Role-based Modeling of Autonomous Agents}, booktitle={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)}, author={Depke, Ralph and Heckel, Reiko}, year={2000} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 19849
@inproceedings{Bednara_Beyer_Teich_Wanka_2000, title={Tradeoff analysis and architecture design of a hybrid hardware/software sorter}, DOI={10.1109/asap.2000.862400}, booktitle={Proc. Int. Conf. on Application Specific Systems, Architectures, and Processors (ASAP)}, author={Bednara, M. and Beyer, O. and Teich, J. and Wanka, Rolf}, year={2000}, pages={299–308} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 7690
@article{Heidtkamp_Meier_Reuter_Versen_Hoch_Diaconescu_Wieck_2000, title={Tunable backscattering in quantum Hall systems induced by neighbouring gates}, volume={284–288}, DOI={10.1016/s0921-4526(99)02892-6}, journal={Physica B: Condensed Matter}, publisher={Elsevier BV}, author={Heidtkamp, C. and Meier, Cedrik and Reuter, D. and Versen, M. and Hoch, S. and Diaconescu, D. and Wieck, A.D.}, year={2000}, pages={1728–1729} }
LibreCat | DOI
 

2000 | Conference Paper | LibreCat-ID: 7873
@inproceedings{Engels_Heckel_Sauer_2000, place={Berlin/Heidelberg}, series={LNCS}, title={UML - A Universal Modeling Language?}, volume={1825}, booktitle={Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), Aarhus (Denmark)}, publisher={Springer}, author={Engels, Gregor and Heckel, Reiko and Sauer, Stefan}, year={2000}, pages={24–38}, collection={LNCS} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 13761
@article{Schmidt_Bechstedt_Bernholc_2000, title={Understanding reflectance anisotropy: Surface-state signatures and bulk-related features}, volume={18}, DOI={10.1116/1.1305289}, number={42215}, journal={Journal of Vacuum Science & Technology B: Microelectronics and Nanometer Structures}, author={Schmidt, Wolf Gero and Bechstedt, F. and Bernholc, J.}, year={2000} }
LibreCat | DOI
 

2000 | Journal Article | LibreCat-ID: 13760
@article{Schmidt_Esser_Frisch_Vogt_Bernholc_Bechstedt_Zorn_Hannappel_Visbeck_Willig_et al._2000, title={Understanding reflectance anisotropy: Surface-state signatures and bulk-related features in the optical spectrum ofInP(001)(2×4)}, volume={61}, DOI={10.1103/physrevb.61.r16335}, journal={Physical Review B}, author={Schmidt, Wolf Gero and Esser, N. and Frisch, A. M. and Vogt, P. and Bernholc, J. and Bechstedt, F. and Zorn, M. and Hannappel, Th. and Visbeck, S. and Willig, F. and et al.}, year={2000}, pages={R16335–R16338} }
LibreCat | DOI
 

2000 | Book Chapter | LibreCat-ID: 7520
@inbook{Engels_Kelter_Depke_Mehner_2000, place={Münster}, title={Unterstützende Angebote der Softwarebegleitgruppe}, booktitle={Multimedia in der wirtschaftswissenschaftlichen Lehre, Erfahrungsbericht}, publisher={LIT}, author={Engels, Gregor and Kelter, Udo and Depke, Ralph and Mehner, Katharina}, year={2000}, pages={27–56} }
LibreCat
 

2000 | Dissertation | LibreCat-ID: 24485
@book{Schlake_2000, series={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn}, title={Verfahren zur kooperativen Szenario-Erstellung in Industrieunternehmen}, volume={67}, publisher={Heinz Nixdorf Institut, Universität Paderborn}, author={Schlake, Oliver}, year={2000}, collection={Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 8347
@inproceedings{Mehner_Wagner_2000, series={Koblenzer Schriften zur Informatik}, title={Visualisierung der Synchronisation von Java-Threads mit UML}, volume={15}, booktitle={Proceedings of the Workshop on Modelle und Modellierungssprachen in Informatik und Wirtschaftsinformatik (Modellierung 2000), St. Goar (Germany)}, publisher={Fölbach}, author={Mehner, Katharina and Wagner, Annika}, year={2000}, collection={Koblenzer Schriften zur Informatik} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 7877
@inproceedings{Mehner_Wagner_2000, place={Washington, DC, USA}, title={Visualizing the Synchronization of Java-Threads with UML}, booktitle={Proceedings of the IEEE International Symposium on Visual Languages (VL 2000), Seattle (Washington)}, publisher={IEEE Computer Society}, author={Mehner, Katharina and Wagner, Annika}, year={2000}, pages={199–206} }
LibreCat
 

2000 | Journal Article | LibreCat-ID: 16345
@article{Meyer auf der Heide_Wanka_2000, title={Von der Hollerith-Maschine zum Parallelrechner - Die alltägliche Aufgabe des Sortierens als Fortschrittsmotor für die Informatik}, journal={ForschungsForum Paderborn}, author={Meyer auf der Heide, Friedhelm and Wanka, Rolf}, year={2000}, pages={112–116} }
LibreCat | Files available
 

2000 | Conference (Editor) | LibreCat-ID: 19085
@book{Eke_Werner_2000, place={Bielefeld}, title={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}, publisher={Aisthesis}, year={2000}, pages={486} }
LibreCat
 

2000 | Conference Paper | LibreCat-ID: 19402
@inproceedings{Eke_2000, place={Bielefeld}, title={Vormärz/Nachmärz. – Bruch oder Kontinuität? Nachfragen an die Begriffsgeschichte}, booktitle={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}, publisher={Aisthesis}, author={Eke, Norbert Otto}, editor={Eke, Norbert Otto and Werner, RenateEditors}, year={2000}, pages={11–30} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 19403
@inbook{Eke_2000, place={Berlin}, title={Wahrnehmung im Augen-Schein. Thomas Braschs (und Jurek Beckers) filmische Reflexion über die Kunst nach Auschwitz: „Der Passagier – Welcome to Germany“}, booktitle={Literatur und Demokratie}, publisher={Erich Schmidt}, author={Eke, Norbert Otto}, editor={Allkemper, Alo and Eke, Norbert OttoEditors}, year={2000}, pages={285–300} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 17527
@inbook{Peckhaus_2000, place={Dordrecht/Boston/London}, series={Synthese Library}, title={Was George Boole Really the ‘Father’ of Modern Logic?}, volume={219}, booktitle={A Boole Anthology. Recent and Classical Studies in the Logic of George Boole}, publisher={Kluwer Academic Publishers}, author={Peckhaus, Volker}, editor={Gasser, JamesEditor}, year={2000}, pages={271–285}, collection={Synthese Library} }
LibreCat
 

2000 | Dissertation | LibreCat-ID: 2434
@book{Simon_2000, title={Werkzeugunterstützte effiziente Nutzung von Hochleistungsrechnern}, publisher={Dr. Dirk Blunk Verlag}, author={Simon, Jens}, year={2000} }
LibreCat
 

2000 | Book Review | LibreCat-ID: 17787
@article{Peckhaus_2000, title={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}, volume={8}, number={1-2 (January 1998 – April 2000)}, journal={Modern Logic}, author={Peckhaus, Volker}, year={2000}, pages={179–181} }
LibreCat
 

2000 | Book Chapter | LibreCat-ID: 7563
@inbook{Kremer_2000, place={Markt Schwaben}, title={Wissensanwendung - Evaluationskonzept und Auswertungsbeispiel}, booktitle={Fächer- und lernortübergreifender Unterricht (FäLoU). Beiträge im Kontext des DFG-Schwerpunktprogramms “Lehr-Lern-Prozesse in der kaufmännischen Erstausbildung”}, author={Kremer, H.-Hugo}, editor={Sloane, P. F. E.Editor}, year={2000}, pages={109–120} }
LibreCat
 

2000 | Book Review | LibreCat-ID: 19549
@article{Eke_2000, title={Wolfgang Struck: Konfigurationen der Vergangenheit. Deutsche Geschichtsdramen im Zeitalter der Restauration. Tübingen: Max Niemeyer Verlag, 1997}, number={1/2000}, journal={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/)}, author={Eke, Norbert Otto}, year={2000}, pages={6 Seiten} }
LibreCat
 

2000 | Conference (Editor) | LibreCat-ID: 7791
@book{Rolim_Broder_Corradini_Gorrieri_Heckel_Hromkovic_Vaccaro_Wells_2000, place={Waterloo, Ontario, Canada}, title={Workshop on Graph Transformation and Visual Modeling Techniques (ICALP 2000, Geneva, Switzerland)}, publisher={Carleton Scientific}, year={2000} }
LibreCat
 

2000 | Book Review | LibreCat-ID: 19547
@article{Eke_2000, 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}, number={H. 1}, journal={Germanistik}, author={Eke, Norbert Otto}, year={2000}, pages={158–159} }
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 6762
@book{Tönnies_Stratmann_Viol_Anglistik und Englischunterricht 63_2000, place={Heidelberg}, title={Youth Identities. Teens and Twens in British Culture}, publisher={Winter}, year={2000} }
LibreCat
 

2000 | Book Review | LibreCat-ID: 18358
@article{Peckhaus_2000, title={Zach, Richard, “Completeness before Post: Bernays, Hilbert, and the Development of Propositional Logic”, Bulletin of Symbolic Logic 5 (1999), 331–366}, number={Zbl. 942.03002}, journal={Zentralblatt für Mathematik und ihre Grenzgebiete [Zbl. 942.03002]}, author={Peckhaus, Volker}, year={2000} }
LibreCat
 

2000 | Book (Editor) | LibreCat-ID: 7323
@book{Hasenbank_Kremer_Retzmann_2000, place={Bielefeld}, title={Zukunftswerkstatt: Berufliche Bildung neu gestalten - Kreative Wege zur Realisierung didaktischer Innovationen in berufsbildenden Schulen}, year={2000} }
LibreCat
 

Search

Filter Publications

Display / Sort

Sorted by: Publishing Year , Title
Citation Style: BibTeX

Export / Embed