Florian Widmann

According to our database, Florian Widmann authored at least 12 papers between 2004 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2014

Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description).

Daniel Gorín, Dirk Pattinson, Lutz Schröder, Florian Widmann, Thorsten Wißmann

Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014

2013

Discrete and Continuous Models for Partitioning Problems.

Jan Lellmann, Björn Lellmann, Florian Widmann, Christoph Schnörr

Int. J. Comput. Vis., 2013

2012

Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description).

William Snell, Dirk Pattinson, Florian Widmann

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2012

2011

An Experimental Comparison of Theorem Provers for CTL.

Rajeev Goré, Jimmy Thomson, Florian Widmann

Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011

2010

Optimal Tableaux for Propositional Dynamic Logic with Converse

Rajeev Goré, Florian Widmann

CoRR, 2010

Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse.

Rajeev Goré, Florian Widmann

Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010

2009

Sound Global State Caching for <i>ALC</i> with Inverse Roles.

Rajeev Goré, Florian Widmann

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009

An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability.

Rajeev Goré, Florian Widmann

Proceedings of the Automated Deduction, 2009

2007

An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability.

Pietro Abate, Rajeev Goré, Florian Widmann

Proceedings of the 5th Workshop on Methods for Modalities, 2007

One-Pass Tableaux for Computation Tree Logic.

Pietro Abate, Rajeev Goré, Florian Widmann

Proceedings of the Logic for Programming, 2007

2006

The minimum Manhattan network problem: Approximations and exact solutions.

Marc Benkert, Alexander Wolff, Florian Widmann, Takeshi Shirabe

Comput. Geom., 2006

2004

The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation.

Marc Benkert, Alexander Wolff, Florian Widmann

Proceedings of the Discrete and Computational Geometry, Japanese Conference, 2004