Indlæser...
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Henvisninger pr. år
Dublerede henvisninger
Følgende artikler er flettet i Scholar. Deres
samlede henvisninger
tæller kun for den første artikel.
Flettede henvisninger
Antallet under "Citeret af" inkluderer henvisninger fra følgende artikler i Scholar. Dem, der er markeret med
*
, kan afvige fra artiklen i profilen.
Tilføj medforfattere
Medforfattere
Følg
Nye artikler af denne forfatter
Nye henvisninger til denne forfatter
Nye artikler relateret til denne forfatters videnskabelige undersøgelser
Mailadresse til opdateringer
Udfør
Min profil
Min samling
Metrics
Underretninger
Indstillinger
Log ind
Log ind
Få min egen profil
Citeret af
Se alle
Alle
Siden 2019
Henvisninger
15
5
h-index
2
1
i10-indeks
0
0
0
4
2
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
2
3
3
2
1
3
1
Offentlig adgang
Se alle
Se alle
1 artikel
0 artikler
tilgængelige
ikke tilgængelige
Baseret på krav i forbindelse med finansiering
Medforfattere
Elena Sherman
Boise State University
Verificeret mail på boisestate.edu
Følg
Kenny Ballou
Boise State University
Verificeret mail på u.boisestate.edu -
Startside
Software Engineering
Programming Languages
Static Analysis
Formal Methods
Artikler
Citeret af
Offentlig adgang
Medforfattere
Titel
Sortér
Sortér efter henvisninger
Sortér efter årstal
Sortér efter titel
Citeret af
Citeret af
År
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
Systemet kan ikke foretage handlingen nu. Prøv igen senere.
Artikler 1–7
Vis flere
Privatliv
Vilkår
Hjælp
Om Scholar
Søg i Hjælp