Journal Papers:

  1. Cluster-Based Key Pre-Distribution using Deployment Knowledge

    Neeraj Mittal and Ramon Novales

    IEEE Transactions on Dependable and Secure Computing (TDSC), Accepted for Publicaiton, July 2009 © IEEE Computer Society


  2. On Neighbor Discovery in Multi-Channel Cognitive Radio Networks

    Neeraj Mittal, Srinivasan Krishnamurthy, R. Chandrasekaran, S. Venkatesan and Yanyan Zeng

    Journal of Parallel and Distributed Computing (JPDC), Volume 69, Issue 7, pages 623-637, July 2009 © Elsevier


  3. Safe Termination Detection in an Asynchronous Distributed System when Processes may Crash and Recover

    Neeraj Mittal, Kuppahalli L. Phaneesh and Felix C. Freiling

    Theoretical Computer Science (TCS) (Special Issue on Selected Papers from OPODIS 2006), Volume 410, numbers 6-7, pages 623-637, February 2009 © Elsevier


  4. Neighbor Discovery in Multi-Receiver Cognitive Radio Networks

    Srinivasan Krishnamurthy, Neeraj Mittal, R. Chandrasekaran and S. Venkatesan

    International Journal of Computers and Applications (IJCA), Volume 31, Number 1, pages 50-57, January 2009 © Actapress


  5. On Maximum Key Pool Size for a Key Pre-Distribution Scheme in Wireless Sensor Networks

    Tarun R. Belagodu and Neeraj Mittal

    International Journal of Computers and Applications (IJCA), Volume 31, Number 1, pages 30-35, January 2009 © Actapress


  6. On Termination Detection in Crash-Prone Distributed Systems with Failure Detectors

    Neeraj Mittal, Felix C. Freiling, S. Venkatesan and Lucia D. Penso

    Journal of Parallel and Distributed Computing (JPDC), Volume 68, Issue 6, pages 855-875, June 2008 © Elsevier


  7. Time-efficient Distributed Layer-2 Auto-configuration for Cognitive Radio Networks

    Srinivasan Krishnamurthy, Mansi Thoppian, Srikant Kuppa, R. Chandrasekaran, Neeraj Mittal, S. Venkatesan and Ravi Prakash

    Computer Networks (COMNET) (Special Issue on Cognitive Wireless Networks), Volume 52, Issue 4, pages 831-849, March 2008 © Elsevier


  8. A Delay-Optimal Group Mutual Exclusion Algorithm for a Tree Network

    Vinay Madenur and Neeraj Mittal

    Journal of Information Science and Engineering (JISE), Volume 24, Number 2, pages 573-583, March 2008 © Academia Sinica


  9. Improving the Efficacy of a Termination Detection Algorithm

    Sathya Peri and Neeraj Mittal

    Journal of Information Science and Engineering (JISE), Volume 24, Number 1, pages 159-174, January 2008 © Academia Sinica


  10. Solving Computation Slicing using Predicate Detection

    Neeraj Mittal, Alper Sen and Vijay K. Garg

    IEEE Transactions on Parallel and Distributed Systems (TPDS), Volume 18, Number 12, pages 1700-1713, December 2007 © IEEE Computer Society


  11. A Quorum-Based Group Mutual Exclusion Algorithm for a Distributed System with Dynamic Group Set

    Ranganath Atreya, Neeraj Mittal and Sathya Peri

    IEEE Transactions on Parallel and Distributed Systems (TPDS), Volume 18, Number 10, pages 1345-1360, October 2007 © IEEE Computer Society


  12. A Family of Optimal Termination Detection Algorithms

    Neeraj Mittal, S. Venkatesan and Sathya Peri

    Distributed Computing (DC), Volume 20, Number 2, pages 141-162, August 2007 © Springer-Verlag


  13. A Priority-Based Distributed Group Mutual Exclusion Algorithm when Group Access is Non-Uniform

    Neeraj Mittal and Prajwal K. Mohan

    Journal of Parallel and Distributed Computing (JPDC), Volume 67, Issue 7, pages 797-815, July 2007 © Elsevier


  14. An Efficient Algorithm for Detecting a Locally Stable Predicate in a Distributed Computation

    Ranganath Atreya, Neeraj Mittal, Ajay D. Kshemkalyani, Vijay K. Garg and Mukesh Singhal

    Journal of Parallel and Distributed Computing (JPDC), Volume 37, Issue 4, pages 369-385, April 2007 © Elsevier


  15. Timestamping Messages and Events in a Distributed System using Synchronous Communication

    Vijay K. Garg, Chakarat Skawratananond and Neeraj Mittal

    Distributed Computing (DC), Volume 19, Number 5-6, pages 387-402, April 2007 © Springer-Verlag


  16. A Critique of Java for Concurrent Programming

    Vijay K. Garg and Neeraj Mittal

    IEEE Distributed Systems Online, Volume 6, Number 9, September 2005 © IEEE Computer Society


  17. Techniques and Applications of Computation Slicing

    Neeraj Mittal and Vijay K. Garg

    Distributed Computing (DC), Volume 17, Number 3, pages 251-277, March 2005 © Springer-Verlag


  18. Finding Missing Synchronization in a Distributed Computation using Controlled Re-execution

    Neeraj Mittal and Vijay K. Garg

    Distributed Computing (DC), Volume 17, Number 2, pages 107-130, August 2004 © Springer-Verlag


Conference Papers:

  1. TASK: Template-Based Key Assignment for Confidential Communication in Wireless Networks

    Ramon Novales and Neeraj Mittal

    In Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS), Niagara Falls, New York, USA, September 2009 © IEEE Computer Society


  2. PEQ: A Privacy-Preserving Scheme for Exact Query Evaluation in Distributed Sensor Data Networks

    Hai T. Vu, Thuc D. Nguyen, Neeraj Mittal and S. Venkatesan

    In Proceedings of the 28th IEEE Symposium on Reliable Distributed Systems (SRDS), Niagara Falls, New York, USA, September 2009 © IEEE Computer Society


  3. A Distributed Termination Detection Algorithm for Dynamic Asynchronous Systems

    Paul Johnson and Neeraj Mittal

    In Proceedings of the 29th IEEE International Conference on Distributed Computing Systems (ICDCS) Montreal, Quebec, Canada, June 2009 © IEEE Computer Society


  4. An Asynchronous Neighbor Discovery Algorithm for Cognitive Radio Networks

    Chanaka Liyana Arachchige, S. Venkatesan and Neeraj Mittal

    In Proceedings of the 3rd IEEE Symposia on New Frontiers in Dynamic Spectrum Access Networks (DySPAN), Chicago, Illinois, USA, October 2008 © IEEE


  5. Leader Election Algorithms for Multi-Channel Wireless Networks

    Tarun Bansal, Neeraj Mittal and S. Venkatesan

    In Proceedings of the International Conference on Wireless Algorithms, Systems and Applications (WASA), Dallas, Texas, USA, October 2008 © Springer-Verlag


  6. Wormeros: A New Framework for Defending Against Wormhole Attacks on Wireless Ad Hoc Networks

    Hai Vu, Ajay Kulkarni, Kamil Sarac and Neeraj Mittal

    In Proceedings of the International Conference on Wireless Algorithms, Systems and Applications (WASA), Dallas, Texas, USA, October 2008 © Springer-Verlag


  7. A Lightweight Solution for Defending against Deauthentication/Disassociation Attacks on 802.11 Networks

    Thuc D. Nguyen, Duc H. M. Nguyen, Bao N. Tran, Hai Vu and Neeraj Mittal

    In Proceedings of the 17th IEEE International Conference on Computer Communications and Networks (ICCCN), St.Thomas, Virgin Islands, USA, August 2008 © IEEE Computer Society


  8. A Unified Framework of Node Mobility Models

    Noun Choi, Alieza Mahdian, Ravi Prakash, S. Venkatesan, Neeraj Mittal, Albert Anderson, Eric Redding and Robert Butler

    In Proceedings of the IEEE Military Communications Conference (MILCOM), Orlando, Florida, USA, October 2007 © IEEE


  9. Space-Efficient Keying in Wireless Communication Networks

    Neeraj Mittal

    In Proceedings of the 3rd IEEE International Conference on Wireless and Mobile Computing, Networking and Communications (WiMob) (Special Session on Security in Mobile Ad hoc Networks and Wireless Sensor Networks), White Plains, New York, USA, October 2007 © IEEE Computer Society


  10. On Detecting Termination in the Crash-Recovery Model

    Felix C. Freiling, Matthias Majuntke and Neeraj Mittal

    In Proceedings of the International European Conference on Parallel and Distributed Computing (Euro-Par), pages 629-638, Rennes, France, August 2007 © Springer-Verlag


  11. THIS: THreshold security for Information aggregation in Sensor networks

    Hai T. Vu, Neeraj Mittal and S. Venkatesan

    In Proceedings of the International Conference on Information Technology: New Generations (ITNG), pages 89-95, Las Vegas, Nevada, April 2007 © IEEE Computer Society


  12. Safe Termination Detection in an Asynchronous Distributed System when Processes may Crash and Recover

    Neeraj Mittal, Kuppahalli L. Phaneesh and Felix C. Freiling

    In Proceedings of the 10th International Conference On Principles Of Distributed Systems (OPODIS), pages 126-141, Saint-Emilion, Bordeaux, France, December 2006 © Springer-Verlag


  13. Termination Detection in an Asynchronous Distributed System with Crash-Recovery Failures (Brief Announcement)

    Felix C. Freiling, Matthias Majuntke and Neeraj Mittal

    In Proceedings of the 8th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS), pages 572-573, Dallas, Texas, USA, November 2006 © Springer-Verlag


  14. Improving Performance of Parallel Simulation Kernel for Wireless Network Simulations

    Mansi Thoppian, S. Venkatesan, Hai Vu, Ravi Prakash, Neeraj Mittal and Jackson Anderson

    In Proceedings of the IEEE Military Communications Conference (MILCOM), Washington, DC, USA, October 2006 © IEEE


  15. Synchronous Distributed algorithms for Node Discovery and Configuration in Multi-channel Cognitive Radio Networks (Brief Announcement)

    Srinivasan Krishnamurthy, R. Chandrasekaran, Neeraj Mittal and S. Venkatesan

    In Proceedings of the 20th International Symposium on Distributed Computing (DISC), pages 572-574, Stockholm, Sweden, September 2006 © Springer-Verlag


  16. Monitoring Stable Properties in Dynamic Peer-to-Peer Distributed Systems

    Sathya Peri and Neeraj Mittal

    In Proceedings of the 25th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS), pages 420-431, Hyderabad, India, December 2005 © Springer-Verlag


  17. An Efficient Distributed Group Mutual Exclusion Algorithm for Non-Uniform Group Access

    Neeraj Mittal and Prajwal K. Mohan

    In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS), pages 367-372, Phoenix, Arizona, USA, November 2005 © IASTED


  18. Time-efficient Layer-2 Auto-configuration for Cognitive Radios

    Srikant Kuppa, Mansi Thoppian, Srinivasan Krishnamurthy, S. Venkatsan, R. Chandrasekaran, Neeraj Mittal and Ravi Prakash

    In Proceedings of the 17th IASTED International Conference on Parallel and Distributed Computing and Systems (PDCS), pages 459-464, Phoenix, Arizona, USA, November 2005 © IASTED


  19. A Distributed Algorithm for Path Restoration in Circuit Switched Communication Networks

    S. Venkatesan, Maulin Patel and Neeraj Mittal

    In Proceedings of the 24th IEEE Symposium on Reliable and Distributed Systems (SRDS), pages 226-236, Orlando, Florida, USA, October 2005 © IEEE Computer Society


  20. Efficient Reduction for Wait-Free Termination Detection in a Crash-Prone Distributed System

    Neeraj Mittal, Felix C. Freiling, S. Venkatesan and Lucia D. Penso

    In Proceedings of the 19th International Symposium on Distributed Computing (DISC), pages 93-107, Cracow, Poland, September 2005 © Springer-Verlag


  21. A Dynamic Group Mutual Exclusion Algorithm using Surrogate-Quorums

    Ranganath Atreya and Neeraj Mittal

    In Proceedings of the 25th IEEE International Conference on Distributed Computing Systems (ICDCS), pages 251-260, Columbus, Ohio, USA, June 2005 © IEEE Computer Society


  22. Message-Optimal and Latency-Optimal Termination Detection Algorithms for Arbitrary Topologies

    Neeraj Mittal, S. Venkatesan and Sathya Peri

    In Proceedings of the 18th International Symposium on Distributed Computing (DISC), pages 290-304, Amsterdam, The Netherlands, October 2004 © Springer-Verlag


  23. On Termination Detection in an Asynchronous Distributed System

    Sathya Peri and Neeraj Mittal

    In Proceedings of the 17th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS), pages 209-215, San Francisco, California, USA, September 2004 © ISCA


  24. Finding Satisfying Global States: One for All and All for One

    Neeraj Mittal, Alper Sen, Vijay K. Garg and Ranganath Atreya

    In Proceedings of the 18th IEEE International Parallel and Distributed Processing Symposium (IPDPS), Santa Fe, New Mexico, USA, April 2004 © IEEE Computer Society


  25. Detecting Locally Stable Predicates without Modifying Application Messages

    Ranganath Atreya, Neeraj Mittal and Vijay K. Garg

    In Proceedings of the 7th International Conference on Principles of Distributed Systems (OPODIS), pages 20-33, La Martinique, France, December 2003 © Springer-Verlag


  26. Software Fault Tolerance of Distributed Programs using Computation Slicing

    Neeraj Mittal and Vijay K. Garg

    In Proceedings of the 23rd IEEE International Conference on Distributed Computing System (ICDCS), pages 105-113, Providence, Rhode Island, USA, May 2003 © IEEE Computer Society
    (The search-time for the Primary-Secondary example in the version that appeared in the conference proceedings was reported to be in seconds by mistake. It is actually in milli-seconds.)


  27. Computation Slicing: Techniques and Theory

    Neeraj Mittal and Vijay K. Garg

    In Proceedings of the 15th International Symposium on Distributed Computing (DISC), pages 78-92, Lisbon, Portugal, October 2001 © Springer-Verlag


  28. On Slicing a Distributed Computation

    Vijay K. Garg and Neeraj Mittal

    In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), pages 322-329, Phoenix, Arizona, USA, April 2001 (nominated for the best paper award) © IEEE Computer Society


  29. On Detecting Global Predicates in Distributed Computations

    Neeraj Mittal and Vijay K. Garg

    In Proceedings of the 21st IEEE International Conference on Distributed Computing Systems (ICDCS), pages 3-10, Phoenix, Arizona, USA, April 2001 © IEEE Computer Society


  30. Database Managed External File Update

    Neeraj Mittal and Hui-I Hsiao

    In Proceedings of the 17th IEEE International Conference on Data Engineering (ICDE), pages 557-564, Heidelberg, Germany, April 2001 © IEEE Computer Society


  31. Debugging Distributed Programs Using Controlled Re-execution

    Neeraj Mittal and Vijay K. Garg

    In Proceedings of 19th ACM Symposium on Principles of Distributed Computing (PODC), pages 239-248, Portland, Oregon, USA, July 2000 © ACM


  32. A Lightweight Algorithm for Causal Message Ordering in Mobile Computing Systems

    Chakarat Skawratananond, Neeraj Mittal and Vijay K. Garg

    In Proceedings of 12th ISCA International Conference on Parallel and Distributed Computing Systems (PDCS), pages 245-250, Florida, USA, 1999 © ISCA


  33. Consistency Conditions for Multi-Object Distributed Operations

    Neeraj Mittal and Vijay K. Garg

    In Proceedings of 18th IEEE International Conference on Distributed Computing Systems (ICDCS) , pages 582-589, Amsterdam, The Netherlands, May 1998 © IEEE Computer Society


Invited Papers:

  1. Using Order in Distributed Computing

    Vijay K. Garg, Neeraj Mittal and Alper Sen

    American Mathematical Society National Meeting, January 2006

Theses:

  1. Techniques for Analyzing Distributed Computations

    Neeraj Mittal

    Doctoral Thesis, Department of Computer Science, The University of Texas at Austin, Austin, Texas, USA, May 2002

    Supervisor: Vijay K. Garg

  2. Automatic Incorporation of Modifications to Sequential Code in Efficient Compile-Time Parallelization on Distributed-Memory Machines

    Pankaj Gupta and Neeraj Mittal

    Undergraduate Thesis, Department of Computer Science and Engineering, Indian Institute of Technology, Delhi, India, May 1995

    Supervisors: Pankaj Mehra and Gautam M. Shroff