Name
Affiliation
Papers
JANARDAN MISRA
Honeywell Technol Solut, 151-1,Doraisanipalya,Bannerghatta Rd, Bangalore 560076, Karnataka, India
25
Collaborators
Citations 
PageRank 
19
165
14.33
Referers 
Referees 
References 
477
623
339
Search Limit
100623
Title
Citations
PageRank
Year
Mining Text in Incident Repositories: Experiences and Perspectives on Adopting Machine Learning Solutions in Practice00.342019
Data-Driven Application Maintenance: Views from the Trenches.00.342018
Data-Driven Application Maintenance: Experience from the Trenches.00.342017
Terminological inconsistency analysis of natural language requirements.20.362016
Topic cohesion preserving requirements clustering.20.352016
Designing Intelligent Automation based Solutions for Complex Social Problems.00.342016
Latent semantic centrality based automated requirements prioritization30.422014
Comprehension support during knowledge transitions: learning from field.00.342014
A decidable timeout-based extension of linear temporal logic.00.342014
Entity Disambiguation in Natural Language Text Requirements.30.392013
Java source-code clustering: Unifying syntactic and semantic features10.372012
A Framework For Specification And Verification Of Timeout Models Of Real-Time Systems00.342011
Algorithmic Feasibility of Observing Artificial Life Evolution.00.342010
A Simplification of a Real-Time Verification Problem10.372010
A Decidable Timeout based Extension of Propositional Linear Temporal Logic00.342010
Artificial neural networks in hardware: A survey of two decades of progress1405.132010
Design of a P System based Artificial Graph Chemistry10.362009
A reinforcement model for collaborative security and Its formal analysis10.632009
Techniques for Distributed Reachability Analysis with Partial Order and Symmetry based Reductions00.342009
Thoughts on an Unified Framework for Artificial Chemistries00.342009
A Randomized Algorithm For 3-Sat00.342009
Towards a Framework for Observing Artificial Evolutionary Systems00.342009
Algorithmic feasibility of entity recognition in artificial life10.432009
Timeout and calendar based finite state modeling and verification of real-time systems20.382007
Binary Arithmetic for DNA Computers80.722002