Irina Ilioaea
According to our database1,
Irina Ilioaea
authored at least 6 papers
between 2016 and 2021.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2021
Proceedings of the 22nd International Symposium on Quality Electronic Design, 2021
2019
Exploring Algebraic Interpolants for Rectification of Finite Field Arithmetic Circuits with Gröbner Bases.
Proceedings of the 24th IEEE European Test Symposium, 2019
2018
Proceedings of the VLSI-SoC: Design and Engineering of Electronics Systems Based on New Computing Paradigms, 2018
On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields.
Proceedings of the IFIP/IEEE International Conference on Very Large Scale Integration, 2018
Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques.
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
2016
Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm.
Proceedings of the Principles and Practice of Constraint Programming, 2016