Immediate Impact
3 standout
Citing Papers
Energy efficiency in cloud computing data centers: a survey on software technologies
2022 Standout
Event-Triggered Real-Time Scheduling of Stabilizing Control Tasks
2007 Standout
Works of Thomas Hune being referenced
Minimum-Cost Reachability for Priced Timed Automata
2001
Guided Synthesis of Control Programs Using UPPAAL
2000
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Thomas Hune | 151 | 35 | 79 | 67 | 12 | 181 | |
| Henrik Reif Andersen | 143 | 19 | 91 | 71 | 14 | 165 | |
| Henny B. Sipma | 167 | 37 | 109 | 82 | 14 | 199 | |
| Jamieson M. Cobleigh | 99 | 22 | 77 | 84 | 10 | 185 | |
| Jan Springintveld | 94 | 32 | 35 | 85 | 10 | 129 | |
| Marius Minea | 100 | 58 | 41 | 52 | 13 | 140 | |
| Steven M. German | 200 | 70 | 135 | 75 | 15 | 253 | |
| Jean-Baptiste Raclet | 155 | 33 | 100 | 82 | 11 | 195 | |
| Henrik Hulgaard | 116 | 92 | 39 | 42 | 16 | 189 | |
| Reino Kurki-Suonio | 113 | 36 | 118 | 51 | 19 | 193 | |
| Viet Yen Nguyen | 93 | 22 | 60 | 93 | 14 | 161 |
All Works
Loading papers...