Neeraj Mittal

Available identifiers

zbMath Open mittal.neerajMaRDI QIDQ436799

List of research outcomes

Publication	Date of Publication	Type
Synthesizing Imperative Code from Answer Set Programming Specifications	2022-08-25	Paper
An Adaptive Approach to Recoverable Mutual Exclusion	2021-03-15	Paper
Finding missing synchronization in a distributed computation using controlled re-execution	2020-12-04	Paper
Algorithms for optimal replica placement under correlated failure in hierarchical failure domains	2020-01-29	Paper
Lexico-minimum replica placement in multitrees	2018-03-26	Paper
Efficient abstraction algorithms for predicate detection	2017-06-19	Paper
On Replica Placement in High-Availability Storage Under Correlated Failure	2016-02-05	Paper
Debugging distributed programs using controlled re-execution	2015-03-03	Paper
Timestamping messages and events in a distributed system using synchronous communication	2013-06-20	Paper
A family of optimal termination detection algorithms	2013-06-20	Paper
Techniques and applications of computation slicing	2013-06-07	Paper
On termination detection in crash-prone distributed systems with failure detectors	2012-07-26	Paper
Safe termination detection in an asynchronous distributed system when processes may crash and recover	2009-03-02	Paper
Time-efficient distributed layer-2 auto-configuration for cognitive radio networks	2008-03-11	Paper
A priority-based distributed group mutual exclusion algorithm when group access is non-uniform	2007-07-16	Paper
Efficient detection of a locally stable predicate in a distributed system	2007-04-26	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science	2006-11-14	Paper
Distributed Computing	2006-11-01	Paper
Principles of Distributed Systems	2005-08-24	Paper
Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies	2005-08-17	Paper
https://portal.mardi4nfdi.de/entity/Q4436042	2003-11-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: Neeraj Mittal