Immediate Impact
19 standout
Citing Papers
Applications of Bayesian networks and Petri nets in safety, reliability, and risk assessments: A review
2019 Standout
Industrial automation based on cyber-physical systems technologies: Prototype implementations and challenges
2015 Standout
Works of J. P. Queille being referenced
Fairness and related properties in transition systems ? a temporal logic to deal with fairness
1983
Author Peers
| Author | Last Decade | Papers | Cites | ||||
|---|---|---|---|---|---|---|---|
| J. P. Queille | 27 | 50 | 20 | 2 | 58 | ||
| Emmanuel Fleury | 35 | 49 | 18 | 5 | 66 | ||
| Jan Vytopil | 22 | 36 | 15 | 4 | 45 | ||
| O. Grumberg | 36 | 58 | 37 | 4 | 79 | ||
| Catherine Dufourd | 26 | 44 | 17 | 2 | 52 | ||
| T. A. Henzinger | 37 | 49 | 22 | 3 | 67 | ||
| Michael A. Colón | 25 | 31 | 11 | 3 | 47 | ||
| Fabian Emmes | 57 | 48 | 22 | 4 | 71 | ||
| Jakob Lichtenberg | 25 | 18 | 16 | 4 | 38 | ||
| F. Lagnier | 21 | 73 | 33 | 2 | 90 | ||
| Henrik Ejersbo Jensen | 10 | 34 | 24 | 2 | 42 |
All Works
Loading papers...