| On the use of word embeddings for identifying domain specific ambiguities in requirements S Mishra, A Sharma 2019 IEEE 27th International Requirements Engineering Conference Workshops …, 2019 | 31 | 2019 |
| Weighted lumpability on Markov chains A Sharma, JP Katoen Perspectives of Systems Informatics: 8th International Andrei Ershov …, 2012 | 19 | 2012 |
| Clustering glossary terms extracted from large-sized software requirements using FastText K Bhatia, S Mishra, A Sharma Proceedings of the 13th Innovations in Software Engineering Conference …, 2020 | 14 | 2020 |
| Automatic word embeddings-based glossary term extraction from large-sized software requirements S Mishra, A Sharma Requirements Engineering: Foundation for Software Quality: 26th …, 2020 | 13 | 2020 |
| Crawling wikipedia pages to train word embeddings model for software engineering domain S Mishra, A Sharma Proceedings of the 14th Innovations in Software Engineering Conference …, 2021 | 11 | 2021 |
| Identification of intra-domain ambiguity using transformer-based machine learning A Moharil, A Sharma Proceedings of the 1st International Workshop on Natural Language-based …, 2022 | 8 | 2022 |
| Weighted Probabilistic Equivalence Preserves ω-Regular Properties A Sharma Measurement, Modelling, and Evaluation of Computing Systems and …, 2012 | 8 | 2012 |
| Reduction Techniques for Nondeterministic and Probabilistic Systems A Sharma Dissertation, RWTH Aachen University, 2015, 2015 | 7 | 2015 |
| Tabasco: A transformer based contextualization toolkit A Moharil, A Sharma Science of Computer Programming 230, 102994, 2023 | 6 | 2023 |
| Sector classification for crowd-based software requirements K Bhatia, A Sharma Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1312-1320, 2021 | 6 | 2021 |
| Trace relations and logical preservation for Markov automata A Sharma Formal Modeling and Analysis of Timed Systems: 16th International Conference …, 2018 | 6 | 2018 |
| Trace relations and logical preservation for continuous-time Markov decision processes A Sharma Theoretical Aspects of Computing–ICTAC 2017: 14th International Colloquium …, 2017 | 6 | 2017 |
| A generalized semantic filter for glossary term extraction from large-sized software requirements S Mishra, A Sharma Proceedings of the 14th Innovations in Software Engineering Conference …, 2021 | 5 | 2021 |
| Layered reduction for abstract probabilistic automata A Sharma, JP Katoen 2014 14th International Conference on Application of Concurrency to System …, 2014 | 5 | 2014 |
| Requirements quality assessment for outsourcing A Sharma, A Serebrenik, M Klabbers Master's thesis (0666074), Department of Mathematics and Computer Science …, 2009 | 5 | 2009 |
| Embeddings between state and action labeled probabilistic systems S Das, A Sharma Proceedings of the 36th Annual ACM Symposium on Applied Computing, 1759-1767, 2021 | 4 | 2021 |
| On the use of model and logical embeddings for model checking of probabilistic systems S Das, A Sharma International Conference on Formal Techniques for Distributed Objects …, 2023 | 3 | 2023 |
| Interactive Markovian equivalence A Sharma Computer Performance Engineering: 14th European Workshop, EPEW 2017, Berlin …, 2017 | 3 | 2017 |
| Layered reduction for modal specification theories A Sharma, JP Katoen International Workshop on Formal Aspects of Component Software, 329-347, 2013 | 3 | 2013 |
| A two step perspective for Kripke structure reduction A Sharma arXiv preprint arXiv:1210.0408, 2012 | 3 | 2012 |
Siba MishraResearch and Engineering Scientist at Zoho Corporation, India在 zohocorp.com 的电子邮件经过验证
