Woodrow Gamboa

According to our database, Woodrow Gamboa authored at least 3 papers between 2020 and 2022.

Collaborative distances:

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

2022

All Prime Numbers Have Primitive Roots.

Ruben Gamboa, Woodrow Gamboa

Proceedings of the Proceedings Seventeenth International Workshop on the ACL2 Theorem Prover and its Applications, 2022

2021

Jangseung: A Guardian for Machine Learning Algorithms to Protect Against Poisoning Attacks.

Shaya Wolf, Woodrow Gamboa, Mike Borowczak

Proceedings of the IEEE International Smart Cities Conference, 2021

2020

Quadratic Extensions in ACL2.

Ruben Gamboa, John R. Cowles, Woodrow Gamboa

Proceedings of the Sixteenth International Workshop on the ACL2 Theorem Prover and its Applications, 2020