Neeraj Mittal

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
Synthesizing Imperative Code from Answer Set Programming Specifications Logic-Based Program Synthesis and Transformation	2022-08-25	Paper
An Adaptive Approach to Recoverable Mutual Exclusion Proceedings of the 39th Symposium on Principles of Distributed Computing	2021-03-15	Paper
Finding missing synchronization in a distributed computation using controlled re-execution Distributed Computing	2020-12-04	Paper
Algorithms for optimal replica placement under correlated failure in hierarchical failure domains Theoretical Computer Science	2020-01-29	Paper
Lexico-minimum replica placement in multitrees (available as arXiv preprint)	2018-03-26	Paper
Efficient abstraction algorithms for predicate detection Theoretical Computer Science	2017-06-19	Paper
On replica placement in high-availability storage under correlated failure Combinatorial Optimization and Applications	2016-02-05	Paper
Debugging distributed programs using controlled re-execution Proceedings of the nineteenth annual ACM symposium on Principles of distributed computing	2015-03-03	Paper
A family of optimal termination detection algorithms Distributed Computing	2013-06-20	Paper
Timestamping messages and events in a distributed system using synchronous communication Distributed Computing	2013-06-20	Paper
Techniques and applications of computation slicing Distributed Computing	2013-06-07	Paper
On termination detection in crash-prone distributed systems with failure detectors Journal of Parallel and Distributed Computing	2012-07-26	Paper
Safe termination detection in an asynchronous distributed system when processes may crash and recover Theoretical Computer Science	2009-03-02	Paper
Time-efficient distributed layer-2 auto-configuration for cognitive radio networks Computer Networks	2008-03-11	Paper
A priority-based distributed group mutual exclusion algorithm when group access is non-uniform Journal of Parallel and Distributed Computing	2007-07-16	Paper
Efficient detection of a locally stable predicate in a distributed system Journal of Parallel and Distributed Computing	2007-04-26	Paper
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science Lecture Notes in Computer Science	2006-11-14	Paper
Distributed Computing Lecture Notes in Computer Science	2006-11-01	Paper
Principles of Distributed Systems Lecture Notes in Computer Science	2005-08-24	Paper
Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies Lecture Notes in Computer Science	2005-08-17	Paper
scientific article; zbMATH DE number 2006645 (Why is no real title available?)	2003-11-23	Paper

Research outcomes over time

This page was built for person: Neeraj Mittal