Carayol, Arnaud 42 Publications (2003–2021) indexed 148 Citations Co-Authors: Serre, Olivier; Hague, Matthew; Löding, Christof; … Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX) Published as: Carayol, Arnaud; Carayol, A.
Chaudhuri, Kaustuv 28 Publications (2005–2021) indexed 127 Citations Co-Authors: Pfenning, Frank; Miller, Dale Allen; Reis, Giselle; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Chaudhuri, Kaustuv
Courtieu, Pierre 12 Publications (2001–2016) indexed 87 Citations Co-Authors: Urbain, Xavier; Forest, Julien; Pons, Olivier; … Main Fields: Computer science (68-XX) Published as: Courtieu, Pierre
Delaune, Stéphanie 52 Publications (2005–2023) indexed 235 Citations Co-Authors: Cortier, Véronique; Kremer, Steve; Comon-Lundh, Hubert; … Main Fields: Computer science (68-XX) Published as: Delaune, Stéphanie; Delaune, Stépphanie
Doumane, Amina 13 Publications (2015–2021) indexed 39 Citations Co-Authors: Pous, Damien; Saurin, Alexis; Baelde, David; … Main Fields: Computer science (68-XX) Published as: Doumane, Amina
Felty, Amy P. 44 Publications (1988–2022) indexed 171 Citations Co-Authors: Momigliano, Alberto; Appel, Andrew W.; Capretta, Venanzio; … Main Fields: Computer science (68-XX) Published as: Felty, Amy; Felty, Amy P.; Felty, A. more...less
Gacek, Andrew 12 Publications (1977–2020) indexed 88 Citations Co-Authors: Miller, Dale Allen; Nadathur, Gopalan; Gac, Kazimierz; … Main Fields: Computer science (68-XX) Published as: Gacek, Andrew
Gross-Amblard, David 2 Publications (2006–2012) indexed Co-Authors: Baelde, David; Courtieu, Pierre; de Rougemont, Michel; … Main Fields: Computer science (68-XX) Published as: Gross-Amblard, David
Hirschi, Lucca 6 Publications (2015–2019) indexed 13 Citations Co-Authors: Baelde, David; Delaune, Stéphanie; Basin, David A.; … Main Fields: Computer science (68-XX) Published as: Hirschi, Lucca
Lick, Anthony 3 Publications (2018–2019) indexed 1 Citation Co-Authors: Baelde, David; Schmitz, Sylvain Main Fields: Mathematical logic and foundations (03-XX) Published as: Lick, Anthony
Lunel, Simon 1 Publication (2016) indexed 5 Citations Co-Authors: Baelde, David; Schmitz, Sylvain Main Fields: Mathematical logic and foundations (03-XX) Published as: Lunel, Simon
Matthes, Ralph 50 Publications (1998–2023) indexed 152 Citations Co-Authors: Espírito Santo, José Carlos; Pinto, Luís F.; Ahrens, Benedikt; … Main Fields: Computer science (68-XX) Published as: Matthes, Ralph
Miller, Dale Allen 102 Publications (1984–2022) indexed 868 Citations Co-Authors: Nadathur, Gopalan; Liang, Chuck; Palamidessi, Catuscia; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Miller, Dale; Miller, Dale A.; Miller, D. more...less
Nadathur, Gopalan 29 Publications (1986–2019) indexed 309 Citations Co-Authors: Miller, Dale Allen; Gacek, Andrew; Baelde, David; … Main Fields: Computer science (68-XX) Published as: Nadathur, Gopalan; Nadathur, G.
Paulin-Mohring, Christine 20 Publications (1990–2015) indexed 155 Citations Co-Authors: Audebaud, Philippe; Marché, Claude; Werner, Benjamin; … Main Fields: Computer science (68-XX) Published as: Paulin-Mohring, Christine; Paulin-Mohring, C.
Saurin, Alexis 26 Publications (2006–2020) indexed 93 Citations Co-Authors: Baelde, David; Doumane, Amina; Miller, Dale Allen; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Saurin, Alexis
Schmitz, Sylvain 46 Publications (1997–2022) indexed 243 Citations Co-Authors: Lazić, Ranko; Schnoebelen, Philippe; Baelde, David; … Main Fields: Computer science (68-XX) Published as: Schmitz, Sylvain
Snow, Zachary 2 Publications (2010) indexed 2 Citations Co-Authors: Baelde, David; Miller, Dale Allen Main Fields: Mathematical logic and foundations (03-XX) Published as: Snow, Zachary
Tiu, Alwen Fernanto 56 Publications (2001–2021) indexed 346 Citations Co-Authors: Goré, Rajeev Prabhakar; Hou, Zhe; Horne, Ross; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Tiu, Alwen; Tiu, Alwen Fernanto; Tiu, Alwen F. more...less
Walukiewicz, Igor 95 Publications (1990–2022) indexed 812 Citations Co-Authors: Muscholl, Anca; Salvati, Sylvain; Srivathsan, Balaguru; … Main Fields: Computer science (68-XX) Published as: Walukiewicz, Igor; Walukiewicz, I.
Wang, Yuting 23 Publications (1978–2023) indexed 53 Citations Co-Authors: Gao, Kaizhou; Li, Junqing; Chaudhuri, Kaustuv; … Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX); Information and communication theory, circuits (94-XX); ... Published as: Wang, Yuting; Wang, Yu-Ting