M. Saxena

Available identifiers

zbMath Open saksena.mayankMaRDI QIDQ2302270

List of research outcomes

Publication	Date of Publication	Type
Workload analysis of a two-queue fluid polling model	2023-08-16	Paper
Two queues with time-limited polling and workload-dependent service speeds	2021-07-01	Paper
https://portal.mardi4nfdi.de/entity/Q5133300	2020-11-12	Paper
Analysis of the shortest relay queue policy in a cooperative random access network with collisions	2020-02-26	Paper
Infinite-server queues with Hawkes input	2018-11-19	Paper
Two queues with random time-limited polling	2018-08-08	Paper
https://portal.mardi4nfdi.de/entity/Q2849548	2013-09-20	Paper
Graph Grammar Modeling and Verification of Ad Hoc Routing Protocols	2008-04-11	Paper
Systematic Acceleration in Regular Model Checking	2007-11-29	Paper
Proving Liveness by Backwards Reachability	2007-09-04	Paper
Computer Aided Verification	2005-08-25	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: M. Saxena