Mayank Saksena

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Workload analysis of a two-queue fluid polling model Journal of Applied Probability	2023-08-16	Paper
Two queues with time-limited polling and workload-dependent service speeds Stochastic Models	2021-07-01	Paper
scientific article; zbMATH DE number 7274266 (Why is no real title available?)	2020-11-12	Paper
Analysis of the shortest relay queue policy in a cooperative random access network with collisions Queueing Systems	2020-02-26	Paper
Infinite-server queues with Hawkes input Journal of Applied Probability	2018-11-19	Paper
Two queues with random time-limited polling	2018-08-08	Paper
Insights to Angluin's learning	2013-09-20	Paper
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols Tools and Algorithms for the Construction and Analysis of Systems	2008-04-11	Paper
Systematic Acceleration in Regular Model Checking Computer Aided Verification	2007-11-29	Paper
Proving Liveness by Backwards Reachability CONCUR 2006 – Concurrency Theory	2007-09-04	Paper
Computer Aided Verification Lecture Notes in Computer Science	2005-08-25	Paper
CONCUR 2004 - Concurrency Theory Lecture Notes in Computer Science	2005-08-23	Paper

Research outcomes over time

This page was built for person: Mayank Saksena