Publikationer pr. år
Publikationer pr. år
Fingerprint
Fingerprint er automatisk genererede koncepter, som stammer fra personprofilernes indhold. Det opdateres løbende med nye registreringer.
- 1 Lignende profiler
Samarbejde i de sidste fem år
Klik på punkterne for at se detaljerne.
-
Verified Verifying: SMT-LIB for Strings in Isabelle
Lotz, K., Kulczynski, M., Nowotka, D., Poulsen, D. B. & Schlichtkrull, A., 10 aug. 2023, Implementation and Application of Automata - 27th International Conference, CIAA 2023, Proceedings. Nagy, B. & Nagy, B. (red.). s. 206-217 12 s. (Lecture Notes in Computer Science).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
-
Differential Testing of Pushdown Reachability with a Formally Verified Oracle
Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., okt. 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Griggio, A. & Rungta, N. (red.). TU Wien Academic Press, Bind 3. s. 369-379 11 s. (Conference Series: Formal Methods in Computer-Aided Design).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgangFil13 Downloads (Pure) -
Interactive Theorem Proving for Logic and Information
Villadsen, J., From, A. H., Jensen, A. B. & Schlichtkrull, A., 2022, Natural Language Processing in Artificial Intelligence – NLPinAI 2021. Loukanova, R. (red.). Springer, s. 25-48 24 s. (Studies in Computational Intelligence, Bind 999).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang1 Citationer (Scopus) -
Adapting the TPL Trust Policy Language for a Self-Sovereign Identity World
Alber, L., More, S., Mödersheim, S. & Schlichtkrull, A., 2021, Open Identity Summit 2021. Roßnagel, H., Schunck, C. H. & Mödersheim, S. (red.). Gesellschaft für Informatik e. V., s. 107-118 (Lecture Notes in Informatics, Bind 312).Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer review
Åben adgang6 Citationer (Scopus) -
Are We Preparing Students to Build Security In? A Survey of European Cybersecurity in Higher Education Programs
Dragoni, N., Lluch-Lafuente, A., Massacci, F. & Schlichtkrull, A., 26 jan. 2021, I: IEEE Security & Privacy. 19, 1, s. 81-88 8 s., 9336077.Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning
Åben adgang10 Citationer (Scopus)
Forskningsdatasæt
-
Repeatability Package for "Differential Testing of Pushdown Reachability with a Formally Verified Oracle"
Schlichtkrull, A. (Ophavsperson), Schou, M. K. (Ophavsperson), Srba, J. (Ophavsperson) & Traytel, D. (Ophavsperson), Zenodo, 2 aug. 2022
DOI: 10.5281/zenodo.6952979, https://zenodo.org/record/6952979
Datasæt
-
A Survey of European Cybersecurity in Higher Education Programs
Dragoni, N. (Ophavsperson), Massacci, F. (Ophavsperson), Lluch-Lafuente, A. (Ophavsperson) & Schlichtkrull, A. (Ophavsperson), IEEE DataPort, 15 jul. 2021
DOI: 10.21227/b5y0-4243, https://ieee-dataport.org/open-access/survey-european-cybersecurity-higher-education-programs
Datasæt