The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation. - Marc Benkert; Alexander Wolff 001; Florian Widmann (JCDCG, 2004)

The minimum Manhattan network problem: Approximations and exact solutions. - Marc Benkert; Alexander Wolff 001; Florian Widmann; Takeshi Shirabe (Comput. Geom., 2006)

One-Pass Tableaux for Computation Tree Logic. - Pietro Abate; Rajeev Goré; Florian Widmann (LPAR, 2007)

An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability. - Pietro Abate; Rajeev Goré; Florian Widmann (M4M, 2007)

An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. - Rajeev Goré; Florian Widmann (CADE, 2009)

Sound Global State Caching for ALC with Inverse Roles. - Rajeev Goré; Florian Widmann (TABLEAUX, 2009)

Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. - Rajeev Goré; Florian Widmann (IJCAR, 2010)

Optimal Tableaux for Propositional Dynamic Logic with Converse - Rajeev Goré; Florian Widmann (CoRR, 2010)

An Experimental Comparison of Theorem Provers for CTL. - Rajeev Goré; Jimmy Thomson 001; Florian Widmann (TIME, 2011)

Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). - William Snell; Dirk Pattinson; Florian Widmann (LPAR, 2012)

Discrete and Continuous Models for Partitioning Problems. - Jan Lellmann; Björn Lellmann; Florian Widmann; Christoph Schnörr (Int. J. Comput. Vis., 2013)

Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). - Daniel Gorín; Dirk Pattinson; Lutz Schröder; Florian Widmann; Thorsten Wißmann (IJCAR, 2014)