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.
5791 Publications
2004 | Book Chapter | LibreCat-ID: 33830
Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
2004 | Book Chapter | LibreCat-ID: 33829
Combining Formal Refinement and Model Checking for Analysis of Realtime Systems
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: Ch. Grimm (Ed.), Best of FDL’03, Kluwer, Dordrecht, 2004, pp. 301–314.
2004 | Book Chapter | LibreCat-ID: 33832
The Echo Cancellation Unit Case Study
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
LibreCat
A. Krupp, W. Müller, I. Oliver, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 227–240.
2004 | Book Chapter | LibreCat-ID: 36153
L’intercession dans les relations politiques au Moyen Age classique
H. Kamp, in: J.-M. Moeglin (Ed.), L’intercession du Moyen Age au Temps modernes, Genf, 2004, pp. 67–87.
LibreCat
H. Kamp, in: J.-M. Moeglin (Ed.), L’intercession du Moyen Age au Temps modernes, Genf, 2004, pp. 67–87.
2004 | Book Review | LibreCat-ID: 48825
Rezension von Jan-Holger Kirsch: Nationaler Mythos oder historische Trauer? Der Streit um ein zentrales „Holocaust-Mahnmal“ für die Berliner Republik, Köln 2003
O. Hartung, Das Historisch-Politische Buch 52 (2004) 332.
LibreCat
O. Hartung, Das Historisch-Politische Buch 52 (2004) 332.
2004 | Book Chapter | LibreCat-ID: 48763
Museen zwischen Demokratie und Diktatur. Zur „Gleichschaltung“ der Museumsdidaktik am Beispiel des Verkehrsmuseums in Nürnberg und des Bergbaumuseums in Bochum
O. Hartung, in: B. Alavi, G. Henke-Bockschatz (Eds.), Migration und Fremdverstehen. Geschichtsunterricht und Geschichtskultur in der multiethnischen Gesellschaft, 1st ed., Schulz-Kirchner Verlag, Idstein, 2004, pp. 249–258.
LibreCat
O. Hartung, in: B. Alavi, G. Henke-Bockschatz (Eds.), Migration und Fremdverstehen. Geschichtsunterricht und Geschichtskultur in der multiethnischen Gesellschaft, 1st ed., Schulz-Kirchner Verlag, Idstein, 2004, pp. 249–258.
2004 | Book Chapter | LibreCat-ID: 46449
„Ick kike in die Stern vndt versake Gott den herrn“. Versprachlichung des Teufelspaktes in westfälischen Verhörprotokollen des 16./17. Jahrhunderts.
E. Topalović, in: Jahrbuch 20, Augustin Wibbelt-Gesellschaft e.V., Münster, 2004.
LibreCat
E. Topalović, in: Jahrbuch 20, Augustin Wibbelt-Gesellschaft e.V., Münster, 2004.
2004 | Book Chapter | LibreCat-ID: 53488
Alkuin und das Quadrivium in der Karolingerzeit
B. Englisch, in: P. Depreux/B. Judic (Ed.), Alcuin de York à Tours. Écriture, pouvoire et réseau dan léurope du haut moyen âge, 2004, pp. 163–174.
LibreCat
B. Englisch, in: P. Depreux/B. Judic (Ed.), Alcuin de York à Tours. Écriture, pouvoire et réseau dan léurope du haut moyen âge, 2004, pp. 163–174.
2004 | Journal Article | LibreCat-ID: 53465
Der Apokalypsenkommentar des Beatus von Liébana ‑ Informationsverarbeitung im frühen und hohen Mittelalter
B. Englisch, Forschungsforum der Universität Paderborn 7 (2004) 42–46.
LibreCat
B. Englisch, Forschungsforum der Universität Paderborn 7 (2004) 42–46.
2004 | Book Chapter | LibreCat-ID: 52507
Der Hamburger Rahmenplan Geschichte 2002 – Anregungen zu reflektiertem und (selbst)reflexiven Geschichtsbewusstsein?
J. Meyer-Hamme, J. Bauer, in: S. Handro, B. Schönemann (Eds.), Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven., 1st ed., Münster, 2004, pp. 103–117.
LibreCat
J. Meyer-Hamme, J. Bauer, in: S. Handro, B. Schönemann (Eds.), Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven., 1st ed., Münster, 2004, pp. 103–117.
2004 | Book Chapter | LibreCat-ID: 52508
Lehrervorstellungen und Lehrerüberzeugungen zu Richtlinien und Lehrplänen des Faches Geschichte.
B. von Borries, J. Meyer-Hamme, in: S. Handro, B. Schönemann (Eds.), Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven, 1st ed., Münster, 2004, pp. 235–249.
LibreCat
B. von Borries, J. Meyer-Hamme, in: S. Handro, B. Schönemann (Eds.), Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven, 1st ed., Münster, 2004, pp. 235–249.
2004 | Book Review | LibreCat-ID: 18485 | 
Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002
V. Peckhaus, zbMATH Open, Zbl. 1028.03002 (2004).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1028.03002 (2004).
2004 | Book Review | LibreCat-ID: 18483 |
Tomassi, Paul, “Logic after Wittgenstein”, Nordic Journal of Philosophical Logic 6 (2001), 43–70
V. Peckhaus, zbMATH Open, Zbl. 1026.03006 (2004).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 1026.03006 (2004).
2004 | Book Chapter | LibreCat-ID: 9249
Narrativising the Body: Fragmentation and Unification in Jed Mercurio’s 'Bodies'
J. Mildorf, in: P.L. Twohig, V. Kalitzkus (Eds.), Interdisciplinary Perspectives on Health, Illness and Disease, Rodopi, Amsterdam, 2004, pp. 97–112.
LibreCat
J. Mildorf, in: P.L. Twohig, V. Kalitzkus (Eds.), Interdisciplinary Perspectives on Health, Illness and Disease, Rodopi, Amsterdam, 2004, pp. 97–112.
2004 | Book Chapter | LibreCat-ID: 9250
Narratives of Domestic Violence Cases: GPs Defining their Professional Role
J. Mildorf, in: P.L. Twohig, V. Kalitzkus (Eds.), Making Sense of Health, Illness and Disease, Rodopi, Amsterdam, 2004, pp. 173–196.
LibreCat
J. Mildorf, in: P.L. Twohig, V. Kalitzkus (Eds.), Making Sense of Health, Illness and Disease, Rodopi, Amsterdam, 2004, pp. 173–196.
2004 | Conference Paper | LibreCat-ID: 39053
Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat
| DOI
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
2004 | Conference Paper | LibreCat-ID: 39055
The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
2004 | Conference Paper | LibreCat-ID: 42447
Information in Social Systems
C. Fuchs, W. Hofkirchner, in: W. Schmitz (Ed.), Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS, Thelem, Dresden, 2004.
LibreCat
C. Fuchs, W. Hofkirchner, in: W. Schmitz (Ed.), Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS, Thelem, Dresden, 2004.
2004 | Book Chapter | LibreCat-ID: 43274
Nonlinear optical properties of semiconductor quantum wells inside microcavities
T. Meier, C. Sieh, S.W. Koch, Y.-S. Lee, T.B. Norris, F. Jahnke, G. Khitrova, H.M. Gibbs , in: K. Vahala (Ed.), Optical Microcavities, World Scientific, Chap. 6, 2004, pp. 239–317.
LibreCat
| DOI
| Download (ext.)
T. Meier, C. Sieh, S.W. Koch, Y.-S. Lee, T.B. Norris, F. Jahnke, G. Khitrova, H.M. Gibbs , in: K. Vahala (Ed.), Optical Microcavities, World Scientific, Chap. 6, 2004, pp. 239–317.
2004 | Journal Article | LibreCat-ID: 43649
13. Sonntag nach Trinitatis. 1. Joh 4,7-12: Die Schuld der Liebe
H. Schroeter-Wittke, I. Kirsner, Predigtstudien II/2 (2004) 143–151.
LibreCat
H. Schroeter-Wittke, I. Kirsner, Predigtstudien II/2 (2004) 143–151.