C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Alex Rice
Publication Activity (10 Years)
Years Active: 2014-2023
Publications (10 Years): 5
Top Topics
Set Theoretic
Theoretical Basis
Metadata
General Theory
Top Venues
CoRR
Integers
IEEE Symposium on Security and Privacy
LICS
</>
Publications
</>
Eric Finster
,
Alex Rice
,
Jamie Vicary
Strictly Associative and Unital $\infty$-Categories as a Generalized Algebraic Theory.
CoRR
(2023)
Eric Finster
,
David Reutter
,
Jamie Vicary
,
Alex Rice
A Type Theory for Strictly Unital ∞-Categories.
LICS
(2022)
Alex Rice
Reciprocal Sums and Counting Functions.
Am. Math. Mon.
129 (10) (2022)
Eric Finster
,
Alex Rice
,
Jamie Vicary
A Type Theory for Strictly Associative Infinity Categories.
CoRR
(2021)
Neil Lyall
,
Alex Rice
A Quantitative Result on Diophantine Approximation for Intersective Polynomials.
Integers
(2015)
Lin-Shung Huang
,
Alex Rice
,
Erling Ellingsen
,
Collin Jackson
Analyzing Forged SSL Certificates in the Wild.
IEEE Symposium on Security and Privacy
(2014)