1. Florent Avellaneda , Silvano Dal Zilio , and Jean-Baptiste Raclet . 2016 . Solving Language Equations Using Flanked Automata. In International Symposium on Automated Technology for Verification and Analysis. 106--121 . Florent Avellaneda, Silvano Dal Zilio, and Jean-Baptiste Raclet. 2016. Solving Language Equations Using Flanked Automata. In International Symposium on Automated Technology for Verification and Analysis. 106--121.
2. Robert K. Brayton and Alan Mishchenko . 2010 . ABC : An Academic Industrial-Strength Verification Tool . In Proceedings of the International Conference on Computer Aided Verification. 24--40. Robert K. Brayton and Alan Mishchenko. 2010. ABC: An Academic Industrial-Strength Verification Tool. In Proceedings of the International Conference on Computer Aided Verification. 24--40.
3. Combinational profiles of sequential benchmark circuits
4. On equations for regular languages, finite automata, and sequential networks
5. Alternation