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