Herman Geuvers
Radboud Universiteit
H-index: 28
Europe-Netherlands
Top articles of Herman Geuvers
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Hashing Modulo Context-Sensitive -Equivalence | arXiv preprint arXiv:2401.02948 | Lasse Blaauwbroek Miroslav Olšák Herman Geuvers | 2024/1/5 |
Normalization for the simply typed λ-calculus | Bálint Kocsis Niels van der Weide Herman Geuvers | 2024/3/1 | |
Prusti in Practice | Robbert Krebbers Ike Mulder Herman Geuvers | 2023/3/22 | |
Classical Natural Deduction from Truth Tables | Herman Geuvers Tonny Hurkens | 2023 | |
Natural deduction derived from truth tables | THE PROOF SOCIETY | Herman Geuvers Iris van der Giessen Tonny Hurkens | 2022 |
Characteristics of de Bruijn's early proof checker Automath | Fundamenta Informaticae | Herman Geuvers Rob Nederpelt | 2022/7/7 |
Diaframe: automated verification of fine-grained concurrent programs in Iris | Ike Mulder Robbert Krebbers Herman Geuvers | 2022 | |
Exploring the difference between 2DFA and DFA for G-automata | Alex van der Hulst JC Rot JH Geuvers | 2022/4/2 | |
On iterated transducers and closure under hypotheses | Robin Holen Jurriaan Rot Herman Geuvers | 2022/4 | |
Directed branching bisimulation via apartness and positive logic | arXiv preprint arXiv:2210.07380 | Herman Geuvers Anton Golov | 2022/10/13 |
Semantic Equivalence of Task-Oriented Programs in TopHat | Tosca Klijnsma Tim Steenvoorden | 2022/3/17 | |
Apartness and distinguishing formulas in hennessy-milner logic | Herman Geuvers | 2022/9/7 | |
Pumping Lemma for Deterministic Weighted Automata | Amber Pater JC Rot JH Geuvers | 2021/3/22 | |
Solving and generating puzzles with a connectivity constraint | Bachelor thesis of Radboud University | Gerhard van der Knijff H Zantema JH Geuvers | 2021/1/6 |
Extending context-free grammars with conjunction and negation | Astrid van der Jagt Herman Geuvers Jurriaan Rot | 2021/3/21 | |
A Study In Meta | Luuk Verkleij Herman Geuvers Freek Wiedijk | 2021/8 | |
ITP Automation in Practice: A User Study on Tactician | Lasse Blaauwbroek JH Geuvers | 2021 | |
Analysis of Confined Blocks World | Julius Landsman H Zantema JH Geuvers | 2021/1/10 | |
Relating apartness and bisimulation | Logical Methods in Computer Science | Herman Geuvers Bart Jacobs | 2021/7/30 |
Transducer Degrees | Steven Bronsveld JH Geuvers H Zantema | 2021/1/10 |