Selected Publications
2024
- Frank, M. (2024): On Synthesising Linux Kernel Module Components from Coq Formalisations. Doctoral Thesis, University of Potsdam. published online at the Publication Server of the University of Potsdam, https://doi.org/10.25932/publishup-64255 (open access).
- Repp, L.; Frank, M. (2024): nanoCoP-Ω: A Non-Clausal Connection Prover with Arithmetic. In: Proceedings of the 1st International Workshop on Automated Reasoning with Connection Calculi (Prague, Czech Republic, Sept. 18, 2023). Ed. by Jens Otten and Wolfgang Bibel. CEUR Workshop Proceedings 3613. Aachen, 2024, pp. 41–53.
2023
- Frinker, N.; Liebergeld, S.; Dr. Otto, A.; Frank, M.; Egger, M. (2023): Eine vertrauenswürdige, sichere Public Cloud - Utopie oder Realität. In: Digital sicher in eine nachhaltige Zukunft. 19. Deutscher IT-Sicherheitskongress. Bundesamt für Sicherheit in der Informationstechnik - BSI, 2023, pp. 227–240. ISBN: 978-3-922746-85-0.
- Frinker, N.; Frank, M.; Liebergeld, S. (2023): VerSeCloud. Der Weg zur vertrauenswürdigen und sicheren Cloud "Made in Germany". In: Behörden Spiegel. Jahrgang. 39. Nr. 4 (2023), p. 31, ISSN: 1437-8337.
2020
- Kreitz, C.; Frank, M (2020): Automatische Inferenz. In: Handbuch der Künstlichen Intelligenz. Ed. by Günther Görz, Ute Schmid, and Tanya Braun. Berlin, Boston: De Gruyter, Dec. 16, 2020. Chap. 5, pp. 143–188. ISBN: 978-3-11-065984-9.
- Frank, M (2020): The Coq Proof Script Visualiser (coq-psv). 11th Coq Workshop, colocated with IJCAR ’20. July 2020. Published as ePrint on arXiv.
Historical
- Schellhorn, S.; Frank, M; Kreitz, C. (2019): Brückenkurse für mathematische und informatiknahe Studiengänge. In: Alles auf Anfang!. Ed. by Wilfried Schubarth, Sylvi Mauermeister, Friederike Schulze-Reichelt and Andreas Seidel. Potsdamer Beiträge zur Hochschulforschung, Heft 4 (2019). pp. 257-271. ISBN: 978-3-86956-452-4.
- Frank, M.; Kreitz, C. (2018): A Theorem Prover for Scientific and Educational Purposes. EPTCS Vol. 267 (pp. 59-69).
- Frank, M (2013/2014): TEMPLAR - Efficient Determination of Relevant Axioms in Big Formula Sets for Theorem Proving. Diploma Thesis, published 2014 online at the Institutional Repositoryof the University of Potsdam
- Frank, M (2012/2014): ARDE - Technical Report. Student Work, published 2014 online at the Institutional Repository of the University of Potsdam
- Frank, M. (2012): Relevanzbasiertes Preprocessing für automatische Theorembeweiser. In J. Schmidt, T. Riechert & S. Auer (ed.), SKIL 2012 - Dritte Studentenkonferenz Informatik Leipzig , Vol. 34 (pp. 87-98) . LIV . ISBN: 978-3-941608-21-4.
Talks
Conferences
- Frank, M. (2025): On Embedding Code Extracted From Coq Formalisations into Data Analysis Workflows. 5th conference for Research Software Engineering in Germany, 25-27.02.2025, KIT, Karlsruhe, Germany.
- Frinker, N.; Frank, M. (2023): Eine vertrauenswürdige, sichere Public Cloud - Utopie oder Realität?19. Deutscher IT-Sicherheitskongress, 10. - 11.05.2023.
Workshops/Symposia
- Frank, M.; Egger, M.; Otto, A.; Kreitz, Chr. (2023): Bringing Synthesised Software to a Real-World Microkernel Operating System. The 35th Symposium on Implementation and Application of Functional Languages, IFL 2023, 29-31.08.2023, Braga, Portugal.
- Frank, M (2020): The Coq Proof Script Visualiser (coq-psv). 11th Coq Workshop, colocated with IJCAR ’20. July 2020
- Frank, M.; Kreitz, Chr. (2017): A theorem prover for scientific and educational purposes. ThEdu'17 - Theorem proving components for Educational software, 6 August 2017, Gothenburg, Sweden, at CADE26