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 |