Fabian Huch
Orcid: 0000-0002-9418-1580
According to our database1,
Fabian Huch
authored at least 10 papers
between 2018 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the 15th International Conference on Interactive Theorem Proving, 2024
2023
Proceedings of the Intelligent Computer Mathematics - 16th International Conference, 2023
2022
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs.
CoRR, 2022
Proceedings of the Workshop on Practical Aspects of Automated Reasoning Co-located with the 11th International Joint Conference on Automated Reasoning (FLoC/IJCAR 2022), Haifa, Israel, August, 11, 2022
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
Formal Entity Graphs as Complex Networks: Assessing Centrality Metrics of the Archive of Formal Proofs.
Proceedings of the Intelligent Computer Mathematics - 15th International Conference, 2022
2021
Structure in Theorem Proving: Analyzing and Improving the Isabelle Archive of Formal Proofs - Extended Abstract (short paper).
Proceedings of the Joint Proceedings of the FMM, FVPS, MathUI,NatFoM, and OpenMath Workshops, Doctoral Program, and Work in Progress at the Conference on Intelligent Computer Mathematics 2021 co-located with the 14th Conference on Intelligent Computer Mathematics (CICM 2021), Virtual Event, Timisoara, Romania, July 26, 2021
2018
Machine learning-based run-time anomaly detection in software systems: An industrial evaluation.
Proceedings of the 2018 IEEE Workshop on Machine Learning Techniques for Software Quality Evaluation, 2018