Name
Year | DOI | Venue |
|---|---|---|
2014 | 10.1007/978-3-662-44584-6_31 | CONCUR |
Field | DocType | Citations |
Discrete mathematics,Categorical variable,Computer science,Matrix (mathematics),Correctness,Automaton,Algorithm,Theoretical computer science,Soundness,Linear inequality,Rotation formalisms in three dimensions,Probabilistic automaton | Conference | 7 |
PageRank | References | Authors |
0.51 | 24 | 2 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Natsuki Urabe | 1 | 14 | 4.69 |
| Ichiro Hasuo | 2 | 10 | 1.90 |