Coupled similarity: the first 32 years B Bisping, U Nestmann, K Peters Acta Informatica 57 (3), 439-463, 2020 | 13 | 2020 |
Computing coupled similarity B Bisping, U Nestmann Tools and Algorithms for the Construction and Analysis of Systems: 25th …, 2019 | 9 | 2019 |
Mechanical verification of a constructive proof for flp B Bisping, PD Brodmann, T Jungnickel, C Rickmann, H Seidler, A Stüber, ... Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy …, 2016 | 6 | 2016 |
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time--Branching-Time Spectroscopy B Bisping, DN Jansen, U Nestmann Logical Methods in Computer Science 18, 2022 | 5 | 2022 |
A Game Characterization for Contrasimilarity B Bisping, L Montanari Electronic Proceedings in Theoretical Computer Science 339, 27--42, 2021 | 3 | 2021 |
A game for linear-time–branching-time spectroscopy B Bisping, U Nestmann Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021 | 3 | 2021 |
Computing coupled similarity B Bisping Master¢s thesis, Technische Universität Berlin, 2018 | 3 | 2018 |
A constructive proof for FLP B Bisping, PD Brodmann, T Jungnickel, C Rickmann, H Seidler, A Stüber, ... Archive of Formal Proofs 20, 2016 | 1 | 2016 |
Coupled Similarity and Contrasimilarity B Bisping, L Montanari | | 2023 |
Process Equivalence Problems as Energy Games B Bisping Computer Aided Verification. CAV 2023. Lecture Notes in Computer Science …, 2023 | | 2023 |
Linear-Time--Branching-Time Spectroscopy Accounting for Silent Steps B Bisping, DN Jansen arXiv preprint arXiv:2305.17671, 2023 | | 2023 |
Coupled Similarity B Bisping, U Nestmann | | 2019 |