2017
-
Certified Non-Confluence with ConCon 1.5,
Oxford, 6th International Workshop on Confluence
(IWC 2017),
pdf
-
Certifying Confluence of Quasi-Decreasing Strongly Deterministic Conditional
Term Rewrite Systems,
Gothenburg, 26th International Conference on Automated Deduction
(CADE 2017),
pdf
-
Reliable Analysis of Conditional Term Rewrite Systems,
Valencia, Research Visit
(announcement),
pdf
2016
-
Reliable Analysis of Functional Logic Programs,
Innsbruck, Lunchtime Seminar
(lunchtime seminar),
pdf
-
Formalized Confluence of Quasi-Decreasing, Strongly Deterministic Conditional
TRSs,
Obergurgl, 5th International Workshop on Confluence
(IWC 2016),
pdf
-
A Characterization of Quasi-Decreasingness,
Obergurgl, 15th International Workshop on Termination
(WST 2016),
pdf
-
Certifying Confluence of Almost Orthogonal CTRSs via Exact Tree Automata
Completion,
Porto, 1st International Conference on Formal Structures for Computation and Deduction
(FSCD 2016),
pdf
2015
-
ConCon 1.3,
Berlin, 4th International Workshop on Confluence
(IWC 2015),
pdf
-
Infeasible Conditional Critical Pairs,
Berlin, 4th International Workshop on Confluence
(IWC 2015),
pdf
-
Recording Completion for Certificates in Equational Reasoning,
Mumbai,
4th ACM-SIGPLAN Conference on Certified Programs and Proofs
(CPP 2015),
pdf
2014
-
Towards Automatic Infeasibility,
Jozankei, 41th TRS Meeting
(TRS Meeting 2014),
pdf
-
Conditional Confluence (system description),
Vienna, Joint International Conference RTA-TLCA
(RTA-TLCA 2014),
pdf
-
ConCon,
Vienna, 3nd International Workshop on Confluence
(IWC 2014),
pdf
2013
-
KBCV 2.0 – Automatic Completion Experiments,
Eindhoven, 2nd International Workshop on Confluence
(IWC 2013),
pdf
2012
-
Automatic Proofs in Equational Logic (master defensio),
Innsbruck,
pdf
-
KBCV — Knuth-Bendix Completion Visualizer (system description),
Manchester, 6th International Joint Conference on Automated Reasoning
(IJCAR 2012),
pdf
2010
-
Visualizing Knuth-Bendix Completion (bachelor presentation),
Innsbruck,
pdf