Alex Rice

Orcid: 0000-0002-2698-5122

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A Syntax for Strictly Associative and Unital ∞-Categories.
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.
CoRR, 2023

2022
Reciprocal Sums and Counting Functions.
Am. Math. Mon., 2022

A Type Theory for Strictly Unital ∞-Categories.
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.
CoRR, 2021

2015
A Quantitative Result on Diophantine Approximation for Intersective Polynomials.
Integers, 2015

2014
Computation on elliptic curves with complex multiplication.
LMS J. Comput. Math., 2014

Analyzing Forged SSL Certificates in the Wild.
Proceedings of the 2014 IEEE Symposium on Security and Privacy, 2014


  Loading...