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.
618 Publications
2002 | Conference Paper | LibreCat-ID: 3243
@inproceedings{Wehrheim_2002, series={{IFIP} Conference Proceedings}, title={Checking Behavioural Subtypes via Refinement}, booktitle={Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands}, author={Wehrheim, Heike}, editor={Jacobs, Bart and Rensink, ArendEditors}, year={2002}, pages={79--93}, collection={{IFIP} Conference Proceedings} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 8149
@inproceedings{Krauter_2002, title={Use of PV Systems for Carbon Dioxide Reduction – a comparison of on- and off-grid systems in Brazil and Germany}, booktitle={Proceedings of the World Renewable Energy Congress VII, Köln (Deutschland), 29. Juni – 5. Juli 2002, (Buch mit CD) Pergamon Press}, author={Krauter, Stefan}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 8150
@inproceedings{Krauter_2002, title={Eletrificação rural através de sistemas fotovoltaicos autônomos: básicos, atividades no Brasil, aplicações, novos desenvolvimentos. (Ländliche Elektrifizierung mittels PV Systemen: Grundlagen, Beispiele, Aktivitäten in Brasilien, neue Entwicklungen)}, booktitle={ Proceedings of 2o Fórum Energia Limpa, Rio de Janeiro (Brasilien), 29.–30. Juli 2002}, author={Krauter, Stefan}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 8153
@inproceedings{Krauter_2002, title={Eletrificação rural através de sistemas fotovoltaicos: básicos, atividades no Brasil, aplicações, desenvolvimentos atuais}, booktitle={3o Seminário Energia na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9}, author={Krauter, Stefan}, year={2002} }
LibreCat
2002 | Conference Paper | LibreCat-ID: 8154
@inproceedings{Krauter_Ochs_2002, title={Sistema Solar Fotovoltaico Híbrido Integrado}, booktitle={3o Seminário Energia na Agricultura. Uberaba/MG (Brasilien). 27.–29. November 2002, S. III-10–17}, author={Krauter, Stefan and Ochs, F.}, year={2002} }
LibreCat
2002 | Book Review | LibreCat-ID: 18762
@article{Peckhaus_2002, title={Moore, Gregory H., “Hilbert on the Infinite: The Role of Set Theory in the Evolution of Hilbert’s Thought”, In: Historia Mathematica 29 (2002), 40–64}, number={MR 2002m:01019}, journal={Mathematical Reviews [}, author={Peckhaus, Volker}, year={2002} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 31101
@inbook{van Laak_2002, place={Bern u. a.}, title={Originalität als inszenierte Epigonalität. Christoph Martin Wieland zwischen Klassik, Aufklärung und Romantik}, booktitle={Akten des X. Internationalen Germanistenkongresses Wien 2000 “Zeitenwende – Die Germanistik auf dem Weg vom 20. ins 21. Jahrhundert”}, publisher={Peter Lang}, author={van Laak, Lothar}, editor={Wiesinger, Peter}, year={2002}, pages={235–241} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 31522
@inbook{Egidi_2002, place={Bern}, series={(Jahrbuch für Internationale Germanistik A, Kongressberichte 57)}, title={„Mouvance der Textsituation und des Textes (Heinrich von Morungen, MF 131, 25)“}, booktitle={Akten des X. Internationalen Germanistenkongresses Wien 2000. „Zeitenwende – Die Germanistik auf dem Weg vom 20. ins 21. Jahrhundert“, unter Mitarbeit v. Hans Derkits, Bd. 5: Mediävistik und Kulturwissenschaften, betreut v. Horst Wenzel u. Alfred Ebenbauer; Mediävistik und Neue Philologie, betreut v. Ingrid Bennewitz, Werner Röcke u. Peter Strohschneider (Jahrbuch für Internationale Germanistik A, Kongressberichte 57)}, author={Egidi, Margreth}, editor={Wiesinger, Peter}, year={2002}, pages={219–227}, collection={(Jahrbuch für Internationale Germanistik A, Kongressberichte 57)} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 18288
@inbook{Tophinke_Ziegler_2002, place={Bern}, title={Plädoyer für eine kontextsensitive Modellierung von Spracheinstellungen}, volume={Bd. 3}, booktitle={Zeitenwende – Die Germanistik auf dem Weg vom 20. ins 21. Jahrhundert. Akten des X. Internationalen Germanistenkongresses Wien 2000. Bd. 3}, publisher={Peter Lang}, author={Tophinke, Doris and Ziegler, Evelyn}, editor={Wiesinger, Peter}, year={2002}, pages={187–193} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 15625
@inbook{Hagengruber_2002, place={Koblenz}, title={Vernunftkritik und biophile Begrifflichkeit. Französische Philosophie im 20. Jahrhundert}, booktitle={Das Denken des Anderen}, publisher={University Koblenz-Landau}, author={Hagengruber, Ruth Edith}, editor={Lüthe, Rudolf and Pleger, Wolfgang}, year={2002}, pages={38–52} }
LibreCat
2002 | Book Chapter | LibreCat-ID: 40547
@inbook{Grotjahn_Hoffmann_2002, place={Herbolzheim}, series={Beiträge zur Kultur- und Sozialgeschichte der Musik}, title={Einleitung}, volume={3}, booktitle={Geschlechterpolaritäten in der Musikgeschichte des 18. bis 20. Jahrhunderts}, publisher={Centaurus}, author={Grotjahn, Rebecca and Hoffmann, Freia}, editor={Grotjahn, Rebecca and Hoffmann, Freia}, year={2002}, pages={1–6}, collection={Beiträge zur Kultur- und Sozialgeschichte der Musik} }
LibreCat
| Files available
2002 | Book (Editor) | LibreCat-ID: 37890
@book{Grotjahn_Hoffmann_2002, place={Herbolzheim}, series={Beiträge zur Kultur- und Sozialgeschichte der Musik}, title={Geschlechterpolaritäten in der Musikgeschichte des 18. bis 20. Jahrhunderts}, volume={3}, publisher={Centaurus}, year={2002}, collection={Beiträge zur Kultur- und Sozialgeschichte der Musik} }
LibreCat
| Files available
2001 | Book Chapter | LibreCat-ID: 19145
@inbook{Seng_2001, place={Halle}, title={Architektonischer Wunschtraum, literarische Utopie, bauliche Realität. Samjatins “Wir” und die Architektur des 20. Jahrhunderts}, booktitle={Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage}, author={Seng, Eva- Maria}, editor={Reese-Schäfer, Walter and Kühnel, Martin and Rüdiger, AxelEditors}, year={2001}, pages={236–263} }
LibreCat
2001 | Conference Paper | LibreCat-ID: 18370
@inproceedings{Klein_Fischer_2001, place={Bad Schussenried}, title={Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph}, booktitle={Proc. of 3. GI-Informatiktage 2001}, author={Klein, Jan and Fischer, Matthias}, year={2001}, pages={275–278} }
LibreCat
| Files available
2000 | Encyclopedia Article | LibreCat-ID: 19478
@inbook{Eke_2000, place={Stuttgart}, title={Heiner Müller: Das eiserne Kreuz; Der Vater; Wüsten der Liebe}, booktitle={Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III}, publisher={Reclam}, author={Eke, Norbert Otto}, editor={Max, Frank Rainer and Ruhrberg, ChristineEditors}, year={2000}, pages={93–97} }
LibreCat
2000 | Encyclopedia Article | LibreCat-ID: 19479
@inbook{Eke_2000, place={Stuttgart}, title={Herta Müller: Niederungen; Der Fuchs war damals schon der Jäger; Herztier}, booktitle={Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III}, publisher={Reclam}, author={Eke, Norbert Otto}, editor={Max, Frank Rainer and Ruhrberg, ChristineEditors}, year={2000}, pages={505–510} }
LibreCat
2000 | Conference Paper | LibreCat-ID: 3249
@inproceedings{Fischer_Wehrheim_2000, series={Lecture Notes in Computer Science}, title={Behavioural Subtyping Relations for Object-Oriented Formalisms}, DOI={10.1007/3-540-45499-3_33}, booktitle={Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings}, author={Fischer, Clemens and Wehrheim, Heike}, editor={Rus, TeodorEditor}, year={2000}, pages={469--483}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2000 | Book Chapter | LibreCat-ID: 17852
@inbook{Mindt_2000, place={Amsterdam}, title={Prosodic Cues at Speaker Turns}, booktitle={Corpus Linguistics and Linguistic Theory. Papers from the Twentieth International Conference on English Language Research on Computerized Corpora (ICAME 20)}, publisher={Rodopi}, author={Mindt, Ilka}, editor={Mair, Christian and Hundt, MarianneEditors}, year={2000}, pages={255–265} }
LibreCat
2000 | Book (Editor) | LibreCat-ID: 19084
@book{Allkemper_Eke_2000, place={Berlin}, title={Deutsche Dramatiker des 20. Jahrhunderts}, publisher={Erich Schmidt}, year={2000} }
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