Florian Widmann

13 papers A 3B 3C 1Journal 4Unranked 2
YearRankTypeTitle / Venue / Authors
2014 A conf
Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description).
IJCAR
Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann
2013 J jnl
Discrete and Continuous Models for Partitioning Problems.
Int. J. Comput. Vis.
Jan Lellmann, Björn Lellmann, Florian Widmann, Christoph Schnörr
2012 B conf
Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description).
LPAR
William Snell, Dirk Pattinson, Florian Widmann
2011 C conf
An Experimental Comparison of Theorem Provers for CTL.
TIME
Rajeev Goré, Jimmy Thomson, Florian Widmann
2010 J jnl
Optimal Tableaux for Propositional Dynamic Logic with Converse
CoRR
Rajeev Goré, Florian Widmann
2010 A conf
Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse.
IJCAR
Rajeev Goré, Florian Widmann
2009 A conf
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability.
CADE
Rajeev Goré, Florian Widmann
2009 B conf
Sound Global State Caching for
TABLEAUX
Rajeev Goré, Florian Widmann
2007 J jnl
An On-the-fly Tableau-based Decision Procedure for PDL-Satisfiability
CoRR
Pietro Abate, Rajeev Goré, Florian Widmann
2007 — conf
An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.
M4M
Pietro Abate, Rajeev Goré, Florian Widmann
2007 B conf
One-Pass Tableaux for Computation Tree Logic.
LPAR
Pietro Abate, Rajeev Goré, Florian Widmann
2006 J jnl
The minimum Manhattan network problem: Approximations and exact solutions.
Comput. Geom.
Marc Benkert, Alexander Wolff, Florian Widmann, Takeshi Shirabe
2004 — conf
The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation.
JCDCG
Marc Benkert, Alexander Wolff, Florian Widmann