Demo Data from EDBT 2026 / reviewers in the wild / expert
Michael Formann
dblp:89/3150
· DBLP profile ↗
7ranked-venue papers
6as first author
0since 2021 · last 1994
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 7 · 6 first-author
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
4 papers |
Computational geometry · 77% Mathematical optimization · 10% Algorithms and data structures · 10% | |
| Computer architecture, parallel and distributed computing, and storage systems
1 paper |
Electronic design automation · 100% |
Topics — the 11 heaviest of 13, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Computational geometry › graph drawing
angular resolution |
0.0 | 2 | 1993 | Drawing Graphs in the Plane with High Resolution · SIAM J. Comput. 1993 Drawing Graphs in the Plane with High Resolution · FOCS 1990 |
Computational geometry
graph drawing |
0.0 | 2 | 1993 | Drawing Graphs in the Plane with High Resolution · SIAM J. Comput. 1993 Drawing Graphs in the Plane with High Resolution · FOCS 1990 |
Computational geometry › graph drawing
straight-line drawing |
0.0 | 2 | 1993 | Drawing Graphs in the Plane with High Resolution · SIAM J. Comput. 1993 Drawing Graphs in the Plane with High Resolution · FOCS 1990 |
Electronic design automation › physical design › routing
channel routing |
0.0 | 1 | 1991 | Routing through a Dense Channel with Minimum Total Wire Length · SODA 1991 |
Electronic design automation
physical design |
0.0 | 1 | 1991 | Routing through a Dense Channel with Minimum Total Wire Length · SODA 1991 |
Electronic design automation › physical design
routing |
0.0 | 1 | 1991 | Routing through a Dense Channel with Minimum Total Wire Length · SODA 1991 |
Mathematical optimization › combinatorial optimization
packing problems |
0.0 | 1 | 1991 | A Packing Problem with Applications to Lettering of Maps · SCG 1991 |
Computational geometry › packing and covering
square packing |
0.0 | 1 | 1991 | A Packing Problem with Applications to Lettering of Maps · SCG 1991 |
Visualization and visual analytics › graph visualization › graph drawing › label placement
map labeling |
0.0 | 1 | 1991 | A Packing Problem with Applications to Lettering of Maps · SCG 1991 |
Computational geometry
geometric graph theory |
0.0 | 1 | 1990 | Drawing Graphs in the Plane with High Resolution · FOCS 1990 |
Computational geometry › graph drawing
planar graph drawing |
0.0 | 1 | 1990 | Drawing Graphs in the Plane with High Resolution · FOCS 1990 |
Methods — techniques the papers use, named apart from their topics
routing algorithm · 0.0lower bound · 0.0approximation algorithm · 0.0counting argument · 0.0combinatorial bounds · 0.0combinatorial bound analysis · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1994 | Faster Isometric Embedding in Products of Complete Graphs
Franz Aurenhammer, Michael Formann, Ramana M. Idury, Alejandro A. Schäffer, Frank Geraets |
Discret. Appl. Math. | 2 |
| 1993 | Weighted Closest Pairs
Michael Formann |
STACS | 1 |
| 1993 | Drawing Graphs in the Plane with High ResolutionabstractThis paper presents the problem of drawing a graph in the plane so that edges appear as straight lines and the minimum angle formed by any pair of incident edges is maximized. The resolution of a layout is defined to be the size of the minimum angle formed by incident edges of the graph, and the resolution of a graph to be the maximum resolution of any layout of the graph. The resolution R of a graph is characterized in terms of the maximum node degree d of the graph by proving that $\Omega (\frac{1}{{d^2 }}) \leqslant R \leqslant \frac{{2\pi }}{d}$ for any graph. Moreover, it is proved that $R = \Theta (\frac{1}{d})$ for many graphs including planar graphs, complete graphs, hypercubes, multidimensional meshes and tori, and other special networks. It is also shown that the problem of deciding if $R = \frac{{2\pi }}{d}$ for a graph is NP-hard for $d = 4$, and by using a counting argument that $R = O(\frac{{\log d}}{{d^2 }})$ for many graphs. Michael Formann, Torben Hagerup, James Haralambides, Michael Kaufmann 0001, Frank Thomson Leighton, Antonios Symvonis, Emo Welzl, Gerhard J. Woeginger |
SIAM J. Comput. | 1 |
| 1991 | A Packing Problem with Applications to Lettering of MapsabstractThe following packing problem arises in connection with lettering of maps: Given n distinct points pl, p2,.... pn in the plane, determine the supremum uoPi of all reals U, such that there are n pan-wise dtsjomt, axis-parallel, closed squares Ql, Q2,.... Qn of side-length u, where each pi ts a corner of Qi. Note that — by using afine transformation — the problem is equivalent to the case when we want largest homothetic cop~es of a jized rectangle or parallelogram tnstead of equal ly-szzed squares. In the cartographic application, the points are items (groundwater-drillho les etc.) and the squares are places for labels associated with these items (sulphate concentration etc.). An algorithm is presented, that in O(n log n] time either produces a solution, that is guaranteed to be at least half as large as the supremum. This is optimal, m the sense that the corresponding decision problem is NP-complete, no po[ynomzal approximation algorithm with a guaranteed factor ezceedmg ~ exwts, provided that P # AfP; and there M also a lower bound of C2(n log n) for the running time. 1 Michael Formann, Frank Geraets |
SCG | 1 |
| 1991 | Routing through a Dense Channel with Minimum Total Wire Length
Michael Formann, Dorothea Wagner, Frank Geraets |
SODA | 1 |
| 1990 | Drawing Graphs in the Plane with High ResolutionabstractThe problem of drawing a graph in the plane so that edges appear as straight lines and the minimum angle formed by any pair of incident edges is maximized is studied. The resolution of a layout is defined to be the size of the minimum angle formed by incident edges of the graph, and the resolution of a graph is defined to be the maximum resolution of any layout of the graph. The resolution R of a graph is characterized in terms of the maximum node degree d of the graph by proving that Omega (1/d/sup 2/)> Michael Formann, Torben Hagerup, James Haralambides, Michael Kaufmann 0001, Frank Thomson Leighton, Antonios Symvonis, Emo Welzl, Gerhard J. Woeginger |
FOCS | 1 |
| 1990 | The VLSI layout in various embedding models
Michael Formann, Frank Geraets |
WG | 1 |