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
@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite State Machines with Complementary Model Checking}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}, booktitle={Best of FDL’03}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Grimm, Ch.}, year={2004}, pages={301–314} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
@inbook{Krupp_Müller_Oliver_2004, place={Dordrecht}, title={The Echo Cancellation Unit Case Study}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, editor={Mermet, J.}, year={2004}, pages={227–240} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 36153
@inbook{Kamp_2004, place={Genf}, series={Publications de l’École des hautes études en histoire}, title={L’intercession dans les relations politiques au Moyen Age classique}, booktitle={L’intercession du Moyen Age au Temps modernes}, author={Kamp, Hermann}, editor={Moeglin, Jean-Marie}, year={2004}, pages={67–87}, collection={Publications de l’École des hautes études en histoire} }
LibreCat
2004 | Book Review | LibreCat-ID: 48825
@article{Hartung_2004, place={Berlin}, title={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}, volume={52}, journal={Das Historisch-Politische Buch}, publisher={Duncker & Humblot; Ranke-Gesellschaft – Vereinigung für Geschichte im öffentlichen Leben e.V. von Jürgen Elvert}, author={Hartung, Olaf}, year={2004}, pages={332} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 48763
@inbook{Hartung_2004, place={Idstein}, edition={1}, series={Schriften zur Geschichtsdidaktik}, title={Museen zwischen Demokratie und Diktatur. Zur „Gleichschaltung“ der Museumsdidaktik am Beispiel des Verkehrsmuseums in Nürnberg und des Bergbaumuseums in Bochum}, volume={16}, booktitle={Migration und Fremdverstehen. Geschichtsunterricht und Geschichtskultur in der multiethnischen Gesellschaft}, publisher={Schulz-Kirchner Verlag}, author={Hartung, Olaf}, editor={Alavi, Bettina and Henke-Bockschatz, Gerhard}, year={2004}, pages={249–258}, collection={Schriften zur Geschichtsdidaktik} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 46449
@inbook{Topalović_2004, place={Münster}, title={„Ick kike in die Stern vndt versake Gott den herrn“. Versprachlichung des Teufelspaktes in westfälischen Verhörprotokollen des 16./17. Jahrhunderts.}, booktitle={Jahrbuch 20, Augustin Wibbelt-Gesellschaft e.V.}, author={Topalović, Elvira}, year={2004} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 53488
@inbook{Englisch_2004, series={Annales de Bretagne et des pays de l´ouest 111}, title={Alkuin und das Quadrivium in der Karolingerzeit}, volume={3}, booktitle={Alcuin de York à Tours. Écriture, pouvoire et réseau dan léurope du haut moyen âge}, author={Englisch, Brigitte}, editor={P. Depreux/B. Judic}, year={2004}, pages={163–174}, collection={Annales de Bretagne et des pays de l´ouest 111} }
LibreCat
2004 | Journal Article | LibreCat-ID: 53465
@article{Englisch_2004, title={Der Apokalypsenkommentar des Beatus von Liébana ‑ Informationsverarbeitung im frühen und hohen Mittelalter}, volume={7}, journal={Forschungsforum der Universität Paderborn}, author={Englisch, Brigitte}, year={2004}, pages={42–46} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 52507
@inbook{Meyer-Hamme_Bauer_2004, place={Münster}, edition={1}, title={Der Hamburger Rahmenplan Geschichte 2002 – Anregungen zu reflektiertem und (selbst)reflexiven Geschichtsbewusstsein?}, booktitle={Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven.}, author={Meyer-Hamme, Johannes and Bauer, Jan}, editor={Handro, Saskia and Schönemann, Bernd}, year={2004}, pages={103–117} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 52508
@inbook{von Borries_Meyer-Hamme_2004, place={Münster}, edition={1}, title={Lehrervorstellungen und Lehrerüberzeugungen zu Richtlinien und Lehrplänen des Faches Geschichte.}, booktitle={Geschichtsdidaktische Lehrplanforschung. Methoden – Analysen – Perspektiven}, author={von Borries, Bodo and Meyer-Hamme, Johannes}, editor={Handro, Saskia and Schönemann, Bernd}, year={2004}, pages={235–249} }
LibreCat
2004 | Book Review | LibreCat-ID: 18485 | 
@article{Peckhaus_2004, title={Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002}, journal={zbMATH Open, Zbl. 1028.03002}, author={Peckhaus, Volker}, year={2004} }
LibreCat
| Download (ext.)
2004 | Book Review | LibreCat-ID: 18483 |
@article{Peckhaus_2004, title={Tomassi, Paul, “Logic after Wittgenstein”, Nordic Journal of Philosophical Logic 6 (2001), 43–70}, journal={zbMATH Open, Zbl. 1026.03006}, author={Peckhaus, Volker}, year={2004} }
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 9249
@inbook{Mildorf_2004, place={Amsterdam}, title={Narrativising the Body: Fragmentation and Unification in Jed Mercurio’s “Bodies”}, booktitle={Interdisciplinary Perspectives on Health, Illness and Disease}, publisher={Rodopi}, author={Mildorf, Jarmila}, editor={Twohig, Peter L. and Kalitzkus, Vera}, year={2004}, pages={97–112} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 9250
@inbook{Mildorf_2004, place={Amsterdam}, title={Narratives of Domestic Violence Cases: GPs Defining their Professional Role}, booktitle={Making Sense of Health, Illness and Disease}, publisher={Rodopi}, author={Mildorf, Jarmila}, editor={Twohig, Peter L. and Kalitzkus, Vera}, year={2004}, pages={173–196} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive Multimodal User Interfaces for Mobile Devices}, DOI={10.1109/HICSS.2004.1265674}, booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France}, title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 42447
@inproceedings{Fuchs_Hofkirchner_2004, place={Dresden}, title={Information in Social Systems}, booktitle={Sign Processes in Complex Systems. Proceedings of the 7th International Congress of the IASS-AIS}, publisher={Thelem}, author={Fuchs, Christian and Hofkirchner, Wolfgang}, editor={Schmitz, Walter}, year={2004} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 43274
@inbook{Meier_Sieh_Koch_Lee_Norris_Jahnke_Khitrova_Gibbs _2004, title={Nonlinear optical properties of semiconductor quantum wells inside microcavities}, DOI={10.1142/9789812565730_0006}, booktitle={Optical Microcavities}, publisher={World Scientific, Chap. 6}, author={Meier, Torsten and Sieh, C. and Koch, S.W. and Lee, Y.-S and Norris, T.B. and Jahnke, F. and Khitrova, G. and Gibbs , H.M.}, editor={Vahala, K.}, year={2004}, pages={239–317} }
LibreCat
| DOI
| Download (ext.)
2004 | Journal Article | LibreCat-ID: 43649
@article{Schroeter-Wittke_Kirsner_2004, title={13. Sonntag nach Trinitatis. 1. Joh 4,7-12: Die Schuld der Liebe}, journal={Predigtstudien II/2}, author={Schroeter-Wittke, Harald and Kirsner, Inge}, year={2004}, pages={143–151} }
LibreCat