Aleksandar Zeljic
Orcid: 0000-0003-0673-9327
According to our database1,
Aleksandar Zeljic
authored at least 13 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
1
1
1
1
1
1
1
2
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Proceedings of the Computer Aided Verification - 36th International Conference, 2024
2023
Mach. Learn., October, 2023
2022
Dataset, February, 2022
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022
2021
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic.
Formal Methods Syst. Des., 2021
2020
Proceedings of the 2020 Formal Methods in Computer Aided Design, 2020
2019
Proceedings of the Computer Aided Verification - 31st International Conference, 2019
2018
Proceedings of the 2018 Formal Methods in Computer Aided Design, 2018
Proceedings of the Automated Reasoning - 9th International Joint Conference, 2018
2017
From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data Types.
PhD thesis, 2017
J. Autom. Reason., 2017
2016
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016
2014
Proceedings of the Automated Reasoning - 7th International Joint Conference, 2014