Florian Widmann

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Topics

Linear Inequalities

Prime Implicates

Inference Rules

Top Venues

Int. J. Comput. Vis.

Publications

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