Margherita Zorzi
Cited by
Cited by
Probabilistic Operational Semantics for the Lambda Calculus
M Dal Lago, Ugo, Zorzi
RAIRO - Theoretical Informatics and Applications, DOI 10.1051/ita/2012012 46 …, 2012
Quantum implicit computational complexity
U Dal Lago, A Masini, M Zorzi
Theoretical Computer Science 411 (2), 377-409, 2010
On quantum lambda calculi: a foundational perspective
M Zorzi
Mathematical Structures in Computer Science 26 (7), 1107-1195, 2016
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
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
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
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
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
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
QPCF: Higher-order languages and quantum circuits
L Paolini, M Piccolo, M Zorzi
Journal of Automated Reasoning 63, 941-966, 2019
Wave-style token machines and quantum lambda calculi
UD Lago, M Zorzi
arXiv preprint arXiv:1502.04774, 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
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
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
: A Language for Quantum Circuit Computations
L Paolini, M Zorzi
International Conference on Theory and Applications of Models of Computation …, 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
Quantum programming made easy
L Paolini, L Roversi, M Zorzi
arXiv preprint arXiv:1711.00774, 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
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
General ramified recurrence is sound for polynomial time
U Dal Lago, S Martini, M Zorzi
DICE, 47-62, 2010
The system can't perform the operation now. Try again later.
Articles 1–20