Edit Profile (opens in new tab) Le Gall, Tristan Co-Author Distance Author ID: le-gall.tristan Published as: Le Gall, Tristan Documents Indexed: 11 Publications since 2006 Co-Authors: 19 Co-Authors with 11 Joint Publications 395 Co-Co-Authors all top 5 Co-Authors 0 single-authored 4 Kalyon, Gabriel 3 Massart, Thierry Jacques 2 Jeannet, Bertrand 2 Marchand, Hervé 2 Raskin, Jean-François 1 Botbol, Vincent 1 Chailloux, Emmanuel 1 Filiot, Emmanuel 1 Geeraerts, Gilles 1 Genet, Thomas 1 Goubault, Eric 1 Heußner, Alexander 1 Jéron, Thierry 1 Legay, Axel 1 Maquet, Nicolas 1 Marchand, Herv 1 Murat, Valérie 1 Putot, Sylvie 1 Sutre, Grégoire Serials 2 Discrete Event Dynamic Systems 1 IEEE Transactions on Automatic Control Fields 8 Computer science (68-XX) 3 Systems theory; control (93-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 7 Publications have been cited 10 times in 9 Documents Cited by ▼ Year ▼ A completion algorithm for lattice tree automata. Zbl 1298.68135Genet, Thomas; Le Gall, Tristan; Legay, Axel; Murat, Valérie 2 2013 Lattice automata: a representation for languages on infinite alphabets, and some applications to verification. Zbl 1211.68234Le Gall, Tristan; Jeannet, Bertrand 2 2007 Decentralized control of infinite systems. Zbl 1226.93013Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2011 An accurate join for zonotopes, preserving affine input/output relations. Zbl 1294.68055Goubault, Eric; Le Gall, Tristan; Putot, Sylvie 1 2012 Iterated regret minimization in game graphs. Zbl 1287.91029Filiot, Emmanuel; Le Gall, Tristan; Raskin, Jean-François 1 2010 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. Zbl 1242.93074Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 1 2012 Static analysis of communicating processes using symbolic transducers. Zbl 1484.68097Botbol, Vincent; Chailloux, Emmanuel; Le Gall, Tristan 1 2017 Static analysis of communicating processes using symbolic transducers. Zbl 1484.68097Botbol, Vincent; Chailloux, Emmanuel; Le Gall, Tristan 1 2017 A completion algorithm for lattice tree automata. Zbl 1298.68135Genet, Thomas; Le Gall, Tristan; Legay, Axel; Murat, Valérie 2 2013 An accurate join for zonotopes, preserving affine input/output relations. Zbl 1294.68055Goubault, Eric; Le Gall, Tristan; Putot, Sylvie 1 2012 Symbolic supervisory control of infinite transition systems under partial observation using abstract interpretation. Zbl 1242.93074Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 1 2012 Decentralized control of infinite systems. Zbl 1226.93013Kalyon, Gabriel; Le Gall, Tristan; Marchand, Hervé; Massart, Thierry 2 2011 Iterated regret minimization in game graphs. Zbl 1287.91029Filiot, Emmanuel; Le Gall, Tristan; Raskin, Jean-François 1 2010 Lattice automata: a representation for languages on infinite alphabets, and some applications to verification. Zbl 1211.68234Le Gall, Tristan; Jeannet, Bertrand 2 2007 all cited Publications top 5 cited Publications all top 5 Cited by 23 Authors 2 Le Gall, Tristan 1 Botbol, Vincent 1 Cai, Kai 1 Chailloux, Emmanuel 1 Genet, Thomas 1 Goubault, Eric 1 Hunter, Paul 1 Kalyon, Gabriel 1 Lin, Liyong 1 Marchand, Hervé 1 Massart, Thierry Jacques 1 Meseguer Guaita, José 1 Miné, Antoine 1 Muñoz, César A. 1 Ouadjaout, Abdelraouf 1 Pérez, Guillermo A. 1 Putot, Sylvie 1 Raskin, Jean-François 1 Rocha, Camilo 1 Su, Rong 1 Tai, Ruochen 1 Zhang, Renyuan 1 Zhu, Yuting Cited in 5 Serials 2 Discrete Event Dynamic Systems 2 Formal Methods in System Design 2 Journal of Logical and Algebraic Methods in Programming 1 Acta Informatica 1 International Journal of Control Cited in 3 Fields 6 Computer science (68-XX) 3 Systems theory; control (93-XX) 1 Game theory, economics, finance, and other social and behavioral sciences (91-XX) Citations by Year