Concepedia

Sören Holmström

SH

Statistics

Publications

2

Citations

30

H-Index

2

Active since

1988

Affiliations

Chalmers University of Technology(Current)

Sören Holmström is an author at Chalmers University of Technology specializing in approximate computing, computational efficiency, and approximation theory.

Top concepts

Publications per year

1988–1989

2

Publications

2

An efficiency comparison of some representations of purely functional arrays

Annika Aasa, Sören Holmström, Christina Nilsson · BIT Numerical Mathematics · 1988 · 18 citations

, , +7

A refinement calculus for specifications in Hennessy-Milner logic with recursion

Sören Holmström · Formal Aspects of Computing · 1989 · 12 citations

1–2 of 2