Anne Parrain

3 papers and 176 indexed citations i.

Anne Parrain has authored 3 papers that have received a total of 176 indexed citations. This includes 3 papers in Artificial Intelligence, 2 papers in Computational Theory and Mathematics and 1 paper in Information Systems. The topics of these papers are Advanced Algebra and Logic (1 paper), Algorithms and Data Compression (1 paper) and Formal Methods in Verification (1 paper). Anne Parrain is often cited by papers focused on Advanced Algebra and Logic (1 paper), Algorithms and Data Compression (1 paper) and Formal Methods in Verification (1 paper) and collaborates with scholars based in France. Anne Parrain's co-authors include Jörg Würtz, Daniel Le Berre and Olivier Roussel and has published in prestigious journals such as The Journal of Logic Programming