Year | DOI | Venue |
---|---|---|
2019 | 10.1007/978-3-030-30942-8_10 | FM |
Field | DocType | Citations |
Differential equation,Ordinary differential equation,Computer science,Automated theorem proving,Correctness,Theoretical computer science,Automation,Mathematical proof,Invariant (mathematics),Hybrid system | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 5 |
Name | Order | Citations | PageRank |
---|---|---|---|
Andrew Sogokon | 1 | 19 | 6.16 |
Stefan Mitsch | 2 | 252 | 29.32 |
Yong Kiam Tan | 3 | 107 | 12.93 |
Katherine Cordwell | 4 | 0 | 0.34 |
André Platzer | 5 | 1425 | 82.57 |