Skip to content
cs-conference-ranking.org

Reino Kurki-Suonio

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

11

Venues

10

Active years

1980–1999

Best venue rank

A*

Where they publish

Papers

11 indexed papers, newest first.

YearVenueTitleAuthors
1999FMComponent and Interface Refinement in Closed-System Specifications.Reino Kurki-Suonio
1998EJCHarnessing the Power of Interaction.Reino Kurki-Suonio, Tommi Mikkonen
1998ISORCReal Time in a TLA-Based Theory of Reactive Systems.Reino Kurki-Suonio, Mika Katara
1993ECRTSReal Time: Further Misconceptions or Half-Truths.Reino Kurki-Suonio
1992ECRTSModeling of distributed real-time systems in DisCo.Kari Syst, Reino Kurki-Suonio
1991ICDCSDisCo specification language: marriage of actions and objects.H.-M. Jrvinen, Reino Kurki-Suonio
1990ICSEObject-Oriented Specification of Reactive Systems.H.-M. Jrvinen, Reino Kurki-Suonio, Markku Sakkinen, Kari Syst
1988ICALPSerializability in Distributed Systems with Handshaking.Ralph-Johan Back, Reino Kurki-Suonio
1986POPLTowards Programming with Knowledge Expressions.Reino Kurki-Suonio
1983PODCDecentralization of Process Nets with Centralized Control.Ralph-Johan Back, Reino Kurki-Suonio
1980MICROA data abstraction language based on microprogramming.Reino Kurki-Suonio, Juha Heinnen