Get my own profile
Public access
View all1 article
0 articles
available
not available
Based on funding mandates
Co-authors
- Naoki KobayashiThe University of TokyoVerified email at is.s.u-tokyo.ac.jp
- Takeshi TsukadaChiba UniversityVerified email at math.s.chiba-u.ac.jp
- Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
- Jacques-Henri JourdanCNRS, Laboratoire Méthodes FormellesVerified email at normalesup.org
- Xavier DenisUniversité Paris-Saclay, CNRS, INRIA, LMFVerified email at lri.fr