Ankita Bhaumik
Cited by
Cited by
Design of an intelligent voice controlled home automation system
S Sen, S Chakrabarty, R Toshniwal, A Bhaumik
International Journal of Computer Applications 121 (15), 2015
Trends and awareness in green computing initiatives: A comprehensive study
S Agarwal, S Chakarabarty, A Bhaumik, DA Nath
International Journal of Advanced Research in Computer Science and …, 2015
Formal Verification of Safety-Critical Aerospace Systems
S Paul, E Cruz, A Dutta, A Bhaumik, E Blasch, G Agha, S Patterson, ...
IEEE Aerospace and Electronic Systems Magazine, 2023
Solar-Powered Automated Plant Watering System
R Biswas, R Beed, A Bhaumik, S Chakrabarty, R Toshniwal
International Journal of Advanced Engineering and Global Technology IJAEGT …, 0
Extracting Business Compliant Finite State Models from i* Models
N Deb, N Chaki, M Roy, S Pal, A Bhaumik
Advanced Computing and Systems for Security, 39-52, 2020
Proving the Correctness of Multicopter Rotor Fault Detection and Identification Software
A Bhaumik, A Dutta, F Kopsaftopoulos, CA Varela
2021 IEEE/AIAA 40th Digital Avionics Systems Conference (DASC), 1-10, 2021
Adapting Emotion Detection to Analyze Influence Campaigns on Social Media
A Bhaumik, A Bernhardt, G Katsios, N Sa, T Strzalkowski
Proceedings of the 13th Workshop on Computational Approaches to Subjectivity …, 2023
A Deployment Framework for Ensuring Business Compliance Using Goal Models
N Deb, M Roy, S Pal, A Bhaumik, N Chaki
Transactions on Computational Science XXXV, 106-118, 2020
Anti-Corruption Biometric Voting Machine
A Bhaumik, R Biswas, S Chakrabarty
International Journal of Emerging Research in Management &Technology 4 (9), 2015
The system can't perform the operation now. Try again later.
Articles 1–9