| 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 | 4 | 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 |
Uwe NestmannProfessor of Computer Science, TU BerlinVerified email at tu-berlin.de
