Syeda Hira Taqdees
Orcid: 0000-0002-4923-3783
According to our database1,
Syeda Hira Taqdees
authored at least 9 papers
between 2013 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
2014
2016
2018
2020
2022
2024
0
1
2
3
1
2
1
1
1
1
1
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
2023
Proceedings of the 12th Workshop on Programming Languages and Operating Systems, 2023
2020
Proc. ACM Program. Lang., 2020
2019
2018
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018
2017
IEEE Des. Test, 2017
2013
Formalization of Laplace Transform Using the Multivariable Calculus Theory of HOL-Light.
Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2013