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.
282 Publications
2004 | Patent | LibreCat-ID: 53589
Dangberg, Andreas, and Wolfgang Müller. Control Method for Disposing Graphical Elements. 2004.
LibreCat
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: 39060
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Specification and Execution of Embedded Real-Time Systems.” Proceedings of DATE’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: 39063
Müller, Wolfgang, and Volker Paelke. “A Formal Model of a Framework for Simulation-Based Animation.” Proceedings of the Simulation and Visualisation 2004, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39071
Schattkowsky, Tim, et al. “Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks.” Proceedings of AINA2004, IEEE, 2004, doi:10.1109/AINA.2004.1283977.
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: 39065
Gausemeier, Jürgen, et al. “Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality.” Proceedings of the Simulation and Visualisation 2004, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39068
Schattkowsky, Tim, and Wolfgang Müller. “Model-Based Design of Embedded Systems.” Proceedings of ISORC’04, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39078
Gausemeier, Jürgen, et al. “Virtual Prototyping Of Self-Optimizing Mechatronic Systems.” Proceedings of the Design 2004, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39075
Loeser, Chris, et al. “RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control.” Proceedings of SCI’04, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39082
Bleul, Steffen, et al. “Multimodal Dialog Description for Mobile Devices.” Proceedings of AVI 2004, 2004.
LibreCat
2004 | Conference Paper | LibreCat-ID: 39350
Schäfer, Robbie, et al. “A Novel Dialog Model for the Design of Multimodal User Interfaces.” Proceedings of EHCI-DSVIS 2005, 2004.
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
2003 | Conference Paper | LibreCat-ID: 39357
Kostienko, Tomasz, et al. “An Advanced Infrastructure for Collaborative Engineering in Electronic Design Automation.” Proceedings of CE 2003, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39355
Loeser, Chris, et al. “Peer-to-Peer for Virtual Home Environments.” Proceedings of HICCS-36, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39354
Eikerling, Heinz-Josef, et al. “Tool Integration and Management in Heterogeneous Computer Networks.” Proceedings of DATE’03, 2003.
LibreCat
2003 | Conference Paper | LibreCat-ID: 39365
Schäfer, Robbie, and Wolfgang Müller. “Adaptive Profiles for Multi-Modal Interaction in Intelligent Frameworks.” Proceedings of the Joint Workshop IJCAI Workshop on Artificial Intelligence, Information Access, and Mobile Computing, 2003.
LibreCat