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