We stand with Ukraine  

Kathrin Stark

Affiliations:
  • Heriot-Watt University, UK
  • Saarland University, Saarbrücken, Germany (PhD 2020)


According to our database1, Kathrin Stark authored at least 10 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Taming Differentiable Logics with Coq Formalisation.
[BibTeX]
[DOI]
Reynald Affeldt
,
Alessandro Bruni
,
Ekaterina Komendantskaya
,
Natalia Slusarz
,
Kathrin Stark
CoRR, 2024

2023
Logic of Differentiable Logics: Towards a Uniform Semantics of DL.
[BibTeX]
[DOI]
Natalia Slusarz
,
Ekaterina Komendantskaya
,
Matthew L. Daggitt
,
Robert J. Stewart
,
Kathrin Stark
Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

Towards a Certified Proof Checker for Deep Neural Network Verification.
[BibTeX]
[DOI]
Remi Desmartin
,
Omri Isac
,
Grant O. Passmore
,
Kathrin Stark
,
Ekaterina Komendantskaya
,
Guy Katz
Proceedings of the Logic-Based Program Synthesis and Transformation, 2023

2020
Mechanising syntax with binders in Coq.
[BibTeX]
[DOI]
Kathrin Stark
PhD thesis, 2020

Coq à la carte: a practical approach to modular syntax with binders.
[BibTeX]
[DOI]
Yannick Forster
,
Kathrin Stark
Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019
POPLMark reloaded: Mechanizing proofs by logical relations.
[BibTeX]
[DOI]
Andreas Abel
,
Guillaume Allais
,
Aliya Hameer
,
Brigitte Pientka
,
Alberto Momigliano
,
Steven Schäfer
,
Kathrin Stark
J. Funct. Program., 2019

Autosubst 2: reasoning with multi-sorted de Bruijn terms and vector substitutions.
[BibTeX]
[DOI]
Kathrin Stark
,
Steven Schäfer
,
Jonas Kaiser
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

Call-by-push-value in coq: operational, equational, and denotational theory.
[BibTeX]
[DOI]
Yannick Forster
,
Steven Schäfer
,
Simon Spies
,
Kathrin Stark
Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2019

2018
Binder aware recursion over well-scoped de Bruijn syntax.
[BibTeX]
[DOI]
Jonas Kaiser
,
Steven Schäfer
,
Kathrin Stark
Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2016
Hereditarily Finite Sets in Constructive Type Theory.
[BibTeX]
[DOI]
Gert Smolka
,
Kathrin Stark
Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016


  Loading...