Concepedia

Florian Bruse

FB

3

Publications

51

Citations

3

H-Index

2014

Active since

Affiliations

University of Kassel(Current)

Florian Bruse is an author at University of Kassel specializing in formal methods, engineering, and automated reasoning.

ORCID

Top concepts

Publications per year

2014–2016

3

Publications

3

On the relationship between higher-order recursion schemes and higher-order fixpoint logic

Naoki Kobayashi, Étienne Lozes, Florian Bruse · 2016 · 23 citations

, , +13

On guarded transformation in the modal  -calculus

Florian Bruse, Oliver Friedmann, Martin Lange · Logic Journal of IGPL · 2014 · 16 citations

, , +2

The Fixpoint-Iteration Algorithm for Parity Games

Florian Bruse, Michael Falk, Martin Lange · Electronic Proceedings in Theoretical Computer Science · 2014 · 12 citations · Full text

, , +18

Rows per page

1–3 of 3