OpenAlex | Ron Koymans

Ron Koymans

Author

Alternate names Ron Koymans, R.L.C. Koymans, R. Koymans, Ron L.C. Koymans

Institution Philips (Netherlands)

Past institutions Philips (Netherlands), Maastricht University Medical Centre, Erasmus University Rotterdam, Philips (Finland), Finnish Institute for Health and Welfare +5 more

H-index: 16

I10-index: 21

Works count: 38

Citations count: 2,171

Specifying real-time properties with metric temporal logic

1990 · Ron Koymans · Real-Time Systems

Specifying Message Passing and Time-Critical Systems with Temporal Logic

1992 · Ron Koymans · Lecture notes in computer science

Real-time programming and asynchronous message passing

1983 · Ron Koymans, Jan Vytopil, et al.