Alpha avoidance
Innsbruck, 7 September 2021Amortized resource analysis for term rewrite systems
Innsbruck, 17 July 2018- Das Werk ist online nicht zugreifbar
- Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Artificial intelligence and domain-specific languages for interactive theorem proving
Innsbruck, 5 December 2020 Automated conditional nonreachability
Innsbruck, 27 October 2020Certified ACKBO
Innsbruck, 29 March 2019Certifying termination proofs of LLVM IR programs
Innsbruck, 2022Classic nintendo games are completely hard
Innsbruck, 28 December 2015- Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Describing classical spin Hamiltonians as automata
Innsbruck, August 21, 2020 Extending tools for confluence and related properties of rewrite systems
Innsbruck, 7 August 2020Fewest common hops (FCH)
an improved peer selection approach for P2P applicationsInnsbruck, March 2016- Das Dokument ist auf Wunsch des Urhebers/der Urheberin online nicht zugänglich
Formal foundations for game theory
Innsbruck, 23 July 2019 Implementation and evaluation of optimizations for verified SMT solving
Innsbruck, 24 June 2019Investigating the process of process modeling with a step categorization
Innsbruck, May 24, 2018Learning proof search in proof assistants
Innsbruck, 31 July 2018Learning-assisted reasoning within proof assistants
Innsbruck, 1 August 2018