The marabou framework for verification and analysis of deep neural networks G Katz, DA Huang, D Ibeling, K Julian, C Lazarus, R Lim, P Shah, ... International Conference on Computer Aided Verification, 443-452, 2019 | 588 | 2019 |

Parallelization techniques for verifying neural networks H Wu, A Ozdemir, A Zeljić, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ... 2020 Formal Methods in Computer Aided Design (FMCAD), 128-137, 2020 | 59 | 2020 |

Deciding Bit-Vector Formulas with mcSAT A Zeljić, CM Wintersteiger, P Rümmer International Conference on Theory and Applications of Satisfiability …, 2016 | 40 | 2016 |

Efficient Neural Network Analysis with Sum-of-Infeasibilities H Wu, A Zeljić, G Katz, C Barrett International Conference on Tools and Algorithms for the Construction and …, 2022 | 35 | 2022 |

Global optimization of objective functions represented by ReLU networks CA Strong, H Wu, A Zeljić, KD Julian, G Katz, C Barrett, MJ Kochenderfer Machine Learning, 1-28, 2021 | 35 | 2021 |

Bit-vector interpolation and quantifier elimination by lazy reduction P Backeman, P Rummer, A Zeljic 2018 Formal Methods in Computer Aided Design (FMCAD), 1-10, 2018 | 25 | 2018 |

An Approximation Framework for Solvers and Decision Procedures A Zeljić, CM Wintersteiger, P Rümmer Journal of Automated Reasoning 58 (1), 127-147, 2017 | 18 | 2017 |

Exploring Approximations for Floating-Point Arithmetic Using *UppSAT*A Zeljić, P Backeman, CM Wintersteiger, P Rümmer International Joint Conference on Automated Reasoning, 246-262, 2018 | 16 | 2018 |

Approximations for Model Construction A Zeljić, CM Wintersteiger, P Rümmer International Joint Conference on Automated Reasoning, 344-359, 2014 | 15 | 2014 |

Parallelization techniques for verifying neural networks. In 2020 Formal Methods in Computer Aided Design, FMCAD 2020, Haifa, Israel, September 21-24, 2020 (2020) H Wu, A Ozdemir, A Zeljic, K Julian, A Irfan, D Gopinath, S Fouladi, G Katz, ... IEEE, 2020 | 5* | 2020 |

Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic P Backeman, P Rümmer, A Zeljić Formal Methods in System Design, 1-36, 2021 | 4 | 2021 |

Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction. In 2018 Formal Methods in Computer Aided Design, FMCAD 2018, Austin, TX, USA, October 30-November 2, 2018 … P Backeman, P Rümmer, A Zeljic IEEE, 2018 | 3 | 2018 |

From Machine Arithmetic to Approximations and back again: Improved SMT Methods for Numeric Data Types A Zeljić Acta Universitatis Upsaliensis, 2017 | 3 | 2017 |

Approximations and abstractions for reasoning about machine arithmetic A Zeljic Uppsala University, 2016 | 1 | 2016 |

Rešavanje NP-kompletnih problema svodjenjem A Zeljić MATEMATIČKI FAKULTET UNIVERZITETA U BEOGRADU, 2011 | | 2011 |