Research output per year
Research output per year
Fingerprint
The fingerprint consists of automatically generated concepts related to the associated persons. It is updated automatically, when new content is added.
- 1 Similar Profiles
-
Potency-Based Heuristic Search with Randomness for Explicit Model Checking
Henriksen, E. G., Mozafar Khorsid, A., Nielsen, E., Risager, T., Srba, J., Stück, A. M. & Sørensen, A. S., 2023, Model Checking Software: 29th International Symposium, SPIN 2023, Proceedings. Caltais, G. & Schilling, C. (eds.). Springer Nature Switzerland AG, p. 180-187 8 p. (Lecture Notes in Computer Science; No. 13872).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
1 Citation (Scopus) -
SemTex: A Hybrid Approach for Semantic Table Interpretation
Henriksen, E. G., Khorsid, A. M., Nielsen, E., Stück, A. M., Sørensen, A. S. & Pelgrin, O., 2023, In: CEUR Workshop Proceedings. 3557, p. 38-49 12 p.Research output: Contribution to journal › Conference article in Journal › Research › peer-review
Open AccessFile8 Downloads (Pure)