@inproceedingsSchattkowsky_2004, title=Efficient Execution of UML State Machines on a Virtual Machine, booktitle=Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA), author=Schattkowsky, Tim, year=2004 

@inproceedingsTyppö_Eisl_Höller_Agüero_Karl_2004, title=Research Challenges in Mobility and Moving Networks: An Ambient Networks View, DOI=10.1007/0-387-24043-8_15, booktitle=Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP T Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France, author=Typpö, Ville and Eisl, Jochen and Höller, Jan and Agüero, Ramon and Karl, Holger, year=2004, pages=145--155 

@inproceedingsGoetz_Domik_2004, series=Lecture Notes in Computer Science, title=openVisaar: Enriching Cooperative Visualization by Combining Open Technologies, volume=3190, DOI=10.1007/978-3-540-30103-5_5, booktitle=Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, publisher=Springer, author=Goetz, Frank and Domik, Gitta, editor=Luo, YuhuaEditor, year=2004, pages=38–46, collection=Lecture Notes in Computer Science 

@inproceedingsGoetz_Borau_Domik_2004, title=An XML-based visual shading language for vertex and fragment shaders, DOI=10.1145/985040.985054, booktitle=Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, publisher=ACM, author=Goetz, Frank and Borau, Ralf and Domik, Gitta, editor=P. Brutzman, Donald and Chittaro, Luca and Puk, RichardEditors, year=2004, pages=87–97 

@inproceedingsWarsitz_Haeb-Umbach_Peschke_2004, title=Adaptive Beamforming Combined with Particle Filtering for Acoustic Source Localization, booktitle=International Conference on Spoken Language Processing (ICSLP 2004), author=Warsitz, Ernst and Haeb-Umbach, Reinhold and Peschke, Sven, year=2004 

@articlePreuss_Schmidt_Seino_Furthmüller_Bechstedt_2004, title=Ground- and excited-state properties of DNA base molecules from plane-wave calculations using ultrasoft pseudopotentials, volume=25, DOI=10.1002/jcc.10372, number=1, journal=Journal of Computational Chemistry, author=Preuss, M. and Schmidt, Wolf Gero and Seino, K. and Furthmüller, J. and Bechstedt, F., year=2004, pages=112–122 

@articlePeckhaus_2004, title=Sundholm, Göran. “Frege, August Bebel and the Return of Alsace-Lorraine: The Dating of the Distinction between Sinn and Bedeutung”, In: History and Philosophy of Logic 22 (2001), 57–73, number=Zbl. 1030.01021, journal=Zentralblatt für Mathematik und ihre Grenzgebiete , author=Peckhaus, Volker, year=2004 

@articlePeckhaus_2004, title=Klement, Kevin C., “Russell’s Paradox in Appendix B of the Principles of Mathematics: Was Frege’s response adequate?”, In: History and Philosophy of Logic 22 (2001), 13-28, number=Zbl. 1030.03002, journal=Zentralblatt für Mathematik und ihre Grenzgebiete, author=Peckhaus, Volker, year=2004 

@inproceedingsBöcker_2004, title=Advanced Hysteresis Control of Brushless DC Motors, booktitle=German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, author=Böcker, Joachim, year=2004 

@inbookFlake_Müller_Pape_Ruf_2004, place=Berlin, Heidelberg, series=Lecture Notes in Computer Science, title=Specification and Formal Verification of Temporal Properties of Production Automation Systems, volume=3147, DOI=10.1007/978-3-540-27863-4_13, booktitle=Integration of Software Specification Techniques for Applications in Engineering, publisher=Springer-Verlag, author=Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen, editor=Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert, year=2004, pages=206–226, collection=Lecture Notes in Computer Science 

@inbookKrupp_Müller_2004, place=Dordrecht, title=Refinement of Finite State Machines with Complementary Model Checking, booktitle=UML-B System Specification for Proven Electronic Design, publisher=Kluwer, author=Krupp, Alexander and Müller, Wolfgang, editor=Mermet, J., year=2004, pages=155–168 

@inbookSchlegel-Matthies_2004, place=Stuttgart, title=eLiebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit, booktitle=Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, publisher=Steiner-Verlag, author=Schlegel-Matthies, Kirsten, editor=Teuteberg, Hans-Jürgen, year=2004, pages=1483161 

@articlede los Arcos de Pedro_Garnier_Seo_Oelhafen_Thommen_Mathys_2004, title=The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth, DOI=10.1021/jp049495v, journal=The Journal of Physical Chemistry B, author=de los Arcos de Pedro, Maria Teresa and Garnier, Michael Gunnar and Seo, Jin Won and Oelhafen, Peter and Thommen, Verena and Mathys, Daniel, year=2004, pages=7728–7734 

@inproceedingsMüller_Schäfer_Bleul_2004, place=Waikoloa, HI, USA, title=Interactive Multimodal User Interfaces for Mobile Devices, DOI=10.1109/HICSS.2004.1265674, booktitle=Proceedings of HICCS-37, author=Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen, year=2004 

@inproceedingsZambaldi_Ecker_Kruse_Müller_2004, place=Lille, France, title=The Formal Simulation Semantics of SystemVerilog, booktitle=Proceedings of FDL’04, author=Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang, year=2004 

@inproceedingsKrupp_Müller_Oliver_2004, place=Paris, title=Formal Refinement and Model Checking of An Echo Cancellation Unit, DOI=10.1109/DATE.2004.1269214, booktitle=Proceedings of DATE’04 Designers’ Forum, author=Krupp, Alexander and Müller, Wolfgang and Oliver, Ian, year=2004 

@inproceedingsFlake_Müller_2004, place=Beijing, China, title=Past- and Future-Oriented Time-Bound Temporal Properties with OCL, DOI=10.1109/SEFM.2004.1347516, booktitle=Proceedings of SEFM´04, publisher=IEEE, author=Flake, Stephan and Müller, Wolfgang, year=2004 

@inproceedingsFlake_Müller_2004, place=Lisbon, Portugal, title=An ASM Definition of the Dynamic OCL 2.0 Semantics, DOI=10.1007/978-3-540-30187-5_17, booktitle=Proceedings of the UML 2004, author=Flake, Stephan and Müller, Wolfgang, year=2004 

@inproceedingsEnzler_Plessl_Platzner_2003, series=Lecture Notes in Computer Science (LNCS), title=Virtualizing Hardware with Multi-Context Reconfigurable Arrays, volume=2778, DOI=10.1007/b12007, booktitle=Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), publisher=Springer, author=Enzler, Rolf and Plessl, Christian and Platzner, Marco, year=2003, pages=151–160, collection=Lecture Notes in Computer Science (LNCS) 

@inproceedingsRasch_Wehrheim_2003, series=Lecture Notes in Computer Science, title=Checking Consistency in UML Diagramms: Classes and State Machines, DOI=10.1007/978-3-540-39958-2_16, booktitle=Formal Methods for Open Object-Based Distributed Systems, 6th IFIP WG 6.1 International Conference, FMOODS 2003, Paris, France, November 19.21, 2003, Proceedings, author=Rasch, Holger and Wehrheim, Heike, editor=Najm, Elie and Nestmann, Uwe and Stevens, PerditaEditors, year=2003, pages=229--243, collection=Lecture Notes in Computer Science