academics
Home
Academics
Publications
Talks Given
Course Work
Achievements
Resume
projects
Research Internships
Software Internship
Research Experience
Select Projects
others
Extracurrics
Contact
technical writings
MMW
UGC

Publications

Publication

  • B. Bollig, P. Gastin and A. Kumar. Parameterized Communicating Automata: Complementation and Model Checking. In Proceedings of the 34th Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS’14), New Delhi, India, December 2014, Leibniz International Proceedings in Informatics. Leibniz-Zentrum für Informatik.

  • B. V. Srinivasan, A. Kumar, S. Gupta, K. Gupta. Stemming the flow of information in a social network. In Proceedings of the 6th Conference on Social Informatics, Barcelona, Spain, November 2014.

Patent

  • Filed US20150113056A1, “Identifying Target Customers To Stem The Flow Of Negative Campaign” as one of the inventor.