1 citations · 1 across the 3 of their papers we have counts for
3 papers
quant-ph2025
A hybrid variational quantum circuit approach for stabilizer states classifiers
Hamna Aslam, Frédéric Holweck
Entanglement classification of pure multipartite quantum states is a challenging problem in quantum information theory that can be mathematically stated as orbit classification for…
cs.CY2020★ 1 cited
Code Review in the Classroom
Victor Rivera, Hamna Aslam, Alexandr Naumchev +3
This paper presents a case study to examine the affinity of the code review process among young developers in an academic setting. Code review is indispensable considering the posi…
cs.SE2019
Towards A Broader Acceptance Of Formal Verification Tools: The Role Of Education
Mansur Khazeev, Manuel Mazzara, Daniel De Carvalho +1
Formal methods yet advantageous, face challenges towards wide acceptance and adoption in software development practices. The major reason being presumed complexity. The issue can b…