VLDB 2026 Research / reviewers in the wild / expert
Manar Altamimi
dblp:324/8496
· DBLP profile ↗
2ranked-venue papers
2as first author
2since 2021 · last 2025
0000-0002-8789-3950ORCID · corroborated
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 first-author · 2 since 2021Theory of computation · 2 · 2 first-author · 2 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Formal Modeling of Trust in Autonomous Delivery Vehicles
Manar Altamimi, Asieh Salehi Fathabadi, Vahid Yazdanpanah |
iFM | 1 |
| 2024 | Property Ownership Formal Modelling Using Event-B and iUML-B
Manar Altamimi, Nawfal F. Al Hashimy, Asieh Salehi Fathabadi, Gary B. Wills |
ABZ | 1 |