Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1497.03032 Inf. Comput. 278, Article ID 104597, 22 p. (2021). Reviewer: Philippe Gaucher (Paris) MSC: 03B42 55U35 18N40 68M14 68Q85 PDFBibTeX XMLCite \textit{É. Goubault} et al., Inf. Comput. 278, Article ID 104597, 22 p. (2021; Zbl 1497.03032) Full Text: DOI arXiv Link
Goubault, Éric; Mimram, Samuel Directed homotopy in non-positively curved spaces. (English) Zbl 1496.68225 Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020). Reviewer: Philippe Gaucher (Paris) MSC: 68Q85 18D15 54E35 55U35 68Q42 68Q55 PDFBibTeX XMLCite \textit{É. Goubault} and \textit{S. Mimram}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020; Zbl 1496.68225) Full Text: arXiv Link
Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1498.03045 Orlandini, Andrea (ed.) et al., Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbrücken, Germany, September 26–28, 2018. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 73-87 (2018). MSC: 03B42 03B70 18N40 55U35 68Q85 PDFBibTeX XMLCite \textit{É. Goubault} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 277, 73--87 (2018; Zbl 1498.03045) Full Text: Link
Goubault, Éric; Mimram, Samuel; Tasson, Christine Geometric and combinatorial views on asynchronous computability. (English) Zbl 1451.68046 Distrib. Comput. 31, No. 4, 289-316 (2018). MSC: 68M14 55U10 68M12 68M15 68Q55 PDFBibTeX XMLCite \textit{É. Goubault} et al., Distrib. Comput. 31, No. 4, 289--316 (2018; Zbl 1451.68046) Full Text: DOI HAL
Dubut, Jérémy; Goubault, Eric; Goubault-Larrecq, Jean Directed homology theories and Eilenberg-Steenrod axioms. (English) Zbl 1422.55009 Appl. Categ. Struct. 25, No. 5, 775-807 (2017). MSC: 55N35 55N40 18G60 18G55 PDFBibTeX XMLCite \textit{J. Dubut} et al., Appl. Categ. Struct. 25, No. 5, 775--807 (2017; Zbl 1422.55009) Full Text: DOI HAL
Goubault, Éric; Mimram, Samuel; Tasson, Christine Iterated chromatic subdivisions are collapsible. (English) Zbl 1344.55006 Appl. Categ. Struct. 23, No. 6, 777-818 (2015). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 55U10 68Q10 PDFBibTeX XMLCite \textit{É. Goubault} et al., Appl. Categ. Struct. 23, No. 6, 777--818 (2015; Zbl 1344.55006) Full Text: DOI
Dubut, Jérémy; Goubault, Éric; Goubault-Larrecq, Jean Natural homology. (English) Zbl 1448.55010 Halldórsson, Magnús M. (ed.) et al., Automata, languages, and programming. 42nd international colloquium, ICALP 2015, Kyoto, Japan, July 6–10, 2015. Proceedings. Part II. Berlin: Springer. Lect. Notes Comput. Sci. 9135, 171-183 (2015). Reviewer: Philippe Gaucher (Paris) MSC: 55N35 18C50 55N31 PDFBibTeX XMLCite \textit{J. Dubut} et al., Lect. Notes Comput. Sci. 9135, 171--183 (2015; Zbl 1448.55010) Full Text: DOI
Goubault, E.; Haucourt, E. Components of the fundamental category. II. (English) Zbl 1131.55011 Appl. Categ. Struct. 15, No. 4, 387-414 (2007). Reviewer: Philippe Gaucher (Paris) MSC: 55U40 PDFBibTeX XMLCite \textit{E. Goubault} and \textit{E. Haucourt}, Appl. Categ. Struct. 15, No. 4, 387--414 (2007; Zbl 1131.55011) Full Text: DOI
Fajstrup, Lisbeth; Raußen, Martin; Goubault, Eric Algebraic topology and concurrency. (English) Zbl 1099.55003 Theor. Comput. Sci. 357, No. 1-3, 241-278 (2006). Reviewer: Jonathan Hodgson (Philadelphia) MSC: 55P99 68Q99 68Q85 PDFBibTeX XMLCite \textit{L. Fajstrup} et al., Theor. Comput. Sci. 357, No. 1--3, 241--278 (2006; Zbl 1099.55003) Full Text: DOI