Fingerprint
Dive into the research topics where Kathrin Stark is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
A Certified Proof Checker for Deep Neural Network Verification in Imandra
Desmartin, R., Isac, O., Passmore, G., Komendantskaya, E., Stark, K. & Katz, G., 22 Sept 2025, 16th International Conference on Interactive Theorem Proving (ITP 2025). Forster, Y. & Keller, C. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 1. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 352).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Link opens in a new tab Citation (Scopus)2 Downloads (Pure) -
A Verified Foreign Function Interface between Coq and C
Korkut, J., Stark, K. & Appel, A. W., 9 Jan 2025, In: Proceedings of the ACM on Programming Languages. 9, POPL, 24.Research output: Contribution to journal › Article › peer-review
Open AccessFile4 Link opens in a new tab Citations (Scopus)43 Downloads (Pure) -
Taming Differentiable Logics with Coq Formalisation
Affeldt, R., Bruni, A., Komendantskaya, E., Slusarz, N. & Stark, K., 2 Sept 2024, 15th International Conference on Interactive Theorem Proving (ITP 2024). Bertot, Y., Kutsia, T. & Norrish, M. (eds.). Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 4. (Leibniz International Proceedings in Informatics (LIPIcs); vol. 309).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
Open AccessFile1 Link opens in a new tab Citation (Scopus)43 Downloads (Pure) -
Logic of Differentiable Logics: Towards a Uniform Semantics of DL
Ślusarz, N., Komendantskaya, E., Daggitt, M. L., Stewart, R. & Stark, K., 3 Jun 2023, In: EPiC Series in Computing. 94, p. 473-493 21 p.Research output: Contribution to journal › Conference article › peer-review
Open Access10 Link opens in a new tab Citations (Scopus) -
Towards a Certified Proof Checker for Deep Neural Network Verification
Desmartin, R., Isac, O., Passmore, G., Stark, K., Komendantskaya, E. & Katz, G., 16 Oct 2023, Logic-Based Program Synthesis and Transformation. LOPSTR 2023. Glück, R. & Kafle, B. (eds.). Springer, p. 198-209 12 p. (Lecture Notes in Computer Science; vol. 14330).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
5 Link opens in a new tab Citations (Scopus)