Muhammad Syifa'ul Mufid

From MaRDI portal
Person:513818

Available identifiers

zbMath Open mufid.muhammad-syifaulMaRDI QIDQ513818

List of research outcomes





PublicationDate of PublicationType
Interpolation polynomials associated to linear recurrences2024-05-22Paper
SMT-based model checking of max-plus linear systems2023-08-21Paper
SMT-Based Reachability Analysis of High Dimensional Interval Max-Plus Linear Systems2022-07-28Paper
Computation of the transient in max-plus linear systems via SMT-solving2021-03-02Paper
Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems2020-07-08Paper
Bounded model checking of max-plus linear systems via predicate abstractions2020-05-05Paper
Tropical abstractions of MAX-plus linear systems2018-12-06Paper
Tropical Abstractions of Max-Plus-Linear Systems2018-06-12Paper
Eigenproblems of Latin squares in bipartite \((\min, \max,+)\)-systems2017-03-08Paper
EIGENVALUES AND EIGENVECTORS OF LATIN SQUARES IN MAX-PLUS ALGEBRA2015-12-11Paper

Research outcomes over time

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:513818&oldid=7552903"
Powered by MediaWiki