Immediate Impact
6 standout
Citing Papers
Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review
2019 Standout
Quantum algorithms: an overview
2016 Standout
Works of Henrik Hulgaard being referenced
Boolean Expression Diagrams
2002
Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
2001
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| Henrik Hulgaard | 116 | 92 | 42 | 69 | 16 | 189 | |
| Niklas Eén | 179 | 77 | 95 | 64 | 12 | 250 | |
| Detlef Sieling | 160 | 41 | 54 | 38 | 18 | 211 | |
| Alexander Taubin | 105 | 171 | 11 | 127 | 21 | 253 | |
| Anne E. Haxthausen | 106 | 63 | 95 | 22 | 25 | 208 | |
| Marius Minea | 100 | 58 | 52 | 16 | 13 | 140 | |
| Avi Ziv | 52 | 151 | 77 | 61 | 23 | 224 | |
| François Irigoin | 44 | 88 | 27 | 16 | 18 | 147 | |
| Mark B. Josephs | 100 | 77 | 27 | 51 | 26 | 183 | |
| Pranav Ashar | 159 | 133 | 89 | 99 | 30 | 254 | |
| Jianhua Zhao | 39 | 69 | 34 | 63 | 20 | 154 |
All Works
Loading papers...