Calculated based on number of publications stored in Pure and citations from Scopus
20142021

Research activity per year

If you made any changes in Pure these will be visible here soon.
Filter
Conference contribution

Search results

  • Criteria for Hopf Bifurcations with Fixed Multiplicities

    Fukasaku, R., Jul 18 2021, ISSAC 2021 - Proceedings of the 2021 International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 147-154 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Hybrid Meet-in-the-Middle Attacks for the Isogeny Path-Finding Problem

    Ikematsu, Y., Fukasaku, R., Kudo, M., Yasuda, M., Takashima, K. & Yokoyama, K., Oct 5 2020, APKC 2020 - Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography, Co-located with AsiaCCS 2020. Association for Computing Machinery, Inc, p. 36-44 9 p. (APKC 2020 - Proceedings of the 7th ACM Workshop on ASIA Public-Key Cryptography, Co-located with AsiaCCS 2020).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • Improving a CGS-QE algorithm

    Fukasaku, R., Iwane, H. & Sato, Y., Jan 1 2016, Mathematical Aspects of Computer and Information Sciences - 6th International Conference, MACIS 2015, Revised Selected Papers. Kotsireas, I. S., Rump, S. M. & Yap, C. K. (eds.). Springer Verlag, p. 231-235 5 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9582).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    4 Citations (Scopus)
  • On continuity of the roots of a parametric zero dimensional multivariate polynomial ideal

    Sato, Y., Fukasaku, R. & Sekigawa, H., Jul 11 2018, ISSAC 2018 - Proceedings of the 2018 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 359-365 7 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    3 Citations (Scopus)
  • On Parametric Border Bases

    Sato, Y., Sekigawa, H., Fukasaku, R. & Nabeshima, K., 2020, Mathematical Aspects of Computer and Information Sciences - 8th International Conference, MACIS 2019, Revised Selected Papers. Slamanig, D., Tsigaridas, E. & Zafeirakopoulos, Z. (eds.). Springer, p. 10-15 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11989 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  • On real roots counting for non-radical parametric ideals

    Fukasaku, R. & Sato, Y., 2017, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Proceedings. Kotsireas, I. S., Blomer, J., Simos, D. E. & Kutsia, T. (eds.). Springer Verlag, p. 258-263 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10693 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    1 Citation (Scopus)
  • On the implementation of CGS real QE

    Fukasaku, R., Iwane, H. & Sato, Y., Jan 1 2016, Mathematical Software - 5th International Conference, ICMS 2016, Proceedings. Greuel, G-M., Sommese, A., Koch, T. & Paule, P. (eds.). Springer Verlag, p. 165-172 8 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9725).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    5 Citations (Scopus)
  • QE software based on comprehensive Gröbner systems

    Fukasaku, R., Jan 1 2014, Mathematical Software, ICMS 2014 - 4th International Congress, Proceedings. Springer Verlag, p. 512-517 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 8592 LNCS).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Race against the teens – Benchmarking mechanized math on pre-university problems

    Matsuzaki, T., Iwane, H., Kobayashi, M., Zhan, Y., Fukasaku, R., Kudo, J., Anai, H. & Arai, N. H., 2016, Automated Reasoning - 8th International Joint Conference, IJCAR 2016, Proceedings. Olivetti, N. & Tiwari, A. (eds.). Springer Verlag, p. 213-227 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9706).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    2 Citations (Scopus)
  • Real quantifier elimination by computation of comprehensive Gröbner systems

    Fukasaku, R., Iwane, H. & Sato, Y., Jun 24 2015, ISSAC 2015 - Proceedings of the 2015 ACM International Symposium on Symbolic and Algebraic Computation. Association for Computing Machinery, p. 173-180 8 p. (Proceedings of the International Symposium on Symbolic and Algebraic Computation, ISSAC; vol. 2015-June).

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    12 Citations (Scopus)