Ali Abbassi

According to our database, Ali Abbassi authored at least 7 papers between 2018 and 2026.

Collaborative distances:

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

2026

Quantum Approaches to the Minimum Edge Multiway Cut Problem.

Ali Abbassi, Yann Dujardin, Eric Gourdin, Philippe Lacomme, Caroline Prodhon

CoRR, January, 2026

2025

Variational Quantum Brushes.

Jui-Ting Lu, Henrique Ennes, Chih-Kang Huang, Ali Abbassi

CoRR, December, 2025

Success probability in Shor's Algorithm.

Ali Abbassi, Lionel Bayle

CoRR, May, 2025

Assessing Quantum Annealing to solve the Minimum vertex multicut.

Ali Abbassi, Yann Dujardin, Eric Gourdin, Philippe Lacomme, Caroline Prodhon

Proceedings of the 11th International Conference on Control, 2025

2020

Transitive-closure-based model checking (TCMC) in Alloy.

Sabria Farheen, Nancy A. Day, Amirhossein Vakili, Ali Abbassi

Softw. Syst. Model., 2020

2019

Astra Version 1.0: Evaluating Translations from Alloy to SMT-LIB.

Ali Abbassi, Nancy A. Day, Derek Rayside

CoRR, 2019

2018

A Comparison of the Declarative Modelling Languages B, Dash, and TLA⁺.

Ali Abbassi, Amin Bandali, Nancy A. Day, José Serna

Proceedings of the 8th IEEE International Model-Driven Requirements Engineering Workshop, 2018