• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 12 matches

• 2022
• 
  Prateek Singh, Rajat Ujjainiya, Satyartha Prakash, Salwa Naushin, Viren Sardana, Nitin Bhatheja, Ajay Pratap Singh, Joydeb Barman, Kartik Kumar, Saurabh Gayali, Raju Khan, Birendra Singh Rawat, Karthik Bharadwaj Tallapaka, Mahesh Anumalla, Amit Lahiri, Susanta Kar, Vivek Bhosale, Mrigank Srivastava, Madhav Nilakanth Mugale, C. P. Pandey, Shaziya Khan, Shivani Katiyar, Desh Raj, Sharmeen Ishteyaque, Sonu Khanka, Ankita Rani, Promila, Jyotsna Sharma, Anuradha Seth, Mukul Dutta, Nishant Saurabh, Murugan Veerapandian, Ganesh Venkatachalam, Deepak Bansal, Dinesh Gupta, Prakash M. Halami, Muthukumar Serva Peddha, Ravindra P. Veeranna, Anirban Pal, Ranvijay Kumar Singh, Suresh Kumar Anandasadagopan, Parimala Karuppanan, Syed Nasar Rahman, Gopika Selvakumar, Venkatesan Subramanian, Malay Kumar Karmakar, Harish Kumar Sardana, Anamika Kothari, Devendra Singh Parihar, Anupma Thakur, Anas Saifi, Naman Gupta, Yogita Singh, Ritu Reddu, Rizul Gautam, Anuj Mishra, Avinash Mishra, Iranna Gogeri, Geethavani Rayasam, Yogendra Padwad, Vikram Patial, Vipin Hallan, Damanpreet Singh, Narendra Tirpude, Partha Chakrabarti, Sujay Krishna Maity, Dipyaman Ganguly, Ramakrishna Sistla, Narender Kumar Balthu, Kiran Kumar A, Siva Ranjith, B. Vijay Kumar, Piyush Singh Jamwal, Anshu Wali, Sajad Ahmed, Rekha Chouhan, Sumit G. Gandhi, Nancy Sharma, Garima Rai, Faisal Irshad, Vijay Lakshmi Jamwal, Masroor Ahmad Paddar, Sameer Ullah Khan, Fayaz Malik, Debashish Ghosh, Ghanshyam Thakkar, Saroj Kanta Barik, Prabhanshu Tripathi, Yatendra Kumar Satija, Sneha Mohanty, Md. Tauseef Khan, Umakanta Subudhi, Pradip Sen, Rashmi Kumar, Anshu Bhardwaj, Pawan Gupta, Deepak Sharma, Amit Tuli, Saumya Ray chaudhuri, Srinivasan Krishnamurthi, L. Prakash, Ch V. Rao, B. N. Singh, Arvindkumar Chaurasiya, Meera Chaurasiyar, Mayuri Bhadange, Bhagyashree Likhitkar, Sharada Mohite, Yogita Patil, Mahesh Kulkarni, Rakesh Joshi, Vaibhav Pandya, Sachin Mahajan, Amita Patil, Rachel Samson, Tejas Vare, Mahesh Dharne, Ashok Giri, Shilpa Paranjape, G. Narahari Sastry, Jatin Kalita, Tridip Phukan, Prasenjit Manna, Wahengbam Romi, Pankaj Bharali, Dibyajyoti Ozah, Ravi Kumar Sahu, Prachurjya Dutta, Moirangthem Goutam Singh, Gayatri Gogoi, Yasmin Begam Tapadar, Elapavalooru VSSK. Babu, Rajeev K. Sukumaran, Aishwarya R. Nair, Anoop Puthiyamadam, Prajeesh Kooloth Valappil, Adrash Velayudhan Pillai Prasannakumari, Kalpana Chodankar, Samir Damare, Ved Varun Agrawal, Kumardeep Chaudhary, Anurag Agrawal, Shantanu Sengupta, Debasis Dash:
  A machine learning-based approach to determine infection status in recipients of BBV152 (Covaxin) whole-virion inactivated SARS-CoV-2 vaccine for serological surveys. Comput. Biol. Medicine 146: 105419 (2022)
• 2021
• 
  Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter:
  TASE: Reducing Latency of Symbolic Execution with Transactional Memory. NDSS 2021
• 2020
• 
  Zhao Zhang, Tavish Vaidya, Kartik Subramanian, Wenchao Zhou, Micah Sherr:
  Ephemeral Exit Bridges for Tor. DSN 2020: 253-265
• 
  Farnaz Yousefi, Anubhavnidhi Abhashkumar, Kausik Subramanian, Kartik Hans, Soudeh Ghorbani, Aditya Akella:
  Liveness Verification of Stateful Network Functions. NSDI 2020: 257-272
• 2019
• 
  Rahul D. Gavas, Deepan Das, Tanuka Bhattacharjee, Mithun B. Sheshachala, Lalit K. Hissaria, Ramu Reddy Vempada, Venkata Subramanian Viraraghavan, Anirban Dutta Choudhury, Kartik Muralidharan, Ramesh K. Ramakrishnan, P. Balamuralidhar, Arpan Pal:
  A Sensor-enabled Digital Trier Social Stress Test in an Enterprise Context. EMBC 2019: 1321-1325
• 
  Adam Humphries, Kartik Cating-Subramanian, Michael K. Reiter:
  TASE: Reducing latency of symbolic execution with transactional memory. CoRR abs/1912.12363 (2019)
• 2015
• 
  Kartik Subramanian, Mark R. Paul, John J. Tyson:
  Dynamical Localization of DivL and PleC in the Asymmetric Division Cycle of Caulobacter crescentus: A Theoretical Investigation of Alternative Models. PLoS Comput. Biol. 11(7) (2015)
• 
  Guozhang Wang, Joel Koshy, Sriram Subramanian, Kartik Paramasivam, Mammad Zadeh, Neha Narkhede, Jun Rao, Jay Kreps, Joe Stein:
  Building a Replicated Logging System with Apache Kafka. Proc. VLDB Endow. 8(12): 1654-1655 (2015)
• 
  Minghan Chen, Fei Li, Kartik Subramanian, John J. Tyson, Yang Cao:
  Two-dimensional model of bipolar PopZ polymerization in caulobacter crescentus. BCB 2015: 37-46
• 2013
• 
  Kartik Subramanian, Mark R. Paul, John J. Tyson:
  Potential Role of a Bistable Histidine Kinase Switch in the Asymmetric Division Cycle of Caulobacter crescentus. PLoS Comput. Biol. 9(9) (2013)
• 2007
• 
  Sonja Glavaski, Dharmashankar Subramanian, Kartik B. Ariyur, Ranjana Ghosh, Nitin Lamba, Antonis Papachristodoulou:
  A Nonlinear Hybrid Life Support System: Dynamic Modeling, Control Design, and Safety Verification. IEEE Trans. Control. Syst. Technol. 15(6): 1003-1017 (2007)
• 2004
• 
  Dharmashankar Subramanian, Kartik B. Ariyur, Nitin Lamba, Ranjana Deshpande, Sonja Glavaski:
  Control Design for a Hybrid Dynamic System: A NASA Life Support System. HSCC 2004: 570-584