| 2025 |
J |
jnl |
Autom. Softw. Eng.
Arif Ali Khan, Muhammad Azeem Akbar, Valtteri Lahtinen, Marko Paavola, Mahmood Khan Niazi, Mohammed Naif Alatawi, Shoayee Dlaim Alotaibi
|
| 2025 |
J |
jnl |
ACM Trans. Quantum Comput.
Tejas Shinde, Ljubomir Budinski, Ossi Niemimäki, Valtteri Lahtinen, Helena Liebelt, Rui Li
|
| 2024 |
J |
jnl |
CoRR
Arif Ali Khan, Muhammad Azeem Akbar, Valtteri Lahtinen, Marko Paavola
|
| 2024 |
J |
jnl |
Autom. Softw. Eng.
Arif Ali Khan, Muhammad Azeem Akbar, Valtteri Lahtinen, Marko Paavola, Mahmood Khan Niazi, Mohammed Naif Alatawi, Shoayee Dlaim Alotaibi
|
| 2024 |
J |
jnl |
Adv. Comput. Math.
P. Robert Kotiuga, Valtteri Lahtinen
|
| 2023 |
— |
conf |
QSW
Arif Ali Khan, Muhammad Azeem Akbar, Aakash Ahmad, Mahdi Fahmideh, Mohammad Shameem, Valtteri Lahtinen, Muhammad Waseem, Tommi Mikkonen
|
| 2022 |
J |
jnl |
CoRR
Arif Ali Khan, Muhammad Azeem Akbar, Aakash Ahmad, Mahdi Fahmideh, Mohammad Shameem, Valtteri Lahtinen, Muhammad Waseem, Tommi Mikkonen
|
| 2022 |
— |
conf |
QP4SE@ESEC/SIGSOFT FSE
Arif Ali Khan, Mahdi Fahmideh, Aakash Ahmad, Muhammad Waseem, Mahmood Khan Niazi, Valtteri Lahtinen, Tommi Mikkonen
|
| 2021 |
J |
jnl |
Pattern Anal. Appl.
Matti Pellikka, Valtteri Lahtinen
|
| 2020 |
J |
jnl |
CoRR
Matti Pellikka, Valtteri Lahtinen
|
| 2019 |
J |
jnl |
Comput. Math. Appl.
Alex Stockrahm, Valtteri Lahtinen, Jari J. J. Kangas, P. Robert Kotiuga
|
| 2017 |
J |
jnl |
Synth.
Valtteri Lahtinen, Antti Stenvall
|