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.
2119 Publications
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 Chapter | LibreCat-ID: 36079
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: 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
2003 | Conference Paper | LibreCat-ID: 2421
Enzler, Rolf, Christian Plessl, and Marco Platzner. “Virtualizing Hardware with Multi-Context Reconfigurable Arrays.” In Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), 2778:151–60. Lecture Notes in Computer Science (LNCS). Springer, 2003. https://doi.org/10.1007/b12007.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch, Holger, and Heike 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, edited by Elie Najm, Uwe Nestmann, and Perdita Stevens, 229--243. Lecture Notes in Computer Science, 2003. https://doi.org/10.1007/978-3-540-39958-2_16.
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 27927
Schlegel-Matthies, Kirsten. “Bildung für Lebensführung – eine neue Aufgabe für die Schule?!” In Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, edited by Barbara Methfessel and Kirsten Schlegel-Matthies, 71–83. Baltmannsweiler , 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18947
Rust, Carsten, Friedhelm Stappert, and Tamás 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 | Book Chapter | LibreCat-ID: 18258
Ziegler, Martin. “Fast Relative Approximation of Potential Fields.” In Lecture Notes in Computer Science, edited by F. Dehne, JR. Sack, M. Smid, and Algorithms and Data Structures. WADS 2003, Vol. 2748. Lecture Notes in Computer Science. Berlin, Heidelberg: Springer, 2003. https://doi.org/10.1007/978-3-540-45078-8_13.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 18372
Dangelmaier, Wilhelm, Werner Franke, Bengt Mueck, and Matthias Fischer. “Komponenten Zur Aktiven Unterstützung Der Analyse von Materialflusssimulationen in Virtuellen Umgebungen.” In 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 123:141–51. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 18374
Fischer, Matthias, Michael Grafe, Carsten Matysczok, Michael Schoo, and Bengt Mueck. “Planung von Komplexen Fertigungssystemen Durch Einsatz Einer VR/AR-Unterstützten Simulation.” In 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 123:153–66. Verlagsschriftenreihe Des Heinz Nixdorf Instituts, Paderborn. Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 21781
Goetz, Frank, and Gitta Domik. “A Framework for Video-Based and Hardware-Accelerated Remote 3D-Visualization.” In Eurographics 2003 - Short Presentations, edited by M. Chover, H. Hagen, and D. Tost. Eurographics Association, 2003. https://doi.org/10.2312/egs.20031071.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 8382
Küster, Jochen, and Jan 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 | 
Schneider, S., P. Borri, W. Langbein, U. Woggon, Jens Förstner, A. Knorr, R. L. Sellin, D. Ouyang, and D. Bimberg. “Self-Induced Transparency in InGaAs Quantum-Dot Waveguides.” Applied Physics Letters 83, no. 18 (2003): 3668–70. https://doi.org/10.1063/1.1624492.
LibreCat
| Files available
| DOI
2003 | Book | LibreCat-ID: 5629
Schryen, Guido, Jan Herstell, and Markus Schoenen. Online Marktforschung Im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten. Wiesbaden: Deutscher Universitäts-Verlag, 2003.
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
Müller, Wolfgang, Jürgen Ruf, and Wolfgang Rosenstiel. “An ASM Based SystemC Simulation Semantics.” In SystemC - Methodologies and Applications, edited by Wolfgang Müller, Jürgen Ruf, and Wolfgang Rosenstiel, 97–126. Dordrecht: Kluwer, 2003. https://doi.org/10.1007/0-306-48735-7_4.
LibreCat
| DOI
2003 | Journal Article | LibreCat-ID: 34565
Flake, Stephan, and Wolfgang Müller. “Formal Semantics of Static and Temporal State-Oriented OCL Constraints.” Journal on Software and System Modeling (SoSyM) 2, no. 3 (2003): 164–86. https://doi.org/10.1007/s10270-003-0026-x.
LibreCat
| DOI
2003 | Book Review | LibreCat-ID: 18793
Peckhaus, Volker. “Schirn, Matthias/Niebergall, Karl-Georg, ‘Extensions of the Finitist Point of View’, History and Philosophy of Logic 22 (2001), 135–161.” Mathematical Reviews, MR1934402 (2003i:03005), 2003.
LibreCat
| Download (ext.)
2003 | Journal Article | LibreCat-ID: 27928
Bigga, Regine. “Lernen mit allen Sinnen – Lernen an vielen Orten. Tradition und Möglichkeiten des Lernens an verschiedenen Lernorten.” Haushalt & Bildung 80, no. 2 (2003): 45–52.
LibreCat