| A machine-checked proof of the odd order theorem G Gonthier, A Asperti, J Avigad, Y Bertot, C Cohen, F Garillot, S Le Roux, ... International Conference on Interactive Theorem Proving, 163-179, 2013 | 528 | 2013 |
| A formal proof of the Kepler conjecture T Hales, M Adams, G Bauer, TD Dang, J Harrison, H Le Truong, ... Forum of mathematics, Pi 5, e2, 2017 | 477 | 2017 |
| Rigorous estimation of floating-point round-off errors with symbolic taylor expansions A Solovyev, MS Baranowski, I Briggs, C Jacobsen, Z Rakamarić, ... ACM Transactions on Programming Languages and Systems (TOPLAS) 41 (1), 20, 2018 | 218 | 2018 |
| Rigorous floating-point mixed-precision tuning WF Chiang, M Baranowski, I Briggs, A Solovyev, G Gopalakrishnan, ... Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017 | 165 | 2017 |
| Efficient search for inputs causing high floating-point errors WF Chiang, G Gopalakrishnan, Z Rakamaric, A Solovyev Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of …, 2014 | 110 | 2014 |
| A dynamic view of trauma/hemorrhage-induced inflammation in mice: principal drivers and networks Q Mi, G Constantine, C Ziraldo, A Solovyev, A Torres, R Namas, T Bentley, ... PloS one 6 (5), e19424, 2011 | 107 | 2011 |
| A multiscale agent-based in silico model of liver fibrosis progression J Dutta-Moscato, A Solovyev, Q Mi, T Nishikawa, A Soto-Gutierrez, IJ Fox, ... Frontiers in bioengineering and biotechnology 2, 18, 2014 | 67 | 2014 |
| Self-regulating device for modulating inflammation Y Vodovotz, A Solovyev, D Okonkwo, M Mikheev, Q Mi, J Gerlach, ... US Patent 10,137,236, 2018 | 54* | 2018 |
| SPARK: a framework for multi-scale agent-based biomedical modeling A Solovyev, M Mikheev, L Zhou, J Dutta-Moscato, C Ziraldo, G An, ... Proceedings of the 2010 Spring Simulation Multiconference, 1-7, 2010 | 53 | 2010 |
| A computational, tissue-realistic model of pressure ulcer formation in individuals with spinal cord injury C Ziraldo, A Solovyev, A Allegretti, S Krishnan, MK Henzel, GA Sowa, ... PLoS computational biology 11 (6), e1004309, 2015 | 49 | 2015 |
| Formal verification of nonlinear inequalities with taylor interval approximations A Solovyev, TC Hales NASA Formal Methods: 5th International Symposium, NFM 2013, Moffett Field …, 2013 | 49 | 2013 |
| Hybrid equation/agent-based model of ischemia-induced hyperemia and pressure ulcer formation predicts greater propensity to ulcerate in subjects with spinal cord injury A Solovyev, Q Mi, YT Tzen, D Brienza, Y Vodovotz PLoS computational biology 9 (5), e1003070, 2013 | 44 | 2013 |
| A Parameterized Floating-Point Formalizaton in HOL Light C Jacobsen, A Solovyev, G Gopalakrishnan NSV 2015, 2015 | 21 | 2015 |
| Formal computations and methods A Solovyev University of Pittsburgh, 2012 | 17 | 2012 |
| Efficient formal verification of bounds of linear programs A Solovyev, TC Hales Intelligent Computer Mathematics: 18th Symposium, Calculemus 2011, and 10th …, 2011 | 10 | 2011 |
| Moving the Needle on Rigorous Floating-point Precision Tuning M Baranowski, I Briggs, W Chiang, G Gopalakrishnan, Z Rakamaric, ... 6th Workshop on Automated Formal Methods (AFM 2017), 2017 | 5 | 2017 |
| On a two department multi stage game A Garnaev, A Solovyev International Workshop Optimal Stopping and Stochastic Control, aug 22, 26, 2005 | 3 | 2005 |
| A computational, tissue-realistic model of pressure ulcer formation in individuals with spinal cord injury C Ziraldo, A Solovyev, A Allegretti, S Krishnan, MK Henzel, GA Sowa, ... Journal of Critical Care 1 (28), e23, 2013 | 1 | 2013 |
| Self-Regulating Device for Modulating Inflammation Y Vodovotz, G Constantine, JC Gerlach, Q Mi, M Mikheev, D Okonkwo, ... US Patent App. 13/121,013, 2011 | 1 | 2011 |
| Trauma/hemorrhage-induced inflammation in mice: Insights from data-driven models Q Mi, G Constantine, C Ziraldo, A Solovyev, A Torres, R Namas, T Bentley, ... Journal of Critical Care 2 (26), e7, 2011 | 1 | 2011 |
Ganesh GopalakrishnanProfessor of Computer Science, University of Utah在 cs.utah.edu 的电子邮件经过验证
