Name
Year | Venue | Field |
|---|---|---|
2013 | ASCoMS@SAFECOMP | Computer science,Selection algorithm,PRISM model checker,Reliability engineering,Probabilistic model checking |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
4 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Emília Villani | 1 | 16 | 4.52 |
| Negin Fathollahnejad | 2 | 3 | 1.39 |
| Risat Mahmud Pathan | 3 | 46 | 7.61 |
| Raul Barbosa | 4 | 110 | 19.08 |
| Johan Karlsson | 5 | 24 | 3.40 |