# Gabriel Ebner

Orcid: 0000-0003-4057-9574
According to our database

Collaborative distances:

^{1}, Gabriel Ebner authored at least 16 papers between 2016 and 2024.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Dataset Other## Links

#### On csauthors.net:

## Bibliography

2024

CoRR, 2024

Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2024

2023

J. Autom. Reason., June, 2023

CoRR, 2023

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Proceedings of the Advances in Neural Information Processing Systems 35: Annual Conference on Neural Information Processing Systems 2022, 2022

2021

Proceedings of the Automated Deduction - CADE 28, 2021

2020

Proceedings of the Intelligent Computer Mathematics - 13th International Conference, 2020

2019

J. Autom. Reason., 2019

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2019

2018

Proceedings of the Proceedings Seventh International Workshop on Classical Logic and Computation, 2018

Proceedings of the Developments in Language Theory - 22nd International Conference, 2018

Proceedings of the 6th Workshop on Practical Aspects of Automated Reasoning co-located with Federated Logic Conference 2018 (FLoC 2018), 2018

2017

ACM Trans. Comput. Log., 2017

Proc. ACM Program. Lang., 2017

2016

Proceedings of the Automated Reasoning - 8th International Joint Conference, 2016