Skip to Main content Skip to Navigation


...
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-03196502v1  Book sections
Jean Goubault-Larrecq. Simulation Hemi-metrics between Infinite-State Stochastic Games
Foundations of Software Science and Computational Structures, 4962, Springer Berlin Heidelberg, pp.50-65, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-78499-9_5⟩
hal-03196997v1  Book sections
Jean Goubault-Larrecq. Prevision Domains and Convex Powercones
Foundations of Software Science and Computational Structures, 4962, Springer Berlin Heidelberg, pp.318-333, 2008, Lecture Notes in Computer Science, ⟨10.1007/978-3-540-78499-9_23⟩
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-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⟩
hal-03190021v1  Journal articles
Jean Goubault-Larrecq. QRB-Domains and the Probabilistic Powerdomain
Logical Methods in Computer Science, Logical Methods in Computer Science Association, 2012, 8 (1), ⟨10.2168/LMCS-8(1:14)2012⟩
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-03191270v1  Conference papers
Jean Goubault-Larrecq. omega-QRB-Domains and the Probabilistic Powerdomain
2010 25th Annual IEEE Symposium on Logic in Computer Science (LICS 2010), Jul 2010, Edinburgh, United Kingdom. pp.352-361, ⟨10.1109/LICS.2010.50⟩
hal-03195342v1  Journal articles
Jean Goubault-Larrecq. De Groot duality and models of choice: angels, demons and nature
Mathematical Structures in Computer Science, Cambridge University Press (CUP), 2010, 20 (2), pp.169-237. ⟨10.1017/S0960129509990363⟩
...
hal-03260383v1  Journal articles
Jean Goubault-Larrecq. Probabilistic Powerdomains and Quasi-Continuous Domains
Topology Proceedings, Auburn University Mathematics Dept., 2022, 60, pp.1-16
...
hal-03189894v1  Journal articles
Jean Goubault-Larrecq. Exponentiable Streams and Prestreams
Applied Categorical Structures, Springer Verlag (Germany), 2014, 22 (3), pp.515-549. ⟨10.1007/s10485-013-9315-x⟩
...
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-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-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⟩