Benjamin Bisping

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 13

Top Topics

Similarity Metric

Pursuit Evasion

Top Venues

Arch. Formal Proofs

Publications

Benjamin Bisping, Luisa Montanari
Characterizing contrasimilarity through games, modal logic, and complexity. Inf. Comput. 300 (2024)
Benjamin Bisping
Process Equivalence Problems as Energy Games. CoRR (2023)
Benjamin Bisping, David N. Jansen
Linear-Time-Branching-Time Spectroscopy Accounting for Silent Steps. CoRR (2023)
Benjamin Bisping
Process Equivalence Problems as Energy Games. CAV (1) (2023)
Benjamin Bisping, Luisa Montanari
Coupled Similarity and Contrasimilarity, and How to Compute Them. Arch. Formal Proofs 2023 (2023)
Benjamin Bisping, David N. Jansen, Uwe Nestmann
Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy. Log. Methods Comput. Sci. 18 (3) (2022)
Benjamin Bisping, Uwe Nestmann
A Game for Linear-time-Branching-time Spectroscopy. TACAS (1) (2021)
Benjamin Bisping, Luisa Montanari
A Game Characterization for Contrasimilarity. EXPRESS/SOS (2021)
Benjamin Bisping, Uwe Nestmann
Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy. CoRR (2021)
Benjamin Bisping, Uwe Nestmann, Kirstin Peters
Coupled similarity: the first 32 years. Acta Informatica 57 (3-5) (2020)
Benjamin Bisping, Uwe Nestmann
Computing Coupled Similarity. TACAS (1) (2019)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
A Constructive Proof for FLP. Arch. Formal Proofs 2016 (2016)
Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann
Mechanical Verification of a Constructive Proof for FLP. ITP (2016)