Yuki Nishida

Available identifiers

Publication	Date of Publication	Type
Algorithm for the CSR expansion of max-plus matrices using the characteristic polynomial	2023-11-07	Paper
Fuzzy cellular automata with complete number-conserving rule as traffic-flow models with bottleneck	2023-01-31	Paper
Sharper and Simpler Nonlinear Interpolants for Program Verification	2022-12-09	Paper
Characterization of tropical projective quadratic plane curves in terms of the eigenvalue problem	2022-04-14	Paper
Maximum and optimal 1-2 matching problem of the different kind	2022-02-21	Paper
A min-plus analogue of the Jordan canonical form associated with the basis of the generalized eigenspace	2021-11-24	Paper
Independence and orthogonality of algebraic eigenvectors over the max-plus algebra	2021-10-01	Paper
$q$-VFCA: $q$-state Vector-valued Fuzzy Cellular Automata	2021-08-25	Paper
On the vectors associated with the roots of max-plus characteristic polynomials.	2020-12-15	Paper
Combinatorial algorithm for the computation of cyclically standard regular bracket monomials	2020-11-13	Paper
A characterization of bases of tropical kernels in terms of Cramer's rule	2020-06-02	Paper
The maximum 1-2 matching problem and two kinds of its variants	2019-11-07	Paper
Manifest Contracts for Datatypes	2016-09-29	Paper

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Yuki Nishida