Alizadeh, Bijan, et al. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.”10.1109/tc.2014.2329687__IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), 2014, pp. 1–1, doi:10.1109/tc.2014.2329687.
LibreCat: /record/46266
DOI: 10.1109/tc.2014.2329687

Vidor, F. F., et al. “Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor.”10.1109/tnano.2012.2236891__IEEE Transactions on Nanotechnology, vol. 12, no. 3, Institute of Electrical and Electronics Engineers (IEEE), 2013, pp. 296–303, doi:10.1109/tnano.2012.2236891.
LibreCat: /record/39504
DOI: 10.1109/tnano.2012.2236891

Janiesch, Christian, et al. “Beyond Process Monitoring: A Proof-of-Concept of Event-Driven Business Activity Management.”10.1108/14637151211253765__Business Process Management Journal, no. 4, 2012, pp. 625--643, doi:10.1108/14637151211253765.
LibreCat: /record/4706
DOI: 10.1108/14637151211253765

Narayan, Vikram, et al. “Can State-of-the-Art Saliency Systems Model Infant Gazing Behavior in Tutoring Situations?”10.3389/conf.fncom.2011.52.00035__Frontiers in Computational Neuroscience, vol. 5, no. 35, Frontiers Media SA, 2011, doi:10.3389/conf.fncom.2011.52.00035.
LibreCat: /record/17236
DOI: 10.3389/conf.fncom.2011.52.00035

Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.”10.1109/DATE.2010.5457125__Proceedings of DATE’10, Dresden, IEEE, 2010, doi:10.1109/DATE.2010.5457125.
LibreCat: /record/37011
DOI: 10.1109/DATE.2010.5457125

Kröger, Claus, et al. “Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik.”10.1524/auto.2010.9082__at - Automatisierungstechnik, vol. 58, no. 10, Walter de Gruyter GmbH, 2010, pp. 542–45, doi:10.1524/auto.2010.9082.
LibreCat: /record/43503
DOI: 10.1524/auto.2010.9082

Kirschmer, Markus, and John Voight. “Algorithmic Enumeration of Ideal Classes for Quaternion Orders.”10.1137/080734467__SIAM Journal on Computing, vol. 39, no. 5, Society for Industrial &; Applied Mathematics (SIAM), 2010, pp. 1714–47, doi:10.1137/080734467.
LibreCat: /record/42803
DOI: 10.1137/080734467

Vollmer, Anna-Lisa, et al. “People Modify Their Tutoring Behavior in Robot-Directed Interaction for Action Learning.”10.1109/DEVLRN.2009.5175516__Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6, doi:10.1109/DEVLRN.2009.5175516.
LibreCat: /record/17272
DOI: 10.1109/DEVLRN.2009.5175516

Kaufmann, Paul, et al. “EvoCaches: Application-Specific Adaptation of Cache Mapping.” Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), IEEE Computer Society, 2009, pp. 11–18.
LibreCat: /record/2262

Lohse, Manja, et al. “Try Something Else!”10.1109/ROBOT.2008.4543743__— When Users Change Their Discursive Behavior in Human-Robot Interaction. 2008, pp. 3481–86, doi:10.1109/ROBOT.2008.4543743.
LibreCat: /record/17278
DOI: 10.1109/ROBOT.2008.4543743

Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.”10.1109/ISoLA.2006.37__Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
LibreCat: /record/38107
DOI: 10.1109/ISoLA.2006.37

Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.”10.1109/VLHCC.2005.64__Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
LibreCat: /record/39032
DOI: 10.1109/VLHCC.2005.64

Ziegler, Max, et al. “Secure Profile Management in Smart Home Networks.”10.1109/DEXA.2005.171__Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, 2005, doi:10.1109/DEXA.2005.171.
LibreCat: /record/39050
DOI: 10.1109/DEXA.2005.171

Amann, Notker, et al. “Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle.”10.1109/tmech.2004.839036__IEEE/ASME Transactions on Mechatronics, vol. 9, no. 4, Institute of Electrical and Electronics Engineers (IEEE), 2004, pp. 697–700, doi:10.1109/tmech.2004.839036.
LibreCat: /record/29924
DOI: 10.1109/tmech.2004.839036

Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.”10.1109/HICSS.2004.1265674__Proceedings of HICCS-37, 2004, doi:10.1109/HICSS.2004.1265674.
LibreCat: /record/39053
DOI: 10.1109/HICSS.2004.1265674

Blömer, J. “Denesting by Bounded Degree Radicals.”10.1007/s004530010028__Algorithmica, vol. 28, no. 1, Springer Science and Business Media LLC, 2002, pp. 2–15, doi:10.1007/s004530010028.
LibreCat: /record/35857
DOI: 10.1007/s004530010028

Mahnken, Rolf. “Strength Difference in Compression and Tension and Pressure Dependence of Yielding in Elasto-Plasticity.”10.1016/s0045-7825(00)00364-9__Computer Methods in Applied Mechanics and Engineering, vol. 190, no. 39, Elsevier BV, 2002, pp. 5057–80, doi:10.1016/s0045-7825(00)00364-9.
LibreCat: /record/45307
DOI: 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.”10.1016/s0045-7825(00)00317-0__Computer Methods in Applied Mechanics and Engineering, vol. 190, no. 32–33, Elsevier BV, 2002, pp. 4259–78, doi:10.1016/s0045-7825(00)00317-0.
LibreCat: /record/45412
DOI: 10.1016/s0045-7825(00)00317-0

Mahnken, Rolf, et al. “Implicit Integration Scheme and Its Consistent Linearization for an Elastoplastic-Damage Model with Application to Concrete.”10.1016/s0045-7949(99)00089-9__Computers &;amp; Structures, vol. 75, no. 2, Elsevier BV, 2002, pp. 135–43, doi:10.1016/s0045-7949(99)00089-9.
LibreCat: /record/45418
DOI: 10.1016/s0045-7949(99)00089-9

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