Statistics
Publications
4
Citations
63
H-Index
4
Active since
2000
Affiliations
Eindhoven University of Technology(Current)
Reniers is an author at Eindhoven University of Technology specializing in computer science, formal semantics, and timing semantics.
Publications per year
2000–2008
4
4
Syntax and semantics of timed Chi
D.A. van Beek, Ka Lok Man, Reniers et al. · DCT rapporten · 2005 · 24 citations
Syntax and formal semantics of Chi 2.0
D.A. van Beek, A.T. Hofkamp, Reniers et al. · 2008 · 15 citations
Syntax and consistent equation semantics of hybrid Chi
D.A. van Beek, Ka Lok Man, Reniers et al. · 2004 · 14 citations
Termination in timed process algebra
J. C. M. Baeten, Reniers · TU/e Research Portal · 2000 · 10 citations · Full text
1–4 of 4