×

Found 40 Authors (Results 1–40)

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

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

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.

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.

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.

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.

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

Filter Results by …

all top 3

Main Field

all top 3

External Link