| 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 | 14 | 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 | 9 | 2018 |
| 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 | 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 |
| Symbolic reachability analysis of high dimensional max-plus linear systems MS Mufid, D Adzkiya, A Abate IFAC-PapersOnLine 53 (4), 459-465, 2020 | 7 | 2020 |
| Buku Guru Matematika untuk SMP/MTs Kelas IX W Subchan, MS Mufid, K Fahim, WH Syaifudin Jakarta: Pusat Kurikulum dan Perbukuan, Balitbang, Kemendikbud, 2018 | 7 | 2018 |
| 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 | 6 | 2020 |
| Eigenvalues and eigenvectors of latin squares in max-plus algebra MS Mufid Journal of the Indonesian Mathematical Society, 37-45, 2014 | 6 | 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 | 5 | 2021 |
| Matematika: Buku Guru/Kementerian Pendidikan dan Kebudayaan W Subchan, MS Mufid, K Fahim, WH Syaifudin Jakarta: Kementerian Pendidikan dan Kebudayaan, 2018 | 5 | 2018 |
| Matematika SMP/MTs Kelas IX W Subchan, M Mufid, K Fahim, W Syaifudin Pusat Kurikulum dan Perbukuan, Balitbang, Kemendikbud, 2018 | 4 | 2018 |
| On the Lagrange interpolation of Fibonacci sequence MS Mufid, T Asfihani, L Hanafi (IJCSAM) International Journal of Computing Science and Applied Mathematics …, 2016 | 4 | 2016 |
| 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 |
| 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 | 2 | 2024 |
| SMT-based model checking of max-plus linear systems MSU Mufid, A Micheli, A Abate, A Cimatti Schloss Dagstuhl, 2021 | 2 | 2021 |
| 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 | 1 | 2024 |
| Solving linear equations over maxmin-ω systems MS Mufid, E Patel, S Sergeev Linear Algebra and its Applications 681, 21-46, 2024 | 1 | 2024 |
| On the maxmin- eigenspaces and their over-approximation by zones MS Mufid, E Patel, S Sergeev arXiv preprint arXiv:2407.16778, 2024 | | 2024 |
| On the maxmin- eigenspaces and their over-approximation by zones M Syifa'ul Mufid, E Patel, S Sergeev arXiv e-prints, arXiv: 2407.16778, 2024 | | 2024 |
| Control Design of Autonomous Cars Using Satisfiability Modulo Theory MN Hidayati, FS Saputri, MSU Mufid, D Adzkiya 2023 International Conference on Advanced Mechatronics, Intelligent …, 2023 | | 2023 |
Alessandro AbateProfessor of Verification and Control, University of Oxford, UK在 cs.ox.ac.uk 的电子邮件经过验证
