( en | de | ru )

 

Disambiguation of "Rioboo, Renaud"

Author of the publication

copydeleteadd this publication to your clipboard
Intelligent Computer Mathematics

, , , , , , and (Eds.) 6167, Springer Verlag, (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.

Renaud Quekelberghe

Renaud Keriven

Otto Renaud

Renaud Quekelberghe

Simon Renaud

 

Other publications of authors with the same name

Generating FoCaLiZe Specifications from UML Models., , and . ICAASE, volume 1294 of CEUR Workshop Proceedings, page 157-164. CEUR-WS.org, (2014)Verified Functional Iterators Using the FoCaLiZe Environment., and . SEFM, volume 8702 of Lecture Notes in Computer Science, page 317-331. Springer, (2014)On the way to certify Computer Algebra Systems., , , , and . Calculemus, volume 23 of Electronic Notes in Theoretical Computer Science, page 370-385. Elsevier, (1999)Modeling UML Template Classes with FoCaLiZe., , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 87-102. Springer, (2014)Polynomial Gcd Computations over Towers of Algebraic Extensions., and . AAECC, volume 948 of Lecture Notes in Computer Science, page 365-382. Springer, (1995)Invariants for the FoCaL language.. Ann. Math. Artif. Intell., 56 (3-4): 273-296 (2009)Les objets des mathématiques., and . L'OBJET, 10 (4): 83-118 (2004)Formalizing UML/OCL structural features with FoCaLiZe., , and . Soft Comput., 24 (6): 4149-4164 (2020)Modelling UML state machines with FoCaLiZe., , and . Int. J. Inf. Commun. Technol., 13 (1): 34-54 (2018)Integration of Rational Functions: Rational Computation of the Logarithmic Part., and . J. Symb. Comput., 9 (2): 113-115 (1990)