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
T. Schattkowsky, “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), 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 853
V. Typpö, J. Eisl, J. Höller, R. Agüero, and H. Karl, “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, 2004, pp. 145--155.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 16803
F. Goetz and G. Domik, “openVisaar: Enriching Cooperative Visualization by Combining Open Technologies,” in Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, 2004, vol. 3190, pp. 38–46.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 16804
F. Goetz, R. Borau, and G. Domik, “An XML-based visual shading language for vertex and fragment shaders,” in Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, 2004, pp. 87–97.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 11932 | 
E. Warsitz, R. Haeb-Umbach, and S. Peschke, “Adaptive Beamforming Combined with Particle Filtering for Acoustic Source Localization,” in International Conference on Spoken Language Processing (ICSLP 2004), 2004.
LibreCat
| Download (ext.)
2004 | Journal Article | LibreCat-ID: 13722
M. Preuss, W. G. Schmidt, K. Seino, J. Furthmüller, and F. Bechstedt, “Ground- and excited-state properties of DNA base molecules from plane-wave calculations using ultrasoft pseudopotentials,” Journal of Computational Chemistry, vol. 25, no. 1, pp. 112–122, 2004.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 29921 |
J. Böcker, “Advanced Hysteresis Control of Brushless DC Motors,” presented at the Germany-Korea Symposium, Aachen, Germany, 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
S. Flake, W. Müller, U. Pape, and J. Ruf, “Specification and Formal Verification of Temporal Properties of Production Automation Systems,” in Integration of Software Specification Techniques for Applications in Engineering, vol. 3147, H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, and E. Westkämper, Eds. Berlin, Heidelberg: Springer-Verlag, 2004, pp. 206–226.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33830
A. Krupp and W. Müller, “Refinement of Finite State Machines with Complementary Model Checking,” in UML-B System Specification for Proven Electronic Design, J. Mermet, Ed. Dordrecht: Kluwer, 2004, pp. 155–168.
LibreCat
2004 | Book Chapter | LibreCat-ID: 36082
K. Schlegel-Matthies, “„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit,” in Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, H.-J. Teuteberg, Ed. Stuttgart: Steiner-Verlag, 2004, pp. 148–161.
LibreCat
2004 | Book Review | LibreCat-ID: 18487 |
V. Peckhaus, “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,” zbMATH Open, Zbl. 1030.01021. 2004.
LibreCat
| Download (ext.)
2004 | Book Review | LibreCat-ID: 18489 |
V. Peckhaus, “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,” zbMATH Open, Zbl. 1030.03002. 2004.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 54143
F. Dressler and B. Krueger, “Cell biology as a key to computer networking,” 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 54940
B. Krueger and F. Dressler, “Molecular Processes as a Basis for Autonomous Networking,” 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 22615
M. T. de los Arcos de Pedro, M. G. Garnier, J. W. Seo, P. Oelhafen, V. Thommen, and D. Mathys, “The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth,” The Journal of Physical Chemistry B, pp. 7728–7734, 2004, doi: 10.1021/jp049495v.
LibreCat
| DOI
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: 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: 39352
S. Flake and W. Müller, “An ASM Definition of the Dynamic OCL 2.0 Semantics,” 2004, doi: 10.1007/978-3-540-30187-5_17.
LibreCat
| DOI