Immediate Impact
6 standout
Citing Papers
An overview of fault tree analysis and its application in model based dependability analysis
2017 Standout
SATzilla: Portfolio-based Algorithm Selection for SAT
2008 Standout
Works of Roberto Sebastiani being referenced
Verifying Industrial Hybrid Systems with MathSAT
2005
Act, and the rest will follow: exploiting determinism in planning as satisfiability
1998
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Roberto Sebastiani | 374 | 262 | 144 | 45 | 510 | |
| Mieke Massink | 193 | 234 | 178 | 56 | 518 | |
| Diego Latella | 241 | 286 | 217 | 56 | 554 | |
| Carla Piazza | 245 | 260 | 63 | 54 | 482 | |
| Jaco van de Pol | 188 | 264 | 138 | 97 | 434 | |
| Mohammad Reza Mousavi | 300 | 275 | 186 | 101 | 530 | |
| Eerke Boiten | 266 | 205 | 139 | 64 | 428 | |
| Leonardo de Moura | 254 | 208 | 137 | 18 | 423 | |
| Michaël Leuschel | 325 | 317 | 226 | 73 | 512 | |
| Stefan Leue | 164 | 269 | 232 | 59 | 456 | |
| Hans‐Jörg Kreowski | 302 | 202 | 242 | 58 | 496 |
All Works
Login with ORCID to disown or claim papers
Loading papers...