On top-to-bottom recognition and left recursion. - Reino Kurki-Suonio (Commun. ACM, 1966)

Formal description of input data. - Reino Kurki-Suonio (IFIP Congress (1), 1968)

On Computing the Transitive Closure of a Relation. - J. Eve; Reino Kurki-Suonio (Acta Informatica, 1977)

Nondeterminism, parallelism and intermittent assertions. - Reino Kurki-Suonio (Mathematical Studies of Information Processing, 1978)

A data abstraction language based on microprogramming. - Reino Kurki-Suonio; Juha Heinänen (MICRO, 1980)

Towards Programming with Knowledge Expressions. - Reino Kurki-Suonio (POPL, 1986)

A new paradigm for the design of concurrent systems. - Ralph-Johan Back; Reino Kurki-Suonio (IRTAW, 1987)

Serializability in Distributed Systems with Handshaking. - Ralph-Johan Back; Reino Kurki-Suonio (ICALP, 1988)

On the Design of Reactive Systems. - Reino Kurki-Suonio; T. Kankaanpää (BIT, 1988)

Distributed Cooperation with Action Systems. - Ralph-Johan Back; Reino Kurki-Suonio (ACM Trans. Program. Lang. Syst., 1988)

Action system approach to the specification and design of distributed systems. - Reino Kurki-Suonio; H.-M. Järvinen (IWSSD, 1989)

Decentralization of Process Nets with Centralized Control. - Ralph-Johan Back; Reino Kurki-Suonio (Distributed Comput., 1989)

Object-Oriented Specification of Reactive Systems. - H.-M. Järvinen; Reino Kurki-Suonio; Markku Sakkinen; Kari Systä (ICSE, 1990)

Superposition and fairness in reactive system refinement. - Ralph-Johan Back; Reino Kurki-Suonio (Jerusalem Conference on Information Technology, 1990)

Towards languages that support program derivation, or control modularity considered harmful. - Reino Kurki-Suonio (Acta Cybern., 1990)

DisCo specification language: marriage of actions and objects. - H.-M. Järvinen; Reino Kurki-Suonio (ICDCS, 1991)

Modeling of distributed real-time systems in DisCo. - Kari Systä; Reino Kurki-Suonio (RTS, 1992)

Scheduling in Real-Time Models. - Reino Kurki-Suonio; Kari Systä; Jüri Vain (FTRTFT, 1992)

Hybrid Models with Fairness and Distributed Clocks. - Reino Kurki-Suonio (Hybrid Systems, 1992)

Operational Specification with Joint Actions: Serializable Databases. - Reino Kurki-Suonio (Distributed Comput., 1992)

On Equivalence-Completions of Fairness Assumtions. - Nissim Francez; Ralph-Johan Back; Reino Kurki-Suonio (Formal Aspects Comput., 1992)

Real-Time Specification and Modeling with Joint Actions. - Reino Kurki-Suonio; Kari Systä; Jüri Vain (Sci. Comput. Program., 1993)

Stepwise Design of Real-Time Systems. - Reino Kurki-Suonio (IEEE Trans. Software Eng., 1993)

Incremental Specification with Joint Actions: The RPC-Memory Specification Problem. - Reino Kurki-Suonio (Formal Systems Specification, 1994)

Real Time: Further Misconceptions (or Half-Truths). - Reino Kurki-Suonio (Computer, 1994)

Liberating Object-Oriented Modeling from Programming-Level Abstractions. - Reino Kurki-Suonio; Tommi Mikkonen (ECOOP Workshops, 1997)

Harnessing the Power of Interaction. - Reino Kurki-Suonio; Tommi Mikkonen (EJC, 1998)

Real Time in a TLA-Based Theory of Reactive Systems. - Reino Kurki-Suonio; Mika Katara (ISORC, 1998)

Abstractions of Distributed Cooperation, their Refinement and Implementation. - Reino Kurki-Suonio; Tommi Mikkonen (PDSE, 1998)

Component and Interface Refinement in Closed-System Specifications. - Reino Kurki-Suonio (World Congress on Formal Methods, 1999)

Birth of Computer Science Education and Research in Finland. - Reino Kurki-Suonio (History of Nordic Computing, 2003)

Action systems in incremental and aspect-oriented modeling. - Reino Kurki-Suonio (Distributed Comput., 2003)

A Practical Theory of Reactive Systems - Incremental Modeling of Dynamic Behaviors - Reino Kurki-Suonio (Springer, 2005)

On Horizontal Specification Architectures and Their Aspect-Oriented Implementations. - Timo Aaltonen; Mika Katara; Reino Kurki-Suonio; Tommi Mikkonen (LNCS Trans. Aspect Oriented Softw. Dev., 2006)

University Education on Computers - Summary of a Panel Discussion. - Reino Kurki-Suonio; Oddur Benediktsson; Janis A. Bubenko Jr.; Ingemar Dahlstrand; Christian Gram; John Impagliazzo (History of Nordic Computing, 2007)