| Apache storm vs. apache spark K Ballou | 7 | 2014 |
| Incremental Transitive Closure for Zonal Abstract Domain K Ballou, E Sherman NASA Formal Methods Symposium, 800-808, 2022 | 3 | 2022 |
| Learning Elixir K Ballou Packt Publishing Ltd, 2016 | 2 | 2016 |
| Opencuda+ mpi K Ballou, N Mohammad Mousa | 2 | 2013 |
| Identifying minimal changes in the zone abstract domain K Ballou, E Sherman International Symposium on Theoretical Aspects of Software Engineering, 221-239, 2023 | 1 | 2023 |
| muRelBench: MicroBenchmarks for Zonotope Domains K Ballou, E Sherman arXiv preprint arXiv:2404.16243, 2024 | | 2024 |
| Minimally Comparing Relational Abstract Domains K Ballou, E Sherman International Symposium on Automated Technology for Verification and …, 2023 | | 2023 |
Elena ShermanBoise State UniversityEmail verificata su boisestate.edu
