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.

9315 Publications


2004 | Conference Paper | LibreCat-ID: 39060
Model-Based Specification and Execution of Embedded Real-Time Systems
T. Schattkowsky, W. Müller, in: Proceedings of DATE’04, Paris, 2004.
LibreCat
 

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
 

2004 | Conference Paper | LibreCat-ID: 39063
A Formal Model of a Framework for Simulation-Based Animation
W. Müller, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39071
Peer-To-Peer Technology for Interconnecting Web Services in Heterogeneous Networks
T. Schattkowsky, C. Loeser, W. Müller, in: Proceedings of AINA2004, IEEE, Fukuoka, Japan , 2004.
LibreCat | DOI
 

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
 

2004 | Conference Paper | LibreCat-ID: 39065
Lösungselementbasiertes Virtual Prototyping von Selbstoptimierenden Mechatronischen Systemen in Virtual Reality
J. Gausemeier, W. Müller, J. Bauch, W. Radkowski, T. Shen, V. Paelke, in: Proceedings of the Simulation and Visualisation 2004, Magdeburg, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39068
Model-Based Design of Embedded Systems
T. Schattkowsky, W. Müller, in: Proceedings of ISORC’04, WIen, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39078
Virtual Prototyping Of Self-Optimizing Mechatronic Systems
J. Gausemeier, W. Müller, V. Paelke, J. Bauch, Q. Shen, R. Radkowski, in: Proceedings of the Design 2004, Dubrovnik, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39075
RTMC - An Adaptive Fraemwork for Remote Tool Monitoring and Control
C. Loeser, R. Schäfer, W. Müller, M. Borowski, in: Proceedings of SCI’04, Orlando, USA, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39082
Multimodal Dialog Description for Mobile Devices
S. Bleul, W. Müller, R. Schäfer, in: Proceedings of AVI 2004, Gallipoli, Italy, 2004.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 39350
A Novel Dialog Model for the Design of Multimodal User Interfaces
R. Schäfer, S. Bleul, W. Müller, in: Proceedings of EHCI-DSVIS 2005, Tremsbüttel, Hamburg, 2004.
LibreCat
 

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
 

2004 | Journal Article | LibreCat-ID: 41290
Confined phonons in glasses - A study by nuclear inelastic absorption and Raman scattering
T. Asthalter, M. Bauer, U. van Bürck, I. Sergueev, H. Franz, A.I. Chumakov, The European Physical Journal E 12 (2004) 9–12.
LibreCat | DOI
 

2004 | Journal Article | LibreCat-ID: 43649
13. Sonntag nach Trinitatis. 1. Joh 4,7-12: Die Schuld der Liebe
H. Schroeter-Wittke, I. Kirsner, Predigtstudien II/2 (2004) 143–151.
LibreCat
 

2004 | Conference Paper | LibreCat-ID: 44122
Fano resonances in metallic photonic crystals
T. Meier, H. Giessen, S. Linden, A. Christ, J. Kuhl, D. Nau, P. Thomas, S.W. Koch, in: Fano Resonances in Metallic Photonic Crystals, Optical Society of America, 2004.
LibreCat | DOI | Download (ext.)
 

2004 | Conference Paper | LibreCat-ID: 44123
Onset of Dynamical Localization in a Semiconductor Superlattice
T. Meier, M. Koch, V. Ciulin, S.G. Carter, M.S. Sherwin, S.W. Koch, J. Zide, D. Driscoll, A.C. Gossard, in: International Quantum Electronics Conference, 2004.
LibreCat | DOI | Download (ext.)
 

2004 | Book Chapter | LibreCat-ID: 44610
Digitale Animationen in dokumentarischen Fernsehformaten
R. Adelmann, in: J. Schröter, A. Böhnke (Eds.), Analog/Digital – Opposition oder Kontinuum. Zur Theorie und Geschichte einer Unterscheidung, Transcript, Bielefeld, 2004, pp. 387–405.
LibreCat
 

2004 | Book Chapter | LibreCat-ID: 44609
Computeranimation als televisuelle Evidenzproduktion
R. Adelmann, in: R.F. Nohr (Ed.), Evidenz … das sieht man doch!, Lit Verlag, Münster, 2004, pp. 43–56.
LibreCat
 

2004 | Bachelorsthesis | LibreCat-ID: 47645
Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen
D. Dumrauf, Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen, 2004.
LibreCat
 

2004 | Bachelorsthesis | LibreCat-ID: 47642
Implementierung und Evaluierung eines Angriffs auf DSA
T. Herden, Implementierung und Evaluierung eines Angriffs auf DSA, 2004.
LibreCat
 

Filters and Search Terms

isbn%3D978-1-4503-0743-7

Search

Filter Publications

Display / Sort

Export / Embed