Here is a list of publications about quantum computing (in chronological, descendant order), by QUILAB members. For our full curricula, please refer to our personal home pages.

​

2021

• R. Mengoni, M. Incudini, A. Di Pierro, Facial expression recognition on a quantum computer, Quantum Machine Intelligence, 3:8, (2021)

​

2020

• S. Guerrini, S. Martini, A. Masini: Quantum Turing Machines: Computations and Measurements, Appl. Sci. 2020, 10(16), 5551; https://doi.org/10.3390/app10165551

• R. Mengoni, A. Di Pierro, Laleh Memarzadeh, Stefano Mancini:Persistent homology analysis of multiqubit entanglement. Quantum Inf. Comput.20(5&6): 375-399 (2020)

2019​

• R. Mengoni, A. Di Pierro, Laleh Memarzadeh, Stefano Mancini:
  Persistent homology analysis of multiqubit entanglement. CoRR abs/1907.06914(2019)

• R. Mengoni, A. Di Pierro:
  Kernel methods in Quantum Machine Learning. Quantum Mach. Intell. 1(3-4): 65-71(2019​

• A. Masini, M. Zorzi, A logic for quantum register measurements, Axioms,  8(1), 25; https://doi.org/10.3390/axioms8010025. 2019

• L. Paolini, L. Roversi, M. Zorzi. Quantum Programming Made Easy, to appear in post-proceedings of  LINEARITY 2018, FloC Conferences, Electronic Proceedings in Theoretical Computer Science, in print 2019.

• L. Paolini, M. Piccolo, M. Zorzi. qPCF: higher-order languages and quantum circuits, JAR-Journal of Automated Reasoning, 2019, qPCF: higher-order languages and quantum circuits (with Luca Paolini). JAR-Journal of Automated Reasoning, Springer, 2019, on line first view, DOI https://doi.org/10.1007/s10817-019-09518-y , Print ISSN 0168-7433, Online ISSN 1573-0670

 

2018

• L. Bottarelli, M. Bicego, M. Denitto, A. Di Pierro, A. Farinelli, R. Mengoni. Biclustering with a quantum annealer. Soft Computing (2018). https://doi.org/10.1007/s00500-018-3034-z.

•  A. Di Pierro, S. Mancini, L. Memarzadeh, R. Mengoni. Homological analysis of multi-qubit entanglement, EPL 123 (2018) 30006 (arXiv:1802.04572 [quant-ph]).

• S. Guerrini, S. Martini, A. Masini. Quantum Turing Machines Computations and Measurements arXiv:1703.07748 [cs.LO], 2018.

2017

• M. Volpe, L. Viganò, M. Zorzi, A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Information&Computation, Volume 255, Part 2, pp 311-333, 2017. ISSN 0890-5401 DOI: 10.1016/j.ic.2017.01.007.

• L. Paolini and M. Zorzi. qPCF: A Language for Quantum Circuit Computations,
  Proceedings of Theory and Applications of Models of Computation – 14th Annual Conference, TAMC 2017, Bern, Switzerland, April 20-22, 2017, Lecture Notes in Computer Science Vol. 10185, 455–469.

• A. Di Pierro, R. Mengoni, R. Nagarajan and D. Windridge. Hamming Distance Kernelisation via Topological Quantum Computation. In Theory and Practice of Natural Computing, Lecture Notes in Computer Science, Vol. 10687, Pages 269-280. Springer, Cham, 2017.

2016

• A.Di Pierro, L. Bottarelli, M. Bicego, M. Denitto, A. Farinelli. A quantum annealing approach to biclustering. In Theory and Practice of Natural Computing, Lecture Notes in Computer Science, Vol. 10071, Pages 175-187. Springer International Publishing, 2016.

• A. Di Pierro, A topological quantum calculus. In Challenges and Trends in Probabilistic Programming (Dagstuhl Seminar 15181), Schloss Dagstuhl Leibniz-Zentrum fuer Informatik, Dagstuhl Reports, 5(4):123-141, Dagstuhl, Germany, 2015. Available online.

• M. Zorzi, On Quantum Lambda Calculi: a Foundational Perspective. Mathematical Structures in Computer Science, Volume 26, Issue 7, pp. 1107-1195, Cambridge University Press, 2016. ISSN: 0960-1295 DOI: http://dx.doi.org/10.1017/S0960129514000425.

2015

• U. Dal Lago, M. Zorzi, Wave-style Token Machine and Quantum Lambda Calculi. Post-Proceedings of Third International Workshop on Linearity (LINEARITY 2014) part of VSL-FLoC’14, Vienna, Austria, 13th July, 2014, Electronic Proceedings in Theoretical Computer Science 176, pp. 64-78, OPA, 2015. ISSN: 2075-2180, DOI: 10.4204/EPTCS.176

2014

• A. Di Pierro, F. Panarotto, A calculus of anyons. In Proceedings of WoLLIC 2014, 21st Workshop on Logic, Language, Information and Computation, Valparaiso, Chile, September 2014. Lecture Notes in Computer Science Vol. 8652, Pages 152-165, Springer-Verlag, 2014

• M. Volpe, L. Viganò, M. Zorzi, Quantum State Transformations and Branching Distributed Temporal Logic. In proceedings of 21st International Workshop on Logic, Language, Information and Computation (Wollic’14), (U. Kohlenbach, P. Barcel´o, R. de Queiroz Eds.), Valparaiso, Chile, September 1-4, 2014, Lecture Notes in Computer Science, Vol. 8652, 1–19, Springer, 2014. ISBN: 978-3-662-44145-9, ISSN: 0302974, DOI: 10.1007/978-3-662-44145-9 1

2011

• A. Masini, L. Viganò, M. Zorzi, Modal Deduction Systems for Quantum States Transformations. Journal of Multiple-Valued Logic and Soft Computing, Volume 17, Issue 5-6, pp 475-519, Old City Publishing 2011. ISSN: 1542-3980 (print) ISSN: 1542-3999 (online).

• U. Dal Lago, A. Masini, M. Zorzi, Confluence Results for A Quantum Lambda Calculus with Measurements. Electronic Notes in Theoretical Computer Science, Volume 270, Issue 2, pp. 251-261, Elsevier, 2011,ISSN: 1571-0661 DOI:10.1016/j.entcs.2011.01.035

2010

• U. Dal Lago, A. Masini, M. Zorzi, Quantum Implicit Computational Complexity. Theoretical Computer Science, Volume 411, Issue 2, pp 377-409, Elsevier, 2010. DOI: 10.1016/j.tcs.2009.07.045

2009

• M. Zorzi. Lambda Calculi and Logics for Quantum Computing. Ph.D. Thesis, Computer Science Department, Università degli Studi di Verona, 2009.

• U. Dal Lago, A. Masini, M. Zorzi, On a Measurement Free Quantum Lambda Calculus with Classical Control. Mathematical Structures in Computer Science, Volume 19, Issue 02, pp 297–335, Cambridge University Press, UK, 2009. ISSN: 0960-1295 EISSN: 1469-8072, DOI 10.1017/S096012950800741X

2008

• A. Masini, L. Viganò, M. Zorzi, A Qualitative Modal Representation of Quantum Register Transformations. Proceedings of 38th IEEE International Symposium on Multiple Valued Logic (ISMVL 2008), may 22-24, 2008, Dallas TX, USA, editor Gerhard Dueck, pp 131-137, IEEE Computer Society, 2008. ISBN 978-0-7695-3155-7, ISSN 0195-623X, DOI 10.1109/ISMVL.2008.36