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.
1686 Publications
2004 | Conference Paper | LibreCat-ID: 16803
openVisaar: Enriching Cooperative Visualization by Combining Open Technologies
F. Goetz, G. Domik, in: Y. Luo (Ed.), Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, Springer, 2004, pp. 38–46.
LibreCat
| DOI
F. Goetz, G. Domik, in: Y. Luo (Ed.), Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings, Springer, 2004, pp. 38–46.
2004 | Conference Paper | LibreCat-ID: 16804
An XML-based visual shading language for vertex and fragment shaders
F. Goetz, R. Borau, G. Domik, in: D. P. Brutzman, L. Chittaro, R. Puk (Eds.), Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, {ACM}, 2004, pp. 87–97.
LibreCat
| DOI
F. Goetz, R. Borau, G. Domik, in: D. P. Brutzman, L. Chittaro, R. Puk (Eds.), Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004, {ACM}, 2004, pp. 87–97.
2004 | Conference Paper | LibreCat-ID: 11932 | 
Adaptive Beamforming Combined with Particle Filtering for Acoustic Source Localization
E. Warsitz, R. Haeb-Umbach, S. Peschke, in: International Conference on Spoken Language Processing (ICSLP 2004), 2004.
LibreCat
| Download (ext.)
E. Warsitz, R. Haeb-Umbach, S. Peschke, in: International Conference on Spoken Language Processing (ICSLP 2004), 2004.
2004 | Journal Article | LibreCat-ID: 13722
Ground- and excited-state properties of DNA base molecules from plane-wave calculations using ultrasoft pseudopotentials
M. Preuss, W.G. Schmidt, K. Seino, J. Furthmüller, F. Bechstedt, Journal of Computational Chemistry 25 (2004) 112–122.
LibreCat
| DOI
M. Preuss, W.G. Schmidt, K. Seino, J. Furthmüller, F. Bechstedt, Journal of Computational Chemistry 25 (2004) 112–122.
2004 | Book Review | LibreCat-ID: 18487
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2004).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2004).
2004 | Book Review | LibreCat-ID: 18489
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2004).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (2004).
2004 | Conference Paper | LibreCat-ID: 29921 |
Advanced Hysteresis Control of Brushless DC Motors
J. Böcker, in: German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004.
LibreCat
| Download (ext.)
J. Böcker, in: German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen, 2004.
2004 | Book Chapter | LibreCat-ID: 33825
Specification and Formal Verification of Temporal Properties of Production Automation Systems
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
LibreCat
| DOI
S. Flake, W. Müller, U. Pape, J. Ruf, in: H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering, Springer-Verlag, Berlin, Heidelberg, 2004, pp. 206–226.
2004 | Book Chapter | LibreCat-ID: 33830
Refinement of Finite State Machines with Complementary Model Checking
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
LibreCat
A. Krupp, W. Müller, in: J. Mermet (Ed.), UML-B System Specification for Proven Electronic Design, Kluwer, Dordrecht, 2004, pp. 155–168.
2004 | Book Chapter | LibreCat-ID: 36082
„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit
K. Schlegel-Matthies, in: H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, Steiner-Verlag, Stuttgart, 2004, pp. 148–161.
LibreCat
K. Schlegel-Matthies, in: H.-J. Teuteberg (Ed.), Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert, Steiner-Verlag, Stuttgart, 2004, pp. 148–161.
2004 | Journal Article | LibreCat-ID: 22615
The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth
M.T. de los Arcos de Pedro, M.G. Garnier, J.W. Seo, P. Oelhafen, V. Thommen, D. Mathys, The Journal of Physical Chemistry B (2004) 7728–7734.
LibreCat
| DOI
M.T. de los Arcos de Pedro, M.G. Garnier, J.W. Seo, P. Oelhafen, V. Thommen, D. Mathys, The Journal of Physical Chemistry B (2004) 7728–7734.
2004 | Conference Paper | LibreCat-ID: 39053
Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat
| DOI
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
2004 | Conference Paper | LibreCat-ID: 39055
The Formal Simulation Semantics of SystemVerilog
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
LibreCat
M. Zambaldi, W. Ecker, T. Kruse, W. Müller, in: Proceedings of FDL’04, Lille, France, 2004.
2004 | Conference Paper | LibreCat-ID: 39061
Formal Refinement and Model Checking of An Echo Cancellation Unit
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
LibreCat
| DOI
A. Krupp, W. Müller, I. Oliver, in: Proceedings of DATE’04 Designers’ Forum, Paris, 2004.
2004 | Conference Paper | LibreCat-ID: 39069
Past- and Future-Oriented Time-Bound Temporal Properties with OCL
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of SEFM´04, IEEE, Beijing, China, 2004.
2004 | Conference Paper | LibreCat-ID: 39352
An ASM Definition of the Dynamic OCL 2.0 Semantics
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
LibreCat
| DOI
S. Flake, W. Müller, in: Proceedings of the UML 2004, Lisbon, Portugal, 2004.
2003 | Conference Paper | LibreCat-ID: 2421
Virtualizing Hardware with Multi-Context Reconfigurable Arrays
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.
LibreCat
| DOI
R. Enzler, C. Plessl, M. Platzner, in: Proc. Int. Conf. on Field Programmable Logic and Applications (FPL), Springer, 2003, pp. 151–160.
2003 | Conference Paper | LibreCat-ID: 3239
Checking Consistency in {UML} Diagramms: Classes and State Machines
H. Rasch, H. Wehrheim, 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, 2003, pp. 229--243.
LibreCat
| DOI
H. Rasch, H. Wehrheim, 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, 2003, pp. 229--243.
2003 | Book Chapter | LibreCat-ID: 27927
Bildung für Lebensführung – eine neue Aufgabe für die Schule?!
K. Schlegel-Matthies, in: B. Methfessel, K. Schlegel-Matthies (Eds.), Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, Baltmannsweiler , 2003, pp. 71–83.
LibreCat
K. Schlegel-Matthies, in: B. Methfessel, K. Schlegel-Matthies (Eds.), Fokus Haushalt. Beiträge zur Sozioökonomie des Haushalts, Baltmannsweiler , 2003, pp. 71–83.
2003 | Conference Paper | LibreCat-ID: 18947
A Petri Net Model for the Network Layer of a Mobile Ad Hoc Network Architecture
C. Rust, F. Stappert, T. Lukovszki, in: 7th World Multiconference on Systemics, Cybernetics and Informatics, 2003.
LibreCat
C. Rust, F. Stappert, T. Lukovszki, in: 7th World Multiconference on Systemics, Cybernetics and Informatics, 2003.