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.
4642 Publications
2004 | Journal Article | LibreCat-ID: 13716
Fleischer, K., Chandola, S., Esser, N., Richter, W., McGilp, J. ., Schmidt, W. G., … Bernholc, J. (2004). Atomic indium nanowires on Si(111): the (4 × 1)–(8 × 2) phase transition studied with reflectance anisotropy spectroscopy. Applied Surface Science, 234, 302–306. https://doi.org/10.1016/j.apsusc.2004.05.114
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 29920
Böcker, J., Amann, N., & Schulz, B. (2004). Active Suppression of Torsional Oscillations. IFAC Proceedings Volumes, 37(14), 319–324. https://doi.org/10.1016/s1474-6670(17)31123-0
LibreCat
| DOI
2004 | Book Review | LibreCat-ID: 18485
Peckhaus, V. (2004). Buldt, Bernd u.a. (Hgg.), “Kurt Gödel: Wahrheit & Beweisbarkeit, Bd. 1: Kompendium zum Werk”, öbv & hpt: Wien 2002. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 1028.03002).
LibreCat
| Files available
2004 | Book Chapter | LibreCat-ID: 34783
Süßmann, J. (2004). Darstellungsprinzipien in Johannes von Müllers erstem Geschichtswerk. In Geschichtsschreibung zu Beginn des 19. Jahrhunderts im Umkreis Johannes von Müllers und des Groupe de Coppet. L’historiographie à l’aube du XIXe siècle autour de Jean de Müller et du Groupe de Coppet. Textes allemands réunis par Doris et Peter Walser-Wilhelm. Textes français et édition du volume réalisée par Marianne Berlinger Konqui (Vol. 6, pp. 79–109). Honoré Champion.
LibreCat
2004 | Book Chapter | LibreCat-ID: 9249
Mildorf, J. (2004). Narrativising the Body: Fragmentation and Unification in Jed Mercurio’s “Bodies.” In P. L. Twohig & V. Kalitzkus (Eds.), Interdisciplinary Perspectives on Health, Illness and Disease (pp. 97–112). Rodopi.
LibreCat
2004 | Book Chapter | LibreCat-ID: 9250
Mildorf, J. (2004). Narratives of Domestic Violence Cases: GPs Defining their Professional Role. In P. L. Twohig & V. Kalitzkus (Eds.), Making Sense of Health, Illness and Disease (pp. 173–196). Rodopi.
LibreCat
2004 | Book Review | LibreCat-ID: 9842
Mildorf, J. (2004). Book review: Vera and Ansgar Nünning (eds) (2002). Erzähltheorie transgenerisch, intermedial, interdisziplinär. Trier: WVT. / Ansgar and Vera Nünning (eds) (2002). Neue Ansätze in der Erzähltheorie. Trier: WVT. In Narrative Inquiry (Vol. 14, Issue 1, pp. 219–234).
LibreCat
2004 | Book Review | LibreCat-ID: 31455
Elit, S. (2004). Franz Witek: Die “Bühne des Schicksals”. Demetrios von Makedonien in Historiographie und Drama, Horn/Wien 2001 (Musae Benedictinae Salisburgenses 1). In NlatJb 6 (pp. 335–341).
LibreCat
2004 | Journal Article | LibreCat-ID: 6069
Scharlau, I. (2004). Evidence for split foci of attention in a priming paradigm. Perception & Psychophysics, 66(6), 988–1002.
LibreCat
2004 | Journal Article | LibreCat-ID: 6089 | 
Scharlau, I. (2004). The spatial distribution of attention in perceptual latency priming. The Quarterly Journal of Experimental Psychology A: Human Experimental Psychology, 57A(8), 1411–1436.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, A., & Müller, W. (2004). Refinement of Finite State Machines with Complementary Model Checking. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 155–168). Kluwer.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33829
Krupp, A., Müller, W., & Oliver, I. (2004). Combining Formal Refinement and Model Checking for Analysis of Realtime Systems. In Ch. Grimm (Ed.), Best of FDL’03 (pp. 301–314). Kluwer.
LibreCat
2004 | Book Chapter | LibreCat-ID: 33832
Krupp, A., Müller, W., & Oliver, I. (2004). The Echo Cancellation Unit Case Study. In J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design (pp. 227–240). Kluwer.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39053
Müller, W., Schäfer, R., & Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. Proceedings of HICCS-37. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA. https://doi.org/10.1109/HICSS.2004.1265674
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, M., Ecker, W., Kruse, T., & Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. Proceedings of FDL’04. Forum on specification and Design Languages, Lille, France.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, T., Loeser, C., & Müller, W. (2004). Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks. Proceedings of AINA2004. 18th International Conference on Advanced Information Networking and Applications, Fukuoka, Japan . https://doi.org/10.1109/AINA.2004.1283977
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 17296
Rohlfing, K., Fritsch, J., & Wrede, B. (2004). Learning to Manipulate Objects: A Quantitative Evaluation of Motionese. Third International Conference on Development and Learning (ICDL 2004), 27.
LibreCat
2004 | Book Chapter | LibreCat-ID: 42042
Huber, K., Volk, N., Vollmer, D., Schmidt, M., & Oppermann, W. (2004). Conformation and Phase Diagrams of Flexible Polyelectrolytes. In M. Schmidt (Ed.), Polyelectrolytes with Defined Molecular Architecture II (Vol. 166, pp. 29–65). Springer. https://doi.org/10.1007/b11348
LibreCat
| DOI