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.
4216 Publications
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Combining Formal Refinement and Model Checking for Analysis of Realtime Systems.” In Best of FDL’03, edited by Ch. Grimm, 301–14. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “The Echo Cancellation Unit Case Study.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 227–40. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.” In Proceedings of HICCS-37. Waikoloa, HI, USA, 2004. https://doi.org/10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In Proceedings of FDL’04. Lille, France, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 43649
Schroeter-Wittke, Harald, and Inge Kirsner. “13. Sonntag Nach Trinitatis. 1. Joh 4,7-12: Die Schuld Der Liebe.” Predigtstudien II/2, 2004, 143–51.
LibreCat
2004 | Conference Paper | LibreCat-ID: 44122
Meier, Torsten, H. Giessen, S. Linden, A. Christ, J. Kuhl, D. Nau, P. Thomas, and S.W. Koch. “Fano Resonances in Metallic Photonic Crystals.” In Fano Resonances in Metallic Photonic Crystals. Optical Society of America, 2004. https://doi.org/10.1364/IQEC.2004.IFC5.
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 44123
Meier, Torsten, M. Koch, V. Ciulin, S.G. Carter, M.S. Sherwin, S.W. Koch, J. Zide, D. Driscoll, and A.C. Gossard. “Onset of Dynamical Localization in a Semiconductor Superlattice.” In International Quantum Electronics Conference, 2004. https://doi.org/10.1364/IQEC.2004.IMO3.
LibreCat
| DOI
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 44610
Adelmann, Ralf. “Digitale Animationen in dokumentarischen Fernsehformaten.” In Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung, edited by Jens Schröter and Alexander Böhnke, 387–405. Bielefeld: Transcript, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 44609
Adelmann, Ralf. “Computeranimation als televisuelle Evidenzproduktion.” In Evidenz … das sieht man doch!, edited by Rolf F. Nohr, 43–56. Münster: Lit Verlag, 2004.
LibreCat
2004 | Book Review | LibreCat-ID: 18485 | 
Peckhaus, Volker. “Buldt, Bernd u.a. (Hgg.), Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk, öbv & hpt: Wien 2002.” zbMATH Open, Zbl. 1028.03002, 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 9249
Mildorf, Jarmila. “Narrativising the Body: Fragmentation and Unification in Jed Mercurio’s ‘Bodies.’” In Interdisciplinary Perspectives on Health, Illness and Disease, edited by Peter L. Twohig and Vera Kalitzkus, 97–112. Amsterdam: Rodopi, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 9250
Mildorf, Jarmila. “Narratives of Domestic Violence Cases: GPs Defining Their Professional Role.” In Making Sense of Health, Illness and Disease, edited by Peter L. Twohig and Vera Kalitzkus, 173–96. Amsterdam: Rodopi, 2004.
LibreCat
2003 | Journal Article | LibreCat-ID: 19726
Bonorden, Olaf, Bernhardus Juurlink, Ingo von Otte, and Ingo Rieping. “The Paderborn University BSP (PUB) Library.” Parallel Computing, 2003, 187–207. https://doi.org/10.1016/s0167-8191(02)00218-1.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 2422
Enzler, Rolf, Christian Plessl, and Marco Platzner. “Co-Simulation of a Hybrid Multi-Context Architecture.” In Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 174–80. CSREA Press, 2003.
LibreCat
2003 | Book | LibreCat-ID: 24607
Gausemeier, Jürgen, Joachim Lückel, and Jörg Wallaschek. 1. Paderborner Workshop Intelligente mechatronische Systeme. Vol. 122. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21058
Friedrich, H. E., and Gerson Meschut. “Autovision – Zukünftige Werkstoffe Und Fügekonzepte Im Automobilbau.” In DVS-Berichte, Band 222, 222:5–10. DVS-Berichte. Düsseldorf: DVS-Verlag GmbH, 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 21059
Kläger, O., H. Wetter, and Gerson Meschut. “Multi-Material-Design (Teil 1) Thermische Beanspruchung in Lacktrocknungsprozessen.” Adhäsion 47, no. 4 (2003): 30–35.
LibreCat
2003 | Journal Article | LibreCat-ID: 21148
Friedrich, H. E., and Gerson Meschut. “Autovision – Zukünftige Werkstoffe Und Fügekonzepte Im Automobilbau (Teil 1).” Stahl 4 (2003): 18–21.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21154
Brüdgam, S., and Gerson Meschut. “Mechanisches Fügen Und Kleben – Schlüsseltechnologien Für Die Mischbauweise.” In Tagungsband Zum 10. Paderborner Symposium Fügetechnik „Mechanisches Fügen Und Kleben“, 1–9. Paderborn, 2003.
LibreCat