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
A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs
B. Alizadeh, P. Behnam, S. Sadeghi-Kohan, IEEE Transactions on Computers (2014) 1–1.
LibreCat
| DOI
B. Alizadeh, P. Behnam, S. Sadeghi-Kohan, IEEE Transactions on Computers (2014) 1–1.
2013 | Journal Article | LibreCat-ID: 39504
Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor
F.F. Vidor, G. Wirth, F. Assion, K. Wolff, U. Hilleringmann, IEEE Transactions on Nanotechnology 12 (2013) 296–303.
LibreCat
| DOI
F.F. Vidor, G. Wirth, F. Assion, K. Wolff, U. Hilleringmann, IEEE Transactions on Nanotechnology 12 (2013) 296–303.
2012 | Journal Article | LibreCat-ID: 4706
Beyond process monitoring: A proof-of-concept of event-driven business activity management
C. Janiesch, M. Matzner, O. Müller, Business Process Management Journal (2012) 625--643.
LibreCat
| DOI
C. Janiesch, M. Matzner, O. Müller, Business Process Management Journal (2012) 625--643.
2011 | Journal Article | LibreCat-ID: 17236
Can state-of-the-art saliency systems model infant gazing behavior in tutoring situations?
V. Narayan, K.S. Lohan, M. Tscherepanow, K. Rohlfing, B. Wrede, Frontiers in Computational Neuroscience 5 (2011).
LibreCat
| DOI
V. Narayan, K.S. Lohan, M. Tscherepanow, K. Rohlfing, B. Wrede, Frontiers in Computational Neuroscience 5 (2011).
2010 | Conference Paper | LibreCat-ID: 37011
Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.
LibreCat
| DOI
K. Klobedanz, C. Kuznik, A. Thuy, W. Müller, in: Proceedings of DATE’10, Dresden, IEEE, Dresden, 2010.
2010 | Journal Article | LibreCat-ID: 43503
Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik
C. Kröger, J. Böcker, K. Neiß, at - Automatisierungstechnik 58 (2010) 542–545.
LibreCat
| DOI
C. Kröger, J. Böcker, K. Neiß, at - Automatisierungstechnik 58 (2010) 542–545.
2010 | Journal Article | LibreCat-ID: 42803
Algorithmic Enumeration of Ideal Classes for Quaternion Orders
M. Kirschmer, J. Voight, SIAM Journal on Computing 39 (2010) 1714–1747.
LibreCat
| DOI
M. Kirschmer, J. Voight, SIAM Journal on Computing 39 (2010) 1714–1747.
2009 | Conference Paper | LibreCat-ID: 17272
People modify their tutoring behavior in robot-directed interaction for action learning
A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch, K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6.
LibreCat
| DOI
A.-L. Vollmer, K.S. Lohan, K. Fischer, Y. Nagai, K. Pitsch, J. Fritsch, K. Rohlfing, B. Wrede, in: Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning, IEEE, 2009, pp. 1–6.
2009 | Conference Paper | LibreCat-ID: 2262
EvoCaches: Application-specific Adaptation of Cache Mapping
P. Kaufmann, C. Plessl, M. Platzner, in: Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), IEEE Computer Society, Los Alamitos, CA, USA, 2009, pp. 11–18.
LibreCat
P. Kaufmann, C. Plessl, M. Platzner, in: Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), IEEE Computer Society, Los Alamitos, CA, USA, 2009, pp. 11–18.
2008 | Conference Paper | LibreCat-ID: 17278
“Try something else!” — When users change their discursive behavior in human-robot interaction
M. Lohse, K. Rohlfing, B. Wrede, G. Sagerer, in: 2008, pp. 3481–3486.
LibreCat
| DOI
M. Lohse, K. Rohlfing, B. Wrede, G. Sagerer, in: 2008, pp. 3481–3486.
2006 | Conference Paper | LibreCat-ID: 38107
A Formal Behavioral Semantics for TestML
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.
LibreCat
| DOI
J. Großmann, W. Müller, in: Proc. of ISOLA 06, Paphos, Cyprus, 2006.
2005 | Conference Paper | LibreCat-ID: 39032
Transformation of UML State Machines for Direct Execution
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.
LibreCat
| DOI
T. Schattkowsky, W. Müller, in: Proceedings of VL/HCC 05, Dallas, TX, USA, 2005.
2005 | Conference Paper | LibreCat-ID: 39050
Secure Profile Management in Smart Home Networks
M. Ziegler, W. Müller, R. Schäfer, C. Loeser, in: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.
LibreCat
| DOI
M. Ziegler, W. Müller, R. Schäfer, C. Loeser, in: Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005), IEEE, Copenhagen, Denmark , 2005.
2004 | Journal Article | LibreCat-ID: 29924
Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle
N. Amann, J. Böcker, F. Prenner, IEEE/ASME Transactions on Mechatronics 9 (2004) 697–700.
LibreCat
| DOI
N. Amann, J. Böcker, F. Prenner, IEEE/ASME Transactions on Mechatronics 9 (2004) 697–700.
2004 | Conference Paper | LibreCat-ID: 39053
Interactive Multimodal User Interfaces for Mobile Devices
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
LibreCat
| DOI
W. Müller, R. Schäfer, S. Bleul, in: Proceedings of HICCS-37, Waikoloa, HI, USA, 2004.
2002 | Journal Article | LibreCat-ID: 35857
Denesting by Bounded Degree Radicals
J. Blömer, Algorithmica 28 (2002) 2–15.
LibreCat
| DOI
J. Blömer, Algorithmica 28 (2002) 2–15.
2002 | Journal Article | LibreCat-ID: 45307
Strength difference in compression and tension and pressure dependence of yielding in elasto-plasticity
R. Mahnken, Computer Methods in Applied Mechanics and Engineering 190 (2002) 5057–5080.
LibreCat
| DOI
R. Mahnken, Computer Methods in Applied Mechanics and Engineering 190 (2002) 5057–5080.
2002 | Journal Article | LibreCat-ID: 45412
Finite element simulation for rock salt with dilatancy boundary coupled to fluid permeation
R. Mahnken, M. Kohlmeier, Computer Methods in Applied Mechanics and Engineering 190 (2002) 4259–4278.
LibreCat
| DOI
R. Mahnken, M. Kohlmeier, Computer Methods in Applied Mechanics and Engineering 190 (2002) 4259–4278.
2002 | Journal Article | LibreCat-ID: 45418
Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete
R. Mahnken, D. Tikhomirov, E. Stein, Computers & Structures 75 (2002) 135–143.
LibreCat
| DOI
R. Mahnken, D. Tikhomirov, E. Stein, Computers & Structures 75 (2002) 135–143.
2002 | Journal Article | LibreCat-ID: 45422
A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification
R. Mahnken, Computers & Structures 74 (2002) 179–200.
LibreCat
| DOI
R. Mahnken, Computers & Structures 74 (2002) 179–200.