-
201by Pho, Van-Minh, Andre, T., Ligozat, Anne-Laure, Grau, Brigitte, Illouz, Gabriel, François, ThomasGet access
Published 2014
Get access
Get access
Conference Object -
202
-
203
-
204
-
205
-
206by Ben Jannet, Mohamed, Adda-Decker, Martine, Galibert, Olivier, Kahn, Juliette, Rosset, SophieGet access
Published 2014
Conference Object -
207by Finster, Eric, Mimram, SamuelGet access
Published in 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS) (2017)
Get access
Get access
Get access
Conference Object -
208
-
209
-
210
-
211by Konopacki, Justine, Le Guyader, Bertrand, Genay, Naveena, Anet Neto, Luiz, Chanclou, Philippe, Erasme, DidierGet access
Published 2016
Get access
Get access
Conference Object -
212
-
213by Raut, Jean-Christophe, Law, Kathy S., Onishi, Tatsuo, Daskalakis, Nikolaos, Marelle, Louis, Ellingsen, IngridGet access
Published 2018
Conference Object -
214
-
215
-
216by Whaley, Cynthia, von Salzen, Knut, Mahmood, Rashed, Weiss-Gibbons, Tahya, Winter, Barbara, Saunders, Laura, Eckhardt, Sabine, Arnold, Stephen, Christensen, Jesper, Flanner, Mark, Fu, Joshua, Gauss, Michael, Huang, Lin, Im, Ulas, Klimont, Zbigniew, Langner, Joakim, Law, Kathy S., Onishi, Tatsuo, Watson-Parris, Duncan, Oshima, Naga, Peng, Yiran, Plummer, David, Pozzoli, Luca, Raut, Jean-Christophe, Sand, Maria, Schmale, Julia, Sharma, Sangeeta, Thomas, Manu, Tsyro, SvetlanaGet access
Published 2021
Conference Object -
217
-
218
-
219
-
220by Goutail, Florence, Pazmino, Andrea, Pommereau, Jean-Pierre, Lefèvre, Franck, Godin-Beekmann, Sophie, Hauchecorne, Alain, Lecouffe, Audrey, Clerbaux, Cathy, Boynard, Anne, Hadji-Lazaro, Juliette, Chipperfield, Martyn, Feng, Wuhu, van Roozendaël, Michel, Jepsen, Nis, Hansen, Georg, H, Kivi, Rigel, Bognar, Kristof, Strong, Kimberly, Walker, Kaley, Colwell, SteveGet access
Published 2021
Get access
Conference Object