Name
Year | Venue | Field |
|---|---|---|
2012 | AAAI | Aerospace,Observability,Mathematical optimization,Observable,Model checking,Suite,Ranking,Computer science,Theoretical computer science,Distributed computing |
DocType | Citations | PageRank |
Conference | 4 | 0.46 |
References | Authors | |
13 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Benjamin Bittner | 1 | 30 | 3.67 |
| Marco Bozzano | 2 | 743 | 49.82 |
| Alessandro Cimatti | 3 | 5064 | 323.15 |
| Xavier Olive | 4 | 31 | 3.26 |