Margherita Zorzi
TitleCited byYear
Probabilistic Operational Semantics for the Lambda Calculus
M Dal Lago, Ugo, Zorzi
RAIRO - Theoretical Informatics and Applications, DOI 10.1051/ita/2012012 46 …, 2012
67*2012
Quantum implicit computational complexity
U Dal Lago, A Masini, M Zorzi
Theoretical Computer Science 411 (2), 377-409, 2010
292010
On quantum lambda calculi: a foundational perspective
M Zorzi
Mathematical Structures in Computer Science 26 (7), 1107-1195, 2016
252016
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
202016
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
192011
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
192009
Modal Deduction Systems for Quantum State Transformations.
A Masini, L Vigano, M Zorzi
Multiple-Valued Logic and Soft Computing 17 (5-6), 475-519, 2011
182011
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
172014
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
172013
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
142008
Wave-style token machines and quantum lambda calculi
UD Lago, M Zorzi
arXiv preprint arXiv:1502.04774, 2015
132015
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
112015
General ramified recurrence is sound for polynomial time
UD Lago, S Martini, M Zorzi
arXiv preprint arXiv:1005.0521, 2010
112010
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
102017
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results
M Zorzi, C Combi, G Pozzani, E Arzenton, U Moretti
Conference on Artificial Intelligence in Medicine in Europe, 215-220, 2017
102017
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
92018
: A Language for Quantum Circuit Computations
L Paolini, M Zorzi
International Conference on Theory and Applications of Models of Computation …, 2017
82017
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, 73-80, 2016
82016
Towards a logical framework for diagnostic reasoning
M Cristani, F Olivieri, C Tomazzoli, M Zorzi
KES International Symposium on Agent and Multi-Agent Systems: Technologies …, 2018
72018
Mapping free text into MedDRA by natural language processing: A modular approach in designing and evaluating software extensions
M Zorzi, C Combi, G Pozzani, U Moretti
Proceedings of the 8th ACM International Conference on Bioinformatics …, 2017
62017
The system can't perform the operation now. Try again later.
Articles 1–20