{"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":"2025-10-21T16:37:36","modified_gmt":"2025-10-21T16:37:36","slug":"publications","status":"publish","type":"page","link":"https:\/\/dei.fe.up.pt\/qclab\/publications\/","title":{"rendered":"Publications"},"content":{"rendered":"\t\t<div data-elementor-type=\"wp-page\" data-elementor-id=\"3623\" class=\"elementor elementor-3623\">\n\t\t\t\t\t\t<section class=\"has_eae_slider elementor-section elementor-top-section elementor-element elementor-element-cc70064 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-eae-slider=\"34534\" data-id=\"cc70064\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"has_eae_slider elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-b1ffd2c\" data-eae-slider=\"24084\" data-id=\"b1ffd2c\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-904bb1d elementor-widget elementor-widget-heading\" data-id=\"904bb1d\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Publications in International Journals<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-c81728b elementor-widget elementor-widget-text-editor\" data-id=\"c81728b\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Cl\u00e1udio Gomes, Gabriel Falcao, Lu\u00eds Paquete, Jo\u00e3o Paulo Fernandes,&#8221;An Empirical Study on the Use of Quantum Computing for Financial Portfolio Optimization,&#8221; in Springer Nature Computer Science, 2022. <a href=\"https:\/\/doi.org\/10.1007\/s42979-022-01215-9\">https:\/\/doi.org\/10.1007\/s42979-022-01215-9<\/a><\/p><p>D Fortunato, J Campos, R Abreu,&#8221;Mutation Testing of Quantum Programs: A Case Study With QISKit,&#8221; in\u00a0IEEE Transactions on Quantum Engineering, 2022. <a href=\"https:\/\/doi.org\/10.1109\/TQE.2022.3195061\">https:\/\/doi.org\/10.1109\/TQE.2022.3195061<\/a><\/p><p>K. Bertels, A. Sarkar and I. Ashraf,&#8221;Quantum Computing\u2014From NISQ to PISQ,&#8221; in IEEE Micro, vol. 41, no. 05, pp. 24-32, 2021. <a href=\"https:\/\/doi.org\/10.1109\/MM.2021.3099195\">https:\/\/doi.org\/10.1109\/MM.2021.3099195<\/a><\/p><p>A Sarkar, Z Al-Ars, K Bertels,&#8221;Estimating Algorithmic Information Using Quantum Computing for Genomics Applications,&#8221; in Applied Sciences 11 (6), 2696, 2021. <a href=\"https:\/\/doi.org\/10.3390\/app11062696\">https:\/\/doi.org\/10.3390\/app11062696<\/a><\/p><p>A Sarkar, Z Al-Ars, K Bertels,&#8221;QuASeR: Quantum Accelerated de novo DNA sequence reconstruction,&#8221; in Plos one 16 (4), e0249850, 2021. <a href=\"https:\/\/doi.org\/10.1371\/journal.pone.0249850\">https:\/\/doi.org\/10.1371\/journal.pone.0249850<\/a><\/p><p>R Abreu, S Ali, T Yue,&#8221;First International Workshop on Quantum Software Engineering (Q-SE 2020),&#8221; in ACM SIGSOFT Software Engineering Notes 46 (2), 30-32, 2021. <a href=\"https:\/\/dl.acm.org\/doi\/abs\/10.1145\/3448992.3449000\">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<section class=\"has_eae_slider elementor-section elementor-top-section elementor-element elementor-element-4499906 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-eae-slider=\"52201\" data-id=\"4499906\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"has_eae_slider elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-6047a58\" data-eae-slider=\"73500\" data-id=\"6047a58\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-5ee84af elementor-widget elementor-widget-heading\" data-id=\"5ee84af\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Publications in International Conferences<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d1c4e7b elementor-widget elementor-widget-text-editor\" data-id=\"d1c4e7b\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Shaukat Ali, Tao Yue, Rui Abreu,&#8221;When software engineering meets quantum computing,&#8221; in Commun. ACM 65(4): 84-88, 2022. <a href=\"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3512340\">https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3512340<\/a><\/p><p>Daniel Fortunato, Jos\u00e9 Campos, Rui Abreu,&#8221;Mutation Testing of Quantum Programs Written in QISKit,&#8221; in ICSE-Companion 2022: 358-359, 2022. <a href=\"https:\/\/doi.org\/10.1109\/ICSE-Companion55297.2022.9793776\">https:\/\/doi.org\/10.1109\/ICSE-Companion55297.2022.9793776<\/a><\/p><p>Daniel Fortunato, Jos\u00e9 Campos, and Rui Abreu,&#8221;QMutPy: a mutation testing tool for Quantum algorithms and applications in Qiskit,&#8221; 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. <a href=\"https:\/\/doi.org\/10.1145\/3533767.3543296\">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<section class=\"has_eae_slider elementor-section elementor-top-section elementor-element elementor-element-5aa61ef elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-eae-slider=\"63820\" data-id=\"5aa61ef\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"has_eae_slider elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-926326d\" data-eae-slider=\"79216\" data-id=\"926326d\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-0b52438 elementor-widget elementor-widget-heading\" data-id=\"0b52438\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\">Publications in International Workshops<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-94492e7 elementor-widget elementor-widget-text-editor\" data-id=\"94492e7\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>Rui Abreu, Jo\u00e3o Paulo Fernandes, Luis Llana, Guilherme Tavares,&#8221;Metamorphic Testing of Oracle Quantum Programs,&#8221; in Q-SE@ICSE 2022: 16-23, 2022. <a href=\"https:\/\/doi.org\/10.1145\/3528230.3529189\">https:\/\/doi.org\/10.1145\/3528230.3529189<\/a><\/p><p>Miguel Trinca, Jo\u00e3o F. Ferreira, Rui Abreu,&#8221;A Preliminary Study on Generating Well-Formed Q# Quantum Programs for Fuzz Testing,&#8221; in ICST Workshops 2022: 118-121, 2022. <a href=\"https:\/\/doi.org\/10.1109\/ICSTW55395.2022.00033\">https:\/\/doi.org\/10.1109\/ICSTW55395.2022.00033<\/a><\/p><p>Diedrich, A., Feldman, A., Perdomo-Ortiz, A., Abreu, R., Niggemann, O., &amp; de Kleer, J.,&#8221;Applying simulated annealing to problems in model-based diagnosis. ,&#8221; in In Proceedings of the 27th International workshop on principles of diagnosis, Denver, CO, USA (pp. 4-7)., 2019. <a href=\"https:\/\/ntrs.nasa.gov\/citations\/20190000272\">https:\/\/ntrs.nasa.gov\/citations\/20190000272<\/a><\/p><p>Cl\u00e1udio Gomes, Daniel Fortunato, Jo\u00e3o Paulo Fernandes, and Rui Abreu,&#8221;Off-the-shelf Components for Quantum Programming and Testing,&#8221; in International Workshop on Software Engineering &amp; Technology, 2020. <a href=\"http:\/\/ceur-ws.org\/Vol-2705\/short2.pdf\">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<section class=\"has_eae_slider elementor-section elementor-top-section elementor-element elementor-element-b09c3e6 elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-eae-slider=\"60184\" data-id=\"b09c3e6\" data-element_type=\"section\" data-e-type=\"section\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-default\">\n\t\t\t\t\t<div class=\"has_eae_slider elementor-column elementor-col-100 elementor-top-column elementor-element elementor-element-a57034c\" data-eae-slider=\"15815\" data-id=\"a57034c\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-3736704 elementor-widget elementor-widget-heading\" data-id=\"3736704\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"heading.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t<h3 class=\"elementor-heading-title elementor-size-default\"><span style=\", sans-serif;font-size: 36px;font-style: normal;font-weight: var( --e-global-typography-primary-font-weight )\">Publications at <\/span>arXiv<\/h3>\t\t\t\t<\/div>\n\t\t\t\t<\/div>\n\t\t\t\t<div class=\"elementor-element elementor-element-d704d88 elementor-widget elementor-widget-text-editor\" data-id=\"d704d88\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<p>K Bertels, A Sarkar, I Ashraf,&#8221;Quantum Computing&#8211;from NISQ to PISQ,&#8221; in arXiv, 2022. <a href=\"https:\/\/arxiv.org\/pdf\/2106.11840.pdf\">https:\/\/arxiv.org\/pdf\/2106.11840.pdf<\/a><\/p><p>Koen Bertels, A Sarkar, A Krol, R Budhrani, J Samadi, E Geoffroy, J Matos, R Abreu, G Gielen, I Ashraf,&#8221;Quantum Accelerator Stack: A Research Roadmap,&#8221; in arXiv, 2021. <a href=\"https:\/\/arxiv.org\/pdf\/2102.02035.pdf\">https:\/\/arxiv.org\/pdf\/2102.02035.pdf<\/a><\/p><p>AM Krol, A Sarkar, I Ashraf, Z Al-Ars, K Bertels,&#8221;Efficient decomposition of unitary matrices in quantum circuit compilers,&#8221; in arXiv, 2022. <a href=\"https:\/\/arxiv.org\/pdf\/2101.02993.pdf\">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<section class=\"has_eae_slider elementor-section elementor-top-section elementor-element elementor-element-ed762b5 elementor-section-stretched elementor-section-boxed elementor-section-height-default elementor-section-height-default\" data-eae-slider=\"37418\" data-id=\"ed762b5\" data-element_type=\"section\" data-e-type=\"section\" data-settings=\"{&quot;background_background&quot;:&quot;classic&quot;,&quot;stretch_section&quot;:&quot;section-stretched&quot;}\">\n\t\t\t\t\t\t<div class=\"elementor-container elementor-column-gap-narrow\">\n\t\t\t\t\t<div class=\"has_eae_slider elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-3ebc6e9\" data-eae-slider=\"40498\" data-id=\"3ebc6e9\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-d020235 elementor-widget elementor-widget-image\" data-id=\"d020235\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"image.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<img decoding=\"async\" width=\"1\" height=\"1\" src=\"https:\/\/dei.fe.up.pt\/qclab\/wp-content\/uploads\/sites\/39\/2021\/07\/Logo-DEI_white1_1.svg\" class=\"attachment-medium size-medium wp-image-3264\" alt=\"\" \/>\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<div class=\"has_eae_slider elementor-column elementor-col-50 elementor-top-column elementor-element elementor-element-2a2373c\" data-eae-slider=\"81046\" data-id=\"2a2373c\" data-element_type=\"column\" data-e-type=\"column\">\n\t\t\t<div class=\"elementor-widget-wrap elementor-element-populated\">\n\t\t\t\t\t\t<div class=\"elementor-element elementor-element-f90d51b elementor-hidden-phone elementor-widget elementor-widget-text-editor\" data-id=\"f90d51b\" data-element_type=\"widget\" data-e-type=\"widget\" data-widget_type=\"text-editor.default\">\n\t\t\t\t<div class=\"elementor-widget-container\">\n\t\t\t\t\t\t\t\t\t<strong>Email<\/strong><br>\nqc.dei@fe.up.pt<br>\n<strong>Phone<\/strong><br>\n+351 225 082 134<br>\n<strong>Address<\/strong><br>\nFaculdade de Engenharia da Universidade do Porto<br>\nDepartamento de Engenharia Inform\u00e1tica<br>\nRua do Dr. Roberto Frias, s\/n<br>\n4200-465 Porto Portugal\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":"<p>Publications in International Journals Cl\u00e1udio Gomes, Gabriel Falcao, Lu\u00eds Paquete, Jo\u00e3o Paulo Fernandes,&#8221;An Empirical Study on the Use of Quantum [&hellip;]<\/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,"footnotes":""},"class_list":["post-3623","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/dei.fe.up.pt\/qclab\/wp-json\/wp\/v2\/pages\/3623","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/dei.fe.up.pt\/qclab\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/dei.fe.up.pt\/qclab\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/dei.fe.up.pt\/qclab\/wp-json\/wp\/v2\/users\/60"}],"replies":[{"embeddable":true,"href":"https:\/\/dei.fe.up.pt\/qclab\/wp-json\/wp\/v2\/comments?post=3623"}],"version-history":[{"count":46,"href":"https:\/\/dei.fe.up.pt\/qclab\/wp-json\/wp\/v2\/pages\/3623\/revisions"}],"predecessor-version":[{"id":3878,"href":"https:\/\/dei.fe.up.pt\/qclab\/wp-json\/wp\/v2\/pages\/3623\/revisions\/3878"}],"wp:attachment":[{"href":"https:\/\/dei.fe.up.pt\/qclab\/wp-json\/wp\/v2\/media?parent=3623"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}