Probabilistic Operational Semantics for the Lambda Calculus M Dal Lago, Ugo, Zorzi RAIRO - Theoretical Informatics and Applications, DOI 10.1051/ita/2012012 46 …, 2012 | 104* | 2012 |

On quantum lambda calculi: a foundational perspective M Zorzi Mathematical Structures in Computer Science 26 (7), 1107-1195, 2016 | 44 | 2016 |

Quantum implicit computational complexity U Dal Lago, A Masini, M Zorzi Theoretical Computer Science 411 (2), 377-409, 2010 | 42 | 2010 |

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 | 30 | 2018 |

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 | 26 | 2009 |

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 | 24 | 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 | 24 | 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 | 22 | 2011 |

Quantum state transformations and branching distributed temporal logic L Vigano, M Volpe, M Zorzi International Workshop on Logic, Language, Information, and Computation, 1-19, 2014 | 21 | 2014 |

QPCF: Higher-order languages and quantum circuits L Paolini, M Piccolo, M Zorzi Journal of Automated Reasoning 63, 941-966, 2019 | 18 | 2019 |

Wave-style token machines and quantum lambda calculi UD Lago, M Zorzi arXiv preprint arXiv:1502.04774, 2015 | 18 | 2015 |

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 | 17 | 2017 |

Non-determinism, non-termination and the strong normalization of system T F Aschieri, M Zorzi International Conference on Typed Lambda Calculi and Applications, 31-47, 2013 | 17 | 2013 |

: A Language for Quantum Circuit Computations L Paolini, M Zorzi International Conference on Theory and Applications of Models of Computation …, 2017 | 16 | 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 | 16 | 2008 |

Quantum programming made easy L Paolini, L Roversi, M Zorzi arXiv preprint arXiv:1711.00774, 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 Co-occurrence Based *MedDRA* Terminology Generation: Some Preliminary ResultsM Zorzi, C Combi, G Pozzani, E Arzenton, U Moretti Artificial Intelligence in Medicine: 16th Conference on Artificial …, 2017 | 13 | 2017 |

Towards a logical framework for diagnostic reasoning M Cristani, F Olivieri, C Tomazzoli, M Zorzi Agents and Multi-Agent Systems: Technologies and Applications 2018 …, 2019 | 11 | 2019 |

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 | 11 | 2016 |