×

Found 317 Authors (Results 1–100)

Abdulla, Parosh Aziz

129 Publications (1992–2022) indexed
794 Citations
Co-Authors: Atig, Mohamed Faouzi; Jonsson, Bengt; Delzanno, Giorgio; …
Main Fields: Computer science (68-XX)
Published as: Abdulla, Parosh Aziz; Abdulla, Parosh A.; Abdulla, Parosh; Aziz Abdulla, Parosh; Abdulla, P. A.

Ábrahám, Erika

56 Publications (2000–2024) indexed
185 Citations
Co-Authors: Steffen, Martin; Becker, Bernd; de Boer, Frank S.; …
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Published as: Ábrahám, Erika; Ábrahám-Mumm, Erika; Ábrahám, E.; Abraham, Erika

Abramsky, Samson

135 Publications (1983–2023) indexed
1,917 Citations
Co-Authors: Jagadeesan, Radha; Maibaum, Thomas Stephen Edward; Soares Barbosa, Rui; …
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX); Quantum theory (81-XX); ...
Published as: Abramsky, Samson; Abramsky, S.

Alessi, Fabio

22 Publications (1991–2019) indexed
76 Citations
Co-Authors: Dezani-Ciancaglini, Mariangiola; Barbanera, Franco; Honsell, Furio; …
Main Fields: Computer science (68-XX)
Published as: Alessi, Fabio; Alessi, F.

Alglave, Jade

4 Publications (2012–2017) indexed
32 Citations
Co-Authors: Cousot, Patrick; Kröning, Daniel; Maranget, Luc; …
Main Fields: Computer science (68-XX)
Published as: Alglave, Jade

Alvim, Mário S.

17 Publications (2010–2023) indexed
23 Citations
Co-Authors: Palamidessi, Catuscia; Chatzikokolakis, Konstantinos; Andrés, Miguel E.; …
Main Fields: Computer science (68-XX); Information and communication theory, circuits (94-XX)
Published as: Alvim, Mário S.

Amato, Gianluca

24 Publications (2000–2022) indexed
50 Citations
Co-Authors: Scozzari, Francesca; Meo, Maria Chiara; Parton, Maurizio; …
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Published as: Amato, Gianluca

Ancona, Davide

41 Publications (1996–2023) indexed
75 Citations
Co-Authors: Zucca, Elena; Fagorzi, Sonia; Lagorio, Giovanni; …
Main Fields: Computer science (68-XX)
Published as: Ancona, Davide; Ancona, D.

Andrés, Miguel E.

9 Publications (2008–2015) indexed
38 Citations
Co-Authors: Palamidessi, Catuscia; Alvim, Mário S.; van Rossum, Peter; …
Main Fields: Computer science (68-XX)
Published as: Andrés, Miguel E.

Apt, Krzysztof Rafal

132 Publications (1972–2024) indexed
1,136 Citations
Co-Authors: Olderog, Ernst-Rüdiger; Simon, Sunil; Wojtczak, Dominik; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Published as: Apt, Krzysztof R.; Apt, Krysztof R.; Apt, K. R.; Apt, Krzysztof; Apt, Krzysztof Rafal

Aranda, Jesús

8 Publications (1998–2014) indexed
25 Citations
Co-Authors: Valencia, Frank D.; Di Giusto, Cinzia; Pérez, Jorge A.; …
Main Fields: Computer science (68-XX)
Published as: Aranda, Jesús

Argón, Pablo

2 Publications (1998–2001) indexed
Co-Authors: Delzanno, Giorgio; Mukhopadhyay, Supratik; Podelski, Andreas; …
Main Fields: Computer science (68-XX)
Published as: Argón, Pablo

Aristizábal, Andrés

4 Publications (2011–2017) indexed
14 Citations
Co-Authors: Biernacki, Dariusz; Bonchi, Filippo; Lenglet, Sergueï; …
Main Fields: Computer science (68-XX)
Published as: Aristizábal, Andrés

Armas-Cervantes, Abel

3 Publications (2016–2022) indexed
4 Citations
Co-Authors: García-Bañuelos, Luciano; Baldan, Paolo; Dumas, Marlon; …
Main Fields: Computer science (68-XX)
Published as: Armas-Cervantes, Abel; Armas Cervantes, Abel

Atig, Mohamed Faouzi

57 Publications (2008–2022) indexed
249 Citations
Co-Authors: Abdulla, Parosh Aziz; Bouajjani, Ahmed; Saivasan, Prakash; …
Main Fields: Computer science (68-XX)
Published as: Atig, Mohamed Faouzi; Faouzi Atig, Mohamed

Banerjee, Anindya

89 Publications (1980–2023) indexed
273 Citations
Co-Authors: Naumann, David A.; Santos, Nilton O.; Bhui, B. K.; …
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX); Statistics (62-XX)
Published as: Banerjee, Anindya

Baratella, Stefano

40 Publications (1988–2024) indexed
47 Citations
Co-Authors: Masini, Andrea; Ng, Siu-Ah; Berardi, Stefano; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Published as: Baratella, Stefano; Baratella, S.

Barbuti, Roberto

75 Publications (1980–2021) indexed
341 Citations
Co-Authors: Milazzo, Paolo; Maggiolo-Schettini, Andrea; Pardini, Giovanni; …
Main Fields: Computer science (68-XX)
Published as: Barbuti, Roberto; Barbuti, R.

Beauxis, Romain

3 Publications (2008–2011) indexed
10 Citations
Co-Authors: Palamidessi, Catuscia; Mimram, Samuel; Valencia, Frank D.
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Published as: Beauxis, Romain

Beggiato, Alessandro

2 Publications (2014–2018) indexed
8 Citations
Co-Authors: Alrahman, Yehia Abd; Andric, Marina; Baldan, Paolo; …
Main Fields: Computer science (68-XX)
Published as: Beggiato, Alessandro

Bellè, Gianna

5 Publications (1995–1999) indexed
17 Citations
Co-Authors: Moggi, Eugenio; Alessi, Fabio; Baldan, Paolo; …
Main Fields: Computer science (68-XX)
Published as: Bellè, G.; Bellè, Gianna

Berdine, Josh

21 Publications (2002–2020) indexed
226 Citations
Co-Authors: Cook, Byron; O’Hearn, Peter W.; Calcagno, Cristiano; …
Main Fields: Computer science (68-XX)
Published as: Berdine, Josh; Berdine, J.

Bertolino, Marco

9 Publications (1962–2003) indexed
2 Citations
Co-Authors: Vasic, Petar M.; Mitrinović, Dragoslav S.; Bella, Gino; …
Main Fields: Computer science (68-XX)
Published as: Bertolino, Marco

Bertolissi, Clara

9 Publications (2005–2014) indexed
15 Citations
Co-Authors: Kirchner, Claude; Baldan, Paolo; Cirstea, Horatiu; …
Main Fields: Computer science (68-XX)
Published as: Bertolissi, Clara; Bertolissi, C.

Bertrand, Nathalie

63 Publications (2003–2023) indexed
330 Citations
Co-Authors: Baier, Christel; Bouyer, Patricia; Schnoebelen, Philippe; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX); Systems theory; control (93-XX)
Published as: Bertrand, Nathalie; Bertrand, N.

Best, Eike

104 Publications (1975–2024) indexed
508 Citations
Co-Authors: Devillers, Raymond; Koutny, Maciej; Wimmel, Harro; …
Main Fields: Computer science (68-XX)
Published as: Best, Eike; Best, E.

Bhargava, Mohit

3 Publications (2002–2015) indexed
31 Citations
Co-Authors: Majumdar, Dipjyoti; Palamidessi, Catuscia; Sen, Arunava
Main Fields: Information and communication theory, circuits (94-XX); Computer science (68-XX)
Published as: Bhargava, Mohit

Bianchi, Leonora

7 Publications (2003–2020) indexed
113 Citations
Co-Authors: Mastrolilli, Monaldo; Billó, Marco; Birattari, Mauro; …
Main Fields: Operations research, mathematical programming (90-XX)
Published as: Bianchi, Leonora

Birattari, Mauro

24 Publications (1999–2015) indexed
261 Citations
Co-Authors: Stützle, Thomas G.; Dorigo, Marco; Balaprakash, Prasanna; …
Main Fields: Operations research, mathematical programming (90-XX); Computer science (68-XX)
Published as: Birattari, Mauro; Birattari, M.

Biswas, Sayan

43 Publications (1980–2022) indexed
Co-Authors: Arvind, Vikraman; Nayek, P.; Kamilya, Supreeti; …
Main Fields: Computer science (68-XX)
Published as: Biswas, Sayan

Blanchet, Bruno

25 Publications (2001–2022) indexed
237 Citations
Co-Authors: Abadi, Martín; Fournet, Cédric; Podelski, Andreas; …
Main Fields: Computer science (68-XX)
Published as: Blanchet, Bruno

Bocci, Martina

1 Publication (2018) indexed
Co-Authors: Baldan, Paolo; Brigolin, Daniele; Cocco, Nicoletta; …
Main Fields: Biology and other natural sciences (92-XX)
Published as: Bocci, Martina

Bonchi, Filippo

93 Publications (2006–2024) indexed
597 Citations
Co-Authors: Gadducci, Fabio; Sobociński, Paweł; Zanasi, Fabio; …
Main Fields: Computer science (68-XX)
Published as: Bonchi, Filippo; Bonchi, F.

Bono, Viviana

31 Publications (1995–2020) indexed
67 Citations
Co-Authors: Bettini, Lorenzo; Venneri, Betti; Bugliesi, Michele; …
Main Fields: Computer science (68-XX)
Published as: Bono, Viviana

Borgström, Johannes

27 Publications (2002–2021) indexed
104 Citations
Co-Authors: Gordon, Andrew D.; Parrow, Joachim; Russo, Claudio V.; …
Main Fields: Computer science (68-XX)
Published as: Borgström, Johannes; Borgstrom, Johannes

Bosco, Pier Giorgio

6 Publications (1983–1991) indexed
18 Citations
Co-Authors: Dattoli, Giuseppe; Giovannetti, Elio; Moiso, Corrado; …
Main Fields: Computer science (68-XX)
Published as: Bosco, Pier Giorgio; Bosco, P.

Bozzano, Marco

23 Publications (2001–2022) indexed
99 Citations
Co-Authors: Cimatti, Alessandro; Delzanno, Giorgio; Sebastiani, Roberto; …
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Published as: Bozzano, Marco

Bozzelli, Laura

75 Publications (2005–2023) indexed
261 Citations
Co-Authors: Peron, Adriano; Montanari, Angelo; Molinari, Alberto; …
Main Fields: Computer science (68-XX)
Published as: Bozzelli, Laura

Bracciali, Andrea Clark

23 Publications (1997–2022) indexed
26 Citations
Co-Authors: Bruni, Roberto; Baldan, Paolo; Brogi, Antonio; …
Main Fields: Computer science (68-XX); General and overarching topics; collections (00-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Published as: Bracciali, Andrea; Bracciali, A.

Braun, Christelle

10 Publications (1998–2016) indexed
26 Citations
Co-Authors: Palamidessi, Catuscia; Chatzikokolakis, Konstantinos; Ballmann, Josef; …
Main Fields: Computer science (68-XX)
Published as: Braun, Christelle

Bresolin, Davide

54 Publications (2004–2023) indexed
253 Citations
Co-Authors: Sciavicco, Guido; Montanari, Angelo; Sala, Pietro; …
Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX)
Published as: Bresolin, Davide; Bresolin, D.

Brigolin, Daniele

2 Publications (2008–2018) indexed
Co-Authors: Baldan, Paolo; Bocci, Martina; Cocco, Nicoletta; …
Main Fields: Biology and other natural sciences (92-XX); Partial differential equations (35-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Published as: Brigolin, Daniele; Brigolin, D.

Bro Miltersen, Peter

71 Publications (1992–2023) indexed
524 Citations
Co-Authors: Hansen, Kristoffer Arnsfelt; Sørensen, Troels Bjerre; Brânzei, Simina; …
Main Fields: Computer science (68-XX)
Published as: Miltersen, Peter Bro; Bro Miltersen, Peter

Brodo, Linda

21 Publications (2003–2021) indexed
51 Citations
Co-Authors: Bodei, Chiara; Bruni, Roberto; Falaschi, Moreno; …
Main Fields: Computer science (68-XX)
Published as: Brodo, Linda; Brodo, L.

Broersma, Hajo J.

227 Publications (1987–2024) indexed
1,406 Citations
Co-Authors: Paulusma, Daniël; Zhang, Shenggui; Veldman, Henk Jan; …
Main Fields: Combinatorics (05-XX)
Published as: Broersma, Hajo; Broersma, H. J.; Broersma, Hajo J.; Broersma, H.

Bruni, Alessandro

4 Publications (2010–2021) indexed
13 Citations
Co-Authors: Baldan, Paolo; Corradini, Andrea; Giustolisi, Rosario; …
Main Fields: Computer science (68-XX)
Published as: Bruni, Alessandro

Bruni, Roberto

98 Publications (1997–2022) indexed
440 Citations
Co-Authors: Montanari, Ugo G.; Melgratti, Hernán; Sassone, Vladimiro; …
Main Fields: Computer science (68-XX)
Published as: Bruni, Roberto; Bruni, R.

Bruynooghe, Maurice

100 Publications (1980–2023) indexed
469 Citations
Co-Authors: Denecker, Marc; Vennekens, Joost; Arieli, Ofer; …
Main Fields: Computer science (68-XX)
Published as: Bruynooghe, Maurice; Bruynooghe, M.

Bugliesi, Michele

40 Publications (1990–2017) indexed
99 Citations
Co-Authors: Crafa, Silvia; Castagna, Giuseppe; Sassone, Vladimiro; …
Main Fields: Computer science (68-XX)
Published as: Bugliesi, Michele; Bugliesi, M.

Bultan, Tevfik

39 Publications (1992–2016) indexed
197 Citations
Co-Authors: Ibarra, Oscar H.; Su, Jianwen; Bartzis, Constantinos; …
Main Fields: Computer science (68-XX)
Published as: Bultan, Tevfik

Busi, Nadia

54 Publications (1996–2009) indexed
287 Citations
Co-Authors: Zavattaro, Gianluigi; Gorrieri, Roberto; Pinna, G. Michele; …
Main Fields: Computer science (68-XX)
Published as: Busi, Nadia; Busi, N.

Cacciagrano, Diletta Romana

10 Publications (2001–2010) indexed
37 Citations
Co-Authors: Corradini, Flavio; Palamidessi, Catuscia; Merelli, Emanuela; …
Main Fields: Computer science (68-XX)
Published as: Cacciagrano, Diletta; Cacciagrano, D.; Cacciagrano, Diletta Romana; Cacciagrano, Diletta R.

Caires, Luís

41 Publications (1996–2019) indexed
391 Citations
Co-Authors: Pfenning, Frank; Toninho, Bernardo; Pérez, Jorge A.; …
Main Fields: Computer science (68-XX)
Published as: Caires, Luís; Caires, Luis

Calzavara, Stefano

4 Publications (2013–2020) indexed
2 Citations
Co-Authors: Bugliesi, Michele; Abebe, Seyum Assefa; Crafa, Silvia; …
Main Fields: Computer science (68-XX)
Published as: Calzavara, Stefano

Cantone, Domenico

116 Publications (1984–2023) indexed
303 Citations
Co-Authors: Faro, Simone; Omodeo, Eugenio Giovanni; Nicolosi Asmundo, Marianna; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Published as: Cantone, Domenico; Cantone, D.

Carraro, Alberto

16 Publications (2010–2021) indexed
41 Citations
Co-Authors: Salibra, Antonino; Ehrhard, Thomas; Bucciarelli, Antonio; …
Main Fields: Mathematical logic and foundations (03-XX)
Published as: Carraro, Alberto; Carraro, A.

Carvajal-Schiaffino, Rubén

2 Publications (2001–2006) indexed
1 Citation
Co-Authors: Cameron, David G.; Chiola, Giovanni; Delzanno, Giorgio; …
Main Fields: Computer science (68-XX)
Published as: Carvajal-Schiaffino, Rubén; Carvajal-Schiaffino, R.

Casso, Ignacio

3 Publications (2020–2021) indexed
4 Citations
Co-Authors: Hermenegildo, Manuel V.; López-García, Pedro; Morales, Jose Francisco; …
Main Fields: Computer science (68-XX)
Published as: Casso, Ignacio

Castagna, Giuseppe

44 Publications (1993–2020) indexed
289 Citations
Co-Authors: Bugliesi, Michele; Crafa, Silvia; Benzaken, Véronique; …
Main Fields: Computer science (68-XX)
Published as: Castagna, Giuseppe; Castagna, G.

Castellani, Ilaria

43 Publications (1983–2024) indexed
448 Citations
Co-Authors: Boudol, Gérard; Dezani-Ciancaglini, Mariangiola; Hennessy, Matthew C. B.; …
Main Fields: Computer science (68-XX)
Published as: Castellani, Ilaria; Castellani, I.

Chatain, Thomas

29 Publications (2004–2022) indexed
99 Citations
Co-Authors: Haar, Stefan; Jard, Claude; Balaguer, Sandie; …
Main Fields: Computer science (68-XX)
Published as: Chatain, Thomas

Chatzikokolakis, Konstantinos

30 Publications (2004–2021) indexed
153 Citations
Co-Authors: Palamidessi, Catuscia; Alvim, Mário S.; Panangaden, Prakash; …
Main Fields: Computer science (68-XX)
Published as: Chatzikokolakis, Konstantinos

Chen, Liqian

11 Publications (1998–2023) indexed
13 Citations
Co-Authors: Wang, Ji; Cousot, Patrick; Miné, Antoine; …
Main Fields: Computer science (68-XX)
Published as: Chen, Liqian

Chen, Yu-Fang

28 Publications (1994–2024) indexed
108 Citations
Co-Authors: Abdulla, Parosh Aziz; Holík, Lukáš; Tsay, Yih-Kuen; …
Main Fields: Computer science (68-XX)
Published as: Chen, Yu-Fang

Chiarandini, Marco

15 Publications (2004–2022) indexed
125 Citations
Co-Authors: Paquete, Luís F.; Bang-Jensen, Jørgen; Birattari, Mauro; …
Main Fields: Operations research, mathematical programming (90-XX); Computer science (68-XX); Statistics (62-XX)
Published as: Chiarandini, Marco; Chiarandini, M.

Chiarugi, Davide

7 Publications (2005–2016) indexed
25 Citations
Co-Authors: Bodei, Chiara; Falaschi, Moreno; Olarte, Carlos; …
Main Fields: Biology and other natural sciences (92-XX)
Published as: Chiarugi, Davide; Chiarugi, D.

Chiola, Giovanni

15 Publications (1991–2009) indexed
65 Citations
Co-Authors: Campos, Javier; Silva, Manuel; Colom, José-Manuel; …
Main Fields: Computer science (68-XX)
Published as: Chiola, G.; Chiola, Giovanni

Cimatti, Alessandro

101 Publications (1996–2023) indexed
830 Citations
Co-Authors: Roveri, Marco; Griggio, Alberto; Sebastiani, Roberto; …
Main Fields: Computer science (68-XX)
Published as: Cimatti, Alessandro; Cimatti, A.

Cirstea, Horatiu

26 Publications (2000–2021) indexed
117 Citations
Co-Authors: Kirchner, Claude; Liquori, Luigi; Moreau, Pierre-Etienne; …
Main Fields: Computer science (68-XX)
Published as: Cirstea, Horatiu; Cirstea, H.

Clark, David

27 Publications (1993–2022) indexed
34 Citations
Co-Authors: Androutsopoulos, Kelly; Hankin, Chris L.; Hunt, Sebastian; …
Main Fields: Computer science (68-XX)
Published as: Clark, David; Clark, D.

Cocco, Nicoletta

15 Publications (1982–2018) indexed
41 Citations
Co-Authors: Bossi, Annalisa; Etalle, Sandro; Baldan, Paolo; …
Main Fields: Computer science (68-XX)
Published as: Cocco, Nicoletta; Cocco, N.

Codish, Michael

69 Publications (1986–2023) indexed
304 Citations
Co-Authors: Schneider-Kamp, Peter; Stuckey, Peter James; Lagoon, Vitaly; …
Main Fields: Computer science (68-XX)
Published as: Codish, Michael; Codish, M.

Codognet, Christian

1 Publication (1986) indexed
Co-Authors: Codognet, Philippe; Filé, Gilberto
Main Fields: Computer science (68-XX)
Published as: Codognet, Christian

Codognet, Philippe

24 Publications (1986–2022) indexed
49 Citations
Co-Authors: Diaz, Daniel; Bistarelli, Stefano; Abreu, Salvador; …
Main Fields: Computer science (68-XX)
Published as: Codognet, Philippe; Codognet, P.

Colazzo, Dario

15 Publications (2004–2023) indexed
18 Citations
Co-Authors: Ghelli, Giorgio; Sartiani, Carlo; Baazizi, Mohamed-Amine; …
Main Fields: Computer science (68-XX)
Published as: Colazzo, Dario; Colazzo, D.

Conchon, Sylvain

18 Publications (2000–2021) indexed
48 Citations
Co-Authors: Contejean, Evelyne; Krstic, Sava A.; Iguernelala, Mohamed; …
Main Fields: Computer science (68-XX)
Published as: Conchon, Sylvain

Coogan, Kevin

1 Publication (2010) indexed
2 Citations
Co-Authors: Dalla Preda, Mila; Debray, Saumya K.; Giacobazzi, Roberto; …
Main Fields: Computer science (68-XX)
Published as: Coogan, Kevin

Corradini, Andrea

125 Publications (1990–2023) indexed
704 Citations
Co-Authors: Baldan, Paolo; Montanari, Ugo G.; Gadducci, Fabio; …
Main Fields: Computer science (68-XX)
Published as: Corradini, Andrea; Corradini, A.

Corradini, Flavio

68 Publications (1994–2021) indexed
196 Citations
Co-Authors: Di Berardini, Maria Rita; Vogler, Walter; Cacciagrano, Diletta Romana; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Published as: Corradini, Flavio; Corradini, F.

Cortesi, Agostino

43 Publications (1986–2023) indexed
86 Citations
Co-Authors: Braghin, Chiara; Ferrara, Pietro; Filé, Gilberto; …
Main Fields: Computer science (68-XX)
Published as: Cortesi, Agostino; Cortesi, A.

Cousot, Radhia

42 Publications (1978–2014) indexed
848 Citations
Co-Authors: Cousot, Patrick; Mauborgne, Laurent; Feret, Jérôme; …
Main Fields: Computer science (68-XX)
Published as: Cousot, Radhia; Cousot, R.

D’Antonio, Massimo

1 Publication (2004) indexed
2 Citations
Co-Authors: Delzanno, Giorgio
Main Fields: Computer science (68-XX)
Published as: D’Antonio, Massimo

Dahl, Veronica

24 Publications (1988–2023) indexed
23 Citations
Co-Authors: Christiansen, Henning; Dodaro, Carmine; Hermenegildo, Manuel V.; …
Main Fields: Computer science (68-XX)
Published as: Dahl, Veronica; Dahl, Verónica

Dalla Preda, Mila

17 Publications (2004–2020) indexed
35 Citations
Co-Authors: Giacobazzi, Roberto; Mastroeni, Isabella; Debray, Saumya K.; …
Main Fields: Computer science (68-XX)
Published as: Dalla Preda, Mila; Preda, Mila Dalla

Dams, Dennis René

26 Publications (1994–2018) indexed
97 Citations
Co-Authors: Namjoshi, Kedar S.; Steffen, Martin; Bošnački, Dragan; …
Main Fields: Computer science (68-XX)
Published as: Dams, Dennis; Dams, Dennis R.; Dams, Dennis René

de Alfaro, Luca

55 Publications (1995–2021) indexed
614 Citations
Co-Authors: Henzinger, Thomas A.; Majumdar, Rupak; Chatterjee, Krishnendu; …
Main Fields: Computer science (68-XX); Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Published as: de Alfaro, Luca; De Alfaro, Luca; Alfaro, Luca de; de Alfaro, L.

de Boer, Frank S.

133 Publications (1989–2022) indexed
397 Citations
Co-Authors: Bonsangue, Marcello Maria; Meyer, John-Jules Charles; de Roever, Willem-Paul; …
Main Fields: Computer science (68-XX)
Published as: de Boer, Frank S.; de Boer, Frank; de Boer, F. S.; De Boer, Frank S.; De Boer, Frank; De Boer, F. S.; de Boer, F.

De Bosschere, Koen

23 Publications (1996–2013) indexed
16 Citations
Co-Authors: Ronsse, Michiel; Christiaens, Mark; Jacquet, Jean-Marie; …
Main Fields: Computer science (68-XX)
Published as: De Bosschere, Koen; de Bosschere, Koen; De Bosschere, K.

de Paiva, Valeria

66 Publications (1989–2023) indexed
307 Citations
Co-Authors: Ritter, Eike; Bierman, Gavin M.; Trotta, Davide; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)
Published as: de Paiva, Valeria; de Paiva, V. C. V.; De Paiva, Valeria; de Paiva, Valeria C. V.; Paiva, Valeria; de Paiva, Valéria

Debray, Saumya K.

25 Publications (1984–2015) indexed
54 Citations
Co-Authors: Giacobazzi, Roberto; Dalla Preda, Mila; Muth, Robert; …
Main Fields: Computer science (68-XX)
Published as: Debray, Saumya K.; Debray, Saumya; Debray, S.

Della Monica, Dario

34 Publications (2008–2023) indexed
148 Citations
Co-Authors: Montanari, Angelo; Sciavicco, Guido; Bresolin, Davide; …
Main Fields: Mathematical logic and foundations (03-XX)
Published as: Della Monica, Dario; Della Monica, D.

Deng, Yuxin

57 Publications (2001–2023) indexed
243 Citations
Co-Authors: Hennessy, Matthew C. B.; van Glabbeek, Robert Jan; Morgan, Carroll C.; …
Main Fields: Computer science (68-XX)
Published as: Deng, Yuxin; Deng, Yu-xin; Deng, Yu-Xin

Di Giusto, Cinzia

19 Publications (2007–2023) indexed
42 Citations
Co-Authors: Laversa, Laetitia; Lozes, Etienne; Gabbrielli, Maurizio; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)
Published as: Di Giusto, Cinzia; di Giusto, Cinzia

Di Nardo Di Maio, Simone

2 Publications (2015–2018) indexed
3 Citations
Co-Authors: Amato, Gianluca; Meo, Maria Chiara; Scozzari, Francesca
Main Fields: Computer science (68-XX)
Published as: Di Nardo Di Maio, Simone

Di Pierro, Alessandra

49 Publications (1995–2020) indexed
125 Citations
Co-Authors: Wiklicky, Herbert; Hankin, Chris L.; Aldini, Alessandro; …
Main Fields: Computer science (68-XX); General and overarching topics; collections (00-XX)
Published as: Di Pierro, Alessandra; di Pierro, Alessandra; Di Pierro, A.

Di Pirro, Matteo

1 Publication (2020) indexed
2 Citations
Co-Authors: Crafa, Silvia
Main Fields: Game theory, economics, finance, and other social and behavioral sciences (91-XX)
Published as: Di Pirro, Matteo

Dotti, Fernando Luís

13 Publications (2000–2014) indexed
28 Citations
Co-Authors: Ribeiro, Leila; Corradini, Andrea; Foss, Luciana; …
Main Fields: Computer science (68-XX)
Published as: Dotti, Fernando Luís; Dotti, Fernando L.; Dotti, Fernando Luis; Dotti, Fernando; Dotti, F. L.

Dovier, Agostino

58 Publications (1993–2023) indexed
176 Citations
Co-Authors: Pontelli, Enrico; Formisano, Andrea; Rossi, Gianfranco; …
Main Fields: Computer science (68-XX)
Published as: Dovier, Agostino; Dovier, A.

Durand-Gasselin, Antoine

6 Publications (2010–2017) indexed
21 Citations
Co-Authors: Habermehl, Peter; Esparza, Javier; Ganty, Pierre; …
Main Fields: Computer science (68-XX)
Published as: Durand-Gasselin, Antoine

Eggert, Richard

2 Publications (2021–2023) indexed
1 Citation
Co-Authors: Baldan, Paolo; König, Barbara; Padoan, Tommaso
Main Fields: Computer science (68-XX)
Published as: Eggert, Richard

Filter Results by …

all top 3

Main Field

all top 3

External Link