Alex Rice

According to our database¹, Alex Rice authored at least 7 papers between 2014 and 2023.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2023

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

[BibT_eX]

[DOI]

Eric Finster

Alex Rice

Jamie Vicary

CoRR, 2023

2022

Reciprocal Sums and Counting Functions.

[BibT_eX]

[DOI]

Alex Rice

Am. Math. Mon., 2022

A Type Theory for Strictly Unital ∞-Categories.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Eric Finster

Alex Rice

Jamie Vicary

CoRR, 2021

2015

A Quantitative Result on Diophantine Approximation for Intersective Polynomials.

[BibT_eX]

[DOI]

Neil Lyall

Alex Rice

Integers, 2015

2014

Computation on elliptic curves with complex multiplication.

[BibT_eX]

[DOI]

LMS J. Comput. Math., 2014

Analyzing Forged SSL Certificates in the Wild.

[BibT_eX]

[DOI]

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

Alex Rice

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...