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
@article{Alizadeh_Behnam_Sadeghi-Kohan_2014, title={A Scalable Formal Debugging Approach with Auto-Correction Capability based on Static Slicing and Dynamic Ranking for RTL Datapath Designs}, DOI={10.1109/tc.2014.2329687}, journal={IEEE Transactions on Computers}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Alizadeh, Bijan and Behnam, Payman and Sadeghi-Kohan, Somayeh}, year={2014}, pages={1–1} }
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 39504
@article{Vidor_Wirth_Assion_Wolff_Hilleringmann_2013, title={Characterization and Analysis of the Hysteresis in a ZnO Nanoparticle Thin-Film Transistor}, volume={12}, DOI={10.1109/tnano.2012.2236891}, number={3}, journal={IEEE Transactions on Nanotechnology}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Vidor, F. F. and Wirth, G. and Assion, F. and Wolff, K. and Hilleringmann, Ulrich}, year={2013}, pages={296–303} }
LibreCat
| DOI
2012 | Journal Article | LibreCat-ID: 4706
@article{Janiesch_Matzner_Müller_2012, title={Beyond process monitoring: A proof-of-concept of event-driven business activity management}, DOI={10.1108/14637151211253765}, number={4}, journal={Business Process Management Journal}, author={Janiesch, Christian and Matzner, Martin and Müller, Oliver}, year={2012}, pages={625--643} }
LibreCat
| DOI
2011 | Journal Article | LibreCat-ID: 17236
@article{Narayan_Lohan_Tscherepanow_Rohlfing_Wrede_2011, title={Can state-of-the-art saliency systems model infant gazing behavior in tutoring situations?}, volume={5}, DOI={10.3389/conf.fncom.2011.52.00035}, number={35}, journal={Frontiers in Computational Neuroscience}, publisher={Frontiers Media SA}, author={Narayan, Vikram and Lohan, Katrin Solveig and Tscherepanow, Marko and Rohlfing, Katharina and Wrede, Britta}, year={2011} }
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 37011
@inproceedings{Klobedanz_Kuznik_Thuy_Müller_2010, place={Dresden}, title={Timing Modeling and Analysis for AUTOSAR-Based Software Development - A Case Study}, DOI={10.1109/DATE.2010.5457125}, booktitle={Proceedings of DATE’10, Dresden}, publisher={IEEE}, author={Klobedanz, Kay and Kuznik, Christoph and Thuy, Andre and Müller, Wolfgang}, year={2010} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 43503
@article{Kröger_Böcker_Neiß_2010, title={Elektromobilität — ein aktuelles Forschungsfeld insbesondere der Regelungstechnik}, volume={58}, DOI={10.1524/auto.2010.9082}, number={10}, journal={at - Automatisierungstechnik}, publisher={Walter de Gruyter GmbH}, author={Kröger, Claus and Böcker, Joachim and Neiß, Konstantin}, year={2010}, pages={542–545} }
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 42803
@article{Kirschmer_Voight_2010, title={Algorithmic Enumeration of Ideal Classes for Quaternion Orders}, volume={39}, DOI={10.1137/080734467}, number={5}, journal={SIAM Journal on Computing}, publisher={Society for Industrial & Applied Mathematics (SIAM)}, author={Kirschmer, Markus and Voight, John}, year={2010}, pages={1714–1747} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 17272
@inproceedings{Vollmer_Lohan_Fischer_Nagai_Pitsch_Fritsch_Rohlfing_Wrede_2009, title={People modify their tutoring behavior in robot-directed interaction for action learning}, DOI={10.1109/DEVLRN.2009.5175516}, booktitle={Development and Learning, 2009. ICDL 2009. IEEE 8th International Conference on Development and Learning}, publisher={IEEE}, author={Vollmer, Anna-Lisa and Lohan, Katrin Solveig and Fischer, Kerstin and Nagai, Yukie and Pitsch, Karola and Fritsch, Jannik and Rohlfing, Katharina and Wrede, Britta}, year={2009}, pages={1–6} }
LibreCat
| DOI
2009 | Conference Paper | LibreCat-ID: 2262
@inproceedings{Kaufmann_Plessl_Platzner_2009, place={Los Alamitos, CA, USA}, title={EvoCaches: Application-specific Adaptation of Cache Mapping}, booktitle={Proc. NASA/ESA Conference on Adaptive Hardware and Systems (AHS)}, publisher={IEEE Computer Society}, author={Kaufmann, Paul and Plessl, Christian and Platzner, Marco}, year={2009}, pages={11–18} }
LibreCat
2008 | Conference Paper | LibreCat-ID: 17278
@inproceedings{Lohse_Rohlfing_Wrede_Sagerer_2008, title={“Try something else!” — When users change their discursive behavior in human-robot interaction}, DOI={10.1109/ROBOT.2008.4543743}, author={Lohse, Manja and Rohlfing, Katharina and Wrede, Britta and Sagerer, Gerhard}, year={2008}, pages={3481–3486} }
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 38107
@inproceedings{Großmann_Müller_2006, place={Paphos, Cyprus}, title={A Formal Behavioral Semantics for TestML}, DOI={10.1109/ISoLA.2006.37}, booktitle={Proc. of ISOLA 06}, author={Großmann, Jürgen and Müller, Wolfgang}, year={2006} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39032
@inproceedings{Schattkowsky_Müller_2005, place={Dallas, TX, USA}, title={Transformation of UML State Machines for Direct Execution}, DOI={10.1109/VLHCC.2005.64}, booktitle={Proceedings of VL/HCC 05}, author={Schattkowsky, Tim and Müller, Wolfgang}, year={2005} }
LibreCat
| DOI
2005 | Conference Paper | LibreCat-ID: 39050
@inproceedings{Ziegler_Müller_Schäfer_Loeser_2005, place={Copenhagen, Denmark }, title={Secure Profile Management in Smart Home Networks}, DOI={10.1109/DEXA.2005.171}, booktitle={Proceedings of the 1st International Workshop on Secure and Ubiquitous Networks (SUN-2005)}, publisher={IEEE}, author={Ziegler, Max and Müller, Wolfgang and Schäfer, Robbie and Loeser, Chris}, year={2005} }
LibreCat
| DOI
2004 | Journal Article | LibreCat-ID: 29924
@article{Amann_Böcker_Prenner_2004, title={Active Damping of Drive Train Oscillations for an Electrically Driven Vehicle}, volume={9}, DOI={10.1109/tmech.2004.839036}, number={4}, journal={IEEE/ASME Transactions on Mechatronics}, publisher={Institute of Electrical and Electronics Engineers (IEEE)}, author={Amann, Notker and Böcker, Joachim and Prenner, Franz}, year={2004}, pages={697–700} }
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39053
@inproceedings{Müller_Schäfer_Bleul_2004, place={Waikoloa, HI, USA}, title={Interactive Multimodal User Interfaces for Mobile Devices}, DOI={10.1109/HICSS.2004.1265674}, booktitle={Proceedings of HICCS-37}, author={Müller, Wolfgang and Schäfer, Robbie and Bleul, Steffen}, year={2004} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 35857
@article{Blömer_2002, title={Denesting by Bounded Degree Radicals}, volume={28}, DOI={10.1007/s004530010028}, number={1}, journal={Algorithmica}, publisher={Springer Science and Business Media LLC}, author={Blömer, J.}, year={2002}, pages={2–15} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45307
@article{Mahnken_2002, title={Strength difference in compression and tension and pressure dependence of yielding in elasto-plasticity}, volume={190}, DOI={10.1016/s0045-7825(00)00364-9}, number={39}, journal={Computer Methods in Applied Mechanics and Engineering}, publisher={Elsevier BV}, author={Mahnken, Rolf}, year={2002}, pages={5057–5080} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45412
@article{Mahnken_Kohlmeier_2002, title={Finite element simulation for rock salt with dilatancy boundary coupled to fluid permeation}, volume={190}, DOI={10.1016/s0045-7825(00)00317-0}, number={32–33}, journal={Computer Methods in Applied Mechanics and Engineering}, publisher={Elsevier BV}, author={Mahnken, Rolf and Kohlmeier, M.}, year={2002}, pages={4259–4278} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45418
@article{Mahnken_Tikhomirov_Stein_2002, title={Implicit integration scheme and its consistent linearization for an elastoplastic-damage model with application to concrete}, volume={75}, DOI={10.1016/s0045-7949(99)00089-9}, number={2}, journal={Computers & Structures}, publisher={Elsevier BV}, author={Mahnken, Rolf and Tikhomirov, D. and Stein, E.}, year={2002}, pages={135–143} }
LibreCat
| DOI
2002 | Journal Article | LibreCat-ID: 45422
@article{Mahnken_2002, title={A comprehensive study of a multiplicative elastoplasticity model coupled to damage including parameter identification}, volume={74}, DOI={10.1016/s0045-7949(98)00296-x}, number={2}, journal={Computers & Structures}, publisher={Elsevier BV}, author={Mahnken, Rolf}, year={2002}, pages={179–200} }
LibreCat
| DOI