Follow
Margherita Zorzi
Title
Cited by
Cited by
Year
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
412016
Quantum implicit computational complexity
U Dal Lago, A Masini, M Zorzi
Theoretical Computer Science 411 (2), 377-409, 2010
412010
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
262018
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
262009
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
232016
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
232011
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
202014
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
202011
Wave-style token machines and quantum lambda calculi
UD Lago, M Zorzi
arXiv preprint arXiv:1502.04774, 2015
182015
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
162017
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
162013
QPCF: higher-order languages and quantum circuits
L Paolini, M Piccolo, M Zorzi
Journal of Automated Reasoning 63, 941-966, 2019
152019
: A Language for Quantum Circuit Computations
L Paolini, M Zorzi
International Conference on Theory and Applications of Models of Computationá…, 2017
152017
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
152015
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
152008
Quantum programming made easy
L Paolini, L Roversi, M Zorzi
arXiv preprint arXiv:1711.00774, 2017
132017
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
132017
Normalizing Spontaneous Reports Into MedDRA: Some Experiments With
C Combi, M Zorzi, G Pozzani, E Arzenton, U Moretti
IEEE Journal of Biomedical and Health Informatics 23 (1), 95-102, 2018
112018
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
112016
The system can't perform the operation now. Try again later.
Articles 1–20