Statistics
Publications
15
Citations
659
H-Index
12
Active since
2003
Pratyush Kumar is an author at ETH Zurich specializing in engineering, computer science, and systems engineering.
Publications per year
2003–2023
15
15
Mohit Jain, Pratyush Kumar, Ishita Bhansali et al. · Proceedings of the ACM on Interactive Mobile Wearable and Ubiquitous Technologies · 2018 · 108 citations
Energy efficient DVFS scheduling for mixed-criticality systems
Pengcheng Huang, Pratyush Kumar, Georgia Giannopoulou et al. · 2014 · 101 citations
A hybrid approach to cyber-physical systems verification
Pratyush Kumar, Dip Goswami, Samarjit Chakraborty et al. · 2012 · 80 citations
Engineering, Performance Verification Technique, Verification +18
Evaluating example-based search tools
Pearl Pu, Pratyush Kumar · 2004 · 70 citations
1–5 of 15