AD Scientific Index
 Open Nav
Login Login Pricing & Plans Pricing & Plans
Yuting Chen Jeff

Yuting Chen Jeff

Chalmers University of Technology - Göteborg / Sweden
Others
AD Scientific Index ID: 5404506
Chalmers tekniska högskola
person_outline Yuting Chen Jeff's MOST POPULAR ARTICLES
1-) Molecular interactions and immune responses between Maize fine streak virus and the leafhopper vector Graminella nigrifrons through differential expression and … Insect Molecular Biology 24 (3), 391-401, 2015
2-) Versioned geoscientific workflow for the collaborative geo-simulation of human-nature interactions–a case study of global change and human activities International Journal of Digital Earth 14 (4), 510-539, 2021
3-) Triggerless Happy: Intermediate Verification with a First-Order Prover International Conference on Integrated Formal Methods 10510, 295-311, 2017
4-) Robustness testing of intermediate verifiers International Symposium on Automated Technology for Verification and …, 2018
5-) Theory-Specific Reasoning about Loops with Arrays using Vampire Vampire@ IJCAR, 16-32, 2016