Minoru Kinoshita

Publication Activity (10 Years)

Years Active: 2016-2018
Publications (10 Years): 3

Top Topics

Complementarity Problems

Computationally Expensive

Bidirectional Search

Object Recognition

Top Venues

Theor. Comput. Sci.

Publications

Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. Theor. Comput. Sci. 747 (2018)
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. CoRR (2016)
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. SAS (2016)