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.
87 Publications
- 1
- 2
- 3
- 4
- 5 (current)
2014 | Journal Article | LibreCat-ID: 40591
Lopez Salas, N., Gutiérrez, M. C., Ania, C. O., Fierro, J. L. G., Luisa Ferrer, M., & Monte, F. del. (2014). Efficient nitrogen-doping and structural control of hierarchical carbons using unconventional precursors in the form of deep eutectic solvents. J. Mater. Chem. A, 2(41), 17387–17399. https://doi.org/10.1039/c4ta03266g
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 11917
Vu, D. H. T., & Haeb-Umbach, R. (2013). Using the turbo principle for exploiting temporal and spectral correlations in speech presence probability estimation. In 38th International Conference on Acoustics, Speech and Signal Processing (ICASSP 2013) (pp. 863–867). https://doi.org/10.1109/ICASSP.2013.6637771
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 39485
Kasdorf, O., Vollbrecht, J., Ohms, B., Hilleringmann, U., Bock, H., & Kitzerow, H.-S. (2013). Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator. International Journal of Energy Research, 38(4), 452–458. https://doi.org/10.1002/er.3127
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 39707
Kasdorf, O., Vollbrecht, J., Ohms, B., Hilleringmann, U., Bock, H., & Kitzerow, H.-S. (2013). Enhanced organic light-emitting diode based on a columnar liquid crystal by integration in a microresonator. International Journal of Energy Research, 38(4), 452–458. https://doi.org/10.1002/er.3127
LibreCat
| DOI
2013 | Journal Article | LibreCat-ID: 39507
Jucá, S. C. S., Carvalho, P. C. M., Pereira, R. I. S., Petrov, D., & Hilleringmann, U. (2013). Design and Implementation of a High Temperature Control Monitoring Applied to Micro Thermoelectric Generators. Renewable Energy and Power Quality Journal, 712–717. https://doi.org/10.24084/repqj11.425
LibreCat
| DOI
2004 | Book Chapter | LibreCat-ID: 33825
Flake, S., Müller, W., Pape, U., & Ruf, J. (2004). Specification and Formal Verification of Temporal Properties of Production Automation Systems. In H. Ehrig, W. Damm, J. Desel, M. Große-Rhode, W. Reif, E. Schnieder, & E. Westkämper (Eds.), Integration of Software Specification Techniques for Applications in Engineering (Vol. 3147, pp. 206–226). Springer-Verlag. https://doi.org/10.1007/978-3-540-27863-4_13
LibreCat
| DOI
2002 | Book Chapter | LibreCat-ID: 34447
Flake, S., & Müller, W. (2002). An OCL Extension for Real-Time Constraints. In T. Clark & J. Warmer (Eds.), Advances in Object Modelling with the OCL (pp. 150–171). Springer-Verlag. https://doi.org/10.1007/3-540-45669-4_8
LibreCat
| DOI
- 1
- 2
- 3
- 4
- 5 (current)