Alexey Ignatiev
Scholar

Alexey Ignatiev

Google Scholar ID: CkHZ6fMAAAAJ
Associate Professor, Monash University
SatisfiabilityComputational LogicAutomated ReasoningArtificial IntelligenceExplainability
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
3,750
 
H-index
30
 
i10-index
64
 
Publications
20
 
Co-authors
56
list available
Contact
Emailalexey.ignatiev@monash.eduCVOpen ↗GitHubOpen ↗
Publications
6 items
Rigorous Explanations for Tree Ensembles
2026
Cited
0
A Formal Framework for the Explanation of Finite Automata Decisions
2026
Cited
0
Uncovering Bugs in Formal Explainers: A Case Study with PyXAI
2025
Cited
0
Efficient & Correct Predictive Equivalence for Decision Trees
2025
Cited
0
Most General Explanations of Tree Ensembles
2025
Cited
0
Distance-Restricted Explanations: Theoretical Underpinnings & Efficient Implementation
International Conference on Principles of Knowledge Representation and Reasoning · 2024
Cited
4
Resume (English only)
Co-authors
56 total
Joao Marques-Silva
Joao Marques-Silva
Research Professor, ICREA, University of Lleida
Co-author 2
Co-author 2
Nina Narodytska
Nina Narodytska
VMware Research
Peter Stuckey
Peter Stuckey
Faculty of Information Technology, Monash University
Yacine IZZA
Yacine IZZA
National University of Singapore
Martin Cooper
Martin Cooper
Professor of Computer Science, IRIT, University of Toulouse
Co-author 7
Co-author 7
Co-author 8
Co-author 8