基本信息
views: 33
![](https://originalfileserver.aminer.cn/sys/aminer/icon/show-trajectory.png)
Bio
Rom Langerak received the Ph.D. degree in 1992 from the University of Twente, Enschede, The Netherlands.
He is currently an Associate Professor at Twente University, in the Formal Methods and Tools group in the Department of Computer Science. His research interests include quantitative aspects of formal system development and analysis, with focus on the use of timed and hybrid automata.
Research Interests
Papers共 66 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Frederik Anne Van Delft,Rom Langerak,Sushil Badrising,Mirte Muller, Valesca Pavlawna Retel,Hendrik Koffijberg,Maarten Ijzerman,Daan Van den Broek
MEDICAL DECISION MAKINGno. 2 (2024): NP89-NP90
Cited0Views0Bibtex
0
0
BMC Systems Biologyno. 1 (2016): 56-56
Load More
Author Statistics
#Papers: 66
#Citation: 1327
H-Index: 23
G-Index: 35
Sociability: 5
Diversity: 2
Activity: 6
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn