Concepedia

Alexey Solovyev

AS

12

Publications

624

Citations

11

H-Index

2010

Active since

Affiliations

University of Utah(Current)

University of Pittsburgh

McGowan Institute for Regenerative Medicine

University of Chicago

Alexey Solovyev is an author at University of Utah specializing in engineering, computer science, and formal methods.

Top concepts

EngineeringComputer ScienceFormal MethodsProgram AnalysisSoftware AnalysisBiomedical ModelingApproximation TheoryComputer EngineeringApproximate ComputingFormal Verification

Publications per year

2010–2018

12

Publications

12

Rigorous floating-point mixed-precision tuning

Wei‐Fan Chiang, Mark Baranowski, Ian Briggs et al. · 2016 · 113 citations

Numerical Analysis, Engineering, Compiler Technology +18

A Dynamic View of Trauma/Hemorrhage-Induced Inflammation in Mice: Principal Drivers and Networks

Qi Mi, Gregory Constantine, Cordelia Ziraldo et al. · PLoS ONE · 2011 · 101 citations · Full text

Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions

Alexey Solovyev, Marek Baranowski, Ian Briggs et al. · ACM Transactions on Programming Languages and Systems · 2018 · 92 citations · Full text

Numerical Analysis, Pade Approximant, Engineering +19

Efficient search for inputs causing high floating-point errors

Wei-Fan Chiang, Ganesh Gopalakrishnan, Zvonimir Rakamarić et al. · 2014 · 86 citations

Engineering, Verification, Computer Architecture +22

A Multiscale Agent-Based in silico Model of Liver Fibrosis Progression

Joyeeta Dutta‐Moscato, Alexey Solovyev, Qi Mi et al. · Frontiers in Bioengineering and Biotechnology · 2014 · 59 citations · Full text

Liver Fibrosis, Engineering, Immunology +28

Rows per page

1–5 of 12