Yuki Nishida

Available identifiers

zbMath Open nishida.yukiMaRDI QIDQ2125673

List of research outcomes

Publication	Date of Publication	Type
Independence and orthogonality of algebraic eigenvectors over the max-plus algebra	2025-01-13	Paper
Max-plus algebraic description of evolutions of weighted timed event graphs	2024-11-12	Paper
Triangulation of diagonally dominant min-plus matrices	2024-07-29	Paper
Convergence of vector-valued fuzzy cellular automata with weighted-averaging rules	2024-05-29	Paper
On max-plus two-sided linear systems whose solution sets are min-plus linear	2024-05-17	Paper
Manifest contracts with intersection types	2024-04-19	Paper
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
On max-plus two-sided linear systems whose solution sets are min-plus linear	N/A	Paper

Research outcomes over time

This page was built for person: Yuki Nishida