Concepedia

Ron Koymans

RK

Statistics

Publications

11

Citations

1.7K

H-Index

11

Active since

1983

Affiliations

Philips (Netherlands)(Current)

NXP (Netherlands)

Erasmus University Rotterdam

Eindhoven University of Technology

Vrije Universiteit Brussel

Ron Koymans is an author at Philips (Netherlands) specializing in computing, computer science, and real-time systems.

Publications per year

1983–2020

11

Publications

11

Specifying real-time properties with metric temporal logic

Ron Koymans · Real-Time Systems · 1990 · 1.2K citations

Computing, Computer Systems, Formal Methods +12

Real-time programming and asynchronous message passing

Ron Koymans, Jan Vytopil, Willem P. de Roever · 1983 · 117 citations · Full text

Computing, Communication, Computer Science +15

Cost-Effectiveness Analysis in Telehealth: A Comparison between Home Telemonitoring, Nurse Telephone Support, and Usual Care in Chronic Heart Failure Management

Andrija S. Grustam, Johan L. Severens, Daniele De Massari et al. · Value in Health · 2018 · 111 citations · Full text

Pharmacy, Cardiology, Pharmacoeconomics +15

Design and analysis of dynamic leader election protocols in broadcast networks

Jacob Brunekreef, Joost-Pieter Katoen, Ron Koymans et al. · Distributed Computing · 1996 · 69 citations · Full text

Computing, Computer Science, Computer Systems +9

Compositional semantics for real-time distributed computing

Ron Koymans, R. K. Shyamasundar, Willem P. de Roever et al. · Information and Computation · 1988 · 64 citations · Full text

Computing, Computer Engineering, Computer Science +14

1–5 of 11