Alternating automatic register machines Z Gao, S Jain, Z Li, AF Sabili, F Stephan Theoretical Aspects of Computing–ICTAC 2022: 19th International Colloquium …, 2022 | 1 | 2022 |
A computation model with automatic functions and relations as primitive operations Z Gao, S Jain, Z Li, AF Sabili, F Stephan Theoretical Computer Science 924, 94-116, 2022 | 1 | 2022 |
Addition machines, automatic functions and open problems of Floyd and Knuth S Jain, X Jia, AF Sabili, F Stephan Journal of Computer and System Sciences 136, 135-156, 2023 | | 2023 |
An Exact Algorithm for finding Maximum Induced Matching in Subcubic Graphs G Hoi, AF Sabili, F Stephan arXiv preprint arXiv:2201.03220, 2022 | | 2022 |
Induction Models on\mathbb {N} A Dileep, KS Meel, AF Sabili arXiv preprint arXiv:2008.06410, 2020 | | 2020 |
Intelligent agents via joint tabling of logic program abduction and updating AF Sabili, A Saptawijaya, LM Pereira 2017 International Conference on Advanced Computer Science and Information …, 2017 | | 2017 |