Martin Riener

According to our database, Martin Riener authored at least 8 papers between 2012 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

Automated Instantiation of Control Flow Tracing Exercises.

Clemens Eisenhofer, Martin Riener

Proceedings of the Proceedings 10th International Workshop on Theorem Proving Components for Educational Software, 2021

2019

Experimenting with Theory Instantiation in Vampire.

Martin Riener

Proceedings of the Vampire 2018 and Vampire 2019. The 5th and 6th Vampire Workshops, 2019

Symmetry Avoidance in MACE-Style Finite Model Finding.

Giles Reger, Martin Riener, Martin Suda

Proceedings of the Frontiers of Combining Systems - 12th International Symposium, 2019

2016

System Description: GAPT 2.0.

Gabriel Ebner, Stefan Hetzl, Giselle Reis, Martin Riener, Simon Wolfsteiner, Sebastian Zivota

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016

2014

Advanced Proof Viewing in ProofTool.

Tomer Libal, Martin Riener, Mikheil Rukhaia

Proceedings of the Proceedings Eleventh Workshop on User Interfaces for Theorem Provers, 2014

2013

Understanding Resolution Proofs through Herbrand's Theorem.

Stefan Hetzl, Tomer Libal, Martin Riener, Mikheil Rukhaia

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2013

2012

PROOFTOOL: a GUI for the GAPT Framework.

Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Proceedings 10th International Workshop On User Interfaces for Theorem Provers, 2012

System Feature Description: Importing Refutations into the GAPT Framework.

Cvetan Dunchev, Alexander Leitsch, Tomer Libal, Martin Riener, Mikheil Rukhaia, Daniel Weller, Bruno Woltzenlogel Paleo

Proceedings of the Second International Workshop on Proof Exchange for Theorem Proving, 2012