Benjamin Bisping
ORCIDPublication Activity (10 Years)
Years Active: 2016-2023
Publications (10 Years): 12
Publications (10 Years): 12
Publications
- Benjamin Bisping
- Benjamin Bisping, David N. Jansen
- Benjamin Bisping
- Benjamin Bisping, Luisa Montanari
- Benjamin Bisping, Uwe Nestmann
- Benjamin Bisping, Luisa Montanari
- Benjamin Bisping, Uwe Nestmann, Kirstin Peters
- Benjamin Bisping, Uwe Nestmann
- Benjamin Bisping, Paul-David Brodmann, Tim Jungnickel, Christina Rickmann, Henning Seidler, Anke Stüber, Arno Wilhelm-Weidner, Kirstin Peters, Uwe NestmannA Constructive Proof for FLP. Arch. Formal Proofs 2016 (2016)