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.
9755 Publications
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 | Bachelorsthesis | LibreCat-ID: 47645
Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
LibreCat
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47642
Implementierung und Evaluierung eines Angriffs auf DSA
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
LibreCat
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47644 | 
Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes
S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes, 2004.
LibreCat
| Files available
S. Gesemann, Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes, 2004.
2004 | Bachelorsthesis | LibreCat-ID: 47643 |
Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven
M. Gorski, Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven, 2004.
LibreCat
| Files available
M. Gorski, Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven, 2004.
2004 | Book Chapter | LibreCat-ID: 31312
Kapitel „Textsyntax“ (Kap. 7)
B.-M. Schuster, in: R. Hünecke, O. Pfefferkorn, J. Riecke, Britt-Marie Schuster , A. Voeste (Eds.), Einführung in die historische Textanalyse, Göttingen , 2004, pp. 140–166.
LibreCat
B.-M. Schuster, in: R. Hünecke, O. Pfefferkorn, J. Riecke, Britt-Marie Schuster , A. Voeste (Eds.), Einführung in die historische Textanalyse, Göttingen , 2004, pp. 140–166.
2004 | Book | LibreCat-ID: 48032
Medien(sub)kultur. Geschichten - Diskurse - Entwürfe
C. Jacke, Medien(sub)kultur. Geschichten - Diskurse - Entwürfe, transcript, Bielefeld, 2004.
LibreCat
| Download (ext.)
C. Jacke, Medien(sub)kultur. Geschichten - Diskurse - Entwürfe, transcript, Bielefeld, 2004.
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 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: 39060
Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat
| DOI
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39063
A Formal Model of a Framework for Simulation-Based Animation
W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat
W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
2004 | Conference Paper | LibreCat-ID: 39071
Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
LibreCat
| DOI
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
2004 | Conference Paper | LibreCat-ID: 39069
Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
2004 | Conference Paper | LibreCat-ID: 39065
Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
2004 | Conference Paper | LibreCat-ID: 39068
Model-Based Design of Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.
LibreCat
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.