Vitenskapelig artikkel

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

Poster

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

Fagartikkel

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

Se en full oversikt over publikasjoner i Cristin