• 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 9 matches

• 2024
• 
  Aditya Dev Mishra, Khurram Mustafa:
  Security requirements specification by formal methods: a research metadata analysis. Multim. Tools Appl. 83(14): 41847-41866 (2024)
• 
  Talia Gershon, Seetharami Seelam, Brian Belgodere, Milton Bonilla, Lan Hoang, Danny Barnett, I-Hsin Chung, Apoorve Mohan, Ming-Hung Chen, Lixiang Luo, Robert Walkup, Constantinos Evangelinos, Shweta Salaria, Marc Dombrowa, Yoonho Park, Apo Kayi, Liran Schour, Alim Alim, Ali Sydney, Pavlos Maniotis, Laurent Schares, Bernard Metzler, Bengi Karacali-Akyamac, Sophia Wen, Tatsuhiro Chiba, Sunyanan Choochotkaew, Takeshi Yoshimura, Claudia Misale, Tonia Elengikal, Kevin O. Connor, Zhuoran Liu, Richard Molina, Lars Schneidenbach, James Caden, Christopher Laibinis, Carlos Fonseca, Vasily Tarasov, Swaminathan Sundararaman, Frank B. Schmuck, Scott Guthridge, Jeremy Cohn, Marc Eshel, Paul Muench, Runyu Liu, William Pointer, Drew Wyskida, Bob Krull, Ray Rose, Brent Wolfe, William Cornejo, John Walter, Colm Malone, Clifford Perucci, Frank Franco, Nigel Hinds, Bob Calio, Pavel Druyan, Robert Kilduff, John Kienle, Connor McStay, Andrew Figueroa, Matthew Connolly, Edie Fost, Gina Roma, Jake Fonseca, Ido Levy, Michele Payne, Ryan Schenkel, Amir Malki, Lion Schneider, Aniruddha Narkhede, Shekeba Moshref, Alexandra Kisin, Olga Dodin, Bill Rippon, Henry Wrieth, John Ganci, Johnny Colino, Donna Habeger-Rose, Rakesh Pandey, Aditya Gidh, Aditya Gaur, Dennis Patterson, Samsuddin Salmani, Rambilas Varma, Rumana Rumana, Shubham Sharma, Mayank Mishra, Rameswar Panda, Aditya Prasad, Matt Stallone, Gaoyuan Zhang, Yikang Shen, David Cox, Ruchir Puri, Dakshi Agrawal, Drew Thorstensen, Joel Belog, Brent Tang:
  The infrastructure powering IBM's Gen AI model development. CoRR abs/2407.05467 (2024)
• 2023
• 
  Shivam Mishra, Aditya Ray, Manpreet Singh, S. Venkatesan, Anshu S. Anand:
  Automated Hardware Auditing Testbed for UART and SPI based IoT Devices. IOTSMS 2023: 75-82
• 2022
• 
  Aditya Dev Mishra, Khurram Mustafa:
  A review on security requirements specification by formal methods. Concurr. Comput. Pract. Exp. 34(5) (2022)
• 2021
• 
  Anku Gupta, Mohit Choudhary, Sanjay Kumar Mohanty, Aayushi Mittal, Krishan Gupta, Aditya Arya, Suvendu Kumar, Nikhil Katyayan, Nilesh Kumar Dixit, Siddhant Kalra, Manshi Goel, Megha Sahni, Vrinda Singhal, Tripti Mishra, Debarka Sengupta, Gaurav Ahuja:
  Machine-OlF-Action: a unified framework for developing and interpreting machine-learning models for chemosensory research. Bioinform. 37(12): 1769-1771 (2021)
• 2020
• 
  Aditya Rana, Manjari Killa, Neelam Yadav, Annu Mishra, Ashish Mathur, Arun Kumar, Manika Khanuja, Jagriti Narang, Roberto Pilloton:
  Graphitic Carbon Nitride as an Amplification Platform on an Electrochemical Paper-Based Device for the Detection of Norovirus-Specific DNA. Sensors 20(7): 2070 (2020)
• 2018
• 
  Gissella Bejarano, Mayank Jain, Arti Ramesh, Anand Seetharam, Aditya Mishra:
  Predictive Analytics for Smart Water Management in Developing Regions. SMARTCOMP 2018: 464-469
• 2015
• 
  Andreas Veit, Michael J. Wilber, Rajan Vaish, Serge J. Belongie, James Davis, Vishal Anand, Anshu Aviral, Prithvijit Chakrabarty, Yash Chandak, Sidharth Chaturvedi, Chinmaya Devaraj, Ankit Dhall, Utkarsh Dwivedi, Sanket Gupte, Sharath N. Sridhar, Karthik Paga, Anuj Pahuja, Aditya Raisinghani, Ayush Sharma, Shweta Sharma, Darpana Sinha, Nisarg Thakkar, K. Bala Vignesh, Utkarsh Verma, Kanniganti Abhishek, Amod Agrawal, Arya Aishwarya, Aurgho Bhattacharjee, Sarveshwaran Dhanasekar, Venkata Karthik Gullapalli, Shuchita Gupta, Chandana G, Kinjal Jain, Simran Kapur, Meghana Kasula, Shashi Kumar, Parth Kundaliya, Utkarsh Mathur, Alankrit Mishra, Aayush Mudgal, Aditya Nadimpalli, Munakala Sree Nihit, Akanksha Periwal, Ayush Sagar, Ayush Shah, Vikas Sharma, Yashovardhan Sharma, Faizal Siddiqui, Virender Singh, Abhinav S., Pradyumna Tambwekar, Rashida Taskin, Ankit Tripathi, Anurag D. Yadav:
  On Optimizing Human-Machine Task Assignments. CoRR abs/1509.07543 (2015)
• 2011
• 
  Joshua Hare, Dheeraj Agrawal, Arunesh Mishra, Suman Banerjee, Aditya Akella:
  A network-assisted system for energy efficiency in mobile devices. COMSNETS 2011: 1-10