Author of the publication

A Computational, Tissue-Realistic Model of Pressure Ulcer Formation in Individuals with Spinal Cord Injury.

, , , , , , , , , and . PLoS Comput. Biol., (2015)

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.

 

Other publications of authors with the same name

Efficient Formal Verification of Bounds of Linear Programs., and . Calculemus/MKM, volume 6824 of Lecture Notes in Computer Science, page 123-132. Springer, (2011)A Computational, Tissue-Realistic Model of Pressure Ulcer Formation in Individuals with Spinal Cord Injury., , , , , , , , , and . PLoS Comput. Biol., (2015)A Parameterized Floating-Point Formalizaton in HOL Light., , and . NSV, volume 317 of Electronic Notes in Theoretical Computer Science, page 101-107. Elsevier, (2015)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 . ACM Trans. Program. Lang. Syst., 41 (1): 2:1-2:39 (2019)Hybrid Equation/Agent-Based Model of Ischemia-Induced Hyperemia and Pressure Ulcer Formation Predicts Greater Propensity to Ulcerate in Subjects with Spinal Cord Injury., , , , and . PLoS Comput. Biol., (2013)Rigorous floating-point mixed-precision tuning., , , , , and . POPL, page 300-315. ACM, (2017)Rigorous Error Analysis for Logarithmic Number Systems., , and . CoRR, (2024)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)