| Probabilistic Operational Semantics for the Lambda Calculus M Dal Lago, Ugo, Zorzi RAIRO - Theoretical Informatics and Applications, DOI 10.1051/ita/2012012 46 …, 2012 | 99* | 2012 |
| On quantum lambda calculi: a foundational perspective M Zorzi Mathematical Structures in Computer Science 26 (7), 1107-1195, 2016 | 39 | 2016 |
| Quantum implicit computational complexity U Dal Lago, A Masini, M Zorzi Theoretical Computer Science 411 (2), 377-409, 2010 | 38 | 2010 |
| On a measurement-free quantum lambda calculus with classical control U Dal Lago, A Masini, M Zorzi Mathematical Structures in Computer Science 19 (2), 297-335, 2009 | 27 | 2009 |
| From narrative descriptions to MedDRA: automagically encoding adverse drug reactions C Combi, M Zorzi, G Pozzani, U Moretti, E Arzenton Journal of biomedical informatics 84, 184-199, 2018 | 21 | 2018 |
| On natural deduction in classical first-order logic: Curry–Howard correspondence, strong normalization and Herbrand's theorem F Aschieri, M Zorzi Theoretical Computer Science 625, 125-146, 2016 | 21 | 2016 |
| Modal Deduction Systems for Quantum State Transformations. A Masini, L Viganò, M Zorzi J. Multiple Valued Log. Soft Comput. 17 (5-6), 475-519, 2011 | 21 | 2011 |
| Confluence results for a quantum lambda calculus with measurements U Dal Lago, A Masini, M Zorzi Electronic Notes in Theoretical Computer Science 270 (2), 251-261, 2011 | 21 | 2011 |
| Quantum state transformations and branching distributed temporal logic L Vigano, M Volpe, M Zorzi Logic, Language, Information, and Computation: 21st International Workshop …, 2014 | 19 | 2014 |
| Wave-style token machines and quantum lambda calculi UD Lago, M Zorzi arXiv preprint arXiv:1502.04774, 2015 | 18 | 2015 |
| Non-determinism, non-termination and the strong normalization of system T F Aschieri, M Zorzi Typed Lambda Calculi and Applications: 11th International Conference, TLCA …, 2013 | 16 | 2013 |
| A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations L Vigano, M Volpe, M Zorzi Information and Computation 255, 311-333, 2017 | 14 | 2017 |
| Automagically encoding adverse drug reactions in MedDRA M Zorzi, C Combi, R Lora, M Pagliarini, U Moretti 2015 International Conference on Healthcare Informatics, 90-99, 2015 | 14 | 2015 |
| : A Language for Quantum Circuit Computations L Paolini, M Zorzi Theory and Applications of Models of Computation: 14th Annual Conference …, 2017 | 13 | 2017 |
| A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results M Zorzi, C Combi, G Pozzani, E Arzenton, U Moretti Artificial Intelligence in Medicine: 16th Conference on Artificial …, 2017 | 13 | 2017 |
| A qualitative modal representation of quantum register transformations A Masini, L Vigano, M Zorzi 38th International Symposium on Multiple Valued Logic (ismvl 2008), 131-137, 2008 | 13 | 2008 |
| QPCF: higher-order languages and quantum circuits L Paolini, M Piccolo, M Zorzi Journal of Automated Reasoning 63, 941-966, 2019 | 12 | 2019 |
| Quantum programming made easy L Paolini, L Roversi, M Zorzi arXiv preprint arXiv:1711.00774, 2017 | 12 | 2017 |
| A “light” application of blended extreme apprenticeship in teaching programming to students of mathematics U Solitro, M Zorzi, M Pasini, M Brondino Methodologies and Intelligent Systems for Technology Enhanced Learning: 6th …, 2016 | 12 | 2016 |
| General ramified recurrence is sound for polynomial time U Dal Lago, S Martini, M Zorzi DICE, 47-62, 2010 | 11 | 2010 |
Carlo CombiProfessor of Computer Science, University of VeronaVerified email at univr.it
