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.
1864 Publications
2004 | Book Review | LibreCat-ID: 18487 | 
Peckhaus, V. (2004). 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. In zbMATH Open, Zbl. 1030.01021.
LibreCat
| Download (ext.)
2004 | Book Review | LibreCat-ID: 18489 |
Peckhaus, V. (2004). 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. In zbMATH Open, Zbl. 1030.03002.
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 54143
Dressler, F., & Krueger, B. (2004). Cell biology as a key to computer networking. German Conference on Bioinformatics 2004 (GCB 2004), Poster Session.
LibreCat
2004 | Conference Paper | LibreCat-ID: 54940
Krueger, B., & Dressler, F. (2004). Molecular Processes as a Basis for Autonomous Networking. International IPSI Stockholm Conference: Symposium on Challenges in the Internet and Interdisciplinary Research (IPSI 2004).
LibreCat
2004 | Journal Article | LibreCat-ID: 22615
de los Arcos de Pedro, M. T., Garnier, M. G., Seo, J. W., Oelhafen, P., Thommen, V., & Mathys, D. (2004). The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth. The Journal of Physical Chemistry B, 7728–7734. https://doi.org/10.1021/jp049495v
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39053
Müller, W., Schäfer, R., & Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. Proceedings of HICCS-37. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA. https://doi.org/10.1109/HICSS.2004.1265674
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, M., Ecker, W., Kruse, T., & Müller, W. (2004). The Formal Simulation Semantics of SystemVerilog. Proceedings of FDL’04. Forum on specification and Design Languages, Lille, France.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
Krupp, A., Müller, W., & Oliver, I. (2004). Formal Refinement and Model Checking of An Echo Cancellation Unit. Proceedings of DATE’04 Designers’ Forum. Proceedings Design, Automation and Test in Europe Conference and Exhibition. https://doi.org/10.1109/DATE.2004.1269214
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
Flake, S., & Müller, W. (2004). Past- and Future-Oriented Time-Bound Temporal Properties with OCL. Proceedings of SEFM´04. Proceedings of the Second International Conference on Software Engineering and Formal Methods. https://doi.org/10.1109/SEFM.2004.1347516
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39352
Flake, S., & Müller, W. (2004). An ASM Definition of the Dynamic OCL 2.0 Semantics. Proceedings of the UML 2004. https://doi.org/10.1007/978-3-540-30187-5_17
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 36079
Schlegel-Matthies, K. (2004). „Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit. In H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert (pp. 148–161). Steiner-Verlag.
LibreCat
2003 | Conference Paper | LibreCat-ID: 2421
Enzler, R., Plessl, C., & Platzner, M. (2003). Virtualizing Hardware with Multi-Context Reconfigurable Arrays. In Proc. Int. Conf. on Field Programmable Logic and Applications (FPL) (Vol. 2778, pp. 151–160). Springer. https://doi.org/10.1007/b12007
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 3239
Rasch, H., & Wehrheim, H. (2003). Checking Consistency in {UML} Diagramms: Classes and State Machines. In E. Najm, U. Nestmann, & P. Stevens (Eds.), Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings (pp. 229--243). https://doi.org/10.1007/978-3-540-39958-2_16
LibreCat
| DOI
2003 | Book Chapter | LibreCat-ID: 27927
Schlegel-Matthies, K. (2003). Bildung für Lebensführung – eine neue Aufgabe für die Schule?! In B. Methfessel & K. Schlegel-Matthies (Eds.), Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts (pp. 71–83). Baltmannsweiler .
LibreCat
2003 | Conference Paper | LibreCat-ID: 18947
Rust, C., Stappert, F., & Lukovszki, T. (2003). A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture. In 7th World Multiconference on Systemics, Cybernetics and Informatics.
LibreCat
2003 | Book Chapter | LibreCat-ID: 18258
Ziegler, M. (2003). Fast Relative Approximation of Potential Fields. In F. Dehne, J. Sack, M. Smid, & Algorithms and Data Structures. WADS 2003 (Eds.), Lecture Notes in Computer Science (Vol. 2748). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-540-45078-8_13
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 18372
Dangelmaier, W., Franke, W., Mueck, B., & Fischer, M. (2003). Komponenten zur aktiven Unterstützung der Analyse von Materialflusssimulationen in virtuellen Umgebungen. In 2. Paderborner Workshop Augmented & Virtual Reality in der Produktentstehung (Vol. 123, pp. 141–151).
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 18374
Fischer, M., Grafe, M., Matysczok, C., Schoo, M., & Mueck, B. (2003). Planung von komplexen Fertigungssystemen durch Einsatz einer VR/AR-unterstützten Simulation. 2. Paderborner Workshop Augmented & Virtual Reality in Der Produktentstehung, 123, 153–166.
LibreCat
| Files available
2003 | Conference Paper | LibreCat-ID: 21781
Goetz, F., & Domik, G. (2003). A Framework for Video-based and Hardware-Accelerated Remote 3D-Visualization. In M. Chover, H. Hagen, & D. Tost (Eds.), Eurographics 2003 - Short Presentations. Eurographics Association. https://doi.org/10.2312/egs.20031071
LibreCat
| DOI
2003 | Conference Paper | LibreCat-ID: 8382
Küster, J., & Stehr, J. (2003). 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).
LibreCat