Mayank Saksena

From MaRDI portal
Person:2302270

Available identifiers

zbMath Open saksena.mayankMaRDI QIDQ2302270

List of research outcomes





PublicationDate of PublicationType
Workload analysis of a two-queue fluid polling model2023-08-16Paper
Two queues with time-limited polling and workload-dependent service speeds2021-07-01Paper
https://portal.mardi4nfdi.de/entity/Q51333002020-11-12Paper
Analysis of the shortest relay queue policy in a cooperative random access network with collisions2020-02-26Paper
Infinite-server queues with Hawkes input2018-11-19Paper
Two queues with random time-limited polling2018-08-08Paper
Insights to Angluin's learning2013-09-20Paper
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols2008-04-11Paper
Systematic Acceleration in Regular Model Checking2007-11-29Paper
Proving Liveness by Backwards Reachability2007-09-04Paper
Computer Aided Verification2005-08-25Paper
CONCUR 2004 - Concurrency Theory2005-08-23Paper

Research outcomes over time

This page was built for person: Mayank Saksena

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2302270&oldid=6831345"
Powered by MediaWiki