Muhammad Syifa'ul Mufid

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
On the maxmin- eigenspaces and their over-approximation by zones Linear Algebra and its Applications	2026-06-19	Paper
Disordered discrete-time quantum walk over max-plus algebra Discrete Event Dynamic Systems	2025-06-25	Paper
Interpolation polynomials associated to linear recurrences Turkish Journal of Mathematics	2024-05-22	Paper
SMT-based model checking of max-plus linear systems	2023-08-21	Paper
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems IEEE Transactions on Automatic Control	2022-07-28	Paper
Computation of the transient in max-plus linear systems via SMT-solving (available as arXiv preprint)	2021-03-02	Paper
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems	2020-07-08	Paper
Bounded model checking of max-plus linear systems via predicate abstractions (available as arXiv preprint)	2020-05-05	Paper
Tropical abstractions of MAX-plus linear systems (available as arXiv preprint)	2018-12-06	Paper
Tropical Abstractions of Max-Plus-Linear Systems (available as arXiv preprint)	2018-06-12	Paper
Eigenproblems of Latin squares in bipartite \((\min, \max,+)\)-systems Discrete Event Dynamic Systems	2017-03-08	Paper
EIGENVALUES AND EIGENVECTORS OF LATIN SQUARES IN MAX-PLUS ALGEBRA Journal of the Indonesian Mathematical Society	2015-12-11	Paper

Research outcomes over time

This page was built for person: Muhammad Syifa'ul Mufid