Anders Schlichtkrull

  • A.C. Meyers Vænge 15, A, 2-2-079

    2450 København SV

    Denmark

20212023

Research activity per year

Filter
Article in proceeding

Search results

  • 2023

    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 proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    4 Downloads (Pure)
  • 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. (ed.). Springer Nature Switzerland AG, p. 206-217 12 p. (Lecture Notes in Computer Science; No. 14151).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

  • 2022

    Differential Testing of Pushdown Reachability with a Formally Verified Oracle

    Schlichtkrull, A., Schou, M. K., Srba, J. & Traytel, D., Oct 2022, Proceedings of the 22nd Conference on Formal Methods in Computer-Aided Design – FMCAD 2022. Griggio, A. & Rungta, N. (eds.). TU Wien Academic Press, Vol. 3. p. 369-379 11 p. (Conference Series: Formal Methods in Computer-Aided Design).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    26 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. (ed.). Springer, p. 25-48 24 p. (Studies in Computational Intelligence, Vol. 999).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    2 Citations (Scopus)
  • 2021

    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. (eds.). Gesellschaft für Informatik e. V., p. 107-118 (Lecture Notes in Informatics, Vol. 312).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    8 Citations (Scopus)
  • Performing Security Proofs of Stateful Protocols

    Hess, A. V., Mödersheim, S., Brucker, A. D. & Schlichtkrull, A., 2021, 2021 IEEE 34th Computer Security Foundations Symposium (CSF). IEEE, p. 1-16 16 p. 9505200. (Proceedings of the IEEE Computer Security Foundations Symposium).

    Research output: Contribution to book/anthology/report/conference proceedingArticle in proceedingResearchpeer-review

    Open Access
    File
    2 Citations (Scopus)
    88 Downloads (Pure)