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.
1720 Publications
2004 | Conference Paper | LibreCat-ID: 7931
Schattkowsky, Tim. “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
Typpö, Ville, Jochen Eisl, Jan Höller, Ramon Agüero, and Holger 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, 145--155, 2004. https://doi.org/10.1007/0-387-24043-8_15.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 16803
Goetz, Frank, and Gitta 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, edited by Yuhua Luo, 3190:38–46. Lecture Notes in Computer Science. Springer, 2004. https://doi.org/10.1007/978-3-540-30103-5_5.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 16804
Goetz, Frank, Ralf Borau, and Gitta 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, edited by Donald P. Brutzman, Luca Chittaro, and Richard Puk, 87–97. {ACM}, 2004. https://doi.org/10.1145/985040.985054.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 11932 | 
Warsitz, Ernst, Reinhold Haeb-Umbach, and Sven 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
Preuss, M., Wolf Gero 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 25, no. 1 (2004): 112–22. https://doi.org/10.1002/jcc.10372.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 29921 |
Böcker, Joachim. “Advanced Hysteresis Control of Brushless DC Motors.” In German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, Wolfgang Müller, Ulrich Pape, and Jürgen Ruf. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” In Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig, Werner Damm, Jörg Desel, Martin Große-Rhode, Wolfgang Reif, Eckehard Schnieder, and Engelbert Westkämper, 3147:206–26. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer-Verlag, 2004. https://doi.org/10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” In UML-B System Specification for Proven Electronic Design, edited by J. Mermet, 155–68. Dordrecht: Kluwer, 2004.
LibreCat
2004 | Book Chapter | LibreCat-ID: 36082
Schlegel-Matthies, Kirsten. “„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, edited by Hans-Jürgen Teuteberg, 148–161. Stuttgart: Steiner-Verlag, 2004.
LibreCat
2004 | Journal Article | LibreCat-ID: 22615
Arcos de Pedro, Maria Teresa de los, Michael Gunnar Garnier, Jin Won Seo, Peter Oelhafen, Verena Thommen, and Daniel Mathys. “The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth.” The Journal of Physical Chemistry B, 2004, 7728–34. https://doi.org/10.1021/jp049495v.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.” In Proceedings of HICCS-37. Waikoloa, HI, USA, 2004. https://doi.org/10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, Wolfgang Ecker, Thilo Kruse, and Wolfgang Müller. “The Formal Simulation Semantics of SystemVerilog.” In Proceedings of FDL’04. Lille, France, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, Wolfgang Müller, and Ian Oliver. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” In Proceedings of DATE’04 Designers’ Forum. Paris, 2004. https://doi.org/10.1109/DATE.2004.1269214.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, Stephan, and Wolfgang Müller. “Past- and Future-Oriented Time-Bound Temporal Properties with OCL.” In Proceedings of SEFM´04. Beijing, China: IEEE, 2004. https://doi.org/10.1109/SEFM.2004.1347516.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39352
Flake, Stephan, and Wolfgang Müller. “An ASM Definition of the Dynamic OCL 2.0 Semantics.” In Proceedings of the UML 2004. Lisbon, Portugal, 2004. https://doi.org/10.1007/978-3-540-30187-5_17.
LibreCat
| DOI
2004 | Book Review | LibreCat-ID: 18487 |
Peckhaus, Volker. “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 |
Peckhaus, Volker. “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
Dressler, Falko, and Bettina Krueger. “Cell Biology as a Key to Computer Networking.” In German Conference on Bioinformatics 2004 (GCB 2004), Poster Session. Bielefeld, Germany, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 54940
Krueger, Bettina, and Falko Dressler. “Molecular Processes as a Basis for Autonomous Networking.” In International IPSI Stockholm Conference: Symposium on Challenges in the Internet and Interdisciplinary Research (IPSI 2004). Stockholm, Sweden, 2004.
LibreCat