We stand with Ukraine  

Nadine Karsten

Orcid: 0009-0001-1516-7482

According to our database1, Nadine Karsten authored at least 4 papers between 2022 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
ProofBuddy: How it Started, How it's Going.
[BibTeX]
[DOI]
Nadine Karsten
,
Kim Jana Eiken
,
Uwe Nestmann
Proceedings of the Proceedings The 13th International Workshop on Theorem proving components for Educational software, May, 2024

2023
ProofBuddy: A Proof Assistant for Learning and Monitoring.
[BibTeX]
[DOI]
Nadine Karsten
,
Frederik Krogsdal Jacobsen
,
Kim Jana Eiken
,
Uwe Nestmann
,
Jørgen Villadsen
Proceedings of the Proceedings Twelfth International Workshop on Trends in Functional Programming in Education, 2023

Store Locally, Prove Globally.
[BibTeX]
[DOI]
Nadine Karsten
,
Uwe Nestmann
Proceedings of the Theoretical Aspects of Computing - ICTAC 2023, 2023

2022
Beweiskompetenz durch Beweisassistenz.
[BibTeX]
[DOI]
Nadine Karsten
,
Uwe Nestmann
Proceedings of the DELFI 2022, 2022


  Loading...