1. Weisser, Tillmann and Legat, Benoı̂t and Coey, Chris and Kapelevich, Lea and Vielma, Juan Pablo, Polynomial and Moment Optimization in Julia and JuMP, JuliaCon, 2019, https://pretalx.com/juliacon2019/talk/QZBKAU/
2. Benet, Luis and Forets, Marcelo and Sanders, David P. and Schilling, Christian, TaylorModels.jl: Taylor models in Julia and its application to validated solutions of ODEs, SWIM, 2019, https://swim2019.ensta-paristech.fr/
3. Set Propagation Techniques for Reachability Analysis
4. Julia: A Fresh Approach to Numerical Computing