Micaela Mayero
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2010–2023
Best venue rank
B
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | FM | A Coq Formalization of Lebesgue Induction Principle and Tonelli's Theorem. | Sylvie Boldo, Franois Clment, Vincent Martin, Micaela Mayero, Houda Mouhcine |
| 2018 | CPP | Formal proof of polynomial-time complexity with quasi-interpretations. | Hugo Fre, Samuel Hym, Micaela Mayero, Jean-Yves Moyen, David Nowak |
| 2017 | CPP | A Coq formal proof of the LaxMilgram theorem. | Sylvie Boldo, Franois Clment, Florian Faissole, Vincent Martin, Micaela Mayero |
| 2013 | SYNASC | Certified, Efficient and Sharp Univariate Taylor Models in COQ. | rik Martin-Dorel, Laurence Rideau, Laurent Thry, Micaela Mayero, Ioana Pasca |
| 2010 | AISC | Formal Proof of SCHUR Conjugate Function. | Franck Butelle, Florent Hivert, Micaela Mayero, Frdric Toumazet |
| 2010 | ITP | Formal Proof of a Wave Equation Resolution Scheme: The Method Error. | Sylvie Boldo, Franois Clment, Jean-Christophe Fillitre, Micaela Mayero, Guillaume Melquiond, Pierre Weis |