×

Found 21 Authors (Results 1–21)

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.

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.

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.

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

Filter Results by …

all top 3

Main Field

all top 3

External Link