Concepedia

Florian Widmann

FW

Statistics

Publications

4

Citations

93

H-Index

4

Active since

2005

Affiliations

Australian National University(Current)

Imperial College London

Florian Widmann is an author at Australian National University specializing in engineering, discrete mathematics, and combinatorial optimization.

Top concepts

EngineeringDiscrete MathematicsMathematical ProgrammingCombinatorial OptimizationEducationGraph TheoryVerificationFormal MethodsSatisfiabilityNetwork Science

Publications per year

2005–2013

4

Publications

4

The minimum Manhattan network problem: Approximations and exact solutions

Marc Benkert, Alexander Wolff, Florian Widmann et al. · Computational Geometry · 2005 · 38 citations

Mathematical Programming, Network Science, Graph Theory +10

An Experimental Comparison of Theorem Provers for CTL

Rajeev Goré, Jimmy Thomson, Florian Widmann · 2011 · 19 citations

Benchmark Formulae, Computation Tree Logic, Engineering +15

Discrete and Continuous Models for Partitioning Problems

Jan Lellmann, Björn Lellmann, Florian Widmann et al. · International Journal of Computer Vision · 2013 · 18 citations

Mathematical Programming, Engineering, Discrete Modeling +6

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

Pietro Abate, Rajeev Goré, Florian Widmann · Electronic Notes in Theoretical Computer Science · 2009 · 18 citations · Full text

1–4 of 4