| 2006 |
|---|
| 28 | EE | Timo Aaltonen,
Mika Katara,
Reino Kurki-Suonio,
Tommi Mikkonen:
On Horizontal Specification Architectures and Their Aspect-Oriented Implementations.
T. Aspect-Oriented Software Development II: 1-29 (2006) |
| 2003 |
|---|
| 27 | EE | Reino Kurki-Suonio:
Birth of Computer Science Education and Research in Finland.
History of Nordic Computing 2003: 111-121 |
| 26 | EE | Reino Kurki-Suonio:
Action systems in incremental and aspect-oriented modeling.
Distributed Computing 16(2-3): 201-217 (2003) |
| 1999 |
|---|
| 25 | EE | Reino Kurki-Suonio:
Component and Interface Refinement in Closed-System Specifications.
World Congress on Formal Methods 1999: 134-154 |
| 1998 |
|---|
| 24 | | Reino Kurki-Suonio,
Tommi Mikkonen:
Harnessing the Power of Interaction.
EJC 1998: 1-11 |
| 23 | EE | Reino Kurki-Suonio,
Mika Katara:
Real Time in a TLA-Based Theory of Reactive Systems.
ISORC 1998: 186-195 |
| 22 | EE | Reino Kurki-Suonio,
Tommi Mikkonen:
Abstractions of Distributed Cooperation, their Refinement and Implementation.
PDSE 1998: 94-102 |
| 1997 |
|---|
| 21 | EE | Reino Kurki-Suonio,
Tommi Mikkonen:
Liberating Object-Oriented Modeling from Programming-Level Abstractions.
ECOOP Workshops 1997: 195-199 |
| 1994 |
|---|
| 20 | | Reino Kurki-Suonio:
Incremental Specification with Joint Actions: The RPC-Memory Specification Problem.
Formal Systems Specification 1994: 375-404 |
| 19 | | Reino Kurki-Suonio:
Real Time: Further Misconceptions (or Half-Truths).
IEEE Computer 27(6): 71-76 (1994) |
| 1993 |
|---|
| 18 | EE | Reino Kurki-Suonio:
Stepwise Design of Real-Time Systems.
IEEE Trans. Software Eng. 19(1): 56-69 (1993) |
| 17 | | Reino Kurki-Suonio,
Kari Systä,
Jüri Vain:
Real-Time Specification and Modeling with Joint Actions.
Sci. Comput. Program. 20(1-2): 113-140 (1993) |
| 1992 |
|---|
| 16 | | Reino Kurki-Suonio,
Kari Systä,
Jüri Vain:
Scheduling in Real-Time Models.
FTRTFT 1992: 327-339 |
| 15 | | Reino Kurki-Suonio:
Hybrid Models with Fairness and Distributed Clocks.
Hybrid Systems 1992: 103-120 |
| 14 | | Reino Kurki-Suonio:
Operational Specification with Joint Actions: Serializable Databases.
Distributed Computing 6(1): 19-37 (1992) |
| 13 | | Nissim Francez,
Ralph-Johan Back,
Reino Kurki-Suonio:
On Equivalence-Completions of Fairness Assumtions.
Formal Asp. Comput. 4(6): 582-591 (1992) |
| 1991 |
|---|
| 12 | EE | H.-M. Järvinen,
Reino Kurki-Suonio:
DisCo specification language: marriage of actions and objects.
ICDCS 1991: 142-151 |
| 1990 |
|---|
| 11 | | H.-M. Järvinen,
Reino Kurki-Suonio,
Markku Sakkinen,
Kari Systä:
Object-Oriented Specification of Reactive Systems.
ICSE 1990: 63-71 |
| 10 | | Reino Kurki-Suonio:
Towards languages that support program derivation, or control modularity considered harmful.
Acta Cybern. 9(3): 179-192 (1990) |
| 1989 |
|---|
| 9 | | Ralph-Johan Back,
Reino Kurki-Suonio:
Decentralization of Process Nets with Centralized Control.
Distributed Computing 3(2): 73-87 (1989) |
| 1988 |
|---|
| 8 | | Ralph-Johan Back,
Reino Kurki-Suonio:
Serializability in Distributed Systems with Handshaking.
ICALP 1988: 52-66 |
| 7 | EE | Ralph-Johan Back,
Reino Kurki-Suonio:
Distributed Cooperation with Action Systems.
ACM Trans. Program. Lang. Syst. 10(4): 513-554 (1988) |
| 6 | | Reino Kurki-Suonio,
T. Kankaanpää:
On the Design of Reactive Systems.
BIT 28(3): 581-604 (1988) |
| 1986 |
|---|
| 5 | | Reino Kurki-Suonio:
Towards Programming with Knowledge Expressions.
POPL 1986: 140-149 |
| 1983 |
|---|
| 4 | | Ralph-Johan Back,
Reino Kurki-Suonio:
Decentralization of Process Nets with Centralized Control.
PODC 1983: 131-142 |
| 1978 |
|---|
| 3 | | Reino Kurki-Suonio:
Nondeterminism, parallelism and intermittent assertions.
Mathematical Studies of Information Processing 1978: 106-126 |
| 1977 |
|---|
| 2 | | J. Eve,
Reino Kurki-Suonio:
On Computing the Transitive Closure of a Relation
Acta Inf. 8: 303-314 (1977) |
| 1968 |
|---|
| 1 | | Reino Kurki-Suonio:
Formal description of input data.
IFIP Congress (1) 1968: 444-447 |
