Timmers, Ferry
Documents Indexed: | 2 Publications since 2020 |
Co-Authors: | 3 Co-Authors with 2 Joint Publications |
162 Co-Co-Authors |
Co-Authors
0 | single-authored |
2 | Groote, Jan Friso |
1 | Jansen, David N. |
1 | Yang, Pengfei |
Fields
2 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 19 Authors
Cited in 2 Serials
1 | Information and Computation |
1 | ACM Transactions on Computational Logic |
Cited in 3 Fields
5 | Computer science (68-XX) |
1 | Mathematical logic and foundations (03-XX) |
1 | Probability theory and stochastic processes (60-XX) |