@articleAlizadeh_Behnam_Sadeghi-Kohan_2014, title=A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs, DOI=10.1109/tc.2014.2329687, journal=IEEE Transactions on Computers, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh, year=2014, pages=1–1 
LibreCat: /record/46266
DOI: 10.1109/tc.2014.2329687

@articleVidor_Wirth_Assion_Wolff_Hilleringmann_2013, title=Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor, volume=12, DOI=10.1109/tnano.2012.2236891, number=3, journal=IEEE Transactions on Nanotechnology, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Vidor, F. F. and Wirth, G. and Assion, F. and Wolff, K. and Hilleringmann, Ulrich, year=2013, pages=296–303 
LibreCat: /record/39504
DOI: 10.1109/tnano.2012.2236891

@articleJaniesch_Matzner_Müller_2012, title=Beyond process monitoring: A proof-of-concept of event-driven business activity management, DOI=10.1108/14637151211253765, number=4, journal=Business Process Management Journal, author=Janiesch, Christian and Matzner, Martin and Müller, Oliver, year=2012, pages=625--643 
LibreCat: /record/4706
DOI: 10.1108/14637151211253765

@articleNarayan_Lohan_Tscherepanow_Rohlfing_Wrede_2011, title=Can state-of-the-art saliency systems model infant gazing behavior in tutoring situations?, volume=5, DOI=10.3389/conf.fncom.2011.52.00035, number=35, journal=Frontiers in Computational Neuroscience, publisher=Frontiers Media SA, author=Narayan, Vikram and Lohan, Katrin Solveig and Tscherepanow, Marko and Rohlfing, Katharina and Wrede, Britta, year=2011 
LibreCat: /record/17236
DOI: 10.3389/conf.fncom.2011.52.00035

@inproceedingsKlobedanz_Kuznik_Thuy_Müller_2010, place=Dresden, title=Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study, DOI=10.1109/DATE.2010.5457125, booktitle=Proceedings of DATE’10, Dresden, publisher=IEEE, author=Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang, year=2010 
LibreCat: /record/37011
DOI: 10.1109/DATE.2010.5457125

@articleKröger_Böcker_Neiß_2010, title=Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik, volume=58, DOI=10.1524/auto.2010.9082, number=10, journal=at - Automatisierungstechnik, publisher=Walter de Gruyter GmbH, author=Kröger, Claus and Böcker, Joachim and Neiß, Konstantin, year=2010, pages=542–545 
LibreCat: /record/43503
DOI: 10.1524/auto.2010.9082

@articleKirschmer_Voight_2010, title=Algorithmic Enumeration of Ideal Classes for Quaternion Orders, volume=39, DOI=10.1137/080734467, number=5, journal=SIAM Journal on Computing, publisher=Society for Industrial &; Applied Mathematics (SIAM), author=Kirschmer, Markus and Voight, John, year=2010, pages=1714–1747 
LibreCat: /record/42803
DOI: 10.1137/080734467

@inproceedingsVollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009, title=People modify their tutoring behavior in robot-directed interaction for action learning, DOI=10.1109/DEVLRN.2009.5175516, booktitle=Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, publisher=IEEE, author=Vollmer, Anna-Lisa and Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta, year=2009, pages=1–6 
LibreCat: /record/17272
DOI: 10.1109/DEVLRN.2009.5175516

@inproceedingsKaufmann_Plessl_Platzner_2009, place=Los Alamitos, CA, USA, title=EvoCaches: Application-specific Adaptation of Cache Mapping, booktitle=Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), publisher=IEEE Computer Society, author=Kaufmann, Paul and Plessl, Christian and Platzner, Marco, year=2009, pages=11–18 
LibreCat: /record/2262

@inproceedingsLohse_Rohlfing_Wrede_Sagerer_2008, title=“Try something else!”10.1109/ROBOT.2008.4543743__— When users change their discursive behavior in human-robot interaction, DOI=10.1109/ROBOT.2008.4543743, author=Lohse, Manja and Rohlfing, Katharina and Wrede, Britta and Sagerer, Gerhard, year=2008, pages=3481–3486 
LibreCat: /record/17278
DOI: 10.1109/ROBOT.2008.4543743

@inproceedingsGroßmann_Müller_2006, place=Paphos, Cyprus, title=A Formal Behavioral Semantics for TestML, DOI=10.1109/ISoLA.2006.37, booktitle=Proc. of ISOLA 06, author=Großmann, Jürgen and Müller, Wolfgang, year=2006 
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

@inproceedingsSchattkowsky_Müller_2005, place=Dallas, TX, USA, title=Transformation of UML State Machines for Direct Execution, DOI=10.1109/VLHCC.2005.64, booktitle=Proceedings of VL/HCC 05, author=Schattkowsky, Tim and Müller, Wolfgang, year=2005 
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

@inproceedingsZiegler_Müller_Schäfer_Loeser_2005, place=Copenhagen, Denmark , title=Secure Profile Management in Smart Home Networks, DOI=10.1109/DEXA.2005.171, booktitle=Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), publisher=IEEE, author=Ziegler, Max and Müller, Wolfgang and Schäfer, Robbie and Loeser, Chris, year=2005 
LibreCat: /record/39050
DOI: 10.1109/DEXA.2005.171

@articleAmann_Böcker_Prenner_2004, title=Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle, volume=9, DOI=10.1109/tmech.2004.839036, number=4, journal=IEEE/ASME Transactions on Mechatronics, publisher=Institute of Electrical and Electronics Engineers (IEEE), author=Amann, Notker and Böcker, Joachim and Prenner, Franz, year=2004, pages=697–700 
LibreCat: /record/29924
DOI: 10.1109/tmech.2004.839036

@inproceedingsMüller_Schäfer_Bleul_2004, place=Waikoloa, HI, USA, title=Interactive Multimodal User Interfaces for Mobile Devices, DOI=10.1109/HICSS.2004.1265674, booktitle=Proceedings of HICCS-37, author=Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen, year=2004 
LibreCat: /record/39053
DOI: 10.1109/HICSS.2004.1265674

@articleBlömer_2002, title=Denesting by Bounded Degree Radicals, volume=28, DOI=10.1007/s004530010028, number=1, journal=Algorithmica, publisher=Springer Science and Business Media LLC, author=Blömer, J., year=2002, pages=2–15 
LibreCat: /record/35857
DOI: 10.1007/s004530010028

@articleMahnken_2002, title=Strength difference in compression and tension and pressure dependence of yielding in elasto-plasticity, volume=190, DOI=10.1016/s0045-7825(00)00364-9, number=39, journal=Computer Methods in Applied Mechanics and Engineering, publisher=Elsevier BV, author=Mahnken, Rolf, year=2002, pages=5057–5080 
LibreCat: /record/45307
DOI: 10.1016/s0045-7825(00)00364-9

@articleMahnken_Kohlmeier_2002, title=Finite element simulation for rock salt with dilatancy boundary coupled to fluid permeation, volume=190, DOI=10.1016/s0045-7825(00)00317-0, number=32–33, journal=Computer Methods in Applied Mechanics and Engineering, publisher=Elsevier BV, author=Mahnken, Rolf and Kohlmeier, M., year=2002, pages=4259–4278 
LibreCat: /record/45412
DOI: 10.1016/s0045-7825(00)00317-0

@articleMahnken_Tikhomirov_Stein_2002, title=Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete, volume=75, DOI=10.1016/s0045-7949(99)00089-9, number=2, journal=Computers &;amp; Structures, publisher=Elsevier BV, author=Mahnken, Rolf and Tikhomirov, D. and Stein, E., year=2002, pages=135–143 
LibreCat: /record/45418
DOI: 10.1016/s0045-7949(99)00089-9

@articleMahnken_2002, title=A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification, volume=74, DOI=10.1016/s0045-7949(98)00296-x, number=2, journal=Computers &;amp; Structures, publisher=Elsevier BV, author=Mahnken, Rolf, year=2002, pages=179–200 
LibreCat: /record/45422
DOI: 10.1016/s0045-7949(98)00296-x