Immediate Impact
1 from Science/Nature 21 standout
Citing Papers
A Survey on Intelligent Network Operations and Performance Optimization Based on Large Language Models
2025 Standout
Security of Smart Grid: Cybersecurity Issues, Potential Cyberattacks, Major Incidents, and Future Directions
2025 Standout
Works of Ph. Schnoebelen being referenced
A parametric analysis of the state-explosion problem in model checking
2006
Systems and Software Verification: Model-Checking Techniques and Tools
2001
Author Peers
| Author | Last Decade | Papers | Cites | |||
|---|---|---|---|---|---|---|
| Ph. Schnoebelen | 457 | 289 | 192 | 21 | 586 | |
| Michel Bidoit | 344 | 341 | 160 | 31 | 517 | |
| Keijo Heljanko | 285 | 270 | 150 | 47 | 627 | |
| P. Zafiropulo | 425 | 263 | 138 | 11 | 650 | |
| Rob J. van Glabbeek | 487 | 381 | 80 | 26 | 611 | |
| Raymond T. Yeh | 213 | 346 | 130 | 40 | 643 | |
| Doron Peled | 572 | 362 | 330 | 62 | 717 | |
| Helmut Veith | 439 | 403 | 234 | 36 | 707 | |
| Radu Mateescu | 280 | 193 | 163 | 43 | 563 | |
| Angelo Morzenti | 505 | 315 | 345 | 55 | 695 | |
| Alexandre David | 369 | 163 | 231 | 42 | 558 |
All Works
Loading papers...