Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.
? Tutorial for this page

Michael Formann

dblp:89/3150 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Computational geometry › graph drawing
angular resolution
0.021993
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.021993
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.021993
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.011991
Routing through a Dense Channel with Minimum Total Wire Length · SODA 1991
Electronic design automation
physical design
0.011991
Routing through a Dense Channel with Minimum Total Wire Length · SODA 1991
Electronic design automation › physical design
routing
0.011991
Routing through a Dense Channel with Minimum Total Wire Length · SODA 1991
Mathematical optimization › combinatorial optimization
packing problems
0.011991
A Packing Problem with Applications to Lettering of Maps · SCG 1991
Computational geometry › packing and covering
square packing
0.011991
A Packing Problem with Applications to Lettering of Maps · SCG 1991
Visualization and visual analytics › graph visualization › graph drawing › label placement
map labeling
0.011991
A Packing Problem with Applications to Lettering of Maps · SCG 1991
Computational geometry
geometric graph theory
0.011990
Drawing Graphs in the Plane with High Resolution · FOCS 1990
Computational geometry › graph drawing
planar graph drawing
0.011990
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
YearPublicationVenuePosition
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
STACS1
1993 Drawing Graphs in the Plane with High Resolution
abstract
This 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 Maps
abstract
The 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
SCG1
1991 Routing through a Dense Channel with Minimum Total Wire Length
Michael Formann, Dorothea Wagner, Frank Geraets
SODA1
1990 Drawing Graphs in the Plane with High Resolution
abstract
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 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
FOCS1
1990 The VLSI layout in various embedding models
Michael Formann, Frank Geraets
WG1