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.
4698 Publications
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 | 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: 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: 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: 17296
Learning to Manipulate Objects: A Quantitative Evaluation of Motionese
K. Rohlfing, J. Fritsch, B. Wrede, in: Third International Conference on Development and Learning (ICDL 2004), 2004, p. 27.
LibreCat
K. Rohlfing, J. Fritsch, B. Wrede, in: Third International Conference on Development and Learning (ICDL 2004), 2004, p. 27.
2004 | Book Chapter | LibreCat-ID: 42042
Conformation and Phase Diagrams of Flexible Polyelectrolytes
K. Huber, N. Volk, D. Vollmer, M. Schmidt, W. Oppermann, in: M. Schmidt (Ed.), Polyelectrolytes with Defined Molecular Architecture II, Springer, Berlin, 2004, pp. 29–65.
LibreCat
| DOI
K. Huber, N. Volk, D. Vollmer, M. Schmidt, W. Oppermann, in: M. Schmidt (Ed.), Polyelectrolytes with Defined Molecular Architecture II, Springer, Berlin, 2004, pp. 29–65.
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.
2004 | Conference Paper | LibreCat-ID: 44122
Fano resonances in metallic photonic crystals
T. Meier, H. Giessen, S. Linden, A. Christ, J. Kuhl, D. Nau, P. Thomas, S.W. Koch, in: Fano Resonances in Metallic Photonic Crystals, Optical Society of America, 2004.
LibreCat
| DOI
| Download (ext.)
T. Meier, H. Giessen, S. Linden, A. Christ, J. Kuhl, D. Nau, P. Thomas, S.W. Koch, in: Fano Resonances in Metallic Photonic Crystals, Optical Society of America, 2004.
2004 | Conference Paper | LibreCat-ID: 44123
Onset of Dynamical Localization in a Semiconductor Superlattice
T. Meier, M. Koch, V. Ciulin, S.G. Carter, M.S. Sherwin, S.W. Koch, J. Zide, D. Driscoll, A.C. Gossard, in: International Quantum Electronics Conference, 2004.
LibreCat
| DOI
| Download (ext.)
T. Meier, M. Koch, V. Ciulin, S.G. Carter, M.S. Sherwin, S.W. Koch, J. Zide, D. Driscoll, A.C. Gossard, in: International Quantum Electronics Conference, 2004.
2004 | Book Chapter | LibreCat-ID: 44610
Digitale Animationen in dokumentarischen Fernsehformaten
R. Adelmann, in: J. Schröter, A. Böhnke (Eds.), Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung, Transcript, Bielefeld, 2004, pp. 387–405.
LibreCat
R. Adelmann, in: J. Schröter, A. Böhnke (Eds.), Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung, Transcript, Bielefeld, 2004, pp. 387–405.
2004 | Book Chapter | LibreCat-ID: 44609
Computeranimation als televisuelle Evidenzproduktion
R. Adelmann, in: R.F. Nohr (Ed.), Evidenz … das sieht man doch!, Lit Verlag, Münster, 2004, pp. 43–56.
LibreCat
R. Adelmann, in: R.F. Nohr (Ed.), Evidenz … das sieht man doch!, Lit Verlag, Münster, 2004, pp. 43–56.
2004 | Book Chapter | LibreCat-ID: 49075
Ohne Titel (2004)
M. Schulze, in: A. Grigoteit, F. Hütte, Deutsche Bank Kunst (Eds.), Akademie Rundgang 2004, Düsseldorf, 2004.
LibreCat
M. Schulze, in: A. Grigoteit, F. Hütte, Deutsche Bank Kunst (Eds.), Akademie Rundgang 2004, Düsseldorf, 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.
2003 | Journal Article | LibreCat-ID: 19726
The Paderborn University BSP (PUB) library
O. Bonorden, B. Juurlink, I. von Otte, I. Rieping, Parallel Computing (2003) 187–207.
LibreCat
| DOI
O. Bonorden, B. Juurlink, I. von Otte, I. Rieping, Parallel Computing (2003) 187–207.
2003 | Conference Paper | LibreCat-ID: 2422
Co-simulation of a Hybrid Multi-Context Architecture
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
LibreCat
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), CSREA Press, 2003, pp. 174–180.
2003 | Book | LibreCat-ID: 24607
1. Paderborner Workshop Intelligente mechatronische Systeme
J. Gausemeier, J. Lückel, J. Wallaschek, 1. Paderborner Workshop Intelligente mechatronische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
J. Gausemeier, J. Lückel, J. Wallaschek, 1. Paderborner Workshop Intelligente mechatronische Systeme, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.