Immediate Impact
2 by Nobel laureates 1 from Science/Nature 19 standout
Citing Papers
Explainable Artificial Intelligence (XAI) for Intrusion Detection and Mitigation in Intelligent Connected Vehicles: A Review
2023 Standout
Estimation of energy consumption in machine learning
2019 Standout
Works of Fabio Somenzi being referenced
High-level power modeling, estimation, and optimization
1998
Algebraic Decision Diagrams and Their Applications
1997
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Fabio Somenzi | 626 | 531 | 488 | 77 | 1.1k | |
| Karem A. Sakallah | 744 | 377 | 424 | 70 | 1.3k | |
| Daniël Brand | 576 | 399 | 290 | 35 | 1.1k | |
| Jerry R. Burch | 1108 | 361 | 147 | 21 | 1.3k | |
| Prabhat Mishra | 175 | 757 | 520 | 111 | 1.1k | |
| Daniel Kroening | 533 | 221 | 104 | 92 | 1.1k | |
| Armin Biere | 611 | 161 | 75 | 71 | 880 | |
| Anton Dahbura | 264 | 460 | 214 | 28 | 1.2k | |
| Gethin Norman | 894 | 157 | 83 | 58 | 1.4k | |
| Stephen A. Edwards | 405 | 986 | 68 | 73 | 1.1k | |
| Melvin A. Breuer | 146 | 647 | 634 | 50 | 896 |
All Works
Login with ORCID to disown or claim papers
Loading papers...