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
Collaborations from the last five years
Dive into details by clicking on the dots.
Research output
-
A Principled Framework for Evaluating on Typologically Diverse Languages
Ploeger, E., Poelman, W., Høeg-Petersen, A. H., Schlichtkrull, A., de Lhoneux, M. & Bjerva, J., Jul 2024, (Submitted).Research output: Working paper/Preprint › Preprint
-
Isabelle-verified correctness of Datalog programs for program analysis
Schlichtkrull, A., Hansen, R. R. & Nielson, F., 2024, Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024, Avila, Spain, April 8-12, 2024. Association for Computing Machinery (ACM), p. 1731-1734 2 p.Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
File3 Downloads (Pure) -
An Experience with and Reflections on Live Coding with Active Learning
Schlichtkrull, A., 9 Aug 2023, 4th International Computer Programming Education Conference (ICPEC 2023). de Queiros, R. A. P. & Pinto, M. P. T. (eds.). Schloss Dagstuhl. Leibniz-Zentrum für Informatik, 13 p. 14. (Open Access Series in Informatics, Vol. 112).Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research › peer-review
Open AccessFile1 Citation (Scopus)24 Downloads (Pure) -
A sequent calculus for first-order logic formalized in Isabelle/HOL.
From, A. H., Schlichtkrull, A. & Villadsen, J., 1 Jun 2023, In: Journal of Logic and Computation. 33, 4, p. 818-836 19 p.Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile3 Citations (Scopus)15 Downloads (Pure) -
Labeled Transition Systems
Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., 2023, In: Archive of Formal Proofs. 2023Research output: Contribution to journal › Journal article › Research › peer-review
Open AccessFile7 Downloads (Pure)
Datasets
-
Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"
Schlichtkrull, A. (Creator), Schou, M. K. (Creator), Srba, J. (Creator) & Traytel, D. (Creator), Zenodo, 2 Aug 2022
DOI: 10.5281/zenodo.6952979, https://zenodo.org/record/6952979
Dataset
-
A Survey of European Cybersecurity in Higher Education Programs
Dragoni, N. (Creator), Massacci, F. (Creator), Lluch-Lafuente, A. (Creator) & Schlichtkrull, A. (Creator), IEEE DataPort, 15 Jul 2021
DOI: 10.21227/b5y0-4243, https://ieee-dataport.org/open-access/survey-european-cybersecurity-higher-education-programs
Dataset