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
Checking Behavioural Subtypes via Refinement
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), 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, 2002, pp. 79--93.
LibreCat
H. Wehrheim, in: B. Jacobs, A. Rensink (Eds.), 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, 2002, pp. 79--93.
2002 | Conference Paper | LibreCat-ID: 8149
Use of PV Systems for Carbon Dioxide Reduction – a comparison of on- and off-grid systems in Brazil and Germany
S. Krauter, in: Proceedings of the World Renewable Energy Congress VII, Köln (Deutschland), 29. Juni – 5. Juli 2002, (Buch Mit CD) Pergamon Press, 2002.
LibreCat
S. Krauter, in: Proceedings of the World Renewable Energy Congress VII, Köln (Deutschland), 29. Juni – 5. Juli 2002, (Buch Mit CD) Pergamon Press, 2002.
2002 | Conference Paper | LibreCat-ID: 8150
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)
S. Krauter, in: Proceedings of 2o Fórum Energia Limpa, Rio de Janeiro (Brasilien), 29.–30. Juli 2002, 2002.
LibreCat
S. Krauter, in: Proceedings of 2o Fórum Energia Limpa, Rio de Janeiro (Brasilien), 29.–30. Juli 2002, 2002.
2002 | Conference Paper | LibreCat-ID: 8153
Eletrificação rural através de sistemas fotovoltaicos: básicos, atividades no Brasil, aplicações, desenvolvimentos atuais
S. Krauter, in: 3o Seminário Energia Na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9, 2002.
LibreCat
S. Krauter, in: 3o Seminário Energia Na Agricultura, Uberaba–MG (Brasilien). 27.–29. November 2002, S. III-1–9, 2002.
2002 | Conference Paper | LibreCat-ID: 8154
Sistema Solar Fotovoltaico Híbrido Integrado
S. Krauter, F. Ochs, in: 3o Seminário Energia Na Agricultura. Uberaba/MG (Brasilien). 27.–29. November 2002, S. III-10–17, 2002.
LibreCat
S. Krauter, F. Ochs, in: 3o Seminário Energia Na Agricultura. Uberaba/MG (Brasilien). 27.–29. November 2002, S. III-10–17, 2002.
2002 | Book Review | LibreCat-ID: 18762
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
V. Peckhaus, Mathematical Reviews [ (2002).
LibreCat
V. Peckhaus, Mathematical Reviews [ (2002).
2002 | Book Chapter | LibreCat-ID: 31101
Originalität als inszenierte Epigonalität. Christoph Martin Wieland zwischen Klassik, Aufklärung und Romantik
L. van Laak, in: P. Wiesinger (Ed.), Akten des X. Internationalen Germanistenkongresses Wien 2000 “Zeitenwende – Die Germanistik auf dem Weg vom 20. ins 21. Jahrhundert,” Peter Lang, Bern u. a., 2002, pp. 235–241.
LibreCat
L. van Laak, in: P. Wiesinger (Ed.), Akten des X. Internationalen Germanistenkongresses Wien 2000 “Zeitenwende – Die Germanistik auf dem Weg vom 20. ins 21. Jahrhundert,” Peter Lang, Bern u. a., 2002, pp. 235–241.
2002 | Book Chapter | LibreCat-ID: 31522
„Mouvance der Textsituation und des Textes (Heinrich von Morungen, MF 131, 25)“
M. Egidi, in: P. Wiesinger (Ed.), 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), Bern, 2002, pp. 219–227.
LibreCat
M. Egidi, in: P. Wiesinger (Ed.), 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), Bern, 2002, pp. 219–227.
2002 | Book Chapter | LibreCat-ID: 18288
Plädoyer für eine kontextsensitive Modellierung von Spracheinstellungen
D. Tophinke, E. Ziegler, in: P. Wiesinger (Ed.), Zeitenwende – Die Germanistik auf dem Weg vom 20. ins 21. Jahrhundert. Akten des X. Internationalen Germanistenkongresses Wien 2000. Bd. 3, Peter Lang, Bern, 2002, pp. 187–193.
LibreCat
D. Tophinke, E. Ziegler, in: P. Wiesinger (Ed.), Zeitenwende – Die Germanistik auf dem Weg vom 20. ins 21. Jahrhundert. Akten des X. Internationalen Germanistenkongresses Wien 2000. Bd. 3, Peter Lang, Bern, 2002, pp. 187–193.
2002 | Book Chapter | LibreCat-ID: 15625
Vernunftkritik und biophile Begrifflichkeit. Französische Philosophie im 20. Jahrhundert
R.E. Hagengruber, in: R. Lüthe, W. Pleger (Eds.), Das Denken des Anderen, University Koblenz-Landau, Koblenz, 2002, pp. 38–52.
LibreCat
R.E. Hagengruber, in: R. Lüthe, W. Pleger (Eds.), Das Denken des Anderen, University Koblenz-Landau, Koblenz, 2002, pp. 38–52.
2002 | Book Chapter | LibreCat-ID: 40547
Einleitung
R. Grotjahn, F. Hoffmann, in: R. Grotjahn, F. Hoffmann (Eds.), Geschlechterpolaritäten in der Musikgeschichte des 18. bis 20. Jahrhunderts, Centaurus, Herbolzheim, 2002, pp. 1–6.
LibreCat
| Files available
R. Grotjahn, F. Hoffmann, in: R. Grotjahn, F. Hoffmann (Eds.), Geschlechterpolaritäten in der Musikgeschichte des 18. bis 20. Jahrhunderts, Centaurus, Herbolzheim, 2002, pp. 1–6.
2002 | Book (Editor) | LibreCat-ID: 37890
Geschlechterpolaritäten in der Musikgeschichte des 18. bis 20. Jahrhunderts
R. Grotjahn, F. Hoffmann, eds., Geschlechterpolaritäten in Der Musikgeschichte Des 18. Bis 20. Jahrhunderts, Centaurus, Herbolzheim, 2002.
LibreCat
| Files available
R. Grotjahn, F. Hoffmann, eds., Geschlechterpolaritäten in Der Musikgeschichte Des 18. Bis 20. Jahrhunderts, Centaurus, Herbolzheim, 2002.
2001 | Book Chapter | LibreCat-ID: 19145
Architektonischer Wunschtraum, literarische Utopie, bauliche Realität. Samjatins “Wir” und die Architektur des 20. Jahrhunderts
E.-M. Seng, in: W. Reese-Schäfer, M. Kühnel, A. Rüdiger (Eds.), Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage, Halle, 2001, pp. 236–263.
LibreCat
E.-M. Seng, in: W. Reese-Schäfer, M. Kühnel, A. Rüdiger (Eds.), Modell und Wirklichkeit, Festschrift zum 60. Geburtstag von Richard Saage, Halle, 2001, pp. 236–263.
2001 | Conference Paper | LibreCat-ID: 18370
Occlusion Culling for Virtual Environments based on the 3D-Sectorgraph
J. Klein, M. Fischer, in: Proc. of 3. GI-Informatiktage 2001, Bad Schussenried, 2001, pp. 275–278.
LibreCat
| Files available
J. Klein, M. Fischer, in: Proc. of 3. GI-Informatiktage 2001, Bad Schussenried, 2001, pp. 275–278.
2000 | Encyclopedia Article | LibreCat-ID: 19478
Heiner Müller: Das eiserne Kreuz; Der Vater; Wüsten der Liebe
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 93–97.
LibreCat
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 93–97.
2000 | Encyclopedia Article | LibreCat-ID: 19479
Herta Müller: Niederungen; Der Fuchs war damals schon der Jäger; Herztier
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 505–510.
LibreCat
N.O. Eke, in: F.R. Max, C. Ruhrberg (Eds.), Reclams Romanlexikon. Bd. 5: 20. Jahrhundert III, Reclam, Stuttgart, 2000, pp. 505–510.
2000 | Conference Paper | LibreCat-ID: 3249
Behavioural Subtyping Relations for Object-Oriented Formalisms
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
LibreCat
| DOI
C. Fischer, H. Wehrheim, in: T. Rus (Ed.), Algebraic Methodology and Software Technology. 8th International Conference, {AMAST} 2000, Iowa City, Iowa, USA, May 20-27, 2000, Proceedings, 2000, pp. 469--483.
2000 | Book Chapter | LibreCat-ID: 17852
Prosodic Cues at Speaker Turns
I. Mindt, in: C. Mair, M. Hundt (Eds.), Corpus Linguistics and Linguistic Theory. Papers from the Twentieth International Conference on English Language Research on Computerized Corpora (ICAME 20), Rodopi, Amsterdam, 2000, pp. 255–265.
LibreCat
I. Mindt, in: C. Mair, M. Hundt (Eds.), Corpus Linguistics and Linguistic Theory. Papers from the Twentieth International Conference on English Language Research on Computerized Corpora (ICAME 20), Rodopi, Amsterdam, 2000, pp. 255–265.
2000 | Book (Editor) | LibreCat-ID: 19084
Deutsche Dramatiker des 20. Jahrhunderts
A. Allkemper, N.O. Eke, eds., Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000.
LibreCat
A. Allkemper, N.O. Eke, eds., Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000.
2000 | Book Chapter | LibreCat-ID: 19399
Thomas Brasch
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 746–763.
LibreCat
N.O. Eke, in: A. Allkemper, N.O. Eke (Eds.), Deutsche Dramatiker des 20. Jahrhunderts, Erich Schmidt, Berlin, 2000, pp. 746–763.