Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
157 Publications
2014 | Journal Article | LibreCat-ID: 46266
Alizadeh B, Behnam P, Sadeghi-Kohan S. A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs. IEEE Transactions on Computers. Published online 2014:1-1. doi:10.1109/tc.2014.2329687
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 39504
Vidor FF, Wirth G, Assion F, Wolff K, Hilleringmann U. Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor. IEEE Transactions on Nanotechnology. 2013;12(3):296-303. doi:10.1109/tnano.2012.2236891
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 4706
Janiesch C, Matzner M, Müller O. Beyond process monitoring: A proof-of-concept of event-driven business activity management. Business Process Management Journal. 2012;(4):625--643. doi:10.1108/14637151211253765
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 17236
Narayan V, Lohan KS, Tscherepanow M, Rohlfing K, Wrede B. Can state-of-the-art saliency systems model infant gazing behavior in tutoring situations? Frontiers in Computational Neuroscience. 2011;5(35). doi:10.3389/conf.fncom.2011.52.00035
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz K, Kuznik C, Thuy A, Müller W. Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study. In: Proceedings of DATE’10, Dresden. IEEE; 2010. doi:10.1109/DATE.2010.5457125
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 43503
Kröger C, Böcker J, Neiß K. Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik. at - Automatisierungstechnik. 2010;58(10):542-545. doi:10.1524/auto.2010.9082
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 42803
Kirschmer M, Voight J. Algorithmic Enumeration of Ideal Classes for Quaternion Orders. SIAM Journal on Computing. 2010;39(5):1714-1747. doi:10.1137/080734467
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 17272
Vollmer A-L, Lohan KS, Fischer K, et al. People modify their tutoring behavior in robot-directed interaction for action learning. In: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning. IEEE; 2009:1-6. doi:10.1109/DEVLRN.2009.5175516
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 2262
Kaufmann P, Plessl C, Platzner M. EvoCaches: Application-specific Adaptation of Cache Mapping. In: Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS). IEEE Computer Society; 2009:11-18.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17278
Lohse M, Rohlfing K, Wrede B, Sagerer G. “Try something else!” — When users change their discursive behavior in human-robot interaction. In: ; 2008:3481-3486. doi:10.1109/ROBOT.2008.4543743
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann J, Müller W. A Formal Behavioral Semantics for TestML. In: Proc. of ISOLA 06. ; 2006. doi:10.1109/ISoLA.2006.37
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky T, Müller W. Transformation of UML State Machines for Direct Execution. In: Proceedings of VL/HCC 05. ; 2005. doi:10.1109/VLHCC.2005.64
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler M, Müller W, Schäfer R, Loeser C. Secure Profile Management in Smart Home Networks. In: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). IEEE; 2005. doi:10.1109/DEXA.2005.171
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 29924
Amann N, Böcker J, Prenner F. Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle. IEEE/ASME Transactions on Mechatronics. 2004;9(4):697-700. doi:10.1109/tmech.2004.839036
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39053
Müller W, Schäfer R, Bleul S. Interactive Multimodal User Interfaces for Mobile Devices. In: Proceedings of HICCS-37. ; 2004. doi:10.1109/HICSS.2004.1265674
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 35857
Blömer J. Denesting by Bounded Degree Radicals. Algorithmica. 2002;28(1):2-15. doi:10.1007/s004530010028
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45307
Mahnken R. Strength difference in compression and tension and pressure dependence of yielding in elasto-plasticity. Computer Methods in Applied Mechanics and Engineering. 2002;190(39):5057-5080. doi:10.1016/s0045-7825(00)00364-9
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45412
Mahnken R, Kohlmeier M. Finite element simulation for rock salt with dilatancy boundary coupled to fluid permeation. Computer Methods in Applied Mechanics and Engineering. 2002;190(32-33):4259-4278. doi:10.1016/s0045-7825(00)00317-0
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
Mahnken R, Tikhomirov D, Stein E. Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete. Computers & Structures. 2002;75(2):135-143. doi:10.1016/s0045-7949(99)00089-9
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45422
Mahnken R. A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification. Computers & Structures. 2002;74(2):179-200. doi:10.1016/s0045-7949(98)00296-x
LibreCat
| DOI