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

2014 | Journal Article | LibreCat-ID: 17192
Lohan, Katrin S., et al. “Co-Development of Manner and Path Concepts in Language, Action, and Eye-Gaze Behavior.” Topics in Cognitive Science, vol. 6, no. 3, Wiley-Blackwell, 2014, pp. 492–512, doi:10.1111/tops.12098.
LibreCat | DOI
 

2013 | Conference Paper | LibreCat-ID: 36919
Mischkalla, Fabian, and Wolfgang Müller. Efficient Power-Intent Validation Using “Loosely-Timed” Simulation Models: A Non-Invasive Approach. IEEE, 2013, doi:10.1109/PATMOS.2013.6662171.
LibreCat | DOI
 

2010 | Conference Paper | LibreCat-ID: 24065
Pottebaum, Jens, et al. “Design and Modeling of a Domain Ontology for Fire Protection.” ISCRAM 2010 -- 7th International Conference on Information Systems for Crisis Response and Management, edited by Simon French et al., 2010.
LibreCat
 

Filters and Search Terms

keyword="Semantics"

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed