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 | Conference Paper | LibreCat-ID: 7931
@inproceedings{Schattkowsky_2004, title={Efficient Execution of UML State Machines on a Virtual Machine}, booktitle={Proceedings of the conference on Systemics, Cybernetics and Informatics (SCI 2004), Orlando, FL (USA)}, author={Schattkowsky, Tim}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 853
@inproceedings{Typpö_Eisl_Höller_Agüero_Karl_2004, title={Research Challenges in Mobility and Moving Networks: An Ambient Networks View}, DOI={10.1007/0-387-24043-8_15}, booktitle={Broadband Satellite Comunication Systems and the Challenges of Mobility - IFIP TC6 Workshops on Broadband Satellite Communication Systems and Challenges of Mobility, World Computer Congress, August 22-27, 2004, Toulouse, France}, author={Typpö, Ville and Eisl, Jochen and Höller, Jan and Agüero, Ramon and Karl, Holger}, year={2004}, pages={145--155} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 16803
@inproceedings{Goetz_Domik_2004, series={Lecture Notes in Computer Science}, title={openVisaar: Enriching Cooperative Visualization by Combining Open Technologies}, volume={3190}, DOI={10.1007/978-3-540-30103-5_5}, booktitle={Cooperative Design, Visualization, and Engineering, First International Conference, (CDVE) 2004, Palma de Mallorca, Spain, September 19-22, 2004, Proceedings}, publisher={Springer}, author={Goetz, Frank and Domik, Gitta}, editor={Luo, YuhuaEditor}, year={2004}, pages={38–46}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 16804
@inproceedings{Goetz_Borau_Domik_2004, title={An XML-based visual shading language for vertex and fragment shaders}, DOI={10.1145/985040.985054}, booktitle={Proceeding of the Ninth International Conference on 3D Web Technology, Web3D 2004, Monterey, California, USA, April 5-8, 2004}, publisher={{ACM}}, author={Goetz, Frank and Borau, Ralf and Domik, Gitta}, editor={P. Brutzman, Donald and Chittaro, Luca and Puk, RichardEditors}, year={2004}, pages={87–97} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 11932 | 
@inproceedings{Warsitz_Haeb-Umbach_Peschke_2004, title={Adaptive Beamforming Combined with Particle Filtering for Acoustic Source Localization}, booktitle={International Conference on Spoken Language Processing (ICSLP 2004)}, author={Warsitz, Ernst and Haeb-Umbach, Reinhold and Peschke, Sven}, year={2004} }
LibreCat
| Download (ext.)
2004 | Journal Article | LibreCat-ID: 13722
@article{Preuss_Schmidt_Seino_Furthmüller_Bechstedt_2004, title={Ground- and excited-state properties of DNA base molecules from plane-wave calculations using ultrasoft pseudopotentials}, volume={25}, DOI={10.1002/jcc.10372}, number={1}, journal={Journal of Computational Chemistry}, author={Preuss, M. and Schmidt, Wolf Gero and Seino, K. and Furthmüller, J. and Bechstedt, F.}, year={2004}, pages={112–122} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 29921 |
@inproceedings{Böcker_2004, title={Advanced Hysteresis Control of Brushless DC Motors}, booktitle={German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen}, author={Böcker, Joachim}, year={2004} }
LibreCat
| Download (ext.)
2004 | Book Chapter | LibreCat-ID: 33825
@inbook{Flake_Müller_Pape_Ruf_2004, place={Berlin, Heidelberg}, series={Lecture Notes in Computer Science}, title={Specification and Formal Verification of Temporal Properties of Production Automation Systems}, volume={3147}, DOI={10.1007/978-3-540-27863-4_13}, booktitle={Integration of Software Specification Techniques for Applications in Engineering}, publisher={Springer-Verlag}, author={Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}, editor={Ehrig, Hartmut and Damm, Werner and Desel, Jörg and Große-Rhode, Martin and Reif, Wolfgang and Schnieder, Eckehard and Westkämper, Engelbert}, year={2004}, pages={206–226}, collection={Lecture Notes in Computer Science} }
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33830
@inbook{Krupp_Müller_2004, place={Dordrecht}, title={Refinement of Finite State Machines with Complementary Model Checking}, booktitle={UML-B System Specification for Proven Electronic Design}, publisher={Kluwer}, author={Krupp, Alexander and Müller, Wolfgang}, editor={Mermet, J.}, year={2004}, pages={155–168} }
LibreCat
2004 | Book Chapter | LibreCat-ID: 36082
@inbook{Schlegel-Matthies_2004, place={Stuttgart}, title={„Liebe geht durch den Magen“: Mahlzeit und Familienglück im Strom der Zeit}, booktitle={Die Revolution am Esstisch. Neue Studien zur Nahrungskultur im 19./20. Jahrhundert}, publisher={Steiner-Verlag}, author={Schlegel-Matthies, Kirsten}, editor={Teuteberg, Hans-Jürgen}, year={2004}, pages={148–161} }
LibreCat
2004 | Book Review | LibreCat-ID: 18487 |
@article{Peckhaus_2004, title={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}, journal={zbMATH Open, Zbl. 1030.01021}, author={Peckhaus, Volker}, year={2004} }
LibreCat
| Download (ext.)
2004 | Book Review | LibreCat-ID: 18489 |
@article{Peckhaus_2004, title={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}, journal={zbMATH Open, Zbl. 1030.03002}, author={Peckhaus, Volker}, year={2004} }
LibreCat
| Download (ext.)
2004 | Conference Paper | LibreCat-ID: 54143
@inproceedings{Dressler_Krueger_2004, place={Bielefeld, Germany}, title={Cell biology as a key to computer networking}, booktitle={German Conference on Bioinformatics 2004 (GCB 2004), Poster Session}, author={Dressler, Falko and Krueger, Bettina}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 54940
@inproceedings{Krueger_Dressler_2004, place={Stockholm, Sweden}, title={Molecular Processes as a Basis for Autonomous Networking}, booktitle={International IPSI Stockholm Conference: Symposium on Challenges in the Internet and Interdisciplinary Research (IPSI 2004)}, author={Krueger, Bettina and Dressler, Falko}, year={2004} }
LibreCat
2004 | Journal Article | LibreCat-ID: 22615
@article{de los Arcos de Pedro_Garnier_Seo_Oelhafen_Thommen_Mathys_2004, title={The Influence of Catalyst Chemical State and Morphology on Carbon Nanotube Growth}, DOI={10.1021/jp049495v}, journal={The Journal of Physical Chemistry B}, author={de los Arcos de Pedro, Maria Teresa and Garnier, Michael Gunnar and Seo, Jin Won and Oelhafen, Peter and Thommen, Verena and Mathys, Daniel}, year={2004}, pages={7728–7734} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39053
@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive Multimodal User Interfaces for Mobile Devices}, DOI={10.1109/HICSS.2004.1265674}, booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39055
@inproceedings{Zambaldi_Ecker_Kruse_Müller_2004, place={Lille, France}, title={The Formal Simulation Semantics of SystemVerilog}, booktitle={Proceedings of FDL’04}, author={Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}, year={2004} }
LibreCat
2004 | Conference Paper | LibreCat-ID: 39061
@inproceedings{Krupp_Müller_Oliver_2004, place={Paris}, title={Formal Refinement and Model Checking of An Echo Cancellation Unit}, DOI={10.1109/DATE.2004.1269214}, booktitle={Proceedings of DATE’04 Designers’ Forum}, author={Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39069
@inproceedings{Flake_Müller_2004, place={Beijing, China}, title={Past- and Future-Oriented Time-Bound Temporal Properties with OCL}, DOI={10.1109/SEFM.2004.1347516}, booktitle={Proceedings of SEFM´04}, publisher={IEEE}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39352
@inproceedings{Flake_Müller_2004, place={Lisbon, Portugal}, title={An ASM Definition of the Dynamic OCL 2.0 Semantics}, DOI={10.1007/978-3-540-30187-5_17}, booktitle={Proceedings of the UML 2004}, author={Flake, Stephan and Müller, Wolfgang}, year={2004} }
LibreCat
| DOI