Florian Widmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2007–2014
Best venue rank
A
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | CADE | Cool - A Generic Reasoner for Coalgebraic Hybrid Logics (System Description). | Daniel Gorn, Dirk Pattinson, Lutz Schrder, Florian Widmann, Thorsten Wimann |
| 2012 | LPAR | Solving Graded/Probabilistic Modal Logic via Linear Inequalities (System Description). | William Snell, Dirk Pattinson, Florian Widmann |
| 2011 | TIME | An Experimental Comparison of Theorem Provers for CTL. | Rajeev Gor, Jimmy Thomson, Florian Widmann |
| 2010 | CADE | Optimal and Cut-Free Tableaux for Propositional Dynamic Logic with Converse. | Rajeev Gor, Florian Widmann |
| 2009 | CADE | An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability. | Rajeev Gor, Florian Widmann |
| 2009 | TABLEAUX | Sound Global State Caching for | Rajeev Gor, Florian Widmann |
| 2007 | LPAR | One-Pass Tableaux for Computation Tree Logic. | Pietro Abate, Rajeev Gor, Florian Widmann |