Sylvie Putot

Identifiers

• name variant Sylvie Putot 0.60 · backfill

Papers (5)

1. General inner approximation of vector-valued functions cs.NA · 2013 · author #4
2. Robustness analysis of finite precision implementations cs.SE · 2013 · author #2
3. A Logical Product Approach to Zonotope Intersection cs.LO · 2010 · author #3
4. A zonotopic framework for functional abstractions cs.LO · 2009 · author #2
5. Perturbed affine arithmetic for invariant computation in numerical program analysis cs.LO · 2008 · author #2

Mentions

• 1310.1709 #4 · arxiv_oai · confidence 0.70 Sylvie Putot
• 1309.3910 #2 · arxiv_oai · confidence 0.70 Sylvie Putot
• 1002.2236 #3 · arxiv_oai · confidence 0.70 Sylvie Putot
• 0807.2961 #2 · arxiv_oai · confidence 0.70 Sylvie Putot
• 1310.1709 #4 · backfill · confidence 0.70 Sylvie Putot
• 1309.3910 #2 · backfill · confidence 0.70 Sylvie Putot
• 1002.2236 #3 · backfill · confidence 0.70 Sylvie Putot
• 0910.1763 #2 · backfill · confidence 0.70 Sylvie Putot
• 0807.2961 #2 · backfill · confidence 0.70 Sylvie Putot

Frequent Coauthors

• Eric Goubault 4 shared papers
• \'Eric Goubault 1 shared papers
• Khalil Ghorbal 1 shared papers
• Michel Kieffer 1 shared papers
• Mullier Olivier 1 shared papers