VLDB 2026 Research / reviewers in the wild / expert
Li-on Raviv
dblp:24/6775
· DBLP profile ↗
4ranked-venue papers
1as first author
1since 2021 · last 2025
0000-0001-7526-7357ORCID · reported
Domains — the database's venue-derived domains; a paper can count in several
Theory of computation · 2Computer networks · 1 · 1 first-authorSecurity and privacy · 1 · 1 since 2021
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Computer networks
1 paper |
Network performance modeling · 44% Wireless networking · 44% Network optimization and economics · 13% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 50% Logic in computer science · 50% |
Topics — the 5 heaviest of 5, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Wireless networking › scheduling › real-time scheduling
deadline-aware scheduling |
0.3 | 1 | 2018 | Maximizing Service Reward for Queues With Deadlines · IEEE/ACM Trans. Netw. 2018 |
Network performance modeling
queueing analysis |
0.3 | 1 | 2018 | Maximizing Service Reward for Queues With Deadlines · IEEE/ACM Trans. Netw. 2018 |
Network optimization and economics
resource allocation |
0.1 | 1 | 2018 | Maximizing Service Reward for Queues With Deadlines · IEEE/ACM Trans. Netw. 2018 |
Logic in computer science › temporal logic
linear temporal logic |
0.0 | 1 | 1998 | Algorithmic Verification of Linear Temporal Logic Specifications · ICALP 1998 |
Automated reasoning and model checking
temporal logic verification |
0.0 | 1 | 1998 | Algorithmic Verification of Linear Temporal Logic Specifications · ICALP 1998 |
Methods — techniques the papers use, named apart from their topics
queueing theory · 0.3markov decision process · 0.3
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Brief Announcement: The Steiner Shortest Path Tree Problem
Omer Asher, Yefim Dinitz, Shlomi Dolev, Li-on Raviv, Baruch Schieber |
SSS | 4 |
| 2018 | Maximizing Service Reward for Queues With Deadlines
Li-on Raviv, Amir Leshem |
IEEE/ACM Trans. Netw. | 1 |
| 2006 | Model Checking with Strong Fairness
Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar |
Formal Methods Syst. Des. | 3 |
| 1998 | Algorithmic Verification of Linear Temporal Logic Specifications
Yonit Kesten, Amir Pnueli, Li-on Raviv |
ICALP | 3 |