Florian Bruse

According to our database1, Florian Bruse authored at least 7 papers between 2014 and 2017.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2017
Space-Efficient Fragments of Higher-Order Fixpoint Logic.
Proceedings of the Reachability Problems - 11th International Workshop, 2017

On the relationship between higher-order recursion schemes and higher-order fixpoint logic.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

2016
A Canonical Model Construction for Iteration-Free PDL with Intersection.
Proceedings of the Seventh International Symposium on Games, 2016

Alternation Is Strict For Higher-Order Modal Fixpoint Logic.
Proceedings of the Seventh International Symposium on Games, 2016

2015
On guarded transformation in the modal μ-calculus.
Logic Journal of the IGPL, 2015

2014
The Fixpoint-Iteration Algorithm for Parity Games.
Proceedings of the Proceedings Fifth International Symposium on Games, 2014

Alternating Parity Krivine Automata.
Proceedings of the Mathematical Foundations of Computer Science 2014, 2014


  Loading...