@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 
LibreCat: /record/33825
DOI: 10.1007/978-3-540-27863-4_13

@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 
LibreCat: /record/33830

@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 
LibreCat: /record/36082

@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 
LibreCat: /record/22615
DOI: 10.1021/jp049495v

@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 
LibreCat: /record/39053
DOI: 10.1109/HICSS.2004.1265674

@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 
LibreCat: /record/39055

@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 
LibreCat: /record/39061
DOI: 10.1109/DATE.2004.1269214

@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 
LibreCat: /record/39069
DOI: 10.1109/SEFM.2004.1347516

@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 
LibreCat: /record/39352
DOI: 10.1007/978-3-540-30187-5_17

@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) 
LibreCat: /record/2421
DOI: 10.1007/b12007

@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 
LibreCat: /record/3239
DOI: 10.1007/978-3-540-39958-2_16

@inbookSchlegel-Matthies_2003, title=Bildung für Lebensführung – eine neue Aufgabe für die Schule?!, booktitle=Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, publisher=Baltmannsweiler , author=Schlegel-Matthies, Kirsten, editor=Methfessel, Barbara and Schlegel-Matthies, Kirsten, year=2003, pages=71–83 
LibreCat: /record/27927

@inproceedingsRust_Stappert_Lukovszki_2003, title=A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture, booktitle=7th World Multiconference on Systemics, Cybernetics and Informatics, author=Rust, Carsten and Stappert, Friedhelm and Lukovszki, Tamás, year=2003 
LibreCat: /record/18947

@inbookZiegler_2003, place=Berlin, Heidelberg, series=Lecture Notes in Computer Science, title=Fast Relative Approximation of Potential Fields, volume=2748, DOI=10.1007/978-3-540-45078-8_13, booktitle=Lecture Notes in Computer Science, publisher=Springer, author=Ziegler, Martin, editor=Dehne, F. and Sack, JR. and Smid, M. and Algorithms and Data Structures. WADS 2003Editors, year=2003, collection=Lecture Notes in Computer Science 
LibreCat: /record/18258
DOI: 10.1007/978-3-540-45078-8_13

@inproceedingsDangelmaier _Franke_Mueck_Fischer_2003, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Komponenten zur aktiven Unterstützung der Analyse von Materialflusssimulationen in virtuellen Umgebungen, volume=123, booktitle=2. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, author=Dangelmaier, Wilhelm and  Franke, Werner and Mueck, Bengt and Fischer, Matthias, year=2003, pages=141–151, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/18372

@inproceedingsFischer_Grafe_Matysczok_Schoo_Mueck_2003, series=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, title=Planung von komplexen Fertigungssystemen durch Einsatz einer VR/AR-unterstützten Simulation, volume=123, booktitle=2. Paderborner Workshop Augmented &; Virtual Reality in der Produktentstehung, publisher=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, author=Fischer, Matthias and Grafe, Michael and Matysczok, Carsten and Schoo, Michael and Mueck, Bengt, year=2003, pages=153–166, collection=Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn 
LibreCat: /record/18374

@inproceedingsGoetz_Domik_2003, title=A Framework for Video-based and Hardware-Accelerated Remote 3D-Visualization, DOI=10.2312/egs.20031071, booktitle=Eurographics 2003 - Short Presentations, publisher=Eurographics Association, author=Goetz, Frank and Domik, Gitta, editor=Chover, M. and Hagen, H. and Tost, D.Editors, year=2003 
LibreCat: /record/21781
DOI: 10.2312/egs.20031071

@inproceedingsKüster_Stehr_2003, title=Towards Explicit Behavioral Consistency Concepts in the UML, booktitle=Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA), author=Küster, Jochen and Stehr, Jan, year=2003 
LibreCat: /record/8382

@articleSchneider_Borri_Langbein_Woggon_Förstner_Knorr_Sellin_Ouyang_Bimberg_2003, title=Self-induced transparency in InGaAs quantum-dot waveguides, volume=83, DOI=10.1063/1.1624492, number=18, journal=Applied Physics Letters, publisher=AIP Publishing, author=Schneider, S. and Borri, P. and Langbein, W. and Woggon, U. and Förstner, Jens and Knorr, A. and Sellin, R. L. and Ouyang, D. and Bimberg, D., year=2003, pages=3668–3670 
LibreCat: /record/4288
DOI: 10.1063/1.1624492

@bookSchryen_Herstell_Schoenen_2003, place=Wiesbaden, title=Online Marktforschung im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten, publisher=Deutscher Universitäts-Verlag, author=Schryen, Guido and Herstell, Jan and Schoenen, Markus, year=2003 
LibreCat: /record/5629