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.
1678 Publications
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 | 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
2003 | Conference Paper | LibreCat-ID: 3239
H. Rasch and H. Wehrheim, “Checking Consistency in {UML} Diagramms: Classes and State Machines,” in Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings, 2003, pp. 229--243.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 27927
K. Schlegel-Matthies, “Bildung für Lebensführung – eine neue Aufgabe für die Schule?!,” in Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, B. Methfessel and K. Schlegel-Matthies, Eds. Baltmannsweiler , 2003, pp. 71–83.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18947
C. Rust, F. Stappert, and T. Lukovszki, “A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture,” in 7th World Multiconference on Systemics, Cybernetics and Informatics, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18372
W. Dangelmaier, W. Franke, B. Mueck, and M. Fischer, “Komponenten zur aktiven Unterstützung der Analyse von Materialflusssimulationen in virtuellen Umgebungen,” in 2. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2003, vol. 123, pp. 141–151.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 18374
M. Fischer, M. Grafe, C. Matysczok, M. Schoo, and B. Mueck, “Planung von komplexen Fertigungssystemen durch Einsatz einer VR/AR-unterstützten Simulation,” in 2. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung, 2003, vol. 123, pp. 153–166.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 8382
J. Küster and J. Stehr, “Towards Explicit Behavioral Consistency Concepts in the UML,” in Proceedings of 2nd ICSE Workshop on Scenarios and State Machines: Models, Algorithms, and Tools (Portland, USA), 2003.
LibreCat
2003 | Journal Article | LibreCat-ID: 4288 |
S. Schneider et al., “Self-induced transparency in InGaAs quantum-dot waveguides,” Applied Physics Letters, vol. 83, no. 18, pp. 3668–3670, 2003.
LibreCat
| Files available
| DOI
2003 | Book | LibreCat-ID: 5629
G. Schryen, J. Herstell, and M. Schoenen, Online Marktforschung im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten. Wiesbaden: Deutscher Universitäts-Verlag, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 15165
B. Schwerdtfeger, F. Goetz, and G. Domik, “3D interaktives Baukastensystem unter Verwendung von Augmented Reality Techniken,” 2003.
LibreCat