Ullrich Hustadt
University of Liverpool
H-index: 34
Europe-United Kingdom
Top articles of Ullrich Hustadt
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Buy One Get 14 Free: Evaluating Local Reductions for Modal Logic | Cláudia Nalon Ullrich Hustadt Fabio Papacchini Clare Dixon | 2023/7/1 | |
Local is best: efficient reductions to modal logic K | Journal of Automated Reasoning | Fabio Papacchini Cláudia Nalon Ullrich Hustadt Clare Dixon | 2022/11 |
Local reductions for the modal cube | Cláudia Nalon Ullrich Hustadt Fabio Papacchini Clare Dixon | 2022/8/1 | |
Efficient Local Reductions to Basic Modal Logic. | Fabio Papacchini Cláudia Nalon Ullrich Hustadt Clare Dixon | 2021/7/12 | |
Theorem proving for pointwise metric temporal logic over the naturals via translations | Journal of Automated Reasoning | Ullrich Hustadt Ana Ozaki Clare Dixon | 2020/12 |
Multi-scale verification of distributed synchronisation | Formal Methods in System Design | Paul Gainer Sven Linker Clare Dixon Ullrich Hustadt Michael Fisher | 2020/11 |
A Resolution-Based Theorem Prover for K n: Architecture, Refinements, Strategies and Experiments | Journal of Automated Reasoning | Cláudia Nalon Ullrich Hustadt Clare Dixon | 2020/3 |