| ARCH-COMP19 category report: hybrid systems with piecewise constant dynamics G Frehse, A Abate, D Adzkiya, A Becchi, L Bu, A Cimatti, M Giacobbe, ... EasyChair, 2019 | 12 | 2019 |
| Bounded model checking of max-plus linear systems via predicate abstractions M Syifa’ul Mufid, D Adzkiya, A Abate Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019 | 7 | 2019 |
| Tropical abstractions of max-plus linear systems MS Mufid, D Adzkiya, A Abate Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018 | 6 | 2018 |
| ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. L Bu, A Abate, D Adzkiya, MSU Mufid, R Ray, Y Wu, E Zaffanella ARCH, 1-15, 2020 | 4 | 2020 |
| Computation of the transient in max-plus linear systems via SMT-solving A Abate, A Cimatti, A Micheli, MS Mufid Formal Modeling and Analysis of Timed Systems: 18th International Conference …, 2020 | 4 | 2020 |
| Eigenvalues and eigenvectors of latin squares in max-plus algebra MS Mufid Journal of the Indonesian Mathematical Society, 37-45, 2014 | 4 | 2014 |
| Smt-based reachability analysis of high dimensional interval max-plus linear systems MS Mufid, D Adzkiya, A Abate IEEE Transactions on Automatic Control 67 (6), 2700-2714, 2021 | 2 | 2021 |
| Symbolic Reachability Analysis of High Dimensional Max-Plus Linear Systems MS Mufid, D Adzkiya, A Abate IFAC-PapersOnLine 53 (4), 459-465, 2020 | 2 | 2020 |
| Eigenproblems of latin squares in bipartite (min,max,+)-systems Subiono, MS Mufid, D Adzkia Discrete Event Dynamic Systems 26 (4), 657–668, 2016 | 2 | 2016 |
| On The Lagrange Interpolation of Fibonacci Sequence MS Mufid, T Asfihani, L Hanafi (IJCSAM) International Journal of Computing Science and Applied Mathematics …, 2016 | 2 | 2016 |
| SMT-based model checking of max-plus linear systems MSU Mufid, A Micheli, A Abate, A Cimatti Schloss Dagstuhl, 2021 | 1 | 2021 |
| Eigenproblems of latin squares in bipartite (min, max, plus)-systems Subiono, MS Mufid, D Adzkiya DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS 26 (4), 657-668, 2016 | 1 | 2016 |
| Committees: 7th International Conference on Mathematics–Pure, Applied and Computation MS Mufid, D Adzkiya AIP Conference Proceedings 2641 (1), 010002, 2022 | | 2022 |
| Preface: 7th International Conference on Mathematics–Pure, Applied and Computation MS Mufid, D Adzkiya AIP Conference Proceedings 2641 (1), 010001, 2022 | | 2022 |
| Tropical Abstractions of Max-Plus-Linear Systems M Syifa'ul Mufid, D Adzkiya, A Abate arXiv e-prints, arXiv: 1806.04604, 2018 | | 2018 |
| Analytical solution approximation for bearing L Hanafi, MS Mufid AIP Conference Proceedings 1867 (1), 020041, 2017 | | 2017 |
| SMART GENERATIVE ALGORITHM (SMART GEN-A): 2D ARCHITECTURAL PHOTO CONVERTER TO BE THE DIGITAL 3D OBJECT MS Mufid, YA Fredian, J Jayadi, N Qomariah Journal of Architecture&ENVIRONMENT 10 (1), 27-37, 2011 | | 2011 |
| A Symbolic Approach for Reachability Analysis of Max-Plus Linear Systems MS Mufid, D Adzkiya, A Abate | | |
| Feedback Exponential Stabilization of GHZ States of Multiqubit Systems........ W. Liang, NH Amini, and P. Mason 2918 Hybrid Feedback for Global Tracking on Matrix Lie Groups SO … MS Mufid, D Adzkiya, A Abate, D Goswami, DA Paley, W Liu, DE Quevedo, ... | | |
| Computation of the Transient in Max-Plus Linear Systems via SMT-Solving MS Mufid | | |
Dieky AdzkiyaDepartment of Mathematics, Institut Teknologi Sepuluh NopemberEmail yang diverifikasi di matematika.its.ac.id
