Li-on Raviv

According to our database, Li-on Raviv authored at least 8 papers between 1998 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

The Steiner Shortest Path Tree Problem.

Omer Asher, Yefim Dinitz, Shlomi Dolev, Li-on Raviv, Baruch Schieber

CoRR, September, 2025

Brief Announcement: The Steiner Shortest Path Tree Problem.

Omer Asher, Yefim Dinitz, Shlomi Dolev, Li-on Raviv, Baruch Schieber

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2025

SSPT: Shallowest Shortest Path Tree - (Short Paper).

Omer Asher, Shlomi Dolev, Li-on Raviv

Proceedings of the Cyber Security, Cryptology, and Machine Learning, 2025

2023

Joint Scheduling and Resource Allocation for Packets With Deadlines and Priorities.

Li-on Raviv, Amir Leshem

IEEE Commun. Lett., January, 2023

2019

Scheduling for Multi-User Multi-Input Multi-Output Wireless Networks with Priorities and Deadlines.

Li-on Raviv, Amir Leshem

Future Internet, 2019

2018

Maximizing Service Reward for Queues With Deadlines.

Li-on Raviv, Amir Leshem

IEEE/ACM Trans. Netw., 2018

2006

Model Checking with Strong Fairness.

Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar

Formal Methods Syst. Des., 2006

1998

Algorithmic Verification of Linear Temporal Logic Specifications.

Yonit Kesten, Amir Pnueli, Li-on Raviv

Proceedings of the Automata, Languages and Programming, 25th International Colloquium, 1998