Martin Riener
Orcid: 0000000188367808
According to our database^{1},
Martin Riener
authored at least 8 papers
between 2012 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on orcid.org
On csauthors.net:
Bibliography
2021
Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021
2019
Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019
Proceedings of the Frontiers of Combining Systems  12th International Symposium, 2019
2016
Proceedings of the Automated Reasoning  8th International Joint Conference, 2016
2014
Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014
2013
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013
2012
Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012
Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012