| Molecular interactions and immune responses between Maize fine streak virus and the leafhopper vector Graminella nigrifrons through differential expression and … Y Chen, MG Redinbaugh, AP Michel Insect Molecular Biology 24 (3), 391-401, 2015 | 16 | 2015 |
| Versioned geoscientific workflow for the collaborative geo-simulation of human-nature interactions–a case study of global change and human activities Y Chen, H Lin, L Xiao, Q Jing, L You, Y Ding, M Hu, AT Devlin International Journal of Digital Earth 14 (4), 510-539, 2021 | 11 | 2021 |
| Triggerless Happy: Intermediate Verification with a First-Order Prover YT Chen, CA Furia International Conference on Integrated Formal Methods 10510, 295-311, 2017 | 8 | 2017 |
| Theory-Specific Reasoning about Loops with Arrays using Vampire YT Chen, L Kovács, S Robillard Vampire@ IJCAR, 16-32, 2016 | 5 | 2016 |
| Robustness testing of intermediate verifiers YT Chen, CA Furia International Symposium on Automated Technology for Verification and …, 2018 | 4 | 2018 |
Carlo A. FuriaSoftware Institute - USI Università della Svizzera italianaVerified email at usi.ch
