William Kretschmer
Orcid: 0000-0002-7784-9817Affiliations:
- University of Texas at Austin, TX, USA
According to our database1,
William Kretschmer
authored at least 19 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
-
on dl.acm.org
On csauthors.net:
Bibliography
2024
Proceedings of the 56th Annual ACM Symposium on Theory of Computing, 2024
2023
Electron. Colloquium Comput. Complex., 2023
CoRR, 2023
Proceedings of the 18th Conference on the Theory of Quantum Computation, 2023
Proceedings of the 55th Annual ACM Symposium on Theory of Computing, 2023
Proceedings of the 14th Innovations in Theoretical Computer Science Conference, 2023
2021
Proceedings of the 16th Conference on the Theory of Quantum Computation, 2021
2020
Proceedings of the 61st IEEE Annual Symposium on Foundations of Computer Science, 2020
2019
Electron. Colloquium Comput. Complex., 2019
Electron. Colloquium Comput. Complex., 2019
2018
Proceedings of the International Conference on Artificial Intelligence and Statistics, 2018
2016
Structured Factored Inference: A Framework for Automated Reasoning in Probabilistic Programming Languages.
CoRR, 2016