Ammar Fathin Sabili

According to our database, Ammar Fathin Sabili authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

A Bisection Approach to Subcubic Maximum Induced Matching.

Gordon Hoi, Sanjay Jain, Ammar Fathin Sabili, Frank Stephan

Proceedings of the WALCOM: Algorithms and Computation, 2024

2023

Addition machines, automatic functions and open problems of Floyd and Knuth.

Sanjay Jain, Xiaodong Jia, Ammar Fathin Sabili, Frank Stephan

J. Comput. Syst. Sci., 2023

2022

A computation model with automatic functions and relations as primitive operations.

Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan

Theor. Comput. Sci., 2022

An Exact Algorithm for finding Maximum Induced Matching in Subcubic Graphs.

Gordon Hoi, Ammar Fathin Sabili, Frank Stephan

CoRR, 2022

Alternating Automatic Register Machines.

Ziyuan Gao, Sanjay Jain, Zeyong Li, Ammar Fathin Sabili, Frank Stephan

Proceedings of the Theoretical Aspects of Computing - ICTAC 2022, 2022

2020

Induction Models on \mathbb{N}.

A. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili

CoRR, 2020

Induction Models on N.

A. Dileep, Kuldeep S. Meel, Ammar Fathin Sabili

Proceedings of the LPAR 2020: 23rd International Conference on Logic for Programming, 2020