Alizadeh, B., Behnam, P., &; Sadeghi-Kohan, S. (2014). A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. IEEE Transactions on Computers, 1–1.https://doi.org/10.1109/tc.2014.2329687 
LibreCat: /record/46266
DOI: 10.1109/tc.2014.2329687

Vidor, F. F., Wirth, G., Assion, F., Wolff, K., &; Hilleringmann, U. (2013). Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor. IEEE Transactions on Nanotechnology, 12(3), 296–303.https://doi.org/10.1109/tnano.2012.2236891 
LibreCat: /record/39504
DOI: 10.1109/tnano.2012.2236891

Janiesch, C., Matzner, M., &; Müller, O. (2012). Beyond process monitoring: A proof-of-concept of event-driven business activity management. Business Process Management Journal, (4), 625--643.https://doi.org/10.1108/14637151211253765 
LibreCat: /record/4706
DOI: 10.1108/14637151211253765

Narayan, V., Lohan, K. S., Tscherepanow, M., Rohlfing, K., &; Wrede, B. (2011). Can state-of-the-art saliency systems model infant gazing behavior in tutoring situations? Frontiers in Computational Neuroscience, 5(35).https://doi.org/10.3389/conf.fncom.2011.52.00035 
LibreCat: /record/17236
DOI: 10.3389/conf.fncom.2011.52.00035

Klobedanz, K., Kuznik, C., Thuy, A., &; Müller, W. (2010). Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. Proceedings of DATE’10, Dresden. 2010 Design, Automation &; Test in Europe Conference &; Exhibition (DATE 2010), Dresden.https://doi.org/10.1109/DATE.2010.5457125 
LibreCat: /record/37011
DOI: 10.1109/DATE.2010.5457125

Kröger, C., Böcker, J., &; Neiß, K. (2010). Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik. at - Automatisierungstechnik, 58(10), 542–545.https://doi.org/10.1524/auto.2010.9082 
LibreCat: /record/43503
DOI: 10.1524/auto.2010.9082

Kirschmer, M., &; Voight, J. (2010). Algorithmic Enumeration of Ideal Classes for Quaternion Orders. SIAM Journal on Computing, 39(5), 1714–1747.https://doi.org/10.1137/080734467 
LibreCat: /record/42803
DOI: 10.1137/080734467

Vollmer, A.-L., Lohan, K. S., Fischer, K., Nagai, Y., Pitsch, K., Fritsch, J., Rohlfing, K., &; Wrede, B. (2009). People modify their tutoring behavior in robot-directed interaction for action learning. Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, 1–6.https://doi.org/10.1109/DEVLRN.2009.5175516 
LibreCat: /record/17272
DOI: 10.1109/DEVLRN.2009.5175516

Kaufmann, P., Plessl, C., &; Platzner, M. (2009). EvoCaches: Application-specific Adaptation of Cache Mapping. Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), 11–18.
LibreCat: /record/2262

Lohse, M., Rohlfing, K., Wrede, B., &; Sagerer, G. (2008). “Try something else!”https://doi.org/10.1109/ROBOT.2008.4543743__— When users change their discursive behavior in human-robot interaction. 3481–3486.https://doi.org/10.1109/ROBOT.2008.4543743 
LibreCat: /record/17278
DOI: 10.1109/ROBOT.2008.4543743

Großmann, J., &; Müller, W. (2006). A Formal Behavioral Semantics for TestML. Proc. of ISOLA 06.https://doi.org/10.1109/ISoLA.2006.37 
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

Schattkowsky, T., &; Müller, W. (2005). Transformation of UML State Machines for Direct Execution. Proceedings of VL/HCC 05.https://doi.org/10.1109/VLHCC.2005.64 
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

Ziegler, M., Müller, W., Schäfer, R., &; Loeser, C. (2005). Secure Profile Management in Smart Home Networks. Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark .https://doi.org/10.1109/DEXA.2005.171 
LibreCat: /record/39050
DOI: 10.1109/DEXA.2005.171

Amann, N., Böcker, J., &; Prenner, F. (2004). Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle. IEEE/ASME Transactions on Mechatronics, 9(4), 697–700.https://doi.org/10.1109/tmech.2004.839036 
LibreCat: /record/29924
DOI: 10.1109/tmech.2004.839036

Müller, W., Schäfer, R., &; Bleul, S. (2004). Interactive Multimodal User Interfaces for Mobile Devices. Proceedings of HICCS-37. 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA.https://doi.org/10.1109/HICSS.2004.1265674 
LibreCat: /record/39053
DOI: 10.1109/HICSS.2004.1265674

Blömer, J. (2002). Denesting by Bounded Degree Radicals. Algorithmica, 28(1), 2–15.https://doi.org/10.1007/s004530010028 
LibreCat: /record/35857
DOI: 10.1007/s004530010028

Mahnken, R. (2002). Strength difference in compression and tension and pressure dependence of yielding in elasto-plasticity. Computer Methods in Applied Mechanics and Engineering, 190(39), 5057–5080.https://doi.org/10.1016/s0045-7825(00)00364-9 
LibreCat: /record/45307
DOI: 10.1016/s0045-7825(00)00364-9

Mahnken, R., &; Kohlmeier, M. (2002). Finite element simulation for rock salt with dilatancy boundary coupled to fluid permeation. Computer Methods in Applied Mechanics and Engineering, 190(32–33), 4259–4278.https://doi.org/10.1016/s0045-7825(00)00317-0 
LibreCat: /record/45412
DOI: 10.1016/s0045-7825(00)00317-0

Mahnken, R., Tikhomirov, D., &; Stein, E. (2002). Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete. Computers &;amp; Structures, 75(2), 135–143.https://doi.org/10.1016/s0045-7949(99)00089-9 
LibreCat: /record/45418
DOI: 10.1016/s0045-7949(99)00089-9

Mahnken, R. (2002). A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification. Computers &;amp; Structures, 74(2), 179–200.https://doi.org/10.1016/s0045-7949(98)00296-x 
LibreCat: /record/45422
DOI: 10.1016/s0045-7949(98)00296-x