| Publication | Date of Publication | Type |
|---|
On max-plus two-sided linear systems whose solution sets are min-plus linear
(available as arXiv preprint) | N/A | Paper |
Similarity and isospectral transformation of max-plus matrices
RIMS Kôkyûroku Bessatsu | 2026-05-05 | Paper |
Properties of max-plus algebraic determinants derived from duality theorem
Malaysian Journal of Mathematical Sciences | 2026-04-29 | Paper |
Characterization and algorithm for max-plus supereigenvector problem by parametric programming
Discrete Applied Mathematics | 2025-12-11 | Paper |
Algorithm for the CSR expansion of max-plus matrices using the characteristic polynomial
SIAM Journal on Discrete Mathematics | 2025-03-18 | Paper |
Independence and orthogonality of algebraic eigenvectors over the max-plus algebra
Linear and Multilinear Algebra | 2025-01-13 | Paper |
Max-plus algebraic description of evolutions of weighted timed event graphs
Theory of Computing Systems | 2024-11-12 | Paper |
Triangulation of diagonally dominant min-plus matrices
Discrete Event Dynamic Systems | 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
Linear Algebra and its Applications | 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
JSIAM Letters | 2023-01-31 | Paper |
Sharper and Simpler Nonlinear Interpolants for Program Verification
Programming Languages and Systems | 2022-12-09 | Paper |
Characterization of tropical projective quadratic plane curves in terms of the eigenvalue problem
Linear Algebra and its Applications | 2022-04-14 | Paper |
Maximum and optimal 1-2 matching problem of the different kind
Journal of Discrete Mathematical Sciences and Cryptography | 2022-02-21 | Paper |
A min-plus analogue of the Jordan canonical form associated with the basis of the generalized eigenspace
Linear and Multilinear Algebra | 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
(available as arXiv preprint) | 2021-08-25 | 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.
Applications of Mathematics | 2020-12-15 | Paper |
Combinatorial algorithm for the computation of cyclically standard regular bracket monomials
Journal of Symbolic Computation | 2020-11-13 | Paper |
A characterization of bases of tropical kernels in terms of Cramer's rule
Linear Algebra and its Applications | 2020-06-02 | Paper |
The maximum 1-2 matching problem and two kinds of its variants
Discrete Mathematics, Algorithms and Applications | 2019-11-07 | Paper |
Manifest contracts for datatypes
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages | 2016-09-29 | Paper |
