Ron Koymans

2.1k total citations · 1 hit paper
17 papers, 1.0k citations indexed

About

Ron Koymans is a scholar working on Computer Networks and Communications, Economics and Econometrics and Computational Theory and Mathematics. According to data from OpenAlex, Ron Koymans has authored 17 papers receiving a total of 1.0k indexed citations (citations by other indexed papers that have themselves been cited), including 6 papers in Computer Networks and Communications, 6 papers in Economics and Econometrics and 5 papers in Computational Theory and Mathematics. Recurrent topics in Ron Koymans's work include Health Systems, Economic Evaluations, Quality of Life (6 papers), Distributed systems and fault tolerance (6 papers) and Heart Failure Treatment and Management (4 papers). Ron Koymans is often cited by papers focused on Health Systems, Economic Evaluations, Quality of Life (6 papers), Distributed systems and fault tolerance (6 papers) and Heart Failure Treatment and Management (4 papers). Ron Koymans collaborates with scholars based in Netherlands, Belgium and Singapore. Ron Koymans's co-authors include Johan L. Severens, Willem P. de Roever, Hubertus JM Vrijhoef, Jan Vytopil, Nasuh Büyükkaramikli, Sjouke Mauw, Daniele De Massari, Joost-Pieter Katoen, R. K. Shyamasundar and Rob Gerth and has published in prestigious journals such as PLoS ONE, Health and Quality of Life Outcomes and Value in Health.

In The Last Decade

Ron Koymans

17 papers receiving 905 citations

Hit Papers

Specifying real-time properties with metric temporal logic 1990 2026 2002 2014 1990 100 200 300 400 500
What are hit papers?

Hit papers significantly outperform the citation benchmark for their cohort. A paper qualifies if it has ≥500 total citations, achieves ≥1.5× the top-1% citation threshold for papers in the same subfield and year (this is the minimum needed to enter the top 1%, not the average within it), or reaches the top citation threshold in at least one of its specific research topics.

  1. Specifying real-time properties with metric temporal logic
    1990 594 citations Ron Koymans Real-Time Systems profile →

Peers

Ron Koymans
Philippe Suter Switzerland
M. Díaz France
J. Ignacio Hidalgo Spain
Peter Lindsay Australia
Pierre Marquis France
Raoul Jetley United States
Manuel Clavel Spain
Anita K. Jones United States
Dave Clarke Belgium
Paulo Cunha Brazil
Philippe Suter Switzerland
Ron Koymans
Citations per year, relative to Ron Koymans Ron Koymans (= 1×) peers Philippe Suter

Countries citing papers authored by Ron Koymans

Since Specialization
Citations

This map shows the geographic impact of Ron Koymans's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by Ron Koymans with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites Ron Koymans more than expected).

Fields of papers citing papers by Ron Koymans

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by Ron Koymans. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by Ron Koymans. The network helps show where Ron Koymans may publish in the future.

Co-authorship network of co-authors of Ron Koymans

This figure shows the co-authorship network connecting the top 25 collaborators of Ron Koymans. A scholar is included among the top collaborators of Ron Koymans based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with Ron Koymans. Ron Koymans is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

17 of 17 papers shown
1.
Al, Maiwenn, et al.. (2020). Impact of hospitalisation on health-related quality of life in patients with chronic heart failure. Health and Quality of Life Outcomes. 18(1). 262–262. 21 indexed citations
2.
Büyükkaramikli, Nasuh, et al.. (2019). Value of information analysis in telehealth for chronic heart failure management. PLoS ONE. 14(6). e0218083–e0218083. 7 indexed citations
3.
4.
Vrijhoef, Hubertus JM, et al.. (2017). Assessment of a Business-to-Consumer (B2C) model for Telemonitoring patients with Chronic Heart Failure (CHF). BMC Medical Informatics and Decision Making. 17(1). 145–145. 8 indexed citations
5.
Al, Maiwenn, et al.. (2017). Early warning systems for the management of chronic heart failure: a systematic literature review of cost-effectiveness models. Expert Review of Pharmacoeconomics & Outcomes Research. 18(2). 161–175. 4 indexed citations
6.
Vrijhoef, Hubertus JM, et al.. (2017). Care coordination in a business-to-business and a business-to-consumer model for telemonitoring patients with chronic diseases. PubMed. 20(4). 135–147. 7 indexed citations
7.
8.
9.
Severens, Johan L., et al.. (2014). COST-EFFECTIVENESS OF TELEHEALTH INTERVENTIONS FOR CHRONIC HEART FAILURE PATIENTS: A LITERATURE REVIEW. International Journal of Technology Assessment in Health Care. 30(1). 59–68. 43 indexed citations
10.
Katoen, Joost-Pieter, et al.. (1996). Design and analysis of dynamic leader election protocols in broadcast networks. Distributed Computing. 9(4). 157–171. 40 indexed citations
11.
Koymans, Ron. (1992). Specifying Message Passing and Time-Critical Systems with Temporal Logic. Lecture notes in computer science. 108 indexed citations
12.
Koymans, Ron. (1990). Specifying real-time properties with metric temporal logic. Real-Time Systems. 2(4). 255–299. 594 indexed citations breakdown →
13.
Koymans, Ron, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, & S. Arun-Kumar. (1988). Compositional semantics for real-time distributed computing. Information and Computation. 79(3). 210–256. 30 indexed citations
14.
Koymans, Ron, Ruurd Kuiper, & E.E. Zijlstra. (1987). Specifying message passing and real-time systems with real-time temporal logic. TU/e Research Portal (Eindhoven University of Technology). 8707. 311–324. 11 indexed citations
15.
Koymans, Ron. (1987). Specifying message passing systems requires extending temporal logic. TU/e Research Portal. 191–204. 5 indexed citations
16.
Koymans, Ron, R. K. Shyamasundar, Willem P. de Roever, Rob Gerth, & S. Arun-Kumar. (1986). Compositional semantics for real-time distributed computing. Munich Personal RePEc Archive (Ludwig Maximilian University of Munich). 8608(16). 279–456. 3 indexed citations
17.
Koymans, Ron, Jan Vytopil, & Willem P. de Roever. (1983). Real-time programming and asynchronous message passing. Utrecht University Repository (Utrecht University). 187–197. 60 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Philippe Suter Breakdown of academic impact, for papers by M. Díaz Breakdown of academic impact, for papers by J. Ignacio Hidalgo Breakdown of academic impact, for papers by Peter Lindsay Breakdown of academic impact, for papers by Pierre Marquis Breakdown of academic impact, for papers by Raoul Jetley Breakdown of academic impact, for papers by Manuel Clavel Breakdown of academic impact, for papers by Anita K. Jones Breakdown of academic impact, for papers by Dave Clarke Breakdown of academic impact, for papers by Paulo Cunha
Rankless by CCL
2026