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.
1682 Publications
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’, In: History and Philosophy of Logic 22 (2001), 57–73.” Zentralblatt für Mathematik und ihre Grenzgebiete , Zbl. 1030.01021, 2004.
LibreCat
| Files available
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?’, In: History and Philosophy of Logic 22 (2001), 13-28.” Zentralblatt für Mathematik und ihre Grenzgebiete, Zbl. 1030.03002, 2004.
LibreCat
| Files available
2004 | Conference Paper | LibreCat-ID: 29921 | 
Böcker, Joachim. “Advanced Hysteresis Control of Brushless DC Motors.” German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004.
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
Flake, Stephan, et al. “Specification and Formal Verification of Temporal Properties of Production Automation Systems.” Integration of Software Specification Techniques for Applications in Engineering, edited by Hartmut Ehrig et al., vol. 3147, Springer-Verlag, 2004, pp. 206–26, doi:10.1007/978-3-540-27863-4_13.
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33830
Krupp, Alexander, and Wolfgang Müller. “Refinement of Finite State Machines with Complementary Model Checking.” UML-B System Specification for Proven Electronic Design, edited by J. Mermet, Kluwer, 2004, pp. 155–68.
LibreCat
2004 | Book Chapter | LibreCat-ID: 36082
Schlegel-Matthies, Kirsten. “„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit.” Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, edited by Hans-Jürgen Teuteberg, Steiner-Verlag, 2004, pp. 148–161.
LibreCat
2004 | Journal Article | LibreCat-ID: 22615
de los Arcos de Pedro, Maria Teresa, et al. “The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth.” The Journal of Physical Chemistry B, 2004, pp. 7728–34, doi:10.1021/jp049495v.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” Proceedings of HICCS-37, 2004, doi:10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
Zambaldi, Martin, et al. “The Formal Simulation Semantics of SystemVerilog.” Proceedings of FDL’04, 2004.
LibreCat
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
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