The following pages link to Eric Goubault (Q246147):
Displaying 50 items.
- A geometric view of partial order reduction (Q265807) (← links)
- A generalization of \(p\)-boxes to affine arithmetic (Q411436) (← links)
- Abstract interpretation meets convex optimization (Q435969) (← links)
- (Q777880) (redirect page) (← links)
- A dynamic epistemic logic analysis of the equality negation task (Q777882) (← links)
- Iterated chromatic subdivisions are collapsible (Q891921) (← links)
- Topological deformation of higher dimensional automata (Q1397800) (← links)
- Some geometric perspectives in concurrency theory (Q1397802) (← links)
- On the geometry of intuitionistic S4 proofs (Q1397803) (← links)
- Components of the fundamental category (Q1431357) (← links)
- Geometric and combinatorial views on asynchronous computability (Q1657197) (← links)
- From geometric semantics to asynchronous computability (Q1664156) (← links)
- Directed homology theories and Eilenberg-Steenrod axioms (Q1701172) (← links)
- Computing the vertices of tropical polyhedra using directed hypergraphs (Q1943657) (← links)
- A simplicial complex model for dynamic epistemic logic to study distributed task computability (Q2029604) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- Static analysis of ReLU neural networks with tropical polyhedra (Q2145325) (← links)
- Time-reversal homotopical properties of concurrent systems (Q2183474) (← links)
- Computing the smallest fixed point of order-preserving nonexpansive mappings arising in positive stochastic games and static analysis of programs (Q2260413) (← links)
- Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities (Q2272918) (← links)
- Directed topological complexity (Q2304014) (← links)
- Components of the fundamental category. II (Q2463396) (← links)
- Algebraic topology and concurrency (Q2500494) (← links)
- Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram (Q2515156) (← links)
- Abstract strategies and coherence (Q2695348) (← links)
- Static Analysis by Abstract Interpretation: A Mathematical Programming Approach (Q2814107) (← links)
- Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis (Q2881067) (← links)
- Trace Spaces: An Efficient New Technique for State-Space Reduction (Q2892732) (← links)
- Inner approximated reachability analysis (Q2986962) (← links)
- A Topological Method for Finding Invariant Sets of Switched Systems (Q2988962) (← links)
- (Q3044313) (← links)
- Static Analysis of Finite Precision Computations (Q3075485) (← links)
- (Q3113735) (← links)
- Policy Iteration within Logico-Numerical Abstract Domains (Q3172921) (← links)
- Future Path-components in Directed Topology (Q3178262) (← links)
- Directed Homotopy in Non-Positively Curved Spaces (Q3300792) (← links)
- (Q3384879) (← links)
- Natural Homology (Q3449474) (← links)
- Inferring Min and Max Invariants Using Max-Plus Polyhedra (Q3522071) (← links)
- Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis (Q3558213) (← links)
- Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic (Q3611999) (← links)
- Static Analysis of Numerical Algorithms (Q3613375) (← links)
- Covering space theory for directed topology (Q3629447) (← links)
- (Q4016018) (← links)
- Geometry and concurrency: a user's guide (Q4507888) (← links)
- (Q4608677) (← links)
- (Q4738356) (← links)
- (Q4778705) (← links)
- Algebraic coherent confluence and higher globular Kleene algebras (Q5060195) (← links)
- (Q5091106) (← links)