Ali Shamakhi

According to our database, Ali Shamakhi authored at least 2 papers between 2019 and 2021.

Collaborative distances:

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

2021

Towards String Support in JayHorn (Competition Contribution).

Ali Shamakhi, Hossein Hojjat, Philipp Rümmer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2021

2019

On Strings in Software Model Checking.

Hossein Hojjat, Philipp Rümmer, Ali Shamakhi

Proceedings of the Programming Languages and Systems - 17th Asian Symposium, 2019