Alizadeh, Bijan, Payman Behnam, and Somayeh Sadeghi-Kohan. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.”https://doi.org/10.1109/tc.2014.2329687__IEEE Transactions on Computers, 2014, 1–1.https://doi.org/10.1109/tc.2014.2329687 .

Vidor, F. F., G. Wirth, F. Assion, K. Wolff, and Ulrich Hilleringmann. “Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor.”https://doi.org/10.1109/tnano.2012.2236891__IEEE Transactions on Nanotechnology 12, no. 3 (2013): 296–303.https://doi.org/10.1109/tnano.2012.2236891 .

Janiesch, Christian, Martin Matzner, and Oliver Müller. “Beyond Process Monitoring: A Proof-of-Concept of Event-Driven Business Activity Management.”https://doi.org/10.1108/14637151211253765__Business Process Management Journal, no. 4 (2012): 625--643.https://doi.org/10.1108/14637151211253765 .

Narayan, Vikram, Katrin Solveig Lohan, Marko Tscherepanow, Katharina Rohlfing, and Britta Wrede. “Can State-of-the-Art Saliency Systems Model Infant Gazing Behavior in Tutoring Situations?”https://doi.org/10.3389/conf.fncom.2011.52.00035__Frontiers in Computational Neuroscience 5, no. 35 (2011).https://doi.org/10.3389/conf.fncom.2011.52.00035 .

Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.”https://doi.org/10.1109/DATE.2010.5457125__In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010.https://doi.org/10.1109/DATE.2010.5457125 .

Kröger, Claus, Joachim Böcker, and Konstantin Neiß. “Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik.”https://doi.org/10.1524/auto.2010.9082__at - Automatisierungstechnik 58, no. 10 (2010): 542–45.https://doi.org/10.1524/auto.2010.9082 .

Kirschmer, Markus, and John Voight. “Algorithmic Enumeration of Ideal Classes for Quaternion Orders.”https://doi.org/10.1137/080734467__SIAM Journal on Computing 39, no. 5 (2010): 1714–47.https://doi.org/10.1137/080734467 .

Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai, Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.”https://doi.org/10.1109/DEVLRN.2009.5175516__In Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 1–6. IEEE, 2009.https://doi.org/10.1109/DEVLRN.2009.5175516 .

Kaufmann, Paul, Christian Plessl, and Marco Platzner. “EvoCaches: Application-Specific Adaptation of Cache Mapping.” In Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), 11–18. Los Alamitos, CA, USA: IEEE Computer Society, 2009.

Lohse, Manja, Katharina Rohlfing, Britta Wrede, and Gerhard Sagerer. “‘Try Something Else!’ — When Users Change Their Discursive Behavior in Human-Robot Interaction,”https://doi.org/10.1109/ROBOT.2008.4543743__3481–86, 2008.https://doi.org/10.1109/ROBOT.2008.4543743 .

Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.”https://doi.org/10.1109/ISoLA.2006.37__In Proc. of ISOLA 06. Paphos, Cyprus, 2006.https://doi.org/10.1109/ISoLA.2006.37 .

Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.”https://doi.org/10.1109/VLHCC.2005.64__In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005.https://doi.org/10.1109/VLHCC.2005.64 .

Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure Profile Management in Smart Home Networks.”https://doi.org/10.1109/DEXA.2005.171__In Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark : IEEE, 2005.https://doi.org/10.1109/DEXA.2005.171 .

Amann, Notker, Joachim Böcker, and Franz Prenner. “Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle.”https://doi.org/10.1109/tmech.2004.839036__IEEE/ASME Transactions on Mechatronics 9, no. 4 (2004): 697–700.https://doi.org/10.1109/tmech.2004.839036 .

Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.”https://doi.org/10.1109/HICSS.2004.1265674__In Proceedings of HICCS-37. Waikoloa, HI, USA, 2004.https://doi.org/10.1109/HICSS.2004.1265674 .

Blömer, J. “Denesting by Bounded Degree Radicals.”https://doi.org/10.1007/s004530010028__Algorithmica 28, no. 1 (2002): 2–15.https://doi.org/10.1007/s004530010028 .

Mahnken, Rolf. “Strength Difference in Compression and Tension and Pressure Dependence of Yielding in Elasto-Plasticity.”https://doi.org/10.1016/s0045-7825(00)00364-9__Computer Methods in Applied Mechanics and Engineering 190, no. 39 (2002): 5057–80.https://doi.org/10.1016/s0045-7825(00)00364-9 .

Mahnken, Rolf, and M. Kohlmeier. “Finite Element Simulation for Rock Salt with Dilatancy Boundary Coupled to Fluid Permeation.”https://doi.org/10.1016/s0045-7825(00)00317-0__Computer Methods in Applied Mechanics and Engineering 190, no. 32–33 (2002): 4259–78.https://doi.org/10.1016/s0045-7825(00)00317-0 .

Mahnken, Rolf, D. Tikhomirov, and E. Stein. “Implicit Integration Scheme and Its Consistent Linearization for an Elastoplastic-Damage Model with Application to Concrete.”https://doi.org/10.1016/s0045-7949(99)00089-9__Computers &;amp; Structures 75, no. 2 (2002): 135–43.https://doi.org/10.1016/s0045-7949(99)00089-9 .

Mahnken, Rolf. “A Comprehensive Study of a Multiplicative Elastoplasticity Model Coupled to Damage Including Parameter Identification.”https://doi.org/10.1016/s0045-7949(98)00296-x__Computers &;amp; Structures 74, no. 2 (2002): 179–200.https://doi.org/10.1016/s0045-7949(98)00296-x .