Valery Trifonov
About
Valery Trifonov has authored 15 papers that have received a total of 979 indexed citations.
This includes 10 papers in Artificial Intelligence, 7 papers in Computational Theory and Mathematics and 5 papers in Molecular Biology. The topics of these papers are Logic, programming, and type systems (10 papers), Formal Methods in Verification (7 papers) and Bioinformatics and Genomic Networks (4 papers). Valery Trifonov is often cited by papers focused on Logic, programming, and type systems (10 papers), Formal Methods in Verification (7 papers) and Bioinformatics and Genomic Networks (4 papers) and collaborates with scholars based in United States and Greece. Valery Trifonov's co-authors include Zhong Shao, Haiyuan Yu, Mark Gerstein, Bratin Saha and Nikolaos Papaspyrou and has published in prestigious journals such as Bioinformatics, Genome Research and Genome biology
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Eric K. Dufour are co-authored with Top countries impacted by papers by Jean-Jacques Sansuc Top countries impacted by papers by Susan M. Pierce Top fields papers by Rob C. G. van de Ven are about Top fields papers by Lisa B. Yanoff are about Top journals papers by I.N.A. Ashie are published in Top authors papers by Jennifer M. Lorang are co-authored with Top journals papers by Stuart J. Macnaughton are published in