Year | Venue | Keywords |
---|---|---|
2012 | FM | satisfiability modulo theories,computer science |
Field | DocType | Citations |
Coordination game,Computer science,Automated theorem proving,Correctness,Automation,Real-time computing,Theoretical computer science,Solver,System model,Hybrid automaton,Satisfiability modulo theories | Conference | 1 |
PageRank | References | Authors |
0.37 | 20 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mikael Asplund | 1 | 92 | 13.97 |
Atif Manzoor | 2 | 172 | 12.69 |
Mélanie Bouroche | 3 | 91 | 16.43 |
Siobhán Clarke | 4 | 699 | 87.36 |
Vinny Cahill | 5 | 1555 | 133.25 |