We stand with Ukraine  

Mario Frank

Orcid: 0000-0001-8888-7475

Affiliations:
  • University of Potsdam, Institute of Computer Science, Germany


According to our database1, Mario Frank authored at least 5 papers between 2017 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
On synthesising Linux kernel module components from Coq formalisations.
[BibTeX]
[DOI]
Mario Frank
PhD thesis, 2024

2023
nanoCoP-Omega: A Non-Clausal Connection Prover with Arithmetic.
[BibTeX]
[DOI]
Leo Repp
,
Mario Frank
Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (AReCCa 2023) affiliated with the 32nd International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX 2023), 2023

2021
The Coq Proof Script Visualiser (coq-psv).
[BibTeX]
[DOI]
Mario Frank
CoRR, 2021

2020
Automatische Inferenz.
[BibTeX]
[DOI]
Christoph Kreitz
,
Mario Frank
Proceedings of the Handbuch der Künstlichen Intelligenz, 6. Auflage, 2020

2017
A Theorem Prover for Scientific and Educational Purposes.
[BibTeX]
[DOI]
Mario Frank
,
Christoph Kreitz
Proceedings of the Proceedings 6th International Workshop on Theorem proving components for Educational software, 2017


  Loading...