Immediate Impact
3 standout
Citing Papers
AI-big data analytics for building automation and management systems: a survey, actual challenges and future perspectives
2022 Standout
A Survey on Metaverse: Fundamentals, Security, and Privacy
2022 Standout
Works of Thomas Brihaye being referenced
Stochastic Timed Automata
2014
Improved undecidability results on weighted timed automata
2006
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Thomas Brihaye | 116 | 68 | 22 | 34 | 34 | 164 | |
| Christof Löding | 197 | 183 | 19 | 38 | 39 | 262 | |
| Rudolf Berghammer | 139 | 177 | 43 | 30 | 54 | 277 | |
| Marco Faella | 131 | 161 | 14 | 32 | 24 | 208 | |
| Manfred Kerber | 36 | 80 | 22 | 9 | 39 | 116 | |
| Freek Wiedijk | 153 | 186 | 6 | 17 | 39 | 289 | |
| Jeremy T. Bradley | 73 | 30 | 47 | 17 | 33 | 209 | |
| Sergiu Rudeanu | 171 | 95 | 23 | 7 | 32 | 256 | |
| Sasha Rubin | 192 | 181 | 17 | 32 | 44 | 271 | |
| Amir Kafshdar Goharshady | 81 | 75 | 14 | 13 | 38 | 273 | |
| Wanwei Liu | 25 | 35 | 12 | 14 | 26 | 106 |
All Works
Login with ORCID to disown or claim papers
Loading papers...