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. more...less
Á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 more...less
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 more...less
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. more...less
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. more...less
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é more...less
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. more...less
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. more...less
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. more...less
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 more...less
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. more...less
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 more...less
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. more...less
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. more...less
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