Robert Shadowen

According to our database, Robert Shadowen authored at least 2 papers between 2012 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Verification of Galois field based circuits by formal reasoning based on computational algebraic geometry.

Alexey Lvov, Luis Alfonso Lastras-Montaño, Barry M. Trager, Viresh Paruthi, Robert Shadowen, Ali El-Zein

Formal Methods Syst. Des., 2014

2012

Formal verification of error correcting circuits using computational algebraic geometry.

Alexey Lvov, Luis Alfonso Lastras-Montaño, Viresh Paruthi, Robert Shadowen, Ali El-Zein

Proceedings of the Formal Methods in Computer-Aided Design, 2012