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

Helmut Alt

dblp:a/HelmutAlt · DBLP profile ↗
← Back
60ranked-venue papers
51as first author
1since 2021 · last 2026
—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Theory of computation · 50 · 43 first-authorGraphics, computer vision, multimedia, augmented reality and games · 9 · 7 first-author · 1 since 2021Databases, data management, data science and information retrieval · 3 · 3 first-authorApplied, interdisciplinary, general and emerging computing · 1 · 1 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
22 papers
Computational geometry · 59% Approximation and online algorithms · 21% Algorithms and data structures · 12%
Computer architecture, parallel and distributed computing, and storage systems
1 paper
Parallel and multicore computing · 50% Interconnection networks and networks-on-chip · 33% Performance modeling and evaluation · 17%

Topics — the 30 heaviest of 55, each with the papers that count most for it

TopicWeightPapersLastEvidence papers
Approximation and online algorithms
approximation algorithms
0.112006
Minimum-cost coverage of point sets by disks · SCG 2006
Computational geometry › geometric covering
disk covering
0.112006
Minimum-cost coverage of point sets by disks · SCG 2006
Approximation and online algorithms
facility location
0.112006
Minimum-cost coverage of point sets by disks · SCG 2006
Computational geometry
geometric covering
0.112006
Minimum-cost coverage of point sets by disks · SCG 2006
Approximation and online algorithms › approximation schemes
polynomial-time approximation scheme
0.112006
Minimum-cost coverage of point sets by disks · SCG 2006
Computational geometry
shape matching
0.132003
Matching planar maps · SODA 2003
Matching Shapes with a Reference Point · SCG 1994
Approximate Matching of Polygonal Shapes (Extended Abstract) · SCG 1991
Computational geometry
curve similarity
0.122003
Finding a curve in a map · SCG 2003
Measuring the Resemblance of Polygonal Curves · SCG 1992
Computational geometry › curve similarity
fréchet distance
0.122003
Finding a curve in a map · SCG 2003
Measuring the Resemblance of Polygonal Curves · SCG 1992
Computational geometry
motion planning
0.022003
The complexity of (un)folding · SCG 2003
Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures · SCG 1990
Computational complexity › complexity classes › PSPACE
PSPACE-completeness
0.012003
The complexity of (un)folding · SCG 2003
Algorithms and data structures › similarity search › nearest neighbor search
exact nearest neighbor search
0.012001
Exact Linfty Nearest Neighbor Search in High Dimensions · SCG 2001
Computational geometry › geometric search
high-dimensional search
0.012001
Exact Linfty Nearest Neighbor Search in High Dimensions · SCG 2001
Algorithms and data structures › similarity search
nearest neighbor search
0.012001
Exact Linfty Nearest Neighbor Search in High Dimensions · SCG 2001
Computational geometry › curve representation
curve approximation
0.021997
Piecewise Linear Approximation of Bézier-Curves · SCG 1997
Approximation of Convex Polygons · ICALP 1990
Computational geometry
combinatorial geometry
0.011998
Point-Sets with few k-Sets · SCG 1998
Computational geometry › discrete geometry
k-sets
0.011998
Point-Sets with few k-Sets · SCG 1998
Computational geometry
voronoi diagram
0.011995
The Voronoi Diagram of Curved Objects · SCG 1995
Computational geometry
geometric graph
0.012003
Finding a curve in a map · SCG 2003
Computational geometry › geometric matching
point set matching
0.011994
Matching Shapes with a Reference Point · SCG 1994
Computational complexity
circuit complexity
0.031988
Comparing the combinational complexities of arithmetic functions · J. ACM 1988
Comparison of Arithmetic Functions with Respect to Boolean Circuit Depth (Extended Abstract) · STOC 1984
Multiplication Is the Easiest Nontrivial Arithmetic Function · FOCS 1983
Algorithms and data structures › dynamic data structures
union-split-find
0.021988
A Lower Bound on the Complexity of the Union-Split-Find Problem · SIAM J. Comput. 1988
A Lower Bound for the Complexity of the Union-Split-Find Problem · ICALP 1987
Algorithms and data structures › sequence algorithms › string algorithms
approximate matching
0.011991
Approximate Matching of Polygonal Shapes (Extended Abstract) · SCG 1991
Computational geometry › distance measures
hausdorff distance
0.011991
Approximate Matching of Polygonal Shapes (Extended Abstract) · SCG 1991
Computational complexity › algebraic complexity
arithmetic circuit complexity
0.021988
Comparing the combinational complexities of arithmetic functions · J. ACM 1988
Multiplication Is the Easiest Nontrivial Arithmetic Function · FOCS 1983
Computational geometry › shape analysis
boundary complexity
0.011990
Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures · SCG 1990
Computational geometry › convex geometry
convex polygon
0.011990
Approximation of Convex Polygons · ICALP 1990
Approximation and online algorithms › approximation algorithms
geometric approximation
0.011990
Approximation of Convex Polygons · ICALP 1990
Computational geometry › combinatorial complexity
union of geometric objects
0.011990
Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures · SCG 1990
Algorithms and data structures
data structure lower bounds
0.011988
A Lower Bound on the Complexity of the Union-Split-Find Problem · SIAM J. Comput. 1988
Computational complexity
lower bounds
0.021987
A Lower Bound for the Complexity of the Union-Split-Find Problem · ICALP 1987
Lower Bounds for the Space Complexity of Context-Free Recognition · ICALP 1976

Methods — techniques the papers use, named apart from their topics

approximation algorithm · 0.1NP-hardness reduction · 0.1geometric matching · 0.1shortest path algorithms · 0.0reduction · 0.0complexity analysis · 0.0average-case analysis · 0.0probabilistic analysis · 0.0combinatorial construction · 0.0steiner points · 0.0load balancing · 0.0deterministic simulation · 0.0
YearPublicationVenuePosition
2026 Packing d-dimensional balls into a d + 1-dimensional container
abstract
In this article, we consider the problems of finding in d + 1 dimensions a minimum-volume axis-parallel box, a minimum-volume arbitrarily-oriented box and a minimum-volume convex body into which a given set of d -dimensional unit-radius balls can be packed under translations. The computational problem is neither known to be NP-hard nor to be in NP. We give a constant-factor approximation algorithm for each of these containers based on a reduction to finding a shortest Hamiltonian path in a weighted graph, which in turn models the problem of stabbing the centers of the input balls while keeping them disjoint. We also show that for n such balls, a container of volume O ( n d − 1 d ) is always sufficient and sometimes necessary. As a byproduct, this implies that for d ⩾ 2 there is no finite size ( d + 1 ) -dimensional convex body into which all d -dimensional unit-radius balls can be packed simultaneously.
Helmut Alt, Sergio Cabello, Otfried Cheong, Ji-won Park, Nadja Seiferth
Comput. Geom.1
2020 Middle curves based on discrete Fréchet distance
Hee-Kap Ahn, Helmut Alt, Maike Buchin, Eunjin Oh 0001, Ludmila Scharf, Carola Wenk
Comput. Geom.2
2019 Packing 2D Disks into a 3D Container
Helmut Alt, Otfried Cheong, Ji-won Park, Nadja Seiferth
WALCOM1
2017 Placing your Coins on a Shelf
Helmut Alt, Kevin Buchin, Steven Chaplick, Otfried Cheong, Philipp Kindermann, Christian Knauer, Fabian Stehn
ISAAC1
2016 Approximating Smallest Containers for Packing Three-Dimensional Convex Objects
Helmut Alt, Nadja Seiferth
ISAAC1
2016 A Middle Curve Based on Discrete Fréchet Distance
Hee-Kap Ahn, Helmut Alt, Maike Buchin, Eunjin Oh 0001, Ludmila Scharf, Carola Wenk
LATIN2
2016 Bundling three convex polygons to minimize area or perimeter
Dongwoo Park, Sang Won Bae 0001, Helmut Alt, Hee-Kap Ahn
Comput. Geom.3
2015 Approximating Minimum-Area Rectangular and Convex Containers for Packing Convex Polygons
Helmut Alt, Mark de Berg, Christian Knauer
ESA1
2014 Scandinavian Thins on Top of Cake: New and Improved Algorithms for Stacking and Packing
Helmut Alt, Esther M. Arkin, Alon Efrat, George Hart, Ferran Hurtado, Irina Kostitsyna, Alexander Kröller, Joseph S. B. Mitchell, Valentin Polishchuk
Theory Comput. Syst.1
2013 Bundling Three Convex Polygons to Minimize Area or Perimeter
Hee-Kap Ahn, Helmut Alt, Sang Won Bae 0001, Dongwoo Park
WADS2
2012 Shape matching by random sampling
Helmut Alt, Ludmila Scharf
Theor. Comput. Sci.1
2010 Probabilistic matching of planar regions
Helmut Alt, Ludmila Scharf, Daria Schymura
Comput. Geom.1
2010 Can We Compute the Similarity between Surfaces?
Helmut Alt, Maike Buchin
Discret. Comput. Geom.1
2009 Wooden Geometric Puzzles: Design and Hardness Proofs
Helmut Alt, Hans L. Bodlaender, Marc J. van Kreveld, Günter Rote, Gerard Tel
Theory Comput. Syst.1
2006 Minimum-cost coverage of point sets by disks
abstract
We consider a class of geometric facility location problems in which the goal is to determine a set X of disks given by their centers (tj) and radii (rj) that cover a given set of demand points Y∈R2 at the smallest possible cost. We consider cost functions of the form Εjf(rj), where f(r)=rα is the cost of transmission to radius r. Special cases arise for α=1 (sum of radii) and α=2 (total area); power consumption models in wireless network design often use an exponent α>2. Different scenarios arise according to possible restrictions on the transmission centers tj, which may be constrained to belong to a given discrete set or to lie on a line, etc.We obtain several new results, including (a) exact and approximation algorithms for selecting transmission points tj on a given line in order to cover demand points Y∈R2; (b) approximation algorithms (and an algebraic intractability result) for selecting an optimal line on which to place transmission points to cover Y; (c) a proof of NP-hardness for a discrete set of transmission points in R2 and any fixed α>1; and (d) a polynomial-time approximation scheme for the problem of computing a minimum cost covering tour (MCCT), in which the total cost is a linear combination of the transmission cost for the set of disks and the length of a tour/path that connects the centers of the disks.
Helmut Alt, Esther M. Arkin, Hervé Brönnimann, Jeff Erickson 0001, Sándor P. Fekete, Christian Knauer, Jonathan Lenchner, Joseph S. B. Mitchell, Kim Whittlesey
SCG1
2005 The Voronoi Diagram of Curved Objects
Helmut Alt, Otfried Cheong, Antoine Vigneron
Discret. Comput. Geom.1
2005 Foreword
Helmut Alt
Theory Comput. Syst.1
2004 Comparison of Distance Measures for Planar Curves
Helmut Alt, Christian Knauer, Carola Wenk
Algorithmica1
2003 The complexity of (un)folding
abstract
We consider the problem of reconfiguring a linkage of rigid straight segments from a given start to a given target position with a continuous nonintersecting motion. The problem is nontrivial even for trees in two dimensions since it is known that not all configurations can be reconfigured to a straight position. We show that deciding reconfigurability for trees in two dimensions and for chains in three dimensions is PSPACE-complete.
Helmut Alt, Christian Knauer, Günter Rote, Sue Whitesides
SCG1
2003 Finding a curve in a map
abstract
Given a polygonal curve and a geometric graph, we describe an efficient algorithm to find a path in the graph which is most similar to the curve, using the well-known Fréchet distance for curves.
Carola Wenk, Helmut Alt, Alon Efrat, Lingeshwaran Palaniappan, Günter Rote
SCG2
2003 Matching planar maps
Helmut Alt, Alon Efrat, Günter Rote, Carola Wenk
SODA1
2001 Exact Linfty Nearest Neighbor Search in High Dimensions
abstract
We present an algorithm for solving the nearest neighbor problem with respect to $L_{\infty}$-distance. It requires no preprocessing and storage only for the point set $P$. Its average runtime assuming that the set $P$ of $n$ points is drawn randomly from the unit cube $[0,1]^{d}$ under uniform distribution is essentially $\Theta (nd/ln\; n)$ thereby improving the brute-force method by a factor of $\Theta (1/ln\; n)$. Several generalizations of the method are also presented, in particular to other “well-behaved” probability distributions and to the important problem of finding the $k$ nearest neighbors to a query point.
Helmut Alt, Laura Heinrich-Litan
SCG1
2001 Matching Polygonal Curves with Respect to the Fréchet Distance
Helmut Alt, Christian Knauer, Carola Wenk
STACS1
2000 A class of point-sets with few k-sets
Helmut Alt, Stefan Felsner, Ferran Hurtado, Marc Noy, Emo Welzl
Comput. Geom.1
1998 Point-Sets with few k-Sets
abstract
Article Point-sets with few k-sets Share on Authors: Helmut Alt Institut für Informatik, Freie Universität Berlin, Takustr. 9, 14195 Berlin, Germany Institut für Informatik, Freie Universität Berlin, Takustr. 9, 14195 Berlin, GermanyView Profile , Stefan Felsner Institut für Informatik, Freie Universität Berlin, Takustr. 9 14195 Berlin, Germany Institut für Informatik, Freie Universität Berlin, Takustr. 9 14195 Berlin, GermanyView Profile , Ferran Hurtado Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya, Pau Gargallo 5, 08028-Barcelona, España Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya, Pau Gargallo 5, 08028-Barcelona, EspañaView Profile , Marc Noy Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya, Pau Gargallo 5, 08028-Barcelona, España Departament de Matemàtica Aplicada II, Universitat Politècnica de Catalunya, Pau Gargallo 5, 08028-Barcelona, EspañaView Profile Authors Info & Claims SCG '98: Proceedings of the fourteenth annual symposium on Computational geometryJune 1998 Pages 200–205https://doi.org/10.1145/276884.276907Published:07 June 1998 0citation149DownloadsMetricsTotal Citations0Total Downloads149Last 12 Months0Last 6 weeks0 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
Helmut Alt, Stefan Felsner, Ferran Hurtado, Marc Noy
SCG1
1998 Matching Convex Shapes with Respect to the Symmetric Difference
Helmut Alt, Ulrich Fuchs 0001, Günter Rote, Gerald Weber
Algorithmica1
1998 Universal 3-dimensional visibility representations for graphs
Helmut Alt, Michael Godau, Sue Whitesides
Comput. Geom.1
1997 Piecewise Linear Approximation of Bézier-Curves
Helmut Alt, Emo Welzl, Barbara Wolfers
SCG1
1997 On the Number of Simple Cycles in Planar Graphs
Helmut Alt, Ulrich Fuchs 0001, Klaus Kriegel
WG1
1996 Matching Convex Shapes with Respect to the Symmetric Difference
Helmut Alt, Ulrich Fuchs 0001, Günter Rote, Gerald Weber
ESA1
1996 A Method for Obtaining Randomized Algorithms with Small Tail Probabilities
Helmut Alt, Leonidas J. Guibas, Kurt Mehlhorn, Richard M. Karp, Avi Wigderson
Algorithmica1
1995 The Voronoi Diagram of Curved Objects
abstract
Voronoi diagrams of curved objects can show certa"n phenomena that are often considered artifacts:
Helmut Alt, Otfried Cheong
SCG1
1995 Universal 3-Dimensional Visibility Representations for Graphs
Helmut Alt, Michael Godau, Sue Whitesides
GD1
1994 Matching Shapes with a Reference Point
abstract
For two given point sets, we present a very simple (almost trivial) algorithm to translate one set so that the Hausdorff distance between the two sets is not larger than a constant factor times the minimum Hausdorff distance which can be achieved in this way. The algorithm just matches the so-called Steiner points of the two sets.
Helmut Alt, Oswin Aichholzer, Günter Rote
SCG1
1994 An Application of Point Pattern Matching in Astronautics
Gerald Weber, Lars Knipping, Helmut Alt
J. Symb. Comput.3
1992 Measuring the Resemblance of Polygonal Curves
abstract
Article Measuring the resemblance of polygonal curves Share on Authors: Helmut Alt View Profile , Michael Godau View Profile Authors Info & Claims SCG '92: Proceedings of the eighth annual symposium on Computational geometryJuly 1992 Pages 102–109https://doi.org/10.1145/142675.142699Online:01 July 1992Publication History 41citation939DownloadsMetricsTotal Citations41Total Downloads939Last 12 Months52Last 6 weeks4 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteGet Access
Helmut Alt, Michael Godau
SCG1
1992 Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures
abstract
We study rigid motions of a rectangle amidst polygonal obstacles. The best known algorithms for this problem have running time Ω(n2) where n is the number of obstacle corners. We introduce the tightness of a motion planning problem as a measure of the difficulty of a planning problem in an intuitive sense and describe an algorithm with running time ο((a/b · 1/ε crit + 1)n(log n)2), where a ≥ b are the lengths of the sides of a rectangle and εcrit is the tightness of the problem. We show further that the complexity (= number of vertices) of the boundary of n bow-ties (c.f. Figure 1.1) is Ο(n). Similar results for the union of other simple geometric figures such as triangles and wedges are also presented.
Helmut Alt, Rudolf Fleischer, Michael Kaufmann 0001, Kurt Mehlhorn, Stefan Näher, Stefan Schirra, Christian Uhrig
Algorithmica1
1992 A Lower Bound for the Nondeterministic Space Complexity of Context-Free Recognition
Helmut Alt, Viliam Geffert, Kurt Mehlhorn
Inf. Process. Lett.1
1991 Approximate Matching of Polygonal Shapes (Extended Abstract)
abstract
For two given simple polygons P, Q the problem is to determine a rigid motion I of Q giving the best possible match between P and Q, i.e. minimizing the Hausdorff-distance between P and I(Q). Faster algorithms as the one for the general problem are obtained for special cases, namely that I is restricted to translations or even to translations only in one specified direction. It turns out that determining pseudo-optimal solutions, i.e. ones that differ from the optimum by just a constant factor can be done much more ejjiciently than determining op-timal solutions. In the most general case the algorithm for the pseudo-optimal solution is based on the quite sur-prising fact that for the optimal possible match between P and an image I(Q) of Q the distance between the cen-troids of the edges of the convex hulls of P and I(Q] is a constant multiple of the Hausdorff-distance between P and I(Q). It is also shown that the Hausdorff-distance between two simple polygons can be determined in time O(n log n], where n is the total number of vertices.
Helmut Alt, Bernd Behrends, Johannes Blömer
SCG1
1991 Computing a Maximum Cardinality Matching in a Bipartite Graph in Time O(^1.5 sqrt m/log n)
Helmut Alt, Norbert Blum, Kurt Mehlhorn, Markus Paul
Inf. Process. Lett.1
1990 Approximate Motion Planning and the Complexity of the Boundary of the Union of Simple Geometric Figures
Helmut Alt, Rudolf Fleischer, Michael Kaufmann 0001, Kurt Mehlhorn, Stefan Näher, Stefan Schirra, Christian Uhrig
SCG1
1990 Approximation of Convex Polygons
Helmut Alt, Johannes Blömer, Hubert Wagener
ICALP1
1989 Motion Planning in the CL-Environment (Extended Abstract)
Chee-Keng Yap, Helmut Alt
WADS2
1988 Congruence, Similarity, and Symmetries of Geometric Objects
Helmut Alt, Kurt Mehlhorn, Hubert Wagener, Emo Welzl
Discret. Comput. Geom.1
1988 Comparing the combinational complexities of arithmetic functions
abstract
Methods are presented for finding reductions between the computations of certain arithmetic functions that preserve asymptotic Boolean complexities (circuit depth or size). They can be used to show, for example, that all nonlinear algebraic functions are as difficult as integer multiplication with respect to circuit size. As a consequence, any lower or upper bound (e.g., O ( n log n log log n )) for one of them applies to the whole class. It is also shown that, with respect to depth and size simultaneously, multiplication is reducible to any nonlinear and division to any nonpolynomial algebraic function.
Helmut Alt
J. ACM1
1988 A Lower Bound on the Complexity of the Union-Split-Find Problem
Kurt Mehlhorn, Stefan Näher, Helmut Alt
SIAM J. Comput.3
1987 Congruence, Similarity, and Symmetries of Geometric Objects
abstract
No abstract available.
Helmut Alt, Kurt Mehlhorn, Hubert Wagener, Emo Welzl
SCG1
1987 A Lower Bound for the Complexity of the Union-Split-Find Problem
abstract
We prove a Θ(log log n ) (i.e. matching upper and lower) bound on the complexity of the Union-Split-Find problem, a variant of the Union-Find problem. Our lower bound holds for all pointer machine algorithms and does not require the separation assumption used in the lower bound arguments of Tarjan [T79] and Blum [B86]. We complement this with a Θ(log n ) bound for the Split-Find problem under the separation assumption. This shows that the separation assumption can imply an exponential loss in efficiency.
Kurt Mehlhorn, Stefan Näher, Helmut Alt
ICALP3
1987 Deterministic Simulation of Idealized Parallel Computers on More Realistic Ones
abstract
We describe a nonuniform deterministic simulation of PRAMs on module parallel computers (MPCs) and on processor networks of bounded degree. The simulating machines have the same number n of processors as the simulated PRAM, and if the size of the PRAM’s shared memory is polynomial in n, each PRAM step is simulated by $O(\log n)$ MPC steps or by $O((\log n)^2 )$ steps of the bounded-degree network.This improves upon a previous result by Upfal and Wigderson. We also prove an $\Omega ({{(\log n)^2 } / {\log \log n}})$ lower bound on the number of steps needed to simulate one PRAM step on a bounded-degree network under the assumption that the communication in the network is point to point. As an important part of the simulation of PRAMs on MPCs, we use a new technique for dynamically averaging out a given work load among a set of processors operating in parallel.
Helmut Alt, Torben Hagerup, Kurt Mehlhorn, Franco P. Preparata
SIAM J. Comput.1
1986 Deterministic Simulation of Idealized Parallel Computers on More Realistic Ones
Helmut Alt, Torben Hagerup, Kurt Mehlhorn, Franco P. Preparata
MFCS1
1985 Searching Semisorted Tables
abstract
A “semisorted table” is a one-dimensional array containing n data, which are not necessarily sorted, but can appear in p different permutations of the ascending order. We consider the problem of searching in such a table without knowing, in which one of the p permutations the data are stored (SST). It is shown that any deterministic search algorithm for SST needs at least $\sqrt[n]{p}$ comparisons in the worst case. This lower bound is generalized to average case performance even for nondeterministic algorithms. Some examples are given where the lower bound is tight.
Helmut Alt, Kurt Mehlhorn
SIAM J. Comput.1
1985 Multiplication is the Easiest Nontrivial Arithmetic Function
Helmut Alt
Theor. Comput. Sci.1
1984 Comparison of Arithmetic Functions with Respect to Boolean Circuit Depth (Extended Abstract)
Helmut Alt
STOC1
1984 Partial Match Retrieval in Implicit Data Structures
Helmut Alt, Kurt Mehlhorn, J. Ian Munro
Inf. Process. Lett.1
1983 Multiplication Is the Easiest Nontrivial Arithmetic Function
abstract
It is shown that floating point (or integer) multiplication can be reduced to the evalution of a very large class of functions including most of the nontrivial functions used in practice. That means that whenever any such function can be evaluated by boolean circuits of size S(n), then multiplication can be done with circuits of size O(S(n)). as well.
Helmut Alt
FOCS1
1981 Partial Match Retrieval in Implicit Data Structures
Helmut Alt, Kurt Mehlhorn, J. Ian Munro
MFCS1
1980 Functions Equivalent to Integer Multiplication
Helmut Alt
ICALP1
1979 The complexity of complex division (extended abstract)
Helmut Alt, Jan van Leeuwen
FCT1
1979 Lower Bounds on Space Complexity for Contextfree Recognition
Helmut Alt
Acta Informatica1
1976 Lower Bounds for the Space Complexity of Context-Free Recognition
Helmut Alt, Kurt Mehlhorn
ICALP1