| Buku Guru Matematika untuk SMP/MTs Kelas IX W Subchan, MS Mufid, K Fahim, WH Syaifudin Jakarta: Pusat Kurikulum dan Perbukuan, Balitbang, Kemendikbud, 2018 | 16 | 2018 |
| 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 | 15 | 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 | 10 | 2018 |
| Symbolic reachability analysis of high dimensional max-plus linear systems MS Mufid, D Adzkiya, A Abate IFAC-PapersOnLine 53 (4), 459-465, 2020 | 8 | 2020 |
| 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 | 8 | 2019 |
| 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 | 7 | 2021 |
| Computation of the transient in max-plus linear systems via SMT-solving A Abate, A Cimatti, A Micheli, MS Mufid International Conference on Formal Modeling and Analysis of Timed Systems …, 2020 | 7 | 2020 |
| ARCH-COMP20 Category Report: Hybrid Systems with Piecewise Constant Dynamics and Bounded Model Checking. L Bu, A Abate, D Adzkiya, MS Mufid, R Ray, Y Wu, E Zaffanella ARCH, 1-15, 2020 | 7 | 2020 |
| On the Lagrange interpolation of Fibonacci sequence MS Mufid, T Asfihani, L Hanafi (IJCSAM) International Journal of Computing Science and Applied Mathematics …, 2016 | 7 | 2016 |
| Eigenvalues and eigenvectors of latin squares in max-plus algebra MS Mufid Journal of the Indonesian Mathematical Society, 37-45, 2014 | 7 | 2014 |
| Matematika SMP/MTs Kelas IX W Subchan, M Mufid, K Fahim, W Syaifudin Pusat Kurikulum dan Perbukuan, Balitbang, Kemendikbud, 2018 | 4 | 2018 |
| Peningkatan Kompetensi Guru dan Siswa SMAN 1 Kraksaan dan SMAS Taman Madya Kraksaan untuk Menghadapi Olimpiade Sains Kabupaten (OSK) Bidang Matematika dan Informatika di … K Fahim, C Imron, I Herisman, MS Mufid Sewagati 8 (2), 1366-1375, 2024 | 3 | 2024 |
| Solving linear equations over maxmin-ω systems MS Mufid, E Patel, S Sergeev Linear Algebra and its Applications 681, 21-46, 2024 | 3 | 2024 |
| Matematika: Buku Guru/Kementerian Pendidikan dan Kebudayaan W Subchan, MS Mufid, K Fahim, WH Syaifudin Jakarta: Kementerian Pendidikan dan Kebudayaan, 2018 | 3 | 2018 |
| Eigenproblems of latin squares in bipartite (min,max,+)-systems Subiono, MS Mufid, D Adzkia Discrete Event Dynamic Systems 26 (4), 657–668, 2016 | 3 | 2016 |
| Control design of discrete-time unicycle model using satisfiability modulo theory D Adzkiya, MS Mufid, FS Saputri, A Abate Systems Science & Control Engineering 12 (1), 2316166, 2024 | 2 | 2024 |
| SMT-based model checking of max-plus linear systems MSU Mufid, A Micheli, A Abate, A Cimatti Schloss Dagstuhl, 2021 | 2 | 2021 |
| Identify Solutions to Systems of Linear Latin for Square Equations over Maxmin-ω MS Mufid Jambura Journal of Mathematics 7 (1), 64-70, 2025 | | 2025 |
| Peningkatan Kapabilitas Guru dan Siswa SMA di Yayasan Pendidikan Pesantren Zainul Hasan Genggong untuk Menghadapi Olimpiade Sains Kabupaten (OSK) bidang Matematika dan … K Fahim, S Subiono, C Imron, I Herisman, IGNR Usadha, S Soleha, ... Sewagati 9 (1), 2629-2638, 2025 | | 2025 |
| Timed concurrent system modeling and verification of home care plan. A Taryana, D Adzkiya, MS Mufid, I Mukhlash International Journal of Electrical & Computer Engineering (2088-8708) 15 (1), 2025 | | 2025 |
Alessandro AbateProfessor of Verification and Control, University of Oxford, UKبريد إلكتروني تم التحقق منه على cs.ox.ac.uk