Graph explorer

Research map

Explore the papers, people and topics connected to your research.

Eric Goubault
Map detail
Eric Goubault9 visible / 9 total nodes / 8 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipEric GoubaultAEric GoubaultResearcherTractable higher-order under-approximating AE extensions for non-linear systemsWTractable higher-order ...preprint / 2021Robustness analysis of finite precision implementationsWRobustness analysis of ...preprint / 2013Trace Spaces: an Efficient New Technique for State-Space ReductionWTrace Spaces: an Effici...preprint / 2012A Logical Product Approach to Zonotope IntersectionWA Logical Product Appro...preprint / 2010Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEsWTaylor-Lagrange Neural ...preprint / 2022Computing the vertices of tropical polyhedra using directed hypergraphsWComputing the vertices ...preprint / 2013The tropical double description methodWThe tropical double des...preprint / 2010Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programsWComputing the smallest ...preprint / 2013
Person8 links

Eric Goubault

Researcher