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.
1864 Publications
2004 | Conference Paper | LibreCat-ID: 7931
Schattkowsky, T. (2004). Efficient Execution of UML State Machines on a Virtual Machine. In Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA).
LibreCat
2004 | Conference Paper | LibreCat-ID: 853
Typpö, V., Eisl, J., Höller, J., Agüero, R., & Karl, H. (2004). Research Challenges in Mobility and Moving Networks: An Ambient Networks View. In Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France (pp. 145--155). https://doi.org/10.1007/0-387-24043-8_15
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 16803
Goetz, F., & Domik, G. (2004). openVisaar: Enriching Cooperative Visualization by Combining Open Technologies. In Y. Luo (Ed.), Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings (Vol. 3190, pp. 38–46). Springer. https://doi.org/10.1007/978-3-540-30103-5_5
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 16804
Goetz, F., Borau, R., & Domik, G. (2004). An XML-based visual shading language for vertex and fragment shaders. In D. P. Brutzman, L. Chittaro, & R. Puk (Eds.), Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004 (pp. 87–97). {ACM}. https://doi.org/10.1145/985040.985054
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 11932 | 
Warsitz, E., Haeb-Umbach, R., & Peschke, S. (2004). Adaptive Beamforming Combined with Particle Filtering for Acoustic Source Localization. In International Conference on Spoken Language Processing (ICSLP 2004).
LibreCat
| Download (ext.)
2004 | Journal Article | LibreCat-ID: 13722
Preuss, M., Schmidt, W. G., Seino, K., Furthmüller, J., & Bechstedt, F. (2004). Ground- and excited-state properties of DNA base molecules from plane-wave calculations using ultrasoft pseudopotentials. Journal of Computational Chemistry, 25(1), 112–122. https://doi.org/10.1002/jcc.10372
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 29921 |
Böcker, J. (2004). Advanced Hysteresis Control of Brushless DC Motors. German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen. Germany-Korea Symposium, Aachen, Germany.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
LibreCat
| DOI
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: 36082
Schlegel-Matthies, K. (2004). „Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit. In H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert (pp. 148–161). Steiner-Verlag.
LibreCat
2004 | Book Review | LibreCat-ID: 18487 |
Peckhaus, V. (2004). Sundholm, Göran, “Frege, August Bebel and the Return of Alsace-Lorraine: The Dating of the Distinction between Sinn and Bedeutung”, History and Philosophy of Logic 22 (2001), 57–73. In zbMATH Open, Zbl. 1030.01021.
LibreCat
| Download (ext.)
2004 | Book Review | LibreCat-ID: 18489 |
Peckhaus, V. (2004). Klement, Kevin C., “Russell’s Paradox in Appendix B of the Principles of Mathematics: Was Frege’s Response Adequate?”, History and Philosophy of Logic 22 (2001), 13-28. In zbMATH Open, Zbl. 1030.03002.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 54143
Dressler, F., & Krueger, B. (2004). Cell biology as a key to computer networking. German Conference on Bioinformatics 2004 (GCB 2004), Poster Session.
LibreCat
2004 | Conference Paper | LibreCat-ID: 54940
Krueger, B., & Dressler, F. (2004). Molecular Processes as a Basis for Autonomous Networking. International IPSI Stockholm Conference: Symposium on Challenges in the Internet and Interdisciplinary Research (IPSI 2004).
LibreCat
2004 | Journal Article | LibreCat-ID: 22615
de los Arcos de Pedro, M. T., Garnier, M. G., Seo, J. W., Oelhafen, P., Thommen, V., & Mathys, D. (2004). The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth. The Journal of Physical Chemistry B, 7728–7734. https://doi.org/10.1021/jp049495v
LibreCat
| DOI
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: 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: 39352
Flake, S., & Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. Proceedings of the UML 2004. https://doi.org/10.1007/978-3-540-30187-5_17
LibreCat
| DOI