Irina Ilioaea

Publication Activity (10 Years)

Years Active: 2016-2021
Publications (10 Years): 6

Top Topics

Multibaseline Stereo

Computer Algebra

Asynchronous Circuits

Numerically Stable

Top Venues

Publications

Vikas Rao, Irina Ilioaea, Haden Ondricek, Priyank Kalla, Florian Enescu
Word-Level Multi-Fix Rectifiability of Finite Field Arithmetic Circuits. ISQED (2021)
Utkarsh Gupta, Priyank Kalla, Irina Ilioaea, Florian Enescu
Exploring Algebraic Interpolants for Rectification of Finite Field Arithmetic Circuits with Gröbner Bases. ETS (2019)
Utkarsh Gupta, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, Florian Enescu
On the Rectifiability of Arithmetic Circuits using Craig Interpolants in Finite Fields. VLSI-SoC (2018)
Utkarsh Gupta, Irina Ilioaea, Vikas Rao, Arpitha Srinath, Priyank Kalla, Florian Enescu
Rectification of Arithmetic Circuits with Craig Interpolants in Finite Fields. VLSI-SoC (Selected Papers) (2018)
Vikas Rao, Utkarsh Gupta, Irina Ilioaea, Arpitha Srinath, Priyank Kalla, Florian Enescu
Post-Verification Debugging and Rectification of Finite Field Arithmetic Circuits using Computer Algebra Techniques. FMCAD (2018)
Xiaojun Sun, Irina Ilioaea, Priyank Kalla, Florian Enescu
Finding Unsatisfiable Cores of a Set of Polynomials Using the Gröbner Basis Algorithm. CP (2016)