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, Bijan, et al. “A Scalable Formal Debugging Approach with Auto-Correction Capability Based on Static Slicing and Dynamic Ranking for RTL Datapath Designs.” IEEE Transactions on Computers, Institute of Electrical and Electronics Engineers (IEEE), 2014, pp. 1–1, doi:10.1109/tc.2014.2329687.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 39504
Vidor, F. F., et al. “Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor.” 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
| DOI
2012 | Journal Article | LibreCat-ID: 4706
Janiesch, Christian, et al. “Beyond Process Monitoring: A Proof-of-Concept of Event-Driven Business Activity Management.” Business Process Management Journal, no. 4, 2012, pp. 625--643, doi:10.1108/14637151211253765.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 17236
Narayan, Vikram, et al. “Can State-of-the-Art Saliency Systems Model Infant Gazing Behavior in Tutoring Situations?” Frontiers in Computational Neuroscience, vol. 5, no. 35, Frontiers Media SA, 2011, doi:10.3389/conf.fncom.2011.52.00035.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, et al. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” Proceedings of DATE’10, Dresden, IEEE, 2010, doi:10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 43503
Kröger, Claus, et al. “Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik.” at - Automatisierungstechnik, vol. 58, no. 10, Walter de Gruyter GmbH, 2010, pp. 542–45, doi:10.1524/auto.2010.9082.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 42803
Kirschmer, Markus, and John Voight. “Algorithmic Enumeration of Ideal Classes for Quaternion Orders.” SIAM Journal on Computing, vol. 39, no. 5, Society for Industrial & Applied Mathematics (SIAM), 2010, pp. 1714–47, doi:10.1137/080734467.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 17272
Vollmer, Anna-Lisa, et al. “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, IEEE, 2009, pp. 1–6, doi:10.1109/DEVLRN.2009.5175516.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 2262
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
2008 | Conference Paper | LibreCat-ID: 17278
Lohse, Manja, et al. “Try Something Else!” — When Users Change Their Discursive Behavior in Human-Robot Interaction. 2008, pp. 3481–86, doi:10.1109/ROBOT.2008.4543743.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
Großmann, Jürgen, and Wolfgang Müller. “A Formal Behavioral Semantics for TestML.” Proc. of ISOLA 06, 2006, doi:10.1109/ISoLA.2006.37.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
Schattkowsky, Tim, and Wolfgang Müller. “Transformation of UML State Machines for Direct Execution.” Proceedings of VL/HCC 05, 2005, doi:10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, Max, et al. “Secure Profile Management in Smart Home Networks.” 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, Notker, et al. “Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle.” 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
| DOI
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, et al. “Interactive Multimodal User Interfaces for Mobile Devices.” 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, vol. 28, no. 1, Springer Science and Business Media LLC, 2002, pp. 2–15, doi:10.1007/s004530010028.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45307
Mahnken, Rolf. “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, Elsevier BV, 2002, pp. 5057–80, doi:10.1016/s0045-7825(00)00364-9.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45412
Mahnken, Rolf, 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, Elsevier BV, 2002, pp. 4259–78, doi:10.1016/s0045-7825(00)00317-0.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
Mahnken, Rolf, et al. “Implicit Integration Scheme and Its Consistent Linearization for an Elastoplastic-Damage Model with Application to Concrete.” Computers & Structures, vol. 75, no. 2, Elsevier BV, 2002, pp. 135–43, doi:10.1016/s0045-7949(99)00089-9.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45422
Mahnken, Rolf. “A Comprehensive Study of a Multiplicative Elastoplasticity Model Coupled to Damage Including Parameter Identification.” Computers & Structures, vol. 74, no. 2, Elsevier BV, 2002, pp. 179–200, doi:10.1016/s0045-7949(98)00296-x.
LibreCat
| DOI