Li-on Raviv

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

Collaborative distances:

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

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