Abel, Andreas M. 55 Publications (1996–2021) indexed 253 Citations Co-Authors: Coquand, Thierry; Pientka, Brigitte; Matthes, Ralph; … Main Fields: Computer science (68-XX) Published as: Abel, Andreas; Abel, Andreas M.
Ahman, Danel 12 Publications (2012–2023) indexed 38 Citations Co-Authors: Uustalu, Tarmo; Chapman, James T. E.; Hriţcu, Cătălin; … Main Fields: Computer science (68-XX) Published as: Ahman, Danel
Altenkirch, Thorsten 62 Publications (1993–2021) indexed 442 Citations Co-Authors: Ghani, Neil; McBride, Conor Thomas; Kraus, Nicolai; … Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX) Published as: Altenkirch, Thorsten
Barthe, Gilles 128 Publications (1995–2024) indexed 581 Citations Co-Authors: Grégoire, Benjamin; Strub, Pierre-Yves; Hsu, Justin; … Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX) Published as: Barthe, Gilles; Barthe, G.
Bezem, Marc 64 Publications (1985–2024) indexed 534 Citations Co-Authors: Coquand, Thierry; Nieuwenhuis, Robert; Buchholtz, Ulrik; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX) Published as: Bezem, Marc
Breuvart, Flavien 11 Publications (2013–2023) indexed 27 Citations Co-Authors: Dal Lago, Ugo; Herrou, Agathe; Manzonetto, Giulio; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Breuvart, Flavien
Capobianco, Silvio 21 Publications (2004–2022) indexed 33 Citations Co-Authors: Toffoli, Tommaso; Guillon, Pierre; Kari, Jarkko; … Main Fields: Computer science (68-XX) Published as: Capobianco, Silvio
Capretta, Venanzio 25 Publications (1999–2018) indexed 136 Citations Co-Authors: Bove, Ana; Uustalu, Tarmo; Felty, Amy P.; … Main Fields: Computer science (68-XX) Published as: Capretta, Venanzio
Chapman, James T. E. 23 Publications (2009–2023) indexed 114 Citations Co-Authors: Uustalu, Tarmo; Altenkirch, Thorsten; Veltri, Niccolò; … Main Fields: Computer science (68-XX); Category theory; homological algebra (18-XX); Mathematical logic and foundations (03-XX) Published as: Chapman, James; Chapman, James T. E.
Espírito Santo, José Carlos 37 Publications (2000–2024) indexed 59 Citations Co-Authors: Pinto, Luís F.; Matthes, Ralph; Ferreira, Gilda; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Espírito Santo, José; Santo, José Espírito; Espírito Santo, J.; Espírito Santo, José Carlos more...less
Firsov, Denis 5 Publications (2013–2022) indexed 8 Citations Co-Authors: Uustalu, Tarmo; Blair, Richard; Laur, Sven; … Main Fields: Computer science (68-XX) Published as: Firsov, Denis
Frade, Maria João 8 Publications (2004–2023) indexed 33 Citations Co-Authors: Pinto, Jorge Sousa; Espírito Santo, José Carlos; Lourenço, Cláudio Belo; … Main Fields: Computer science (68-XX) Published as: Frade, Maria João; Frade, M. J.; Frade, Maria João.; João Frade, Maria more...less
Gaboardi, Marco 36 Publications (2007–2023) indexed 149 Citations Co-Authors: Barthe, Gilles; Hsu, Justin; Ronchi Della Rocca, Simona; … Main Fields: Computer science (68-XX) Published as: Gaboardi, Marco
Ghani, Neil 75 Publications (1995–2023) indexed 436 Citations Co-Authors: Nordvall Forsberg, Fredrik; Johann, Patricia; Lüth, Christoph; … Main Fields: Computer science (68-XX); Category theory; homological algebra (18-XX) Published as: Ghani, Neil
Hamana, Makoto 25 Publications (1986–2022) indexed 75 Citations Co-Authors: Matsuda, Kazutaka; Aoto, Takahito; Asada, Kazuyuki; … Main Fields: Computer science (68-XX) Published as: Hamana, Makoto
Hasuo, Ichiro 65 Publications (2003–2024) indexed 290 Citations Co-Authors: Urabe, Natsuki; Jacobs, Bart; Katsumata, Shin-ya; … Main Fields: Computer science (68-XX); Category theory; homological algebra (18-XX) Published as: Hasuo, Ichiro
Jacobs, Bart 147 Publications (1989–2023) indexed 1,428 Citations Co-Authors: Hasuo, Ichiro; Silva, Alexandra; Sokolova, Ana; … Main Fields: Computer science (68-XX); Category theory; homological algebra (18-XX); Mathematical logic and foundations (03-XX) Published as: Jacobs, Bart; Jacobs, B.; Jacobs, Bart P. F. more...less
Johann, Patricia 43 Publications (1990–2022) indexed 152 Citations Co-Authors: Ghani, Neil; Atkey, Robert; Fumex, Clément; … Main Fields: Computer science (68-XX) Published as: Johann, Patricia
Katsumata, Shin-ya 42 Publications (2001–2024) indexed 137 Citations Co-Authors: Hasuo, Ichiro; Dubut, Jérémy; Sato, Tetsuya; … Main Fields: Computer science (68-XX); Category theory; homological algebra (18-XX) Published as: Katsumata, Shin-ya; Katsumata, Shin-Ya
Laud, Peeter 15 Publications (1998–2017) indexed 53 Citations Co-Authors: Buldas, Ahto; Pettai, Martin; Vene, Varmo; … Main Fields: Computer science (68-XX) Published as: Laud, Peeter
Lorents, Peeter 3 Publications (1978–1990) indexed Co-Authors: Dëgtev, A. N.; Kashintsev, E. V.; Kolganov, N.; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Lorents, Peeter
Maarand, Hendrik 3 Publications (2019–2022) indexed Co-Authors: Uustalu, Tarmo; Tamm, Hellis Main Fields: Computer science (68-XX) Published as: Maarand, Hendrik
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
Mayoh, Brian H. 32 Publications (1965–2003) indexed 31 Citations Co-Authors: Tyugu, Ènn Kharal’dovich; Ala-Siuru, P.; Bersted, J.; … Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX) Published as: Mayoh, B. H.; Mayoh, Brian H.; Mayoh, Brian; Mayoh, B. more...less
McDermott, Dylan 11 Publications (2018–2024) indexed 7 Citations Co-Authors: Uustalu, Tarmo; Arkor, Nathanael; Mycroft, Alan; … Main Fields: Computer science (68-XX) Published as: McDermott, Dylan; Mcdermott, Dylan
Morita, Yasuaki 7 Publications (1977–2022) indexed Co-Authors: Modi, Vinod J.; Sunahara, Yoshifumi; Fukagata, Koji; … Main Fields: Computer science (68-XX) Published as: Morita, Yasuaki
Nakata, Keiko 13 Publications (2006–2015) indexed 36 Citations Co-Authors: Uustalu, Tarmo; Garrigue, Jacques; Ariola, Zena M.; … Main Fields: Computer science (68-XX) Published as: Nakata, Keiko
Orchard, Dominic A. 17 Publications (2008–2022) indexed 60 Citations Co-Authors: Mycroft, Alan; Petricek, Tomas; Eades, Harley III; … Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX) Published as: Orchard, Dominic; Orchard, Dominic A.
Pardo, Alberto 15 Publications (1998–2020) indexed 63 Citations Co-Authors: Castro, Manuel J.; Fernandes, João Paulo; Manzino, Cecilia; … Main Fields: Computer science (68-XX); General and overarching topics; collections (00-XX) Published as: Pardo, Alberto; Pardo, A.
Pinto, Linu 15 Publications (2004–2023) indexed 70 Citations Co-Authors: Ferreira, José Augusto; Jordão, Daniela; Frade, Maria João; … Main Fields: Numerical analysis (65-XX); Computer science (68-XX); Fluid mechanics (76-XX); ... Published as: Pinto, L.; Pinto, Linu
Pinto, Luís F. 33 Publications (1995–2023) indexed 100 Citations Co-Authors: Espírito Santo, José Carlos; Matthes, Ralph; Dyckhoff, Roy; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Partial differential equations (35-XX); ... Published as: Pinto, Luís; Pinto, Luis; Pinto, Luís F. more...less
Rivas, Exequiel 5 Publications (2015–2022) indexed 13 Citations Co-Authors: Jaskelioff, Mauro; Uustalu, Tarmo; Katsumata, Shin-ya; … Main Fields: Computer science (68-XX) Published as: Rivas, Exequiel
Saabas, Ando 5 Publications (2006–2009) indexed 20 Citations Co-Authors: Uustalu, Tarmo; Veanes, Margus Main Fields: Computer science (68-XX) Published as: Saabas, Ando
Sato, Tetsuya 57 Publications (1975–2024) indexed 50 Citations Co-Authors: Fujiwara, Susumu; Katsumata, Shin-ya; Hayashi, Takaya; … Main Fields: Computer science (68-XX); Fluid mechanics (76-XX); Statistical mechanics, structure of matter (82-XX); ... Published as: Sato, Tetsuya
Tyugu, Ènn Kharal’dovich 39 Publications (1968–2010) indexed 31 Citations Co-Authors: Mints, Grigoriĭ Efroimovich; Mayoh, Brian H.; Penjam, Jaan; … Main Fields: Computer science (68-XX) Published as: Tyugu, Enn; Tyugu, E. H.; Tyugu, E.; Tyugu, Eh. Kh.; Tyugu, Eh. H.; Tyugu, E. Kh.; Tyugu, É. Kh.; Tyugu, Enn H.; Tyugu, È. H.; Tyugu, E. K. more...less
Vain, Jüri 6 Publications (1993–2016) indexed 1 Citation Co-Authors: Uustalu, Tarmo; Derrick, John; Haveraaen, Magne; … Main Fields: Computer science (68-XX) Published as: Vain, Jüri
Veltri, Niccolò 22 Publications (2015–2023) indexed 37 Citations Co-Authors: Uustalu, Tarmo; Zeilberger, Noam; Chapman, James T. E.; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX) Published as: Veltri, Niccolò; Veltri, Niccoló
Vene, Varmo 24 Publications (1998–2018) indexed 124 Citations Co-Authors: Uustalu, Tarmo; Capretta, Venanzio; Ghani, Neil; … Main Fields: Computer science (68-XX) Published as: Vene, Varmo; Vene, V.
Voorneveld, Niels F. W. 10 Publications (2018–2024) indexed 19 Citations Co-Authors: Nester, Chad; Simpson, Alex K.; Uustalu, Tarmo; … Main Fields: Computer science (68-XX) Published as: Voorneveld, Niels; Voorneveld, Niels F. W.
Zeilberger, Noam 25 Publications (2008–2022) indexed 67 Citations Co-Authors: Melliès, Paul-André; Uustalu, Tarmo; Veltri, Niccolò; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Category theory; homological algebra (18-XX) Published as: Zeilberger, Noam