Leonid A. Levin
Orcid: 0000000232075176Affiliations:
 Boston University, MA, USA
According to our database^{1},
Leonid A. Levin
authored at least 55 papers
between 1977 and 2023.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:

on zbmath.org

on id.loc.gov

on cs.bu.edu

on dl.acm.org
On csauthors.net:
Bibliography
2023
Invited Paper: How Do Humans Succeed in Tasks Like Proving Fermat's Theorem or Predicting the Higgs Boson?
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023
2022
Theor. Comput. Sci., 2022
How do humans succeed in tasks like proving Fermat's Theorem or predicting the Higgs boson?
CoRR, 2022
CoRR, 2022
2021
CoRR, 2021
Proceedings of the STOC '21: 53rd Annual ACM SIGACT Symposium on Theory of Computing, 2021
2020
CoRR, 2020
2018
Comb. Probab. Comput., 2018
2016
Ann. Pure Appl. Log., 2016
2014
CoRR, 2014
2013
J. ACM, 2013
2012
CoRR, 2012
CoRR, 2012
Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, 2012
Proceedings of the 53rd Annual IEEE Symposium on Foundations of Computer Science, 2012
2011
Proceedings of the Algorithmic Probability and Friends. Bayesian Prediction and Artificial Intelligence, 2011
Proceedings of the Studies in Complexity and Cryptography. Miscellanea on the Interplay between Randomness and Computation, 2011
2010
Some Theorems on the Algorithmic Approach to Probability Theory and Information Theory
CoRR, 2010
Some theorems on the algorithmic approach to probability theory and information theory: (1971 Dissertation directed by A.N. Kolmogorov).
Ann. Pure Appl. Log., 2010
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2010
2008
J. Symb. Log., 2008
Proceedings of the Pillars of Computer Science, 2008
2006
Proceedings of the STACS 2006, 2006
2005
J. Cryptol., 2005
CoRR, 2005
Comput. J., 2005
2003
Probl. Inf. Transm., 2003
2001
CoRR, 2001
2000
Theor. Comput. Sci., 2000
CoRR, 2000
CoRR, 2000
1999
SIAM J. Comput., 1999
Comput. J., 1999
1997
SIGACT News, 1997
1996
Theor. Comput. Sci., 1996
SIGACT News, 1996
1995
SIGACT News, 1995
Electron. Colloquium Comput. Complex., 1995
1994
Proceedings of the 35th Annual Symposium on Foundations of Computer Science, 1994
1991
SIGACT News, 1991
Proceedings of the 23rd Annual ACM Symposium on Theory of Computing, 1991
1990
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
Proceedings of the 31st Annual Symposium on Foundations of Computer Science, 1990
Proceedings of the Advances in Cryptology, 1990
1989
Proceedings of the 21st Annual ACM Symposium on Theory of Computing, 1989
Proceedings of the 21st Annual ACM Symposium on Theory of Computing, 1989
Proceedings of the 30th Annual Symposium on Foundations of Computer Science, Research Triangle Park, North Carolina, USA, 30 October, 1989
1988
Proceedings of the 20th Annual ACM Symposium on Theory of Computing, 1988
Proceedings of the 29th Annual Symposium on Foundations of Computer Science, 1988
1987
Comb., 1987
1986
SIAM J. Comput., 1986
1984
Randomness Conservation Inequalities; Information and Independence in Mathematical Theories
Inf. Control., April, 1984
Proceedings of the 16th Annual ACM Symposium on Theory of Computing, April 30, 1984
1982
Proceedings of the 23rd Annual Symposium on Foundations of Computer Science, 1982
1977
Proceedings of the Mathematical Foundations of Computer Science 1977, 1977