EDBT 2026 Demo / reviewers in the wild / expert
Neta Bar Kama
dblp:308/2134
· DBLP profile ↗
3ranked-venue papers
1as first author
3since 2021 · last 2025
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 3 · 1 first-author · 3 since 2021Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Timed causal fanin analysis for symbolic simulation
Roope Kaivola, Neta Bar Kama |
Formal Methods Syst. Des. | 2 |
| 2022 | Timed Causal Fanin Analysis for Symbolic Circuit Simulation
Roope Kaivola, Neta Bar Kama |
FMCAD | 2 |
| 2021 | Hardware Security Leak Detection by Symbolic Simulation
Neta Bar Kama, Roope Kaivola |
FMCAD | 1 |