5 citations · 5 across the 3 of their papers we have counts for
4 papers
Four negations and the spectral presheaf
Benjamin Engel, Ryshard-Pavel Kostecki
Using Vakarelov's theory of lattice logics with negation, we introduce the (co)quasiintuitionistic logic, and prove its soundness and completeness with respect to the class of (co)…
The Structure of Emulations in Classical Spin Models: Modularity and Universality
Tobias Reinhart, Benjamin Engel, Gemma De les Coves
The theory of spin models intersects with condensed matter physics, complex systems, graph theory, combinatorial optimization, computational complexity and neural networks. Many en…
Log-concavity of the overpartition function
Benjamin Engel
We prove that the overpartition function is log-concave for all n>1. The proof is based on Sills Rademacher type series for the overpartition function and inspired by Desalvo and P…
Chiefly Symmetric: Results on the Scalability of Probabilistic Model Checking for Operating-System Code
Christel Baier, Marcus Daum, Benjamin Engel +6
Reliability in terms of functional properties from the safety-liveness spectrum is an indispensable requirement of low-level operating-system (OS) code. However, with evermore comp…