Eric Goubault - RankMe

147 papers A* 6A 9B 20C 6Misc 2Journal 65Unranked 32

Year	Rank	Type	Title / Venue / Authors
2025	J	`jnl`	A categorical and logical framework for iterated protocols. CoRR Eric Goubault, Bernardo Hummes Flores, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
2025	—	`conf`	Communication Strategies for Environment Exploration Using a Frontier-Guided Decentralised MCTS. MRS Mathilde Jeannin, David Filliat, Eric Goubault, Sylvie Putot
2025	J	`jnl`	Directed homology and persistence modules. J. Appl. Comput. Topol. Eric Goubault
2025	J	`jnl`	Knowledge in multi-robot systems: an interplay of dynamics, computation and communication. CoRR Giorgio Cignarale, Stephan Felber, Eric Goubault, Bernardo Hummes Flores, Hugo Rincon Galeana
2025	—	`conf`	Probabilistic Verification of Neural Networks with Sampling-Based Probability Box Propagation. SAIV Marcel Chwialkowski, Eric Goubault, Sylvie Putot
2024	—	`conf`	A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks. FM (1) Eric Goubault, Sylvie Putot
2024	J	`jnl`	A semi-abelian approach to directed homology. J. Appl. Comput. Topol. Eric Goubault
2024	—	`conf`	ConForME: Multi-horizon conditional conformal time series forecasting. COPA Aloysio Galvão Lopes, Eric Goubault, Sylvie Putot, Laurent Pautet
2024	J	`jnl`	Estimating the coverage measure and the area explored by a line-sweep sensor on the plane. Int. J. Approx. Reason. Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot
2024	J	`jnl`	Geometric and topological methods in computer science (11th GETCO conference, 2022). J. Appl. Comput. Topol. Eric Goubault, Marian Mrozek, Martin Raussen
2024	—	`conf`	Inner and outer approximate quantifier elimination for general reachability problems. HSCC Eric Goubault, Sylvie Putot
2024	J	`jnl`	Persistent homology of partially ordered spaces. J. Appl. Comput. Topol. Cameron Calk, Eric Goubault, Philippe Malbos
2024	J	`jnl`	Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts. Eng. Appl. Artif. Intell. Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
2023	J	`jnl`	A many-sorted epistemic logic for chromatic hypergraphs. CoRR Eric Goubault, Roman Kniazev, Jérémy Ledent
2023	J	`jnl`	A semi-abelian approach to directed homology. CoRR Eric Goubault
2023	J	`jnl`	Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane. CoRR Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot
2023	J	`jnl`	Guaranteed approximations of arbitrarily quantified reachability problems. CoRR Eric Goubault, Sylvie Putot
2023	J	`jnl`	On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability. IEEE Trans. Autom. Control. Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2023	J	`jnl`	Persistent homology of directed spaces. CoRR Cameron Calk, Eric Goubault, Philippe Malbos
2023	J	`jnl`	Semi-simplicial Set Models for Distributed Knowledge. CoRR Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
2023	J	`jnl`	Simplicial Models for the Epistemic Logic of Faulty Agents. CoRR Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
2022	J	`jnl`	Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
2022	—	`conf`	Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. L4DC Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
2022	—	`conf`	RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. CAV (1) Eric Goubault, Sylvie Putot
2022	A	`conf`	Solving N-Player Dynamic Routing Games with Congestion: A Mean-Field Approach. AAMAS Theophile Cabannes, Mathieu Laurière, Julien Pérolat, Raphaël Marinier, Sertan Girgin, Sarah Perrin, Olivier Pietquin, Alexandre M. Bayen, Eric Goubault, Romuald Elie
2022	A*	`conf`	Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. IJCAI Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
2022	J	`jnl`	Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. CoRR Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
2021	J	`jnl`	A Simplicial Model for KB4 CoRR Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
2021	—	`conf`	A few lessons learned in reinforcement learning for quadcopter attitude control. HSCC Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
2021	J	`jnl`	A topological method for finding invariant sets of continuous systems. Inf. Comput. Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot
2021	C	`conf`	Abstract Strategies and Coherence. RAMiCS Cameron Calk, Eric Goubault, Philippe Malbos
2021	J	`jnl`	Neural Network Based Model Predictive Control for an Autonomous Vehicle. CoRR Maria Luiza Costa Vianna, Eric Goubault, Sylvie Putot
2021	J	`jnl`	Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. CoRR Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu
2021	C	`conf`	On-The-Fly Control of Unknown Smooth Systems from Limited Data. ACC Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2021	J	`jnl`	Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts. CoRR Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion
2021	B	`conf`	Static Analysis of ReLU Neural Networks with Tropical Polyhedra. SAS Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
2021	J	`jnl`	Static analysis of ReLU neural networks with tropical polyhedra. CoRR Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan
2021	—	`conf`	Tractable higher-order under-approximating AE extensions for non-linear systems. ADHS Eric Goubault, Sylvie Putot
2021	J	`jnl`	Tractable higher-order under-approximating AE extensions for non-linear systems. CoRR Eric Goubault, Sylvie Putot
2020	J	`jnl`	Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth
2020	—	`conf`	Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. VSTTE Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot
2020	J	`jnl`	Directed Homotopy in Non-Positively Curved Spaces. Log. Methods Comput. Sci. Eric Goubault, Samuel Mimram
2020	J	`jnl`	Directed topological complexity. J. Appl. Comput. Topol. Eric Goubault, Michael Farber, Aurélien Sagnier
2020	J	`jnl`	Knowledge and simplicial complexes. CoRR Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum
2020	J	`jnl`	On-The-Fly Control of Unknown Smooth Systems from Limited Data. CoRR Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2020	J	`jnl`	On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability. CoRR Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu
2020	A*	`conf`	Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. NeurIPS Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot
2020	J	`jnl`	Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances. IEEE Control. Syst. Lett. Eric Goubault, Sylvie Putot
2019	J	`jnl`	A dynamic epistemic logic analysis of the equality negation task. CoRR Eric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
2019	J	`jnl`	Directed Homotopy in Non-Positively Curved Spaces. CoRR Eric Goubault, Samuel Mimram
2019	—	`conf`	Inner and outer reachability for the verification of control systems. HSCC Eric Goubault, Sylvie Putot
2018	J	`jnl`	Directed topological complexity. CoRR Eric Goubault, Michael Farber, Aurélien Sagnier
2018	J	`jnl`	Discrete Choice in the Presence of Numerical Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Debasmita Lohar, Eva Darulova, Sylvie Putot, Eric Goubault
2018	—	`conf`	Inner and Outer Approximating Flowpipes for Delay Differential Equations. CAV (2) Eric Goubault, Sylvie Putot, Lorenz Sahlmann
2018	J	`jnl`	Time-reversal homotopical properties of concurrent systems. CoRR Cameron Calk, Eric Goubault, Philippe Malbos
2017	J	`jnl`	A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. ACM Trans. Embed. Comput. Syst. Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
2017	J	`jnl`	A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing. CoRR Eric Goubault, Sergio Rajsbaum
2017	—	`ed.`	Complex Systems Design & Management, Proceedings of the Seventh International Conference on Complex Systems Design & Management, CSD&M 2016, Paris, France, December 13-14, 2016 CSDM Gauthier Fanmuy, Eric Goubault, Daniel Krob, François Stephan
2017	J	`jnl`	Directed Homology Theories and Eilenberg-Steenrod Axioms. Appl. Categorical Struct. Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
2017	—	`conf`	Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. FVAV@iFM Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
2017	—	`conf`	Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. HSCC Eric Goubault, Sylvie Putot
2017	J	`jnl`	Models of fault-tolerant distributed computation via dynamic epistemic logic. CoRR Eric Goubault, Sergio Rajsbaum
2017	J	`jnl`	On directed homotopy equivalences and a notion of directed topological complexity. CoRR Eric Goubault
2016	J	`jnl`	A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embed. Comput. Syst. Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot
2016	—	`conf`	A Topological Method for Finding Invariant Sets of Switched Systems. HSCC Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed
2016	B	`conf`	Bisimulations and Unfolding in P-Accessible Categorical Models. CONCUR Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
2016	—	`book`	Directed Algebraic Topology and Concurrency Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
2016	B	`conf`	The Directed Homotopy Hypothesis. CSL Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
2016	A	`conf`	Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. TACAS Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
2015	—	`conf`	A Topological Method for Finding Invariant Sets of Continuous Systems. RP Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot
2015	Misc	`conf`	A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott
2015	J	`jnl`	A zonotopic framework for functional abstractions. Formal Methods Syst. Des. Eric Goubault, Sylvie Putot
2015	A	`conf`	From Geometric Semantics to Asynchronous Computability. DISC Eric Goubault, Samuel Mimram, Christine Tasson
2015	J	`jnl`	Iterated Chromatic Subdivisions are Collapsible. Appl. Categorical Struct. Eric Goubault, Samuel Mimram, Christine Tasson
2015	—	`conf`	Natural Homology. ICALP (2) Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq
2014	C	`conf`	Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials. ACC Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan
2014	—	`conf`	Inner approximated reachability analysis. HSCC Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer
2013	B	`conf`	A Geometric View of Partial Order Reduction. MFPS Eric Goubault, Tobias Heindel, Samuel Mimram
2013	J	`jnl`	Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discret. Comput. Geom. Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
2013	J	`jnl`	General Inner Approximation of Vector-valued Functions. Reliab. Comput. Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot
2013	J	`jnl`	General inner approximation of vector-valued functions. CoRR Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot
2013	B	`conf`	Robustness Analysis of Finite Precision Implementations. APLAS Eric Goubault, Sylvie Putot
2013	J	`jnl`	Robustness analysis of finite precision implementations. CoRR Eric Goubault, Sylvie Putot
2013	B	`conf`	Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. SAS Eric Goubault
2013	—	`conf`	Static Analysis of Programs with Imprecise Probabilistic Inputs. VSTTE Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot
2012	J	`jnl`	A generalization of p-boxes to affine arithmetic. Computing Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot
2012	J	`jnl`	Abstract interpretation meets convex optimization. J. Symb. Comput. Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault
2012	—	`conf`	An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. NSAD@SAS Eric Goubault, Tristan Le Gall, Sylvie Putot
2012	J	`jnl`	Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis Log. Methods Comput. Sci. Assalé Adjé, Stéphane Gaubert, Eric Goubault
2012	—	`conf`	Design of fixed-point embedded systems (DEFIS) French ANR project. DASIP Daniel Ménard, Romuald Rocher, Olivier Sentieys, Nicolas Simon, Laurent-Stéphane Didier, Thibault Hilaire, Benoit Lopez, Eric Goubault, Sylvie Putot, Franck Védrine, Amine Najahi, Guillaume Revy, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti
2012	J	`jnl`	Editorial: Special Section VCPSS'09. ACM Trans. Embed. Comput. Syst. Georgios Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan
2012	B	`conf`	Modular Static Analysis with Zonotopes. SAS Eric Goubault, Sylvie Putot, Franck Védrine
2012	—	`ed.`	Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010 GETCO Lisbeth Fajstrup, Eric Goubault, Martin Raussen
2012	A	`conf`	Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen
2012	J	`jnl`	Trace Spaces: an Efficient New Technique for State-Space Reduction CoRR Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen
2011	J	`jnl`	Foreword. Math. Comput. Sci. Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan
2011	B	`conf`	Policy Iteration within Logico-Numerical Abstract Domains. ATVA Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault
2011	B	`conf`	Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram
2011	B	`conf`	Static Analysis of Finite Precision Computations. VMCAI Eric Goubault, Sylvie Putot
2010	J	`jnl`	A Logical Product Approach to Zonotope Intersection CoRR Khalil Ghorbal, Eric Goubault, Sylvie Putot
2010	A*	`conf`	A Logical Product Approach to Zonotope Intersection. CAV Khalil Ghorbal, Eric Goubault, Sylvie Putot
2010	A	`conf`	Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. ESOP Assalé Adjé, Stéphane Gaubert, Eric Goubault
2010	J	`jnl`	Formal Relationships Between Geometrical and Classical Models for Concurrency CoRR Eric Goubault, Samuel Mimram
2010	—	`conf`	Formal Relationships Between Geometrical and Classical Models for Concurrency. GETCO Eric Goubault, Samuel Mimram
2010	B	`conf`	Future Path-components in Directed Topology. MFPS Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan
2010	—	`conf`	Preface. GETCO Lisbeth Fajstrup, Eric Goubault, Martin Raussen
2010	—	`conf`	Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. NSAD@SAS Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli
2010	A	`conf`	The Tropical Double Description Method. STACS Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
2010	J	`jnl`	The tropical double description method CoRR Xavier Allamigeon, Stéphane Gaubert, Eric Goubault
2009	J	`jnl`	A zonotopic framework for functional abstractions CoRR Eric Goubault, Sylvie Putot
2009	A*	`conf`	HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. CAV Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine
2009	A*	`conf`	The Zonotope Abstract Domain Taylor1+. CAV Khalil Ghorbal, Eric Goubault, Sylvie Putot
2009	C	`conf`	Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine
2008	B	`conf`	Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS Xavier Allamigeon, Stephane Gaubert, Eric Goubault
2008	J	`jnl`	Perturbed affine arithmetic for invariant computation in numerical program analysis CoRR Eric Goubault, Sylvie Putot
2007	J	`jnl`	Components of the Fundamental Category II. Appl. Categorical Struct. Eric Goubault, Emmanuel Haucourt
2007	A	`conf`	Static Analysis by Policy Iteration on Relational Domains. ESOP Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou
2007	C	`conf`	Static Analysis of the Accuracy in Control Systems: Principles and Experiments. FMICS Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino
2007	B	`conf`	Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. SAS Eric Goubault, Sylvie Putot
2006	J	`jnl`	Algebraic topology and concurrency. Theor. Comput. Sci. Lisbeth Fajstrup, Martin Raußen, Eric Goubault
2006	—	`conf`	Preface. GETCO Eric Goubault
2006	B	`conf`	Static Analysis of Numerical Algorithms. SAS Eric Goubault, Sylvie Putot
2005	A*	`conf`	A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. CAV Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot
2005	B	`conf`	A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. CONCUR Eric Goubault, Emmanuel Haucourt
2004	—	`ed.`	Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003 CMCIM/GETCO@CONCUR Thomas T. Hildebrandt, Alexander Kurz, Eric Goubault, Ulrich Fahrenberg
2004	J	`jnl`	Components of the Fundamental Category. Appl. Categorical Struct. Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt
2003	—	`ed.`	4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002 GETCO Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2003	—	`conf`	Preface. CMCIM/GETCO@CONCUR Eric Goubault, Ulrich Fahrenberg
2003	—	`conf`	Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification Sylvie Putot, Eric Goubault, Matthieu Martel
2002	—	`ed.`	3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001 GETCO Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2002	A	`conf`	Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. ESOP Eric Goubault, Matthieu Martel, Sylvie Putot
2002	B	`conf`	Dihomotopy as a Tool in State Space Analysis. LATIN Eric Goubault, Martin Raußen
2002	—	`conf`	Foreword. GETCO Eric Goubault
2001	—	`conf`	Preface. GETCO Eric Goubault
2001	B	`conf`	Static Analyses of the Precision of Floating-Point Operations. SAS Eric Goubault
2000	—	`ed.`	2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000 GETCO Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone
2000	J	`jnl`	Foreword. Math. Struct. Comput. Sci. Eric Goubault
2000	J	`jnl`	Geometry and concurrency: a user's guide. Math. Struct. Comput. Sci. Eric Goubault
2000	—	`conf`	Preface. GETCO Eric Goubault
1998	B	`conf`	Detecting Deadlocks in Concurrent Systems. CONCUR Lisbeth Fajstrup, Eric Goubault, Martin Raußen
1997	—	`conf`	Optimal Implementation of Wait-Free Binary Relations. TAPSOFT Eric Goubault
1996	A	`conf`	Durations for Truly-Concurrent Transitions. ESOP Eric Goubault
1995	C	`conf`	Schedulers as Abstract Interpreter of Higher Dimensional Automata. PEPM Eric Goubault
1993	B	`conf`	Domains of Higher-Dimensional Automata. CONCUR Eric Goubault
1993	—	`conf`	Semantics and Analysis of Linda-Based Languages. WSA Régis Cridlig, Eric Goubault
1992	B	`conf`	Homology of Higher Dimensional Automata. CONCUR Eric Goubault, Thomas P. Jensen
1991	Misc	`conf`	Low bit-rate hybrid coder using hierarchical motion compensation and low complexity vector quantization. ICASSP Catherine Raimondo, Claude R. Galand, Eric Goubault, Emmanuel Lançon, Jean E. Menez