Alex Rice

According to our database, Alex Rice authored at least 8 papers between 2014 and 2024.

Collaborative distances:

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

2024

A Syntax for Strictly Associative and Unital ∞-Categories.

Eric Finster, Alex Rice, Jamie Vicary

Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science, 2024

2023

Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory.

Eric Finster, Alex Rice, Jamie Vicary

CoRR, 2023

2022

Reciprocal Sums and Counting Functions.

Alex Rice

Am. Math. Mon., 2022

A Type Theory for Strictly Unital ∞-Categories.

Eric Finster, David Reutter, Jamie Vicary, Alex Rice

Proceedings of the LICS '22: 37th Annual ACM/IEEE Symposium on Logic in Computer Science, Haifa, Israel, August 2, 2022

2021

A Type Theory for Strictly Associative Infinity Categories.

Eric Finster, Alex Rice, Jamie Vicary

CoRR, 2021

2015

A Quantitative Result on Diophantine Approximation for Intersective Polynomials.

Neil Lyall, Alex Rice

Integers, 2015

2014

Computation on elliptic curves with complex multiplication.

Pete L. Clark, Patrick Corn, Alex Rice, James Stankewicz

LMS J. Comput. Math., 2014

Analyzing Forged SSL Certificates in the Wild.

Lin-Shung Huang, Alex Rice, Erling Ellingsen, Collin Jackson

Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014