{"id":3623,"date":"2022-08-04T09:09:12","date_gmt":"2022-08-04T09:09:12","guid":{"rendered":"https:\/\/dei.fe.up.pt\/qclab\/?page_id=3623"},"modified":"2023-02-09T11:38:08","modified_gmt":"2023-02-09T11:38:08","slug":"publications","status":"publish","type":"page","link":"https:\/\/dei.fe.up.pt\/armis\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

Publications in International Journals<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

Cl\u00e1udio Gomes, Gabriel Falcao, Lu\u00eds Paquete, Jo\u00e3o Paulo Fernandes,”An Empirical Study on the Use of Quantum Computing for Financial Portfolio Optimization,” in Springer Nature Computer Science, 2022. https:\/\/doi.org\/10.1007\/s42979-022-01215-9<\/a><\/p>

D Fortunato, J Campos, R Abreu,”Mutation Testing of Quantum Programs: A Case Study With QISKit,” in\u00a0IEEE Transactions on Quantum Engineering, 2022. https:\/\/doi.org\/10.1109\/TQE.2022.3195061<\/a><\/p>

K. Bertels, A. Sarkar and I. Ashraf,”Quantum Computing\u2014From NISQ to PISQ,” in IEEE Micro, vol. 41, no. 05, pp. 24-32, 2021. https:\/\/doi.org\/10.1109\/MM.2021.3099195<\/a><\/p>

A Sarkar, Z Al-Ars, K Bertels,”Estimating Algorithmic Information Using Quantum Computing for Genomics Applications,” in Applied Sciences 11 (6), 2696, 2021. https:\/\/doi.org\/10.3390\/app11062696<\/a><\/p>

A Sarkar, Z Al-Ars, K Bertels,”QuASeR: Quantum Accelerated de novo DNA sequence reconstruction,” in Plos one 16 (4), e0249850, 2021. https:\/\/doi.org\/10.1371\/journal.pone.0249850<\/a><\/p>

R Abreu, S Ali, T Yue,”First International Workshop on Quantum Software Engineering (Q-SE 2020),” in ACM SIGSOFT Software Engineering Notes 46 (2), 30-32, 2021. https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3448992.3449000<\/a><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t

\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

Publications in International Conferences<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

Shaukat Ali, Tao Yue, Rui Abreu,”When software engineering meets quantum computing,” in Commun. ACM 65(4): 84-88, 2022. https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3512340<\/a><\/p>

Daniel Fortunato, Jos\u00e9 Campos, Rui Abreu,”Mutation Testing of Quantum Programs Written in QISKit,” in ICSE-Companion 2022: 358-359, 2022. https:\/\/doi.org\/10.1109\/ICSE-Companion55297.2022.9793776<\/a><\/p>

Daniel Fortunato, Jos\u00e9 Campos, and Rui Abreu,”QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit,” in In Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2022). ACM, New York, NY, USA, pp. 797\u2013800, 2022. https:\/\/doi.org\/10.1145\/3533767.3543296<\/a><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t

\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

Publications in International Workshops<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

Rui Abreu, Jo\u00e3o Paulo Fernandes, Luis Llana, Guilherme Tavares,”Metamorphic Testing of Oracle Quantum Programs,” in Q-SE@ICSE 2022: 16-23, 2022. https:\/\/doi.org\/10.1145\/3528230.3529189<\/a><\/p>

Miguel Trinca, Jo\u00e3o F. Ferreira, Rui Abreu,”A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing,” in ICST Workshops 2022: 118-121, 2022. https:\/\/doi.org\/10.1109\/ICSTW55395.2022.00033<\/a><\/p>

Diedrich, A., Feldman, A., Perdomo-Ortiz, A., Abreu, R., Niggemann, O., & de Kleer, J.,”Applying simulated annealing to problems in model-based diagnosis. ,” in In Proceedings of the 27th International workshop on principles of diagnosis, Denver, CO, USA (pp. 4-7)., 2019. https:\/\/ntrs.nasa.gov\/citations\/20190000272<\/a><\/p>

Cl\u00e1udio Gomes, Daniel Fortunato, Jo\u00e3o Paulo Fernandes, and Rui Abreu,”Off-the-shelf Components for Quantum Programming and Testing,” in International Workshop on Software Engineering & Technology, 2020. http:\/\/ceur-ws.org\/Vol-2705\/short2.pdf<\/a><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t

\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t

Publications at <\/span>arXiv<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

K Bertels, A Sarkar, I Ashraf,”Quantum Computing–from NISQ to PISQ,” in arXiv, 2022. https:\/\/arxiv.org\/pdf\/2106.11840.pdf<\/a><\/p>

Koen Bertels, A Sarkar, A Krol, R Budhrani, J Samadi, E Geoffroy, J Matos, R Abreu, G Gielen, I Ashraf,”Quantum Accelerator Stack: A Research Roadmap,” in arXiv, 2021. https:\/\/arxiv.org\/pdf\/2102.02035.pdf<\/a><\/p>

AM Krol, A Sarkar, I Ashraf, Z Al-Ars, K Bertels,”Efficient decomposition of unitary matrices in quantum circuit compilers,” in arXiv, 2022. https:\/\/arxiv.org\/pdf\/2101.02993.pdf<\/a><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t

\n\t\t\t\t\t\t
\n\t\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\"\"\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t
\n\t\t\t
\n\t\t\t\t\t\t
\n\t\t\t\t
\n\t\t\t\t\t\t\t\t\t

Email<\/strong><\/span>

<\/p>

Phone<\/span>

<\/p>

Address<\/strong>
Faculdade de Engenharia da Universidade do Porto<\/span>
Departamento de Engenharia Inform\u00e1tica<\/span>
Rua do Dr. Roberto Frias, s\/n<\/span>
4200-465 Porto Portugal<\/span><\/a><\/p>\t\t\t\t\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/div>\n\t\t\t\t\t<\/div>\n\t\t<\/section>\n\t\t\t\t<\/div>\n\t\t","protected":false},"excerpt":{"rendered":"

Publications in International Journals Cl\u00e1udio Gomes, Gabriel Falcao, Lu\u00eds Paquete, Jo\u00e3o Paulo Fernandes,”An Empirical Study on the Use of Quantum Computing for Financial Portfolio Optimization,” in Springer Nature Computer Science, 2022. https:\/\/doi.org\/10.1007\/s42979-022-01215-9 D Fortunato, J Campos, R Abreu,”Mutation Testing of Quantum Programs: A Case Study With QISKit,” in\u00a0IEEE Transactions on Quantum Engineering, 2022. https:\/\/doi.org\/10.1109\/TQE.2022.3195061 K.… Read More »Publications<\/span><\/a><\/p>\n","protected":false},"author":60,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"elementor_canvas","meta":{"inline_featured_image":false,"neve_meta_sidebar":"","neve_meta_container":"","neve_meta_enable_content_width":"off","neve_meta_content_width":0,"neve_meta_title_alignment":"","neve_meta_author_avatar":"","neve_post_elements_order":"","neve_meta_disable_header":"off","neve_meta_disable_footer":"","neve_meta_disable_title":"on","footnotes":""},"class_list":["post-3623","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dei.fe.up.pt\/armis\/wp-json\/wp\/v2\/pages\/3623","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dei.fe.up.pt\/armis\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dei.fe.up.pt\/armis\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dei.fe.up.pt\/armis\/wp-json\/wp\/v2\/users\/60"}],"replies":[{"embeddable":true,"href":"https:\/\/dei.fe.up.pt\/armis\/wp-json\/wp\/v2\/comments?post=3623"}],"version-history":[{"count":43,"href":"https:\/\/dei.fe.up.pt\/armis\/wp-json\/wp\/v2\/pages\/3623\/revisions"}],"predecessor-version":[{"id":3817,"href":"https:\/\/dei.fe.up.pt\/armis\/wp-json\/wp\/v2\/pages\/3623\/revisions\/3817"}],"wp:attachment":[{"href":"https:\/\/dei.fe.up.pt\/armis\/wp-json\/wp\/v2\/media?parent=3623"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}