Benjamin Bisping

According to our database, Benjamin Bisping authored at least 12 papers between 2016 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Characterizing contrasimilarity through games, modal logic, and complexity.

Benjamin Bisping, Luisa Montanari

Inf. Comput., 2024

2023

Linear-Time-Branching-Time Spectroscopy Accounting for Silent Steps.

Benjamin Bisping, David N. Jansen

CoRR, 2023

Coupled Similarity and Contrasimilarity, and How to Compute Them.

Benjamin Bisping, Luisa Montanari

Arch. Formal Proofs, 2023

Process Equivalence Problems as Energy Games.

Benjamin Bisping

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Deciding All Behavioral Equivalences at Once: A Game for Linear-Time-Branching-Time Spectroscopy.

Benjamin Bisping, David N. Jansen, Uwe Nestmann

Log. Methods Comput. Sci., 2022

2021

Deciding All Behavioral Equivalences at Once: A Game for Linear-time-Branching-time Spectroscopy.

Benjamin Bisping, Uwe Nestmann

CoRR, 2021

A Game Characterization for Contrasimilarity.

Benjamin Bisping, Luisa Montanari

Proceedings of the Proceedings Combined 28th International Workshop on Expressiveness in Concurrency and 18th Workshop on Structural Operational Semantics, 2021

A Game for Linear-time-Branching-time Spectroscopy.

Benjamin Bisping, Uwe Nestmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2020

Coupled similarity: the first 32 years.

Benjamin Bisping, Uwe Nestmann, Kirstin Peters

Acta Informatica, 2020

2019

Computing Coupled Similarity.

Benjamin Bisping, Uwe Nestmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2016

A Constructive Proof for FLP.

Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann

Arch. Formal Proofs, 2016

Mechanical Verification of a Constructive Proof for FLP.

Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe Nestmann

Proceedings of the Interactive Theorem Proving - 7th International Conference, 2016