Mioara Joldes
Orcid: 0000-0001-7781-3745
According to our database1,
Mioara Joldes
authored at least 31 papers
between 2009 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2010
2012
2014
2016
2018
2020
2022
2024
0
1
2
3
4
5
1
1
2
1
1
2
1
1
1
1
1
1
1
2
2
2
1
1
1
4
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
J. Approx. Theory, 2025
2024
ACM Trans. Math. Softw., March, 2024
Proceedings of the 31st IEEE Symposium on Computer Arithmetic, 2024
2022
Proceedings of the ISSAC '22: International Symposium on Symbolic and Algebraic Computation, Villeneuve-d'Ascq, France, July 4, 2022
2021
J. Signal Process. Syst., 2021
IEEE Trans. Emerg. Top. Comput., 2021
Polynomial superlevel set approximation of swept-volume for computing collision probability in space encounters.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
2020
Error Analysis of Some Operations Involved in the Cooley-Tukey Fast Fourier Transform.
ACM Trans. Math. Softw., 2020
Proceedings of the 27th IEEE Symposium on Computer Arithmetic, 2020
2019
Proceedings of the 2019 on International Symposium on Symbolic and Algebraic Computation, 2019
Proceedings of the 26th IEEE Symposium on Computer Arithmetic, 2019
2018
Validated and Numerically Efficient Chebyshev Spectral Methods for Linear Ordinary Differential Equations.
ACM Trans. Math. Softw., 2018
Springer, ISBN: 978-3-319-76526-6, 2018
2017
ACM Trans. Math. Softw., 2017
Math. Comput., 2017
Proceedings of the Interactive Theorem Proving - 8th International Conference, 2017
Implementation and Performance Evaluation of an Extended Precision Floating-Point Arithmetic Library for High-Accuracy Semidefinite Programming.
Proceedings of the 24th IEEE Symposium on Computer Arithmetic, 2017
2016
IEEE Trans. Computers, 2016
Proceedings of the Mathematical Software - ICMS 2016, 2016
Proceedings of the 27th IEEE International Conference on Application-specific Systems, 2016
2014
Searching for Sinks for the Hénon Map using a Multipleprecision GPU Arithmetic Library.
SIGARCH Comput. Archit. News, 2014
On the computation of the reciprocal of floating point expansions using an adapted Newton-Raphson iteration.
Proceedings of the IEEE 25th International Conference on Application-Specific Systems, 2014
2012
Proceedings of the NASA Formal Methods, 2012
2011
Rigorous Polynomial Approximations and Applications. (Approximations polynomiales rigoureuses et applications).
PhD thesis, 2011
Theor. Comput. Sci., 2011
Augmented Precision Square Roots and 2-D Norms, and Discussion on Correctly Rounding sqrt(x^2+y^2).
Proceedings of the 20th IEEE Symposium on Computer Arithmetic, 2011
2010
Proceedings of the Symbolic and Algebraic Computation, International Symposium, 2010
Proceedings of the Mathematical Software, 2010
Proceedings of the International Conference on Field Programmable Logic and Applications, 2010
Automatic generation of polynomial-based hardware architectures for function evaluation.
Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010
2009
Proceedings of the 19th IEEE Symposium on Computer Arithmetic, 2009