Li-on Raviv

Publication Activity (10 Years)

Years Active: 1998-2023
Publications (10 Years): 5

Top Topics

Scheduling And Resource Allocation

Priority Assignment

Top Venues

IEEE Commun. Lett.

IEEE/ACM Trans. Netw.

Future Internet

Publications

Li-on Raviv, Amir Leshem
Joint Scheduling and Resource Allocation for Packets With Deadlines and Priorities. IEEE Commun. Lett. 27 (1) (2023)
Li-on Raviv, Amir Leshem
Joint Scheduling and Resource Allocation for Packets with Deadlines and Priorities. CoRR (2022)
Li-on Raviv, Amir Leshem
Scheduling for Multi-User Multi-Input Multi-Output Wireless Networks with Priorities and Deadlines. Future Internet 11 (8) (2019)
Li-on Raviv, Amir Leshem
Maximizing Service Reward for Queues with Deadlines. CoRR (2018)
Li-on Raviv, Amir Leshem
Maximizing Service Reward for Queues With Deadlines. IEEE/ACM Trans. Netw. 26 (5) (2018)
Yonit Kesten, Amir Pnueli, Li-on Raviv, Elad Shahar
Model Checking with Strong Fairness. Formal Methods Syst. Des. 28 (1) (2006)
Yonit Kesten, Amir Pnueli, Li-on Raviv
Algorithmic Verification of Linear Temporal Logic Specifications. ICALP (1998)