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
B. Alizadeh, P. Behnam, and S. Sadeghi-Kohan, “A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs,” IEEE Transactions on Computers, pp. 1–1, 2014, doi: 10.1109/tc.2014.2329687.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 39504
F. F. Vidor, G. Wirth, F. Assion, K. Wolff, and U. Hilleringmann, “Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor,” IEEE Transactions on Nanotechnology, vol. 12, no. 3, pp. 296–303, 2013, doi: 10.1109/tnano.2012.2236891.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 17236
V. Narayan, K. S. Lohan, M. Tscherepanow, K. Rohlfing, and B. Wrede, “Can state-of-the-art saliency systems model infant gazing behavior in tutoring situations?,” Frontiers in Computational Neuroscience, vol. 5, no. 35, 2011, doi: 10.3389/conf.fncom.2011.52.00035.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
K. Klobedanz, C. Kuznik, A. Thuy, and W. Müller, “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study,” presented at the 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010), Dresden, 2010, doi: 10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 43503
C. Kröger, J. Böcker, and K. Neiß, “Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik,” at - Automatisierungstechnik, vol. 58, no. 10, pp. 542–545, 2010, doi: 10.1524/auto.2010.9082.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 42803
M. Kirschmer and J. Voight, “Algorithmic Enumeration of Ideal Classes for Quaternion Orders,” SIAM Journal on Computing, vol. 39, no. 5, pp. 1714–1747, 2010, doi: 10.1137/080734467.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 17272
A.-L. Vollmer 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, 2009, pp. 1–6, doi: 10.1109/DEVLRN.2009.5175516.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 2262
P. Kaufmann, C. Plessl, and M. Platzner, “EvoCaches: Application-specific Adaptation of Cache Mapping,” in Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), 2009, pp. 11–18.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17278
M. Lohse, K. Rohlfing, B. Wrede, and G. Sagerer, “‘Try something else!’ — When users change their discursive behavior in human-robot interaction,” 2008, pp. 3481–3486, doi: 10.1109/ROBOT.2008.4543743.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
J. Großmann and W. Müller, “A Formal Behavioral Semantics for TestML,” Paphos, Cyprus, 2006, doi: 10.1109/ISoLA.2006.37.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
T. Schattkowsky and W. Müller, “Transformation of UML State Machines for Direct Execution,” 2005, doi: 10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39050
M. Ziegler, W. Müller, R. Schäfer, and C. Loeser, “Secure Profile Management in Smart Home Networks,” presented at the 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: 10.1109/DEXA.2005.171.
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 29924
N. Amann, J. Böcker, and F. Prenner, “Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle,” IEEE/ASME Transactions on Mechatronics, vol. 9, no. 4, pp. 697–700, 2004, doi: 10.1109/tmech.2004.839036.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39053
W. Müller, R. Schäfer, and S. Bleul, “Interactive Multimodal User Interfaces for Mobile Devices,” presented at the 37th Annual Hawaii International Conference on System Sciences, Waikoloa, HI, USA, 2004, doi: 10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 35857
J. Blömer, “Denesting by Bounded Degree Radicals,” Algorithmica, vol. 28, no. 1, pp. 2–15, 2002, doi: 10.1007/s004530010028.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45307
R. Mahnken, “Strength difference in compression and tension and pressure dependence of yielding in elasto-plasticity,” Computer Methods in Applied Mechanics and Engineering, vol. 190, no. 39, pp. 5057–5080, 2002, doi: 10.1016/s0045-7825(00)00364-9.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45412
R. Mahnken and M. Kohlmeier, “Finite element simulation for rock salt with dilatancy boundary coupled to fluid permeation,” Computer Methods in Applied Mechanics and Engineering, vol. 190, no. 32–33, pp. 4259–4278, 2002, doi: 10.1016/s0045-7825(00)00317-0.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
R. Mahnken, D. Tikhomirov, and E. Stein, “Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete,” Computers & Structures, vol. 75, no. 2, pp. 135–143, 2002, doi: 10.1016/s0045-7949(99)00089-9.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45422
R. Mahnken, “A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification,” Computers & Structures, vol. 74, no. 2, pp. 179–200, 2002, doi: 10.1016/s0045-7949(98)00296-x.
LibreCat
| DOI