Irina Ilioaea

According to our database1, Irina Ilioaea authored at least 6 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Word-Level Multi-Fix Rectifiability of Finite Field Arithmetic Circuits.
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
Rectification of Arithmetic Circuits with Craig Interpolants in Finite Fields.
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


  Loading...