Statistics
Publications
3
Citations
55
H-Index
3
Active since
2018
Affiliations
Uppsala University(Current)
Aleksandar Zeljić is an author at Uppsala University specializing in computer engineering, verification, and formal verification.
Publications per year
2018–2020
3
3
Parallelization Techniques for Verifying Neural Networks
Haoze Wu, Alex Ozdemir, Aleksandar Zeljić et al. · arXiv (Cornell University) · 2020 · 24 citations · Full text
Parallelization Techniques for Verifying Neural Networks
Haoze Wu, Alex Ozdemir, Aleksandar Zeljić et al. · reposiTUm (TU Wien) · 2020 · 18 citations · Full text
Rows per page
1–3 of 3