Meshman, Yuri
Documents Indexed: | 4 Publications since 2015 |
Co-Authors: | 8 Co-Authors with 4 Joint Publications |
128 Co-Co-Authors |
all
top 5
Co-Authors
0 | single-authored |
3 | Dan, Andrei Marian |
3 | Vechev, Martin T. |
2 | Yahav, Eran |
1 | Baumann, Cedric |
1 | García-Pérez, Álvaro |
1 | Gotsman, Alexey |
1 | Hoefler, Torsten |
1 | Sergey, Ilya |
Fields
4 | Computer science (68-XX) |
Publications by Year
all
top 5
Cited by 35 Authors
Cited in 4 Serials
2 | Logical Methods in Computer Science |
1 | Journal of Automated Reasoning |
1 | Journal of Functional Programming |
1 | ACM Transactions on Computational Logic |
Cited in 2 Fields
14 | Computer science (68-XX) |
1 | Information and communication theory, circuits (94-XX) |