Journal Papers:

  1. Parameterized Key Assignment for Confidential Communication in Wireless Networks

    Ramon Novales and Neeraj Mittal

    Ad Hoc Networks, (accepted for publication), January 2011 © Elsevier


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

    Neeraj Mittal and Ramon Novales

    IEEE Transactions on Dependable and Secure Computing (TDSC), Short Paper, Volume 7, Number 3, pages 329-335, July-September 2010 © IEEE Computer Society


  3. 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


  4. 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


  5. 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


  6. 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


  7. 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


  8. 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


  9. 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


  10. 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


  11. 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


  12. 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


  13. 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


  14. 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


  15. 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


  16. 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


  17. 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


  18. 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


  19. 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/Workshop Papers:

  1. Randomized Distributed Algorithms for Neighbor Discovery in Multi-Hop Multi-Channel Heterogeneous Wireless Networks

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

    In Proceedings of the 31st International Conference on Distributed Computing Systems (ICDCS) (accepted for publication), Minneapolis, Minnesota, USA, June 2011 © IEEE Computer Society


  2. Relay Assignment in AMT-based Multicast Content Distribution

    Suhel Patel, Kamil Sarac, R. Chandrasekaran, Turgay Korkmaz and Neeraj Mittal

    In Proceedings of the 9th Annual Conference on Communication Networks and Services Research (CNSR) (accepted for publication), Ottawa, Ontario, Canada, May 2011 © IEEE Communications Society


  3. Minimal Time Broadcasting in Cognitive Radio Networks

    Chanaka Liyana Arachchige, S. Venkatesan, R. Chandrasekaran and Neeraj Mittal

    In Proceedings of the 12th International Conference on Distributed Computing and Networking (ICDCN), pages 364-375, Bangalore, India, January 2011 © Springer-Verlag


  4. Fast Neighbor Discovery with Lightweight Termination Detection in Heterogeneous Cognitive Radio Networks

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

    In Proceedings of the 9th International Symposium on Parallel and Distributed Computing (ISPDC), pages 149-156, Istanbul, Turkey, July 2010 © IEEE Computer Society


  5. SKAIT: A Parameterized Key Assignment Scheme for Wireless Networks

    Ramon Novales, Neeraj Mittal and Kamil Sarac

    In Proceedings of the 9th International Symposium on Parallel and Distributed Computing (ISPDC), pages 157-164, Istanbul, Turkey, July 2010 © IEEE Computer Society


  6. ASSERT: A Wireless Networking Testbed

    Ehsan Nourbakhsh, Jeff Dix, Paul Johnson, Ryan Burchfield, S. Venkatesan, Neeraj Mittal and Ravi Prakash

    In Proceedings of the 6th International Conference on Testbeds and Research Infrastructures for the Development of Networks & Communities (TridentCom), pages 209-218, Berlin, Germany, May 2010 © ICST


  7. False Conflict Reduction in the Swiss Transactional Memory (SwissTM) System

    Aravind Natarajan and Neeraj Mittal

    In Proceedings of the 15th International Workshop on High-Level Parallel Programming Models and Supportive Environments (HIPS), Atlanta, Georgia, USA, April 2010 © IEEE Computer Society


  8. Maintaining Perpetual System Connectivity in Dynamic Distributed Systems

    Tarun Bansal and Neeraj Mittal

    In Proceedings of the 24th IEEE International Parallel and Distributed Processing Symposium (IPDPS), Atlanta, Georgia, USA, April 2010 © IEEE Computer Society


  9. 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), pages 209-216, Niagara Falls, New York, USA, September 2009 © IEEE Computer Society


  10. 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), pages 189-198, Niagara Falls, New York, USA, September 2009 © IEEE Computer Society


  11. 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), pages 343-351, Montreal, Quebec, Canada, June 2009 © IEEE Computer Society


  12. 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 Communications Society


  13. 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), pages 310-321, Dallas, Texas, USA, October 2008 © Springer-Verlag


  14. 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), pages 491-502, Dallas, Texas, USA, October 2008 © Springer-Verlag


  15. 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), pages 185-190, St. Thomas, Virgin Islands, USA, August 2008 © IEEE Communications Society


  16. 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 Communications Society


  17. 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


  18. 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


  19. 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


  20. 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


  21. 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


  22. 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 Communications Society


  23. 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


  24. 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


  25. 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


  26. 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


  27. 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


  28. 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


  29. 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


  30. 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


  31. 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


  32. 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


  33. 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


  34. 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.)


  35. 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


  36. 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


  37. 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


  38. 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


  39. 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


  40. 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


  41. 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