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.
62 Publications
2017 | Conference Paper | LibreCat-ID: 5829 |

D. Wolters, S. Heindorf, J. Kirchhoff, and G. Engels, “Linking Services to Websites by Leveraging Semantic Data,” in 2017 IEEE International Conference on Web Services (ICWS), 2017, doi: 10.1109/icws.2017.80.
LibreCat
| DOI
| Download (ext.)
2017 | Journal Article | LibreCat-ID: 2856
B. Barann, D. Beverungen, and O. Müller, “An open-data approach for quantifying the potential of taxi ridesharing,” Decision Support Systems, vol. 99, no. July 2017, pp. 86–95, 2017, doi: 10.1016/j.dss.2017.05.008.
LibreCat
| DOI
2015 | Conference Paper | LibreCat-ID: 9947
J. K. Kimotho and W. Sextro, “Comparison and ensemble of temperature-based and vibration-based methods for machinery prognostics,” in Annual Conference of the Prognostics and Health Management Society 2015, 2015, vol. 6.
LibreCat
2014 | Conference Paper | LibreCat-ID: 1137 |

F. S. Bäumer, J. Gim, D.-H. Jeong, M. Geierhos, and H. Jung, “Linked Open Data System for Scientific Data Sets,” in Proceedings of the First International Workshop on Patent Mining and Its Applications (IPaMin 2014) co-located with Konvens 2014, Hildesheim, Germany, 2014, vol. 1292.
LibreCat
| Download (ext.)
2014 | Conference Paper | LibreCat-ID: 17661
T. C. King et al., “Request Driven Social Sensing,” in Proceedings of the 2014 International Conference on Autonomous Agents and Multi-agent Systems, 2014, pp. 1651–1652.
LibreCat
2013 | Conference Paper | LibreCat-ID: 4480
T. Brahm and T. Jenert, “A latent growth curve analysis of Business students’ intrinsic and extrinsic motivation,” presented at the 15th Biennial EARLI Conference, München, 2013.
LibreCat
2013 | Conference Paper | LibreCat-ID: 11816 |

M. K. Hoang and R. Haeb-Umbach, “Parameter estimation and classification of censored Gaussian data with application to WiFi indoor positioning,” in 38th International Conference on Acoustics, Speech, and Signal Processing (ICASSP 2013), 2013, pp. 3721–3725.
LibreCat
| Files available
| DOI
| Download (ext.)
2012 | Conference Paper | LibreCat-ID: 36994
T. Xie, W. Müller, and F. Letombe, “Mutation-Analysis Driven Functional Verification of a Soft Microprocessor,” 2012, doi: 10.1109/SOCC.2012.6398362.
LibreCat
| DOI
2011 | Conference Paper | LibreCat-ID: 37002
T. Xie, W. Müller, and F. Letombe, “HDL-Mutation Based Simulation Data Generation by Propagation Guided Search,” 2011, doi: 10.1109/DSD.2011.83.
LibreCat
| DOI
2010 | Journal Article | LibreCat-ID: 11892 |

J. Schmalenstroeer and R. Haeb-Umbach, “Online Diarization of Streaming Audio-Visual Data for Smart Environments,” IEEE Journal of Selected Topics in Signal Processing, vol. 4, no. 5, pp. 845–856, 2010, doi: 10.1109/JSTSP.2010.2050519.
LibreCat
| DOI
| Download (ext.)
2010 | Conference Paper | LibreCat-ID: 37050
W. Müller et al., “The SATURN Approach to SysML-based HW/SW Codesign,” 2010, doi: 10.1007/978-94-007-1488-5_9.
LibreCat
| DOI
2006 | Conference Paper | LibreCat-ID: 11943 |

S. Windmann and R. Haeb-Umbach, “Iterative Speech Enhancement using a Non-Linear Dynamic State Model of Speech and its Parameters,” in IEEE International Conference on Acoustics, Speech and Signal Processing (ICASSP 2006), 2006, vol. 1, p. I.
LibreCat
| DOI
| Download (ext.)
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
2005 | Conference Paper | LibreCat-ID: 39052
J. Groppe and W. Müller, “Profile Management technology for Smart Customization in Private Home Applications,” presented at the 16th International Workshop on Database and Expert Systems Applications (DEXA’05), Copenhagen, Denmark , 2005, doi: 10.1109/DEXA.2005.156.
LibreCat
| DOI
2004 | Conference Paper | LibreCat-ID: 39061
A. Krupp, W. Müller, and I. Oliver, “Formal Refinement and Model Checking of An Echo Cancellation Unit,” presented at the Proceedings Design, Automation and Test in Europe Conference and Exhibition, 2004, doi: 10.1109/DATE.2004.1269214.
LibreCat
| DOI