Reino Kurki-Suonio
发表
Reino Kurki-Suonio,
R. Kurki-Suonio,
1965
.
Ralph-Johan Back,
Reino Kurki-Suonio,
R. Kurki-Suonio,
1988,
TOPL.
Reino Kurki-Suonio,
Ralph Back,
1987,
IRTAW '87.
Reino Kurki-Suonio,
J. Eve,
2004,
Acta Informatica.
Reino Kurki-Suonio,
1993,
RTS.
Reino Kurki-Suonio,
1971
.
Mika Katara,
Reino Kurki-Suonio,
Tommi Mikkonen,
2006,
LNCS Trans. Aspect Oriented Softw. Dev..
Kari Systä,
Reino Kurki-Suonio,
Markku Sakkinen,
1990,
[1990] Proceedings. 12th International Conference on Software Engineering.
Reino Kurki-Suonio,
1993,
Fifth Euromicro Workshop on Real-Time Systems.
Ralph-Johan Back,
Reino Kurki-Suonio,
R. Kurki-Suonio,
1988,
ICALP.
Reino Kurki-Suonio,
2003,
History of Nordic Computing.
Ralph-Johan Back,
Reino Kurki-Suonio,
1990,
Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.
Ralph-Johan Back,
Reino Kurki-Suonio,
1983,
PODC.
Reino Kurki-Suonio,
1986,
POPL '86.
Reino Kurki-Suonio,
2005,
Texts in Theoretical Computer Science. An EATCS Series.
Reino Kurki-Suonio,
1990,
Acta Cybern..
Reino Kurki-Suonio,
Juha Heinänen,
J. Heinänen,
1980,
SIGM.
Reino Kurki-Suonio,
1978,
Mathematical Studies of Information Processing.
Kari Systä,
Reino Kurki-Suonio,
Jüri Vain,
1992,
FTRTFT.
Reino Kurki-Suonio,
1993,
IEEE Trans. Software Eng..
Reino Kurki-Suonio,
1991
.
Reino Kurki-Suonio,
Tommi Mikkonen,
1997,
ECOOP Workshops.
Tommi Mikkonen,
Reino Kurki-Suonio,
T. Mikkonen,
1998,
PDSE.
Reino Kurki-Suonio,
1999
.
Mika Katara,
Reino Kurki-Suonio,
Tommi Mikkonen,
2004
.
Reino Kurki-Suonio,
1996
.
Reino Kurki-Suonio,
R. Kurki-Suonio,
1992,
Distributed Computing.
Nissim Francez,
Ralph-Johan Back,
Reino Kurki-Suonio,
2005,
Formal Aspects of Computing.
Reino Kurki-Suonio,
1992,
Hybrid Systems.
Reino Kurki-Suonio,
1968,
IFIP Congress.
Reino Kurki-Suonio,
H.-M. Järvinen,
R. Kurki-Suonio,
1991,
[1991] Proceedings. 11th International Conference on Distributed Computing Systems.
Ralph-Johan Back,
Reino Kurki-Suonio,
R. Kurki-Suonio,
1983,
PODC '83.
Reino Kurki-Suonio,
1966,
CACM.
Janis A. Bubenko,
John Impagliazzo,
Reino Kurki-Suonio,
2007,
History of Nordic Computing.
Reino Kurki-Suonio,
R. Kurki-Suonio,
2003,
Distributed Computing.
Tommi Mikkonen,
Reino Kurki-Suonio,
T. Mikkonen,
1998,
EJC.
Reino Kurki-Suonio,
R. Kurki-Suonio,
1999,
World Congress on Formal Methods.
Mika Katara,
Reino Kurki-Suonio,
R. Kurki-Suonio,
1998,
Proceedings First International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC '98).
Kari Systä,
Reino Kurki-Suonio,
1992,
Fourth Euromicro workshop on Real-Time Systems.
Reino Kurki-Suonio,
1975
.
Reino Kurki-Suonio,
R. Kurki-Suonio,
1975
.
Kari Systä,
Reino Kurki-Suonio,
Jüri Vain,
1991,
IWSSD '91.
Reino Kurki-Suonio,
1994,
Formal Systems Specification.
Reino Kurki-Suonio,
T. Kankaanpää,
R. Kurki-Suonio,
1988,
BIT.
Reino Kurki-Suonio,
Hannu-Matti Järvinen,
1990
.