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.
4671 Publications
2004 | Book Chapter | LibreCat-ID: 33832
A. Krupp, W. Müller, and I. Oliver, “The Echo Cancellation Unit Case Study,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 227–240.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,” presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi: 10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
M. Zambaldi, W. Ecker, T. Kruse, and W. Müller, “The Formal Simulation Semantics of SystemVerilog,” presented at the Forum on specification and Design Languages, Lille, France, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
T. Schattkowsky, C. Loeser, and W. Müller, “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks,” presented at the 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan , 2004, doi: 10.1109/AINA.2004.1283977.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
S. Flake and W. Müller, “Past- and Future-Oriented Time-Bound Temporal Properties with OCL,” presented at the Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004, doi: 10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 17296
K. Rohlfing, J. Fritsch, and B. Wrede, “Learning to Manipulate Objects: A Quantitative Evaluation of Motionese,” in Third International Conference on Development and Learning (ICDL 2004), 2004, p. 27.
LibreCat
2004 | Book Chapter | LibreCat-ID: 42042
K. Huber, N. Volk, D. Vollmer, M. Schmidt, and W. Oppermann, “Conformation and Phase Diagrams of Flexible Polyelectrolytes,” in Polyelectrolytes with Defined Molecular Architecture II, vol. 166, M. Schmidt, Ed. Berlin: Springer, 2004, pp. 29–65.
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 43649
H. Schroeter-Wittke and I. Kirsner, “13. Sonntag nach Trinitatis. 1. Joh 4,7-12: Die Schuld der Liebe,” Predigtstudien II/2, pp. 143–151, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 44122
T. Meier et al., “Fano resonances in metallic photonic crystals,” presented at the International Quantum Electronics Conference 2004, San Francisco, California United States, 2004, doi: 10.1364/IQEC.2004.IFC5.
LibreCat
| DOI
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 44123
T. Meier et al., “Onset of Dynamical Localization in a Semiconductor Superlattice,” presented at the International Quantum Electronics Conference 2004, San Francisco, California United States, 2004, doi: 10.1364/IQEC.2004.IMO3.
LibreCat
| DOI
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 44610
R. Adelmann, “Digitale Animationen in dokumentarischen Fernsehformaten,” in Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung, J. Schröter and A. Böhnke, Eds. Bielefeld: Transcript, 2004, pp. 387–405.
LibreCat
2004 | Book Chapter | LibreCat-ID: 44609
R. Adelmann, “Computeranimation als televisuelle Evidenzproduktion,” in Evidenz … das sieht man doch!, R. F. Nohr, Ed. Münster: Lit Verlag, 2004, pp. 43–56.
LibreCat
2004 | Book Chapter | LibreCat-ID: 49075
M. Schulze, “Ohne Titel (2004),” in Akademie Rundgang 2004, A. Grigoteit, F. Hütte, and Deutsche Bank Kunst, Eds. Düsseldorf, 2004.
LibreCat
2004 | Book Review | LibreCat-ID: 18485 | 
V. Peckhaus, “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.)
2003 | Conference Paper | LibreCat-ID: 2422
R. Enzler, C. Plessl, and M. Platzner, “Co-simulation of a Hybrid Multi-Context Architecture,” in Proc. Int. Conf. on Engineering of Reconfigurable Systems and Algorithms (ERSA), 2003, pp. 174–180.
LibreCat
2003 | Book | LibreCat-ID: 24607
J. Gausemeier, J. Lückel, and J. Wallaschek, 1. Paderborner Workshop Intelligente mechatronische Systeme, vol. 122. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 21058
H. E. Friedrich and G. Meschut, “Autovision – Zukünftige Werkstoffe und Fügekonzepte im Automobilbau,” in DVS-Berichte, Band 222, Düsseldorf, 2003, vol. 222, pp. 5–10.
LibreCat
2003 | Journal Article | LibreCat-ID: 21059
O. Kläger, H. Wetter, and G. Meschut, “Multi-Material-Design (Teil 1) Thermische Beanspruchung in Lacktrocknungsprozessen,” Adhäsion, vol. 47, no. 4, pp. 30–35, 2003.
LibreCat