Reino Kurki-Suonio

Publication Activity (10 Years)

Years Active: 1966-2007
Publications (10 Years): 0

Publications

Reino Kurki-Suonio, Oddur Benediktsson, Janis A. Bubenko Jr., Ingemar Dahlstrand, Christian Gram, John Impagliazzo
University Education on Computers - Summary of a Panel Discussion. History of Nordic Computing (2007)
Timo Aaltonen, Mika Katara, Reino Kurki-Suonio, Tommi Mikkonen
On Horizontal Specification Architectures and Their Aspect-Oriented Implementations. LNCS Trans. Aspect Oriented Softw. Dev. 2 (2006)
Reino Kurki-Suonio
Birth of Computer Science Education and Research in Finland. History of Nordic Computing (2003)
Reino Kurki-Suonio
Action systems in incremental and aspect-oriented modeling. Distributed Comput. 16 (2-3) (2003)
Reino Kurki-Suonio
Component and Interface Refinement in Closed-System Specifications. World Congress on Formal Methods (1999)
Reino Kurki-Suonio, Tommi Mikkonen
Harnessing the Power of Interaction. EJC (1998)
Reino Kurki-Suonio, Tommi Mikkonen
Abstractions of Distributed Cooperation, their Refinement and Implementation. PDSE (1998)
Reino Kurki-Suonio, Mika Katara
Real Time in a TLA-Based Theory of Reactive Systems. ISORC (1998)
Reino Kurki-Suonio, Tommi Mikkonen
Liberating Object-Oriented Modeling from Programming-Level Abstractions. ECOOP Workshops (1997)
Reino Kurki-Suonio
Real Time: Further Misconceptions (or Half-Truths). Computer 27 (6) (1994)
Reino Kurki-Suonio
Incremental Specification with Joint Actions: The RPC-Memory Specification Problem. Formal Systems Specification (1994)
Reino Kurki-Suonio
Stepwise Design of Real-Time Systems. IEEE Trans. Software Eng. 19 (1) (1993)
Reino Kurki-Suonio
Real Time: Further Misconceptions or Half-Truths. RTS (1993)
Reino Kurki-Suonio, Kari Systä, Jüri Vain
Real-Time Specification and Modeling with Joint Actions. Sci. Comput. Program. 20 (1-2) (1993)
Nissim Francez, Ralph-Johan Back, Reino Kurki-Suonio
On Equivalence-Completions of Fairness Assumtions. Formal Aspects Comput. 4 (6) (1992)
Reino Kurki-Suonio
Hybrid Models with Fairness and Distributed Clocks. Hybrid Systems (1992)
Reino Kurki-Suonio
Operational Specification with Joint Actions: Serializable Databases. Distributed Comput. 6 (1) (1992)
Kari Systä, Reino Kurki-Suonio
Modeling of distributed real-time systems in DisCo. RTS (1992)
Reino Kurki-Suonio, Kari Systä, Jüri Vain
Scheduling in Real-Time Models. FTRTFT (1992)
Reino Kurki-Suonio
Stepwise design of real-time systems. SIGSOFT (1991)
Reino Kurki-Suonio, Kari Systä, Jüri Vain
Real-time specification and modeling with joint actions. IWSSD (1991)
H.-M. Järvinen, Reino Kurki-Suonio
DisCo specification language: marriage of actions and objects. ICDCS (1991)
Reino Kurki-Suonio
Towards languages that support program derivation, or control modularity considered harmful. Acta Cybern. 9 (3) (1990)
Ralph-Johan Back, Reino Kurki-Suonio
Superposition and fairness in reactive system refinement. Jerusalem Conference on Information Technology (1990)
H.-M. Järvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Systä
Object-Oriented Specification of Reactive Systems. ICSE (1990)
Reino Kurki-Suonio, H.-M. Järvinen
Action system approach to the specification and design of distributed systems. IWSSD (1989)
Ralph-Johan Back, Reino Kurki-Suonio
Decentralization of Process Nets with Centralized Control. Distributed Comput. 3 (2) (1989)
Reino Kurki-Suonio, T. Kankaanpää
On the Design of Reactive Systems. BIT 28 (3) (1988)
Ralph-Johan Back, Reino Kurki-Suonio
Distributed Cooperation with Action Systems. ACM Trans. Program. Lang. Syst. 10 (4) (1988)
Ralph-Johan Back, Reino Kurki-Suonio
Serializability in Distributed Systems with Handshaking. ICALP (1988)
Ralph-Johan Back, Reino Kurki-Suonio
A new paradigm for the design of concurrent systems. IRTAW (1987)
Reino Kurki-Suonio
Towards Programming with Knowledge Expressions. POPL (1986)
Ralph-Johan Back, Reino Kurki-Suonio
Decentralization of Process Nets with Centralized Control. PODC (1983)
Reino Kurki-Suonio, Juha Heinänen
A data abstraction language based on microprogramming. MICRO (1980)
Reino Kurki-Suonio
Nondeterminism, parallelism and intermittent assertions. Mathematical Studies of Information Processing (1978)
J. Eve, Reino Kurki-Suonio
On Computing the Transitive Closure of a Relation. Acta Informatica 8 (1977)
Reino Kurki-Suonio
Formal description of input data. IFIP Congress (1) (1968)
Reino Kurki-Suonio
On top-to-bottom recognition and left recursion. Commun. ACM 9 (7) (1966)