( en | de | ru )

 

Disambiguation of "Solovyev, Alexey"

Author of the publication

copydeleteadd this publication to your clipboard
SPARK: a framework for multi-scale agent-based biomedical modeling.

, , , , , , , and . SpringSim, page 3. SCS/ACM, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Sergey Solovyev

Alexey Dashevsky

Alexey Mikaberidze

Alexey Shaytan

Alexey Pryakhin

 

Other publications of authors with the same name

Rigorous floating-point mixed-precision tuning., , , , , and . POPL, page 300-315. ACM, (2017)Efficient Formal Verification of Bounds of Linear Programs., and . Calculemus/MKM, volume 6824 of Lecture Notes in Computer Science, page 123-132. Springer, (2011)Rigorous Estimation of Floating-Point Round-Off Errors with Symbolic Taylor Expansions., , , , , and . ACM Trans. Program. Lang. Syst., 41 (1): 2:1-2:39 (2019)Formal Verification of Nonlinear Inequalities with Taylor Interval Approximations., and . NASA Formal Methods, volume 7871 of Lecture Notes in Computer Science, page 383-397. Springer, (2013)Rigorous Estimation of Floating-Point Round-off Errors with Symbolic Taylor Expansions., , , and . FM, volume 9109 of Lecture Notes in Computer Science, page 532-550. Springer, (2015)SPARK: a framework for multi-scale agent-based biomedical modeling., , , , , , , and . SpringSim, page 3. SCS/ACM, (2010)Moving the Needle on Rigorous Floating-Point Precision Tuning., , , , , and . AFM@NFM, volume 5 of Kalpa Publications in Computing, page 19-30. EasyChair, (2017)Efficient search for inputs causing high floating-point errors., , , and . PPoPP, page 43-52. ACM, (2014)