| 2013 | SMT-Based Model Checking for Stabilizing Programs | Jingshu Chen, Sandeep S. Kulkarni |
| 2013 | Democratic Elections in Faulty Distributed Systems. | Himanshu Chauhan, Vijay K. Garg |
| 2013 | A Media Access and Feedback Protocol for Reliable Multicast over Wireless Channel. | Ashutosh Bhatia, R. C. Hansdah |
| 2013 | Collaborative Detection of Coordinated Port Scans. | Roberto Baldoni, Giuseppe Antonio Di Luna, Leonardo Querzoni |
| 2013 | Asynchrony from Synchrony. | Yehuda Afek, Eli Gafni |
| 2013 | Distributed Verification Using Mobile Agents. | Shantanu Das, Shay Kutten, Zvi Lotker |
| 2012 | Cryptanalysis of a Certificateless Multi-Proxy Signature Scheme - (Short Paper). | Lei Zhang |
| 2012 | Efficient Semi-supervised Learning BitTorrent Traffic Detection - An Extended Summary - (Poster Paper). | Raymond Siulai Wong, Teng-Sheng Moh, Melody Moh |
| 2012 | A Simple and Efficient Input Selection Function for Networks-on-Chip. | Xinyu Wang, Zhigang Yu, Huazhen Xu |
| 2012 | Multi-path OLSR Performance Analysis in a Large Testbed Environment. | Andrzej Szwabe, Pawel Misiorek, Maciej Urbanski, Felix Juraschek, Mesut Gnes |
| 2012 | Towards Optimal Event Detection and Localization in Acyclic Flow Networks. | Mahima Agumbe Suresh, Radu Stoleru, Ron Denton, Emily M. Zechman, Basem Shihada |
| 2012 | Postorder Based Routing and Transport Protocol for WSNs. | Shashank Shekhar, R. K. Ghosh, R. K. Shyamasundar |
| 2012 | Decentralized Information Dissemination in Multidimensional Semantic Social Overlays. | Rajesh Sharma, Anwitaman Datta |
| 2012 | PreeN: Improving Steady-State Performance of ISP-Friendly P2P Applications. | S. M. Saif Shams, Paal E. Engelstad, Amund Kvalbein |
| 2012 | DTLS Mobility. | Robin Seggelmann, Michael Txen, Erwin P. Rathgeb |
| 2012 | Tuning Paxos for High-Throughput with Batching and Pipelining. | Nuno Santos, Andr Schiper |
| 2012 | DTL: Dynamic Transport Library for Peer-to-Peer Applications. | Riccardo Reale, Roberto Roverso, Sameh El-Ansary, Seif Haridi |
| 2012 | Logical Topology Design for WDM Networks Using Tabu Search. | Quazi Rahman, Ashutosh Sood, Yash P. Aneja, Subir Bandyopadhyay, Arunita Jaekel |
| 2012 | An Efficient Scheduler for Closed Nested Transactions that Satisfies All-Reads-Consistency and Non-interference. | Sathya Peri, Krishnamurthy Vidyasankar |
| 2012 | Economic Models for Cloud Service Markets. | Ranjan Pal, Pan Hui |
| 2012 | wnPUT Testbed Experimentation Framework. | Adam Nowak, Przemyslaw Walkowiak, Andrzej Szwabe, Pawel Misiorek |
| 2012 | iTrust: Trustworthy Information Publication, Search and Retrieval. | P. Michael Melliar-Smith, Louise E. Moser, Isai Michel Lombera, Yung-Ting Chuang |
| 2012 | Interplay between (Im)perfectness, Synchrony and Connectivity: The Case of Reliable Message Transmission. | Abhinav Mehta, Shashank Agrawal, Kannan Srinathan |
| 2012 | A Localized Link Removal and Addition Based Planarization Algorithm. | Emi Mathews, Hannes Frey |
| 2012 | Performance of MIMO over SUI Channels for IEEE 802.16 Networks. | R. Saravana Manickam, Lalit Dhingra, C. Siva Ram Murthy |