Mohammad Mehdi Pourhashem Kallehbasti
Orcid: 0000-0001-9484-6813
According to our database1,
Mohammad Mehdi Pourhashem Kallehbasti
authored at least 12 papers
between 2014 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
AdvanceSplice: Integrating N-gram one-hot encoding and ensemble modeling for enhanced accuracy.
Biomed. Signal Process. Control., 2024
Proceedings of the 28th International Conference on Evaluation and Assessment in Software Engineering, 2024
2023
Proceedings of the IEEE International Conference on Software Analysis, 2023
2022
IEEE Trans. Software Eng., 2022
2021
J. Real Time Image Process., 2021
2017
ACM Trans. Softw. Eng. Methodol., 2017
J. Softw. Evol. Process., 2017
2016
How bit-vector logic can help improve the verification of LTL specifications over infinite domains.
Proceedings of the 31st Annual ACM Symposium on Applied Computing, 2016
2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
Proceedings of the 37th IEEE/ACM International Conference on Software Engineering, 2015
2014
Proceedings of the 2nd FME Workshop on Formal Methods in Software Engineering, 2014