Consistency Conditions for Multi-Object Distributed Operations. - Neeraj Mittal; Vijay K. Garg (ICDCS, 1998)

Debugging distributed programs using controlled re-execution. - Neeraj Mittal; Vijay K. Garg (PODC, 2000)

On Slicing a Distributed Computation. - Vijay K. Garg; Neeraj Mittal (ICDCS, 2001)

On Detecting Global Predicates in Distributed Computations. - Neeraj Mittal; Vijay K. Garg (ICDCS, 2001)

Database Managed External File Update. - Neeraj Mittal; Hui-I Hsiao (ICDE, 2001)

Computation Slicing: Techniques and Theory. - Neeraj Mittal; Vijay K. Garg (DISC, 2001)

Software Fault Tolerance of Distributed Programs Using Computation Slicing. - Neeraj Mittal; Vijay K. Garg (ICDCS, 2003)

Detecting Locally Stable Predicates Without Modifying Application Messages. - Ranganath Atreya; Neeraj Mittal; Vijay K. Garg (OPODIS, 2003)

On Termination Detection in an Asynchronous Distributed System. - Sathya Peri; Neeraj Mittal (PDCS, 2004)

Finding Satisfying Global States: All for One and One for All. - Neeraj Mittal; Alper Sen 001; Vijay K. Garg; Ranganath Atreya (IPDPS, 2004)

Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies. - Neeraj Mittal; Subbarayan Venkatesan; Sathya Peri (DISC, 2004)

Finding missing synchronization in a distributed computation using controlled re-execution. - Neeraj Mittal; Vijay K. Garg (Distributed Comput., 2004)

Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems. - Sathya Peri; Neeraj Mittal (FSTTCS, 2005)

Transformations in Secure and Fault-Tolerant Distributed Computation. - Felix C. Freiling; Neeraj Mittal; Lucia Draque Penso (GI Jahrestagung (1), 2005)

A Dynamic Group Mutual Exclusion Algorithm Using Surrogate-Quorums. - Ranganath Atreya; Neeraj Mittal (ICDCS, 2005)

Time-Efficient Layer-2 Auto-Configuration for Cognitive Radios. - Srinivasan Krishnamurthy; Mansi Ramakrishnan Thoppian; Srikant Kuppa; Subbarayan Venkatesan; Ramaswamy Chandrasekaran; Neeraj Mittal; Ravi Prakash 001 (IASTED PDCS, 2005)

An Efficient Distributed Group Mutual Exclusion Algorithm for Non-Uniform Group Access. - Neeraj Mittal; Prajwal K. Mohan (IASTED PDCS, 2005)

A Distributed Algorithm for Path Restoration in Circuit Switched Communication Networks. - Subbarayan Venkatesan; Maulin Patel; Neeraj Mittal (SRDS, 2005)

Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System. - Neeraj Mittal; Felix C. Freiling; Subbarayan Venkatesan; Lucia Draque Penso (DISC, 2005)

Techniques and applications of computation slicing. - Neeraj Mittal; Vijay K. Garg (Distributed Comput., 2005)

A Critique of Java for Concurrent Programming. - Vijay K. Garg; Neeraj Mittal (IEEE Distributed Syst. Online, 2005)

Brief Announcement: Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures. - Felix C. Freiling; Matthias Majuntke; Neeraj Mittal (SSS, 2006)

Brief Announcement: Synchronous Distributed Algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks. - Srinivasan Krishnamurthy; R. Chandrasekaran; Neeraj Mittal; Subbarayan Venkatesan (DISC, 2006)

On Detecting Termination in the Crash-Recovery Model. - Felix C. Freiling; Matthias Majuntke; Neeraj Mittal (Euro-Par, 2007)

THIS: THreshold security for Information aggregation in Sensor networks. - Hai Trong Vu; Neeraj Mittal; Subbarayan Venkatesan (ITNG, 2007)

Space-Efficient Keying in Wireless Communication Networks. - Neeraj Mittal (WiMob, 2007)

Timestamping messages and events in a distributed system using synchronous communication. - Vijay K. Garg; Chakarat Skawratananond; Neeraj Mittal (Distributed Comput., 2007)

A family of optimal termination detection algorithms. - Neeraj Mittal; Subbarayan Venkatesan; Sathya Peri (Distributed Comput., 2007)

Efficient detection of a locally stable predicate in a distributed system. - Ranganath Atreya; Neeraj Mittal; Ajay D. Kshemkalyani; Vijay K. Garg; Mukesh Singhal (J. Parallel Distributed Comput., 2007)

A priority-based distributed group mutual exclusion algorithm when group access is non-uniform. - Neeraj Mittal; Prajwal K. Mohan (J. Parallel Distributed Comput., 2007)

A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set. - Ranganath Atreya; Neeraj Mittal; Sathya Peri (IEEE Trans. Parallel Distributed Syst., 2007)

Solving Computation Slicing Using Predicate Detection. - Neeraj Mittal; Alper Sen 001; Vijay K. Garg (IEEE Trans. Parallel Distributed Syst., 2007)

A Lightweight Solution for Defending Against Deauthentication/Disassociation Attacks on 802.11 Networks. - Thuc D. Nguyen; Duc H. M. Nguyen; Bao N. Tran; Hai Trong Vu; Neeraj Mittal (ICCCN, 2008)

Leader Election Algorithms for Multi-channel Wireless Networks. - Tarun Bansal; Neeraj Mittal; Subbarayan Venkatesan (WASA, 2008)

WORMEROS: A New Framework for Defending against Wormhole Attacks on Wireless Ad Hoc Networks. - Hai Trong Vu; Ajay Kulkarni; Kamil Saraç; Neeraj Mittal (WASA, 2008)

Time-efficient distributed layer-2 auto-configuration for cognitive radio networks. - Srinivasan Krishnamurthy; Mansi Ramakrishnan Thoppian; Srikant Kuppa; Ramaswamy Chandrasekaran; Neeraj Mittal; Subbarayan Venkatesan; Ravi Prakash 001 (Comput. Networks, 2008)

A Delay-Optimal Group Mutual Exclusion Algorithm for a Tree Network. - Vinay Madenur; Neeraj Mittal (J. Inf. Sci. Eng., 2008)

Improving the Efficacy of a Termination Detection Algorithm. - Sathya Peri; Neeraj Mittal (J. Inf. Sci. Eng., 2008)

On termination detection in crash-prone distributed systems with failure detectors. - Neeraj Mittal; Felix C. Freiling; Subbarayan Venkatesan; Lucia Draque Penso (J. Parallel Distributed Comput., 2008)

Time and State in Asynchronous Distributed Systems. - Vijay K. Garg; Neeraj Mittal (Wiley Encyclopedia of Computer Science and Engineering, 2008)

A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems. - Paul Johnson; Neeraj Mittal (ICDCS, 2009)

ASSERT: Advanced wireleSS Environment Research Testbed. - Paul Johnson; Ehsan Nourbakhsh; T. Ryan Burchfield; Jeff Dix; Ravi Prakash 001; Subbarayan Venkatesan; Neeraj Mittal (SenSys, 2009)

TASK: Template-Based Key Assignment for Confidential Communication in Wireless Networks. - Ramon Novales; Neeraj Mittal (SRDS, 2009)

PEQ: A Privacy-Preserving Scheme for Exact Query Evaluation in Distributed Sensor Data Networks. - Hai Trong Vu; Thuc D. Nguyen; Neeraj Mittal; S. Venkatesan 001 (SRDS, 2009)

Research Note - Investments in Information Technology: Indirect Effects and Information Technology Intensity. - Neeraj Mittal; Barrie R. Nault (Inf. Syst. Res., 2009)

On neighbor discovery in cognitive radio networks. - Neeraj Mittal; Srinivasan Krishnamurthy; R. Chandrasekaran; Subbarayan Venkatesan; Yanyan Zeng (J. Parallel Distributed Comput., 2009)

Safe termination detection in an asynchronous distributed system when processes may crash and recover. - Neeraj Mittal; Kuppahalli L. Phaneesh; Felix C. Freiling (Theor. Comput. Sci., 2009)

A scalable algorithm for maintaining perpetual system connectivity in dynamic distributed systems. - Tarun Bansal; Neeraj Mittal (IPDPS, 2010)

False conflict reduction in the Swiss Transactional Memory (SwissTM) system. - Aravind Natarajan; Neeraj Mittal (IPDPS Workshops, 2010)

SKAIT: A Parameterized Key Assignment Scheme for Wireless Networks. - Ramon Novales; Neeraj Mittal; Kamil Saraç (ISPDC, 2010)

Fast Neighbor Discovery with Lightweight Termination Detection in Heterogeneous Cognitive Radio Networks. - Yanyan Zeng; Neeraj Mittal; S. Venkatesan 001; R. Chandrasekaran (ISPDC, 2010)

ASSERT: A Wireless Networking Testbed. - Ehsan Nourbakhsh; Jeff Dix; Paul Johnson; T. Ryan Burchfield; S. Venkatesan 001; Neeraj Mittal; Ravi Prakash 001 (TRIDENTCOM, 2010)

Cluster-Based Key Predistribution Using Deployment Knowledge. - Neeraj Mittal; Ramon Novales (IEEE Trans. Dependable Secur. Comput., 2010)

Relay Assignment in AMT-Based Multicast Content Distribution. - Suhel Patel; Kamil Saraç; R. Chandrasekaran; Turgay Korkmaz; Neeraj Mittal (CNSR, 2011)

Minimal Time Broadcasting in Cognitive Radio Networks. - Chanaka Liyana Arachchige; S. Venkatesan 001; R. Chandrasekaran; Neeraj Mittal (ICDCN, 2011)

Randomized Distributed Algorithms for Neighbor Discovery in Multi-hop Multi-channel Heterogeneous Wireless Networks. - Neeraj Mittal; Yanyan Zeng; S. Venkatesan 001; R. Chandrasekaran (ICDCS, 2011)

Secure Location Verification with Randomly-Selected Base Stations. - Matthew Holiday; Neeraj Mittal; Subbarayan Venkatesan (ICDCS Workshops, 2011)

Enhancing ASSERT: making an accurate testbed friendly. - Ehsan Nourbakhsh; T. Ryan Burchfield; S. Venkatesan 001; Neeraj Mittal; Ravi Prakash 001 (WiNTECH, 2011)

Parameterized key assignment for confidential communication in wireless networks. - Ramon Novales; Neeraj Mittal (Ad Hoc Networks, 2011)

Energy Efficient Hadoop Using Mirrored Data Block Replication Policy. - Sara Arbab Yazd; Subbarayan Venkatesan; Neeraj Mittal (SRDS, 2012)

Brief Announcement: Concurrent Wait-Free Red-Black Trees. - Aravind Natarajan; Lee Savoie; Neeraj Mittal (DISC, 2012)

A Distributed Abstraction Algorithm for Online Predicate Detection. - Himanshu Chauhan; Vijay K. Garg; Aravind Natarajan; Neeraj Mittal (SRDS, 2013)

Concurrent Wait-Free Red Black Trees. - Aravind Natarajan; Lee Savoie; Neeraj Mittal (SSS, 2013)

Dependability issues in cloud computing: extended papers from the 1st international workshop on dependability issues in cloud computing - DISCCO. - Miguel Correia 001; Neeraj Mittal (ACM SIGOPS Oper. Syst. Rev., 2013)

Boosting energy efficiency with mirrored data block replication policy and energy scheduler. - Sara Arbab Yazd; Subbarayan Venkatesan; Neeraj Mittal (ACM SIGOPS Oper. Syst. Rev., 2013)

Online Algorithms to Generate Slices for Regular Temporal Logic Predicates. - Aravind Natarajan; Neeraj Mittal; Vijay K. Garg (ICDCN, 2014)

Fast concurrent lock-free binary search trees. - Aravind Natarajan; Neeraj Mittal (PPoPP, 2014)

SKAIT: A parameterized key assignment scheme for confidential communication in resource constrained ad hoc wireless networks. - Ramon Novales; Neeraj Mittal; Kamil Saraç (Ad Hoc Networks, 2014)

Research Commentary - Using Income Accounting as the Theoretical Basis for Measuring IT Productivity. - Dennis Kundisch; Neeraj Mittal; Barrie R. Nault (Inf. Syst. Res., 2014)

Cloud Computing Dependability: Report and Extended Papers of the Second International Workshop on Dependability Issues in Cloud Computing. - Miguel Correia 001; Neeraj Mittal (ACM SIGOPS Oper. Syst. Rev., 2014)

On Replica Placement in High-Availability Storage Under Correlated Failure. - K. Alex Mills; R. Chandrasekaran; Neeraj Mittal (COCOA, 2015)

A Fast Lock-Free Internal Binary Search Tree. - Arunmoezhi Ramachandran; Neeraj Mittal (ICDCN, 2015)

CASTLE: fast concurrent internal binary search tree using edge-based locking. - Arunmoezhi Ramachandran; Neeraj Mittal (PPoPP, 2015)

Algorithms for Replica Placement in High-Availability Storage. - K. Alex Mills; R. Chandrasekaran; Neeraj Mittal (CoRR, 2015)

Improving efficacy of internal binary search trees using local recovery. - Arunmoezhi Ramachandran; Neeraj Mittal (PPoPP, 2016)

Robust neighbor discovery in multi-hop multi-channel heterogeneous wireless networks. - Yanyan Zeng; K. Alex Mills; Shreyas Gokhale; Neeraj Mittal; S. Venkatesan 001; R. Chandrasekaran (J. Parallel Distributed Comput., 2016)

Lexico-Minimum Replica Placement in Multitrees. - K. Alex Mills; R. Chandrasekaran; Neeraj Mittal (COCOA (2), 2017)

Efficient abstraction algorithms for predicate detection. - Aravind Natarajan; Himanshu Chauhan; Neeraj Mittal; Vijay K. Garg (Theor. Comput. Sci., 2017)

Brief Announcement: Fast and Scalable Group Mutual Exclusion. - Shreyas Gokhale; Neeraj Mittal (DISC, 2018)

Fast and Scalable Group Mutual Exclusion. - Shreyas Gokhale; Neeraj Mittal (CoRR, 2018)

Improving efficacy of concurrent internal binary search trees using local recovery. - Arunmoezhi Ramachandran; Neeraj Mittal (ICDCN, 2019)

Concurrent Unrolled Skiplist. - Kenneth Platz; Neeraj Mittal; S. Venkatesan 001 (ICDCS, 2019)

Synthesizing Imperative Code from Answer Set Programming Specifications. - Sarat Chandra Varanasi; Elmer Salazar; Neeraj Mittal; Gopal Gupta 001 (LOPSTR, 2019)

An Adaptive Approach to Recoverable Mutual Exclusion. - Sahil Dhoked; Neeraj Mittal (PODC, 2020)

An Adaptive Approach to Recoverable Mutual Exlcusion. - Sahil Dhoked; Neeraj Mittal (CoRR, 2020)

Pointer Data Structure Synthesis from Answer Set Programming Specifications. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (CoRR, 2020)

Generating Concurrent Programs From Sequential Data Structure Knowledge. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (CoRR, 2020)

Practical concurrent unrolled linked lists using lazy synchronization. - Kenneth Platz; Neeraj Mittal; S. Venkatesan 001 (J. Parallel Distributed Comput., 2020)

Algorithms for optimal replica placement under correlated failure in hierarchical failure domains. - K. Alex Mills; R. Chandrasekaran; Neeraj Mittal (Theor. Comput. Sci., 2020)

FEAST: A Lightweight Lock-free Concurrent Binary Search Tree. - Aravind Natarajan; Arunmoezhi Ramachandran; Neeraj Mittal (ACM Trans. Parallel Comput., 2020)

On group mutual exclusion for dynamic systems. - Shreyas Gokhale; Sahil Dhoked; Neeraj Mittal (PPoPP, 2021)

Memory Reclamation for Recoverable Mutual Exclusion. - Sahil Dhoked; Neeraj Mittal (CoRR, 2021)

Generating Concurrent Programs From Sequential Data Structure Knowledge Using Answer Set Programming. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (ICLP Technical Communications, 2021)

Special issue of SSS 2020. - Stéphane Devismes; Neeraj Mittal (Inf. Comput., 2022)

Brief Announcement: On Solving Recoverable Mutual Exclusion Under System-Wide Failures. - Sahil Dhoked; Wojciech Golab; Neeraj Mittal (SPAA, 2023)

Modular Recoverable Mutual Exclusion Under System-Wide Failures. - Sahil Dhoked; Wojciech Golab; Neeraj Mittal (DISC, 2023)

Locksynth: Deriving Synchronization Code for Concurrent Data Structures with ASP. - Sarat Chandra Varanasi; Neeraj Mittal; Gopal Gupta 001 (Theory Pract. Log. Program., 2023)

RMR-Efficient Detectable Objects for Persistent Memory and Their Applications. - Sahil Dhoked; Ahmed Fahmy; Wojciech Golab; Neeraj Mittal (OPODIS, 2024)

An Overarching Conceptual Framework for ICT-enabled Responsive Governance. - Amit Anand Tiwari; Samrat Gupta; Efpraxia D. Zamani; Neeraj Mittal; Renu Agarwal (Inf. Syst. Frontiers, 2024)

Brief Announcement: Using Detectability to Simplify the Design of Concurrent Algorithms for Persistent Memory. - Ahmed Fahmy; Wojciech Golab; Neeraj Mittal (PODC, 2025)

Adaptive and Fair Transformation for Recoverable Mutual Exclusion. - Sahil Dhoked; Neeraj Mittal (J. ACM, 2025)