Espírito Santo, José Carlos 33 Publications (2000–2023) indexed Cited in 48 Documents 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
Fujita, Ken-etsu 44 Publications (1980–2022) indexed Cited in 52 Documents Co-Authors: Schubert, Aleksy; Nakazawa, Koji; Asanuma, Teruo; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Fujita, Ken-etsu; Fujita, Ken-Etsu
Honda, Yuki 4 Publications (1994–2021) indexed Cited in 1 Document Co-Authors: Fujita, Ken-etsu; Nakazawa, Koji Main Fields: Mathematical logic and foundations (03-XX) Published as: Honda, Yuki
Ikeda, Satoshi 89 Publications (1972–2010) indexed Cited in 90 Documents Co-Authors: Stavrinos, Panayiotis C.; Watanabe, Shôji; Balan, Vladimir; … Main Fields: Differential geometry (53-XX) Published as: Ikeda, Satoshi; Ikeda, S.; Ikeda, Santoshi; Ikeda, Satishi more...less
Imagawa, Yuta 1 Publication (2022) indexed Co-Authors: Fujita, Ken-etsu; Nakazawa, Koji Main Fields: Mathematical logic and foundations (03-XX) Published as: Imagawa, Yuta
Kameyama, Yukiyoshi 28 Publications (1995–2022) indexed Cited in 62 Documents Co-Authors: Sato, Masahiko; Sakurai, Takafumi; Baba, Kensuke; … Main Fields: Computer science (68-XX) Published as: Kameyama, Yukiyoshi; Kameyama, Y.
Kato, Yuki 12 Publications (1993–2010) indexed Cited in 3 Documents Co-Authors: Fujimura, Kaoru; Oikawa, Masayuki; Hashiba, Makoto; … Main Fields: Fluid mechanics (76-XX); Computer science (68-XX) Published as: Kato, Yuki
Katsumata, Shin-ya 38 Publications (2001–2022) indexed Cited in 106 Documents Co-Authors: Hasuo, Ichiro; Dubut, Jérémy; Sato, Tetsuya; … Main Fields: Computer science (68-XX); Mathematical logic and foundations (03-XX) Published as: Katsumata, Shin-ya; Katsumata, Shin-Ya
Kimura, Daisuke 14 Publications (2007–2023) indexed Cited in 12 Documents Co-Authors: Tatsuta, Makoto; Kohyama, Hiroaki; Kakutani, Yoshihiko; … Main Fields: Computer science (68-XX) Published as: Kimura, Daisuke
Matthes, Ralph 45 Publications (1998–2021) indexed Cited in 143 Documents Co-Authors: Espírito Santo, José Carlos; Pinto, Luís F.; Abel, Andreas M.; … Main Fields: Computer science (68-XX) Published as: Matthes, Ralph
Nagai, Tomoharu 4 Publications (1975–2014) indexed Cited in 3 Documents Co-Authors: Kamiya, Norio; Kita, Eisuke; Nakazawa, Koji Main Fields: Mathematical logic and foundations (03-XX) Published as: Nagai, Tomoharu
Nakano, Hiroshi 10 Publications (1994–2011) indexed Cited in 12 Documents Co-Authors: Tatsuta, Makoto; Kameyama, Yukiyoshi; Nakazawa, Koji; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Dynamical systems and ergodic theory (37-XX); ... Published as: Nakano, Hiroshi
Pinto, Luís F. 32 Publications (1995–2023) indexed Cited in 84 Documents Co-Authors: Espírito Santo, José Carlos; Matthes, Ralph; Dyckhoff, Roy; … Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Numerical analysis (65-XX); ... Published as: Pinto, Luís; Pinto, Luis; Pinto, Luís F. more...less
Saotome, Kenji 2 Publications (2020–2021) indexed Co-Authors: Kimura, Daisuke; Nakazawa, Koji Main Fields: Computer science (68-XX) Published as: Saotome, Kenji
Tatsuta, Makoto 42 Publications (1991–2021) indexed Cited in 87 Documents Co-Authors: Berardi, Stefano; Kimura, Daisuke; Nakazawa, Koji; … Main Fields: Mathematical logic and foundations (03-XX) Published as: Tatsuta, Makoto
Tatsutay, Makoto 1 Publication (2010) indexed Co-Authors: Nakazawa, Koji Main Fields: Mathematical logic and foundations (03-XX) Published as: Tatsutay, Makoto