VLDB 2026 Research / reviewers in the wild / expert
Elif Deniz
dblp:326/5037
· DBLP profile ↗
3ranked-venue papers
3as first author
3since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 3 · 3 first-author · 3 since 2021Theory of computation · 2 · 2 first-author · 2 since 2021Artificial intelligence and machine learning · 1 · 1 first-author · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2024 | Formalizing Potential Flows Using the HOL Light Theorem Prover
Elif Deniz, Sofiène Tahar |
ICFEM | 1 |
| 2024 | Formal Verification of Coupled Transmission Lines using Theorem Proving
Elif Deniz, Adnan Rashid, Sofiène Tahar |
VECoS | 1 |
| 2022 | On the Formalization of the Heat Conduction Problem in HOL
Elif Deniz, Adnan Rashid, Osman Hasan, Sofiène Tahar |
CICM | 1 |