Induction Models on N. - A. Dileep; Kuldeep S. Meel; Ammar Fathin Sabili (LPAR, 2020)

Induction Models on mathbb{N}. - A. Dileep; Kuldeep S. Meel; Ammar Fathin Sabili (CoRR, 2020)

Alternating Automatic Register Machines. - Ziyuan Gao; Sanjay Jain 001; Zeyong Li; Ammar Fathin Sabili; Frank Stephan 001 (ICTAC, 2022)

An Exact Algorithm for finding Maximum Induced Matching in Subcubic Graphs. - Gordon Hoi; Ammar Fathin Sabili; Frank Stephan 001 (CoRR, 2022)

A computation model with automatic functions and relations as primitive operations. - Ziyuan Gao; Sanjay Jain 001; Zeyong Li; Ammar Fathin Sabili; Frank Stephan 001 (Theor. Comput. Sci., 2022)

Addition machines, automatic functions and open problems of Floyd and Knuth. - Sanjay Jain 001; Xiaodong Jia; Ammar Fathin Sabili; Frank Stephan 001 (J. Comput. Syst. Sci., 2023)

A Bisection Approach to Subcubic Maximum Induced Matching. - Gordon Hoi; Sanjay Jain 001; Ammar Fathin Sabili; Frank Stephan 001 (WALCOM, 2024)