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, Payman Behnam, and Somayeh 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, 2014, 1–1. https://doi.org/10.1109/tc.2014.2329687.
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 39504
Vidor, F. F., G. Wirth, F. Assion, K. Wolff, and Ulrich Hilleringmann. “Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor.” IEEE Transactions on Nanotechnology 12, no. 3 (2013): 296–303. https://doi.org/10.1109/tnano.2012.2236891.
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 4706
Janiesch, Christian, Martin Matzner, and Oliver Müller. “Beyond Process Monitoring: A Proof-of-Concept of Event-Driven Business Activity Management.” Business Process Management Journal, no. 4 (2012): 625--643. https://doi.org/10.1108/14637151211253765.
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 17236
Narayan, Vikram, Katrin Solveig Lohan, Marko Tscherepanow, Katharina Rohlfing, and Britta Wrede. “Can State-of-the-Art Saliency Systems Model Infant Gazing Behavior in Tutoring Situations?” Frontiers in Computational Neuroscience 5, no. 35 (2011). https://doi.org/10.3389/conf.fncom.2011.52.00035.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
Klobedanz, Kay, Christoph Kuznik, Andre Thuy, and Wolfgang Müller. “Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study.” In Proceedings of DATE’10, Dresden. Dresden: IEEE, 2010. https://doi.org/10.1109/DATE.2010.5457125.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 43503
Kröger, Claus, Joachim Böcker, and Konstantin Neiß. “Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik.” at - Automatisierungstechnik 58, no. 10 (2010): 542–45. https://doi.org/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 39, no. 5 (2010): 1714–47. https://doi.org/10.1137/080734467.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 17272
Vollmer, Anna-Lisa, Katrin Solveig Lohan, Kerstin Fischer, Yukie Nagai, Karola Pitsch, Jannik Fritsch, Katharina Rohlfing, and Britta Wrede. “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, 1–6. IEEE, 2009. https://doi.org/10.1109/DEVLRN.2009.5175516.
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 2262
Kaufmann, Paul, Christian Plessl, and Marco Platzner. “EvoCaches: Application-Specific Adaptation of Cache Mapping.” In Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS), 11–18. Los Alamitos, CA, USA: IEEE Computer Society, 2009.
LibreCat
2008 | Conference Paper | LibreCat-ID: 17278
Lohse, Manja, Katharina Rohlfing, Britta Wrede, and Gerhard Sagerer. “‘Try Something Else!’ — When Users Change Their Discursive Behavior in Human-Robot Interaction,” 3481–86, 2008. https://doi.org/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.” In Proc. of ISOLA 06. Paphos, Cyprus, 2006. https://doi.org/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.” In Proceedings of VL/HCC 05. Dallas, TX, USA, 2005. https://doi.org/10.1109/VLHCC.2005.64.
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39050
Ziegler, Max, Wolfgang Müller, Robbie Schäfer, and Chris Loeser. “Secure Profile Management in Smart Home Networks.” In Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005). Copenhagen, Denmark : IEEE, 2005. https://doi.org/10.1109/DEXA.2005.171.
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 29924
Amann, Notker, Joachim Böcker, and Franz Prenner. “Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle.” IEEE/ASME Transactions on Mechatronics 9, no. 4 (2004): 697–700. https://doi.org/10.1109/tmech.2004.839036.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39053
Müller, Wolfgang, Robbie Schäfer, and Steffen Bleul. “Interactive Multimodal User Interfaces for Mobile Devices.” In Proceedings of HICCS-37. Waikoloa, HI, USA, 2004. https://doi.org/10.1109/HICSS.2004.1265674.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 35857
Blömer, J. “Denesting by Bounded Degree Radicals.” Algorithmica 28, no. 1 (2002): 2–15. https://doi.org/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 190, no. 39 (2002): 5057–80. https://doi.org/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 190, no. 32–33 (2002): 4259–78. https://doi.org/10.1016/s0045-7825(00)00317-0.
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
Mahnken, Rolf, D. Tikhomirov, and E. Stein. “Implicit Integration Scheme and Its Consistent Linearization for an Elastoplastic-Damage Model with Application to Concrete.” Computers & Structures 75, no. 2 (2002): 135–43. https://doi.org/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 74, no. 2 (2002): 179–200. https://doi.org/10.1016/s0045-7949(98)00296-x.
LibreCat
| DOI