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. (2019). CrySL: An Extensible Approach to Validating the Correct Usage of Cryptographic APIs. IEEE Transactions on Software Engineering, 1–1. https://doi.org/10.1109/TSE.2019.2948910
LibreCat | DOI | Download (ext.)
 

2014 | Journal Article | LibreCat-ID: 17192
Lohan, K. S., Griffiths, S., Sciutti, A., Partmann, T. C., & Rohlfing, K. (2014). Co-development of manner and path concepts in language, action, and eye-gaze behavior. Topics in Cognitive Science, 6(3), 492–512. https://doi.org/10.1111/tops.12098
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, F., & Müller, W. (2013). Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. 23rd International Workshop on Power and Timing Modeling, Optimization and Simulation (PATMOS). https://doi.org/10.1109/PATMOS.2013.6662171
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 24065
Pottebaum, J., Japs, A. M., Prödel, S., & Koch, R. (2010). Design and modeling of a domain ontology for fire protection. In S. French, B. Tomaszewski, & C. Zobel (Eds.), ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management.
LibreCat
 

Filters and Search Terms

keyword="Semantics"

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed