@phdthesis{30441,
  author       = {{Schulte, T.}},
  isbn         = {{978-3-18-336321-6}},
  title        = {{{Stromrichter- und Regelungskonzepte für Ultraschall-Wanderwellenmotoren}}},
  year         = {{2004}},
}

@inproceedings{13001,
  author       = {{Wuertenberger, Armin and S. Tautermann, Christofer and Hellebrand, Sybille}},
  booktitle    = {{IEEE International Test Conference (ITC'04)}},
  pages        = {{926--935}},
  publisher    = {{IEEE}},
  title        = {{{Data Compression for Multiple Scan Chains Using Dictionaries with Corrections}}},
  doi          = {{10.1109/test.2004.1387357}},
  year         = {{2004}},
}

@inproceedings{29921,
  abstract     = {{Brushless DC motor drives are typically employed in speed controlled applications. Torque control, particularly during regenerative mode, is not the standard domain of BLDC drives. However, it can be shown that the known BLDC control approach can be extended to control the torque in the regenerative mode even for low speed or at standstill. A hysteresis controller is proposed, which is specified by means of a state chart.}},
  author       = {{Böcker, Joachim}},
  booktitle    = {{German-Korean Symposium 2004 on Power Electronics and Electrical Drives, Aachen}},
  location     = {{Aachen, Germany}},
  title        = {{{Advanced Hysteresis Control of Brushless DC Motors}}},
  year         = {{2004}},
}

@inbook{33825,
  abstract     = {{This article describes our approach for the specification and verification of production automation systems with real-time properties. We focus on the graphical MFERT notation and RT-OCL (Real-Time Object Constraint Language) for the specification of state-oriented real-time properties. RT-OCL is an extension of the Object Constraint Language (OCL) that is part of the Unified Modeling Language (UML). We introduce the formal semantics of RT-OCL based on a formal model of UML Class and State Diagrams and provide a mapping to temporal logics. The applicability of our approach is demonstrated by the case study of a manufacturing system with automated guided vehicles.}},
  author       = {{Flake, Stephan and Müller, Wolfgang and Pape, Ulrich and Ruf, Jürgen}},
  booktitle    = {{Integration of Software Specification Techniques for Applications in Engineering}},
  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}},
  isbn         = {{978-3-540-27863-4}},
  keywords     = {{Model Check, Temporal Logic, Object Constraint Language, Abstract Syntax, Temporal Logic Formula}},
  pages        = {{206--226}},
  publisher    = {{Springer-Verlag}},
  title        = {{{Specification and Formal Verification of Temporal Properties of Production Automation Systems}}},
  doi          = {{10.1007/978-3-540-27863-4_13}},
  volume       = {{3147}},
  year         = {{2004}},
}

@inbook{33827,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang and Pawlak, Adam}},
  booktitle    = {{Workflow Handbook 2004}},
  editor       = {{Fischer, Layna}},
  isbn         = {{0970350961}},
  publisher    = {{Workflow Management Coalition (WfMC)}},
  title        = {{{Workflow Management Middleware for Secure Distance-Spanning Collaborative Engineering}}},
  year         = {{2004}},
}

@inbook{33830,
  author       = {{Krupp, Alexander and Müller, Wolfgang}},
  booktitle    = {{UML-B System Specification for Proven Electronic Design}},
  editor       = {{Mermet, J.}},
  isbn         = {{1-4020-2866-0}},
  pages        = {{155--168}},
  publisher    = {{Kluwer}},
  title        = {{{Refinement of Finite State Machines with Complementary Model Checking}}},
  year         = {{2004}},
}

@inbook{33829,
  author       = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}},
  booktitle    = {{Best of FDL'03}},
  editor       = {{Grimm, Ch.}},
  isbn         = {{978-1-4020-7991-7}},
  pages        = {{301--314}},
  publisher    = {{Kluwer}},
  title        = {{{Combining Formal Refinement and Model Checking for Analysis of Realtime Systems}}},
  year         = {{2004}},
}

@inbook{33832,
  author       = {{Krupp, Alexander and Müller, Wolfgang and Oliver, Ian}},
  booktitle    = {{UML-B System Specification for Proven Electronic Design}},
  editor       = {{Mermet, J.}},
  isbn         = {{1-4020-2866-0}},
  pages        = {{227--240}},
  publisher    = {{Kluwer}},
  title        = {{{The Echo Cancellation Unit Case Study}}},
  year         = {{2004}},
}

@misc{47645,
  author       = {{Dumrauf, Dominic}},
  title        = {{{Neue Schranken für die Coppersmith-Methode über den ganzen Zahlen}}},
  year         = {{2004}},
}

@misc{47642,
  author       = {{Herden, Tim}},
  title        = {{{Implementierung und Evaluierung eines Angriffs auf DSA}}},
  year         = {{2004}},
}

@misc{47644,
  author       = {{Gesemann, Sebastian}},
  title        = {{{Implementierung eines Verfahrens zur Berechnung optimaler längenbeschränkter Präfix-Codes}}},
  year         = {{2004}},
}

@misc{47643,
  author       = {{Gorski, Michael}},
  title        = {{{Implementierung und Evaluation einiger Algorithmen für Kryptosysteme auf elliptischen Kurven}}},
  year         = {{2004}},
}

@inbook{51469,
  author       = {{Hilgert, Joachim and Mayer, D.}},
  booktitle    = {{Complex Analysis and Dynamical Systems}},
  editor       = {{Agranowsky, M.}},
  title        = {{{The Dynamical Zeta Function and Transfer Operators for the Kac-Baker Model}}},
  volume       = {{364}},
  year         = {{2004}},
}

@unpublished{51548,
  author       = {{Hilgert, Joachim and Deitmar, A.}},
  title        = {{{The Lewis Correspondence for submodular groups}}},
  year         = {{2004}},
}

@book{53585,
  editor       = {{Müller, Wolfgang and Martin, Grant}},
  title        = {{{Proceedings of the 1st International DAC Workshop of UML for SoC Design}}},
  year         = {{2004}},
}

@misc{53589,
  author       = {{Dangberg, Andreas and Müller, Wolfgang}},
  title        = {{{Control method for disposing graphical elements}}},
  year         = {{2004}},
}

@article{54336,
  author       = {{Hesse, Kerstin and H. Sloan, Ian}},
  journal      = {{Journal of Computational Technologies}},
  pages        = {{4--12}},
  title        = {{{High-order numerical integration on the sphere and extremal point systems}}},
  volume       = {{9}},
  year         = {{2004}},
}

@inproceedings{39053,
  abstract     = {{Portable devices come with different limitations in user interaction like limited display size, small keyboard, and different sorts of input and output capabilities. With the advance of speech recognition and speech synthesis technologies, their complementary use becomes attractive for mobile devices in order to implement real multimodal user interaction. However, current systems and formats do not sufficiently integrate advanced multimodal interactions. We introduce an advanced generic multimodal interaction and rendering system (MIRS) dedicated for mobile devices. MIRS incorporates efficient processing of XML specification languages for limited, mobile devices and comes with the XML-based dialog and interface specification language (DISL). DISL can be considered as an UIML subset, which is enhanced by the means of state-oriented dialog specifications. The dialog specification is based on ODSN (object oriented dialog specification notation), which has been introduced to define user interface control by means of interaction states with transition rules.}},
  author       = {{Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}},
  booktitle    = {{Proceedings of HICCS-37}},
  isbn         = {{0-7695-2056-1}},
  keywords     = {{User interfaces, Speech recognition, Streaming media, Specification languages, Keyboards, Speech synthesis, Rendering (computer graphics), Ambient intelligence, Humans, Displays}},
  location     = {{Waikoloa, HI, USA}},
  title        = {{{Interactive Multimodal User Interfaces for Mobile Devices}}},
  doi          = {{10.1109/HICSS.2004.1265674}},
  year         = {{2004}},
}

@inproceedings{39055,
  abstract     = {{We present a rigorous but transparent semantics definition of SystemVerilog that covers processes with blocking and non-blocking statements as well as their interaction with the simulation scheduler including the management of new SystemVerilog regions. We present our definition in form of distributed Abstract State Machines (ASMs) rules reflecting the view given in the SystemVerilog Language Reference Manual [1]. Our formal semantics is a concise, unambiguous, high-level specification for SystemVerilog-based implementations and for investigation of interoperabilities of SystemVerilog with SpecC, SystemC, and VHDL.}},
  author       = {{Zambaldi, Martin and Ecker, Wolfgang and Kruse, Thilo and Müller, Wolfgang}},
  booktitle    = {{Proceedings of FDL’04}},
  location     = {{Lille, France}},
  title        = {{{The Formal Simulation Semantics of SystemVerilog}}},
  year         = {{2004}},
}

@inproceedings{39060,
  author       = {{Schattkowsky, Tim and Müller, Wolfgang}},
  booktitle    = {{Proceedings of DATE’04}},
  title        = {{{Model-Based Specification and Execution of Embedded Real-Time Systems}}},
  year         = {{2004}},
}