Skip to Main content Skip to Navigation


hal-03469452v1  Journal articles
Jean Goubault-LarrecqXiaodong Jia. Separating minimal valuations, point-continuous valuations, and continuous valuations
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2021, pp.1-19. ⟨10.1017/S0960129521000384⟩
...
hal-03187687v1  Journal articles
Jean Goubault-Larrecq. $\Pi^0_2$ Subsets of Domain-Complete Spaces and Countably Correlated Spaces
Topology Proceedings, Auburn University Mathematics Dept., 2020, pp.13-22
hal-03189402v1  Journal articles
Jean Goubault-LarrecqXiaodong Jia. Algebras of the Extended Probabilistic Powerdomain Monad
Electronic Notes in Theoretical Computer Science, Elsevier, 2019, 345, pp.37-61. ⟨10.1016/j.entcs.2019.07.015⟩
hal-03187790v1  Journal articles
Matthew de BrechtJean Goubault-LarrecqXiaodong JiaZhenchao Lyu. Domain-complete and LCS-complete Spaces
Electronic Notes in Theoretical Computer Science, Elsevier, 2019, 345, pp.3-35. ⟨10.1016/j.entcs.2019.07.014⟩
...
hal-03189639v1  Journal articles
Jérémy DubutEric GoubaultJean Goubault-Larrecq. Directed Homology Theories and Eilenberg-Steenrod Axioms
Applied Categorical Structures, Springer Verlag (Germany), 2017, 25 (5), pp.775-807. ⟨10.1007/s10485-016-9438-y⟩
...
hal-03189649v1  Conference papers
Jérémy DubutEric GoubaultJean Goubault-Larrecq. The Directed Homotopy Hypothesis
Proceedings of the 25th Annual EACSL Conference on Computer Science Logic (CSL'16), volume 62 of Leibniz International Proceedings in Informatics, pages 9:1--9:16. Leibniz-Zentrum für Informatik., Sep 2016, Marseille, France
hal-03189644v1  Book sections
Jean Goubault-LarrecqJean-Philippe Lachance. On the Complexity of Monitoring Orchids Signatures
Proceedings of the 16th Conference on Runtime Verification (RV'16), volume 10012 of Lecture Notes in Computer Science, Springer Verlag, pp.169-184, 2016, ⟨10.1007/978-3-319-46982-9_11⟩
hal-03189490v1  Journal articles
Weng Kin HoJean Goubault-LarrecqAchim JungXiaoyong Xi. The Ho-Zhao Problem
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2018
hal-03189623v1  Journal articles
Jean Goubault-LarrecqKok Min Ng. A Few Notes on Formal Balls
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2017
hal-03189640v1  Journal articles
Jean Goubault-Larrecq. Isomorphism theorems between models of mixed choice
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2017, 27 (6), pp.1032-1067. ⟨10.1017/S0960129515000547⟩
hal-03189643v1  Journal articles
Jean Goubault-Larrecq. A Non-Hausdorff Minimax Theorem
Minimax Theory and its Applications, Biagio Ricceri, 2018
...
hal-01804970v1  Journal articles
Jean Goubault-Larrecq. Spaces with no Infinite Discrete Subspace
Topology Proceedings, Auburn University Mathematics Dept., 2019, 53
...
hal-01332749v2  Preprints, Working Papers, ...
Jean Goubault-Larrecq. A few notes on formal balls
2016
...
hal-03185186v1  Journal articles
Jean Goubault-LarrecqFrédéric Mynard. Convergence without Points
Houston Journal of Mathematics, 2020, 46 (1), pp.227-282
...
hal-03186488v1  Journal articles
Alain FinkelJean Goubault-Larrecq. Forward analysis for WSTS, part I: completions
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2020, 30 (7), pp.752-832. ⟨10.1017/S0960129520000195⟩
hal-03189819v1  Journal articles
Jean Goubault-Larrecq. A short proof of the Schröder–Simpson Theorem
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2015, 25 (1), pp.1-5. ⟨10.1017/S0960129513000467⟩
hal-03201458v1  Journal articles
Jean Goubault-LarrecqEric Goubault. On the Geometry of Intuitionistic S4 Proofs
Homology, Homotopy and Applications, International Press, 2003, 5 (2), pp.137-209
hal-03189816v1  Book sections
Jérémy DubutÉric GoubaultJean Goubault-Larrecq. Natural Homology
Proceedings of the 42nd International Colloquium on Automata, Languages and Programming (ICALP'15) -- Part II, volume 9135 of Lecture Notes in Computer Science, Kyoto, Japan. Springer., pp.171-183, 2015, ⟨10.1007/978-3-662-47666-6_14⟩
hal-03197422v1  Conference papers
Jean Goubault-Larrecq. On Noetherian Spaces
22nd Annual IEEE Symposium on Logic in Computer Science (LICS 2007), Jul 2007, Wroclaw, France. pp.453-462, ⟨10.1109/LICS.2007.34⟩
hal-03189943v1  Book sections
Jean Goubault-Larrecq. A Constructive Proof of the Topological Kruskal Theorem
Proceedings of the 38th International Symposium on Mathematical Foundations of Computer Science (MFCS'13), volume 8087 of Lecture Notes in Computer Science, pages 22--41, Klosterneuburg, Austria, August 2013. Springer., pp.22-41, 2013, ⟨10.1007/978-3-642-40313-2_3⟩
hal-03190326v1  Journal articles
Jean Goubault-LarrecqKlaus Keimel. Choquet–Kendall–Matheron theorems for non-Hausdorff spaces
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2011, 21 (3), pp.511-561. ⟨10.1017/S0960129510000617⟩
hal-03189917v1  Book sections
Jean Goubault-LarrecqRoberto Segala. Random Measurable Selections
Horizons of the Mind. A Tribute to Prakash Panangaden, volume 8464 of Lecture Notes in Computer Science, pages 343--362. Springer., pp.343-362, 2014, ⟨10.1007/978-3-319-06880-0_18⟩
hal-03189890v1  Journal articles
Jean Goubault-LarrecqAchim Jung. QRB, QFS, and the Probabilistic Powerdomain
Electronic Notes in Theoretical Computer Science, Elsevier, 2014, 308, pp.167-182. ⟨10.1016/j.entcs.2014.10.010⟩
...
hal-03191258v1  Book sections
Jean Goubault-Larrecq. Noetherian Spaces in Verification
Proceedings of the 37th International Colloquium on Automata, Languages and Programming (ICALP'10) -- Part II, volume 6199 of Lecture Notes in Computer Science, Bordeaux, France, July 2010. Springer, pp.2-21, 2010, ⟨10.1007/978-3-642-14162-1_2⟩
hal-03201053v1  Journal articles
Jean Goubault-Larrecq. Extensions of valuations
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 1999, 15 (2), pp.271-297. ⟨10.1017/S096012950400461X⟩