Janardan Misra

Vikrant Kaulgud

J. Comput. Soc. Sci., October, 2023

2022

Winds of Change: Impact of COVID-19 on Vaccine-Related Opinions of Twitter Users.

[BibT_eX]

[DOI]

Proceedings of the Sixteenth International AAAI Conference on Web and Social Media, 2022

2021

When to Build Quantum Software?

[BibT_eX]

[DOI]

CoRR, 2021

Association of Defect Log Suitability for Machine Learning with Performance: An Experience Report.

[BibT_eX]

[DOI]

Proceedings of the ISEC 2021: 14th Innovations in Software Engineering Conference, 2021

2020

autoNLP: NLP Feature Recommendations for Text Analytics Applications.

[BibT_eX]

[DOI]

CoRR, 2020

Utilizing Social Media for Identifying Drug Addiction and Recovery Intervention.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Conference on Big Data (IEEE BigData 2020), 2020

2019

Mining Text in Incident Repositories: Experiences and Perspectives on Adopting Machine Learning Solutions in Practice.

[BibT_eX]

[DOI]

Proceedings of the 34th IEEE/ACM International Conference on Automated Software Engineering Workshops, 2019

2018

Computational Complexity of Observing Evolution in Artificial-Life Forms.

[BibT_eX]

[DOI]

CoRR, 2018

A Recursive PLS (Partial Least Squares) based Approach for Enterprise Threat Management.

[BibT_eX]

[DOI]

CoRR, 2018

An Inductive Formalization of Self Reproduction in Dynamical Hierarchies.

[BibT_eX]

[DOI]

CoRR, 2018

A Note on Digitization of Real-Time Models and Logics.

[BibT_eX]

[DOI]

CoRR, 2018

Data-Driven Application Maintenance: Views from the Trenches.

[BibT_eX]

[DOI]

CoRR, 2018

Designing Data-Driven Solutions to Societal Problems: Challenges and Approaches.

[BibT_eX]

[DOI]

Divya Rawat

Proceedings of the ECML PKDD 2018 Workshops, 2018

2017

Data-Driven Application Maintenance: Experience from the Trenches.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE/ACM International Workshop on Software Engineering Research and Industrial Practice, 2017

2016

A simplification of a real-time verification problem.

[BibT_eX]

[DOI]

Softw. Test. Verification Reliab., 2016

Terminological inconsistency analysis of natural language requirements.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2016

Designing Intelligent Automation based Solutions for Complex Social Problems.

[BibT_eX]

[DOI]

CoRR, 2016

Topic cohesion preserving requirements clustering.

[BibT_eX]

[DOI]

Shubhashis Sengupta

Proceedings of the 5th International Workshop on Realizing Artificial Intelligence Synergies in Software Engineering, 2016

2014

A decidable timeout-based extension of linear temporal logic.

[BibT_eX]

[DOI]

J. Appl. Non Class. Logics, 2014

A Calculus of Incomplete Fusions.

[BibT_eX]

[DOI]

Comput. J., 2014

Comprehension support during knowledge transitions: learning from field.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Program Comprehension, 2014

Latent semantic centrality based automated requirements prioritization.

[BibT_eX]

[DOI]

Shubhashis Sengupta

Subhabrata Das

Proceedings of the 7th India Software Engineering Conference, Chennai, 2014

Increasing Anonymity in Bitcoin.

[BibT_eX]

[DOI]

Amitabh Saxena

Aritra Dhar

Proceedings of the Financial Cryptography and Data Security, 2014

2013

Code clustering workbench.

[BibT_eX]

[DOI]

Proceedings of the 13th IEEE International Working Conference on Source Code Analysis and Manipulation, 2013

Entity Disambiguation in Natural Language Text Requirements.

[BibT_eX]

[DOI]

Subhabrata Das

Proceedings of the 20th Asia-Pacific Software Engineering Conference, 2013

2012

Java source-code clustering: unifying syntactic and semantic features.

[BibT_eX]

ACM SIGSOFT Softw. Eng. Notes, 2012

Software Clustering: Unifying Syntactic and Semantic Features.

[BibT_eX]

[DOI]

Proceedings of the 19th Working Conference on Reverse Engineering, 2012

2011

A Framework for Specification and Verification of Timeout Models of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Contemporary Computing - 4th International Conference, 2011

2010

A Randomized Algorithm for 3-SAT.

[BibT_eX]

[DOI]

Subhas Kumar Ghosh

Math. Comput. Sci., 2010

Artificial neural networks in hardware: A survey of two decades of progress.

[BibT_eX]

[DOI]

Neurocomputing, 2010

A Decidable Timeout based Extension of Propositional Linear Temporal Logic

[BibT_eX]

[DOI]

CoRR, 2010

Algorithmic Feasibility of Observing Artificial Life Evolution.

[BibT_eX]

[DOI]

Proceedings of the Twelfth International Conference on the Synthesis and Simulation of Living Systems, 2010

2009

Towards a Framework for Observing Artificial Evolutionary Systems

[BibT_eX]

[DOI]

CoRR, 2009

Thoughts on an Unified Framework for Artificial Chemistries

[BibT_eX]

[DOI]

CoRR, 2009

Design of a P System based Artificial Graph Chemistry

[BibT_eX]

[DOI]

CoRR, 2009

Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions

[BibT_eX]

[DOI]

CoRR, 2009

A reinforcement model for collaborative security and Its formal analysis.

[BibT_eX]

[DOI]

Proceedings of the 2009 Workshop on New Security Paradigms, 2009

Algorithmic Feasibility of Entity Recognition in Artificial Life.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Life. Darwin Meets von Neumann, 2009

2007

Towards a Framework for Observing Artificial Life Forms.

[BibT_eX]

[DOI]

Martin Henz

Proceedings of the First IEEE Symposium on Artificial Life, 2007

Timeout and Calendar Based Finite State Modeling and Verification of Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2007

2005

Performance Analysis and Name Passing Errors in Probabilistic Fusion.

[BibT_eX]

[DOI]

Gabriel Ciobanu

Sci. Ann. Cuza Univ., 2005

2002

Binary Arithmetic for DNA Computers.

[BibT_eX]

[DOI]

Rana Barua