Academic article

• Mahmood, Bilal; Elahi, Mehdi; Vadiee, Farhad et al. (2025). A Supervised Machine Learning Approach for Supporting Editorial Article Selection. (external link)
• Oliveira, Mateus De Oliveira; Vadiee, Farhad (2024). State Canonization and Early Pruning in Width-Based Automated Theorem Proving. (external link)
• Oliveira, Mateus De Oliveira; Vadiee, Farhad (2023). From Width-Based Model Checking to Width-Based Automated Theorem Proving. (external link)
• Andino, Fidel Ernesto Diaz; Kokkou, Maria; Oliveira, Mateus De Oliveira et al. (2021). Unitary Branching Programs: Learnability and Lower Bounds. (external link)

Poster

• Mahmood, Bilal; Elahi, Mehdi; Vadiee, Farhad et al. (2024). A Supervised Machine Learning Approach for Supporting Editorial Article Selection. (external link)

Article in business/trade/industry journal

• Arrighi, Emmanuel Jean Paul Pierre; Drange, Pål Grønås; Langedal, Kenneth et al. (2023). PACE Solver Description: Zygosity. (external link)

See a complete overview of publications in Cristin.