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.
1696 Publications
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, Alexander, et al. “Formal Refinement and Model Checking of An Echo Cancellation Unit.” Proceedings of DATE’04 Designers’ Forum, 2004, doi: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.” Proceedings of SEFM´04, IEEE, 2004, doi: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.” Proceedings of the UML 2004, 2004, doi: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.” German Conference on Bioinformatics 2004 (GCB 2004), Poster Session, 2004.
LibreCat
2003 | Conference Paper | LibreCat-ID: 2421
Enzler, Rolf, et al. “Virtualizing Hardware with Multi-Context Reconfigurable Arrays.” Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), vol. 2778, Springer, 2003, pp. 151–60, doi: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.” 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 et al., 2003, pp. 229--243, doi: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?!” Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, edited by Barbara Methfessel and Kirsten Schlegel-Matthies, Baltmannsweiler , 2003, pp. 71–83.
LibreCat
2003 | Conference Paper | LibreCat-ID: 18947
Rust, Carsten, et al. “A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture.” 7th World Multiconference on Systemics, Cybernetics and Informatics, 2003.
LibreCat
2003 | Book Chapter | LibreCat-ID: 18258
Ziegler, Martin. “Fast Relative Approximation of Potential Fields.” Lecture Notes in Computer Science, edited by F. Dehne et al., vol. 2748, Springer, 2003, doi:10.1007/978-3-540-45078-8_13.
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 18372
Dangelmaier, Wilhelm, et al. “Komponenten Zur Aktiven Unterstützung Der Analyse von Materialflusssimulationen in Virtuellen Umgebungen.” 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, vol. 123, 2003, pp. 141–51.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 18374
Fischer, Matthias, et al. “Planung von Komplexen Fertigungssystemen Durch Einsatz Einer VR/AR-Unterstützten Simulation.” 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, vol. 123, Verlagsschriftenreihe des Heinz Nixdorf Instituts, Paderborn, 2003, pp. 153–66.
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.” Eurographics 2003 - Short Presentations, edited by M. Chover et al., Eurographics Association, 2003, doi: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.” 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., et al. “Self-Induced Transparency in InGaAs Quantum-Dot Waveguides.” Applied Physics Letters, vol. 83, no. 18, AIP Publishing, 2003, pp. 3668–70, doi:10.1063/1.1624492.
LibreCat
| Files available
| DOI
2003 | Book | LibreCat-ID: 5629
Schryen, Guido, et al. Online Marktforschung Im Mittelstand: Analyse von Konsumentenverhalten in 3D-Internet-Welten. Deutscher Universitäts-Verlag, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 15165
Schwerdtfeger, Bj{\, et al. 3D Interaktives Baukastensystem Unter Verwendung von Augmented Reality Techniken. 2003.
LibreCat
2003 | Book Chapter | LibreCat-ID: 34446
Müller, Wolfgang, et al. “An ASM Based SystemC Simulation Semantics.” SystemC - Methodologies and Applications, edited by Wolfgang Müller et al., Kluwer, 2003, pp. 97–126, doi: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), vol. 2, no. 3, Springer-Verlag, 2003, pp. 164–86, doi:10.1007/s10270-003-0026-x.
LibreCat
| DOI