Katalin Fazekas
Orcid: 0000-0002-0497-3059Affiliations:
- TU Wien, Vienna, Austria
According to our database1,
Katalin Fazekas
authored at least 15 papers
between 2016 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
1
3
3
1
1
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024
Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Dataset, June, 2023
Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023
SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols.
Proceedings of the Formal Methods in Computer-Aided Design, 2023
Proceedings of the Automated Deduction - CADE 29, 2023
2021
Proceedings of the Formal Methods in Computer Aided Design, 2021
2020
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020
2019
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2019, 2019
2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
Proceedings of the Tests and Proofs - 11th International Conference, 2017
2016
Proceedings of the 18th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, 2016