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.
4 Publications
2019 | Journal Article | LibreCat-ID: 20533
S. Krüger, J. Späth, K. Ali, E. Bodden, and M. Mezini, “CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs,” IEEE Transactions on Software Engineering, pp. 1–1, 2019, doi: 10.1109/TSE.2019.2948910.
LibreCat
| DOI
| Download (ext.)
2014 | Journal Article | LibreCat-ID: 17192
K. S. Lohan, S. Griffiths, A. Sciutti, T. C. Partmann, and K. Rohlfing, “Co-development of manner and path concepts in language, action, and eye-gaze behavior,” Topics in Cognitive Science, vol. 6, no. 3, pp. 492–512, 2014, doi: 10.1111/tops.12098.
LibreCat
| DOI
2013 | Conference Paper | LibreCat-ID: 36919
F. Mischkalla and W. Müller, “Efficient Power-Intent Validation Using ‘Loosely-Timed’ Simulation Models: A Non-Invasive Approach,” presented at the 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS), 2013, doi: 10.1109/PATMOS.2013.6662171.
LibreCat
| DOI
2010 | Conference Paper | LibreCat-ID: 24065
J. Pottebaum, A. M. Japs, S. Prödel, and R. Koch, “Design and modeling of a domain ontology for fire protection,” in ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, 2010.
LibreCat