( en | de | ru )

 

Disambiguation of "Collavizza, Hélène"

Author of the publication

copydeleteadd this publication to your clipboard
Searching Critical Values for Floating-Point Programs.

, , and . ICTSS, volume 9976 of Lecture Notes in Computer Science, page 209-217. (2016)

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.

Hélène Esnault

Hélène Bernatchez

Hélène Martinez

Hélène Leroux

Hélène Jaudoin

 

Other publications of authors with the same name

A dynamic constraint-based BMC strategy for generating counterexamples., , , , and . SAC, page 1633-1638. ACM, (2011)CPBPV: A Constraint-Programming Framework for Bounded Program Verification., , and . CP, volume 5202 of Lecture Notes in Computer Science, page 327-341. Springer, (2008)Searching Critical Values for Floating-Point Programs., , and . ICTSS, volume 9976 of Lecture Notes in Computer Science, page 209-217. (2016)Greening R. Thomas' Framework with Environment Variables: A Divide and Conquer Approach., , and . CMSB, volume 12881 of Lecture Notes in Computer Science, page 36-56. Springer, (2021)An Object-Oriented Framework for the Formal Verification of Processors., and . ECOOP, volume 952 of Lecture Notes in Computer Science, page 215-234. Springer, (1995)Comparing Partial Consistencies., , and . SCAN, page 213-228. Springer, (1998)TotemBioNet Enrichment Methodology: Application to the Qualitative Regulatory Network of the Cell Metabolism., , , and . BIOINFORMATICS, page 85-92. SCITEPRESS, (2021)What is a Cell Cycle Checkpoint? The TotemBioNet Answer., , , and . CMSB, volume 12314 of Lecture Notes in Computer Science, page 362-372. Springer, (2020)Relationships between Partial Consistencies over Continuous Domains., , and . IJCSLP, page 345-346. MIT Press, (1998)A Note on Partial Consistencies over Continuous Domains., , and . CP, volume 1520 of Lecture Notes in Computer Science, page 147-161. Springer, (1998)