Follow
Alexey Solovyev
Alexey Solovyev
Research Associate of Computer Science, University of Utah
Verified email at cs.utah.edu - Homepage
Title
Cited by
Cited by
Year
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
4432013
A formal proof of the Kepler conjecture
T Hales, M Adams, G Bauer, TATDAT DANG, J Harrison, H Le Truong, ...
Forum of Mathematics, Pi 5, 2017
3352017
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
1572018
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
1272017
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
912011
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
822014
Self-regulating device for modulating inflammation
Y Vodovotz, A Solovyev, D Okonkwo, M Mikheev, Q Mi, J Gerlach, ...
US Patent 10,137,236, 2018
52*2018
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
522014
Formal verification of nonlinear inequalities with taylor interval approximations
A Solovyev, TC Hales
NASA Formal Methods Symposium, 383-397, 2013
492013
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
452010
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
392013
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
372015
A Parameterized Floating-Point Formalizaton in HOL Light
C Jacobsen, A Solovyev, G Gopalakrishnan
NSV 2015, 2015
162015
Formal computations and methods
A Solovyev
University of Pittsburgh, 2012
132012
Efficient formal verification of bounds of linear programs
A Solovyev, TC Hales
International Conference on Intelligent Computer Mathematics, 123-132, 2011
82011
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
62017
On a two department multi stage game
A Garnaev, A Solovyev
International Workshop Optimal Stopping and Stochastic Control, aug 22, 26, 2005
32005
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
12013
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
12011
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
12011
The system can't perform the operation now. Try again later.
Articles 1–20