Name
Year | Venue | Field |
|---|---|---|
2019 | tools and algorithms for construction and analysis of systems | Integer,Programming paradigm,Functional programming,Computer science,Imperative programming,Theoretical computer science,Rewriting,Logic programming |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 5 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jürgen Giesl | 1 | 2048 | 124.90 |
| Albert Rubio | 2 | 228 | 19.44 |
| Christian Sternagel | 3 | 0 | 1.01 |
| Johannes Waldmann | 4 | 0 | 1.69 |
| Akihisa Yamada 0002 | 5 | 40 | 10.86 |