2003 |
9 | EE | Tomas Ohlin,
Lars Heide,
Niels Hoeg,
Martti Tienari:
Concluding Remarks.
History of Nordic Computing 2003: 487-488 |
1999 |
8 | | Lea Kutvonen,
Hartmut König,
Martti Tienari:
Distributed Applications and Interoperable Systems II, Second IFIP WG 6.1 International Working Conference on Distributed Applications and Interoperable Systems, June 28 - July 1, 1999, Helsinki, Finland
Kluwer 1999 |
1997 |
7 | EE | Jaana Eloranta,
Martti Tienari,
Antti Valmari:
Essential Transitions to Bisimulation Equivalences.
Theor. Comput. Sci. 179(1-2): 397-419 (1997) |
1996 |
6 | | Timo O. Alanko,
Markku Kojo,
Heimo Laamanen,
Kimmo E. E. Raatikainen,
Martti Tienari:
Mobile Computing Based on GSM: the Mowgli Approach.
IFIP World Conference on Mobile Communications 1996: 151-158 |
1995 |
5 | | Antti Valmari,
Martti Tienari:
Compositional Failure-based Semantics Models for Basic LOTOS.
Formal Asp. Comput. 7(4): 440-468 (1995) |
1992 |
4 | | Martti Tienari,
Dipak Khakhar:
Information Network and Data Communication, IV, Proceedings of the IFIP TC6 International Conference on Information Network and Data Communication, IV, Espoo, Finland, 16-19 March, 1992
North-Holland 1992 |
1991 |
3 | | Antti Valmari,
Martti Tienari:
An Improved Failures Equivalence for Finite-State Systems with a Reduction Algorithm.
PSTV 1991: 3-18 |
1985 |
2 | | Martti Tienari:
Computer Networking of Nordic Universities.
BIT 25(1): 65-69 (1985) |
1980 |
1 | | Martti Tienari:
On the definition of attribute grammar.
Semantics-Directed Compiler Generation 1980: 408-414 |