Robert Shadowen

Publication Activity (10 Years)

Years Active: 2012-2014
Publications (10 Years): 0

Top Topics

Cellular Automata

Error Correcting

Algebraic Geometry

Top Venues

Formal Methods Syst. Des.

Publications

Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein
Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry. Formal Methods Syst. Des. 45 (2) (2014)
Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein
Formal verification of error correcting circuits using computational algebraic geometry. FMCAD (2012)