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
A family of optimal termination detection algorithms	2013-06-20	Paper
Timestamping messages and events in a distributed system using synchronous communication	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

This page was built for person: Neeraj Mittal