Janardan Misra

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 19

Top Topics

Natural Language

Linear Temporal Logic

Top Venues

Publications

Sukhavasi Narendranath, Janardan Misra, Vikrant Kaulgud, Sanjay Podder
Geo-sentiment trends analysis of tweets in context of economy and employment during COVID-19. J. Comput. Soc. Sci. 6 (2) (2023)
Soham Poddar, Mainack Mondal, Janardan Misra, Niloy Ganguly, Saptarshi Ghosh
Winds of Change: Impact of COVID-19 on Vaccine-Related Opinions of Twitter Users. ICWSM (2022)
Janardan Misra, Sanjay Podder
Association of Defect Log Suitability for Machine Learning with Performance: An Experience Report. ISEC (2021)
Soham Poddar, Mainack Mondal, Janardan Misra, Niloy Ganguly, Saptarshi Ghosh
Winds of Change: Impact of COVID-19 on Vaccine-related Opinions of Twitter users. CoRR (2021)
Janardan Misra, Vikrant Kaulgud, Rupesh Kaslay, Sanjay Podder
When to Build Quantum Software? CoRR (2021)
Shalmoli Ghosh, Janardan Misra, Saptarshi Ghosh, Sanjay Podder
Utilizing Social Media for Identifying Drug Addiction and Recovery Intervention. IEEE BigData (2020)
Janardan Misra
autoNLP: NLP Feature Recommendations for Text Analytics Applications. CoRR (2020)
Janardan Misra, Sanjay Podder
Mining Text in Incident Repositories: Experiences and Perspectives on Adopting Machine Learning Solutions in Practice. ASE Workshops (2019)
Janardan Misra
A Recursive PLS (Partial Least Squares) based Approach for Enterprise Threat Management. CoRR (2018)
Janardan Misra, Divya Rawat, Sanjay Podder
Designing Data-Driven Solutions to Societal Problems: Challenges and Approaches. Nemesis/UrbReas/SoGood/IWAISe/GDM@PKDD/ECML (2018)
Janardan Misra
A Note on Digitization of Real-Time Models and Logics. CoRR (2018)
Janardan Misra
Computational Complexity of Observing Evolution in Artificial-Life Forms. CoRR (2018)
Janardan Misra, Shubhashis Sengupta, Divya Rawat, Milind Savagaonkar, Sanjay Podder
Data-Driven Application Maintenance: Views from the Trenches. CoRR (2018)
Janardan Misra
An Inductive Formalization of Self Reproduction in Dynamical Hierarchies. CoRR (2018)
Janardan Misra, Shubhashis Sengupta, Divya Rawat, Milind Savagaonkar, Sanjay Podder
Data-Driven Application Maintenance: Experience from the Trenches. SER&IP@ICSE (2017)
Sanjay Podder, Janardan Misra, Senthil Kumaresan, Neville Dubash, Indrani Bhattacharya
Designing Intelligent Automation based Solutions for Complex Social Problems. CoRR (2016)
Suman Roy, Janardan Misra, Indranil Saha
A simplification of a real-time verification problem. Softw. Test. Verification Reliab. 26 (8) (2016)
Janardan Misra
Terminological inconsistency analysis of natural language requirements. Inf. Softw. Technol. 74 (2016)
Janardan Misra, Shubhashis Sengupta, Sanjay Podder
Topic cohesion preserving requirements clustering. RAISE@ICSE (2016)
Vikrant S. Kaulgud, K. M. Annervaz, Janardan Misra, Gary Titus
Comprehension support during knowledge transitions: learning from field. ICPC (2014)
Janardan Misra, Shubhashis Sengupta, Subhabrata Das
Latent semantic centrality based automated requirements prioritization. ISEC (2014)
Janardan Misra, Suman Roy
A decidable timeout-based extension of linear temporal logic. J. Appl. Non Class. Logics 24 (3) (2014)
Janardan Misra
A Calculus of Incomplete Fusions. Comput. J. 57 (7) (2014)
Amitabh Saxena, Janardan Misra, Aritra Dhar
Increasing Anonymity in Bitcoin. Financial Cryptography Workshops (2014)
Janardan Misra, Subhabrata Das
Entity Disambiguation in Natural Language Text Requirements. APSEC (1) (2013)
K. M. Annervaz, Vikrant S. Kaulgud, Janardan Misra, Shubhashis Sengupta, Gary Titus, Azmat Munshi
Code clustering workbench. SCAM (2013)
Janardan Misra, K. M. Annervaz, Vikrant S. Kaulgud, Shubhashis Sengupta, Gary Titus
Java source-code clustering: unifying syntactic and semantic features. ACM SIGSOFT Softw. Eng. Notes 37 (6) (2012)
Janardan Misra, K. M. Annervaz, Vikrant S. Kaulgud, Shubhashis Sengupta, Gary Titus
Software Clustering: Unifying Syntactic and Semantic Features. WCRE (2012)
Janardan Misra
A Framework for Specification and Verification of Timeout Models of Real-Time Systems. IC3 (2011)
Janardan Misra
Algorithmic Feasibility of Observing Artificial Life Evolution. ALIFE (2010)
Janardan Misra, Suman Roy
A Decidable Timeout based Extension of Propositional Linear Temporal Logic CoRR (2010)
Janardan Misra, Indranil Saha
Artificial neural networks in hardware: A survey of two decades of progress. Neurocomputing 74 (1-3) (2010)
Subhas Kumar Ghosh, Janardan Misra
A Randomized Algorithm for 3-SAT. Math. Comput. Sci. 3 (4) (2010)
Indranil Saha, Janardan Misra, Suman Roy
A Simplification of a Real-Time Verification Problem CoRR (2010)
Janardan Misra
Design of a P System based Artificial Graph Chemistry CoRR (2009)
Janardan Misra, Indranil Saha
A reinforcement model for collaborative security and Its formal analysis. NSPW (2009)
Janardan Misra
Thoughts on an Unified Framework for Artificial Chemistries CoRR (2009)
Subhas Kumar Ghosh, Janardan Misra
A Randomized Algorithm for 3-SAT CoRR (2009)
Janardan Misra
Algorithmic Feasibility of Entity Recognition in Artificial Life. ECAL (2) (2009)
Janardan Misra
Towards a Framework for Observing Artificial Evolutionary Systems CoRR (2009)
Janardan Misra, Suman Roy
Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions CoRR (2009)
Indranil Saha, Janardan Misra, Suman Roy
Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems. ATVA (2007)
Martin Henz, Janardan Misra
Towards a Framework for Observing Artificial Life Forms. ALIFE (2007)
Gabriel Ciobanu, Janardan Misra
Performance Analysis and Name Passing Errors in Probabilistic Fusion. Sci. Ann. Cuza Univ. 15 (2005)
Rana Barua, Janardan Misra
Binary Arithmetic for DNA Computers. DNA (2002)