Concepedia

Martti Tienari

MT

Statistics

Publications

5

Citations

162

H-Index

5

Active since

1970

Affiliations

University of Helsinki(Current)

Martti Tienari is an author at University of Helsinki specializing in computer science, computer engineering, and algorithms.

Publications per year

1970–1998

5

Publications

5

An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm

Antti Valmari, Martti Tienari · 1991 · 62 citations

Engineering, Computer Engineering, Computer Science +14

Compositional failure-based semantic models for Basic LOTOS

Antti Valmari, Martti Tienari · Formal Aspects of Computing · 1995 · 60 citations · Full text

Engineering, Computer Engineering, Computer Science +12

A statistical model of roundoff error for varying length floating-point arithmetic

Martti Tienari · BIT Numerical Mathematics · 1970 · 19 citations

Natural Sciences, Computer Science, Mathematics +15

Computer Science at the University of Helsinki 1998

Greger Lindén, Martti Tienari · 1998 · 11 citations

Computing, Computer Engineering, Computer Science +4

On some topological properties of numerical algorithms

Martti Tienari · BIT Numerical Mathematics · 1972 · 10 citations

Computing, Computer Science, Mathematics +14

1–5 of 5