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