ZORZI, Margherita
ZORZI, Margherita
DIPARTIMENTO DI INFORMATICA
A "Game semantical" intuitionistic realizability validating Markov's principle
2014-01-01 F., Aschieri; Zorzi, Margherita
A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics
2016-01-01 Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita
A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations
2017-01-01 Vigano', Luca; Volpe, Marco; Zorzi, Margherita
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results
2017-01-01 Zorzi, Margherita; Combi, Carlo; Pozzani, Gabriele; Arzenton, Elena; Moretti, Ugo
A hybrid logic for XML reference constraints
2018-01-01 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
A Logic for Quantum Register Measurements
2019-01-01 Masini, Andrea; Zorzi, Margherita
A Logical Framework for XML Reference Specification
2015-01-01 Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita
A natural deduction calculus for S4.2
2024-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
A Qualitative Modal Representation of Quantum Register Transformations
2008-01-01 Masini, Andrea; Vigano', Luca; Zorzi, Margherita
A simple algorithm for the lexical classification of comparable adjectives
2018-01-01 Cristani, Matteo; Chito', Ilaria; Tomazzoli, Claudio; Zorzi, Margherita
Automagically Encoding Adverse Drug Reactions in MedDRA
2015-01-01 Zorzi, Margherita; Combi, Carlo; Lora, Riccardo; Pagliarini, Marco; Moretti, Ugo
Automatic Generation of Dictionaries: the journalistic lexicon case.
2019-01-01 Cristani, Matteo; Tomazzoli, Claudio; Zorzi, Margherita
Confluence results for a quantum lambda calculus with measurements
2011-01-01 Dal Lago, U.; Masini, Andrea; Zorzi, Margherita
Cut Elimination for Extended Sequent Calculi
2023-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
Diagnostics as a reasoning process: From logic structure to software design
2019-01-01 Cristani, Matteo; Olivieri, Francesco; Tomazzoli, Claudio; Vigano', Luca; Zorzi, Margherita
Early training in programming: from high school to college
2017-01-01 Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics
2021-01-01 Martini, Simone; Masini, Andrea; Zorzi, Margherita
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions
2018-01-01 Combi, Carlo; Zorzi, Margherita; Pozzani, Gabriele; Moretti, Ugo; Arzenton, Elena
General ramified recurrence is sound for polynomial time
2010-01-01 Dal Lago, U.; Martini, S.; Zorzi, Margherita
Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic
2012-01-01 Zorzi, Margherita; Aschieri, F.
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A "Game semantical" intuitionistic realizability validating Markov's principle | 1-gen-2014 | F., Aschieri; Zorzi, Margherita | |
| A "light" application of Blended Extreme Apprenticeship in teaching Programming to Students of Mathematics | 1-gen-2016 | Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita | |
| A Branching Distributed Temporal Logic for Reasoning about Entanglement-Free Quantum State Transformations | 1-gen-2017 | Vigano', Luca; Volpe, Marco; Zorzi, Margherita | |
| A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results | 1-gen-2017 | Zorzi, Margherita; Combi, Carlo; Pozzani, Gabriele; Arzenton, Elena; Moretti, Ugo | |
| A hybrid logic for XML reference constraints | 1-gen-2018 | Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita | |
| A Logic for Quantum Register Measurements | 1-gen-2019 | Masini, Andrea; Zorzi, Margherita | |
| A Logical Framework for XML Reference Specification | 1-gen-2015 | Combi, Carlo; Masini, Andrea; Oliboni, Barbara; Zorzi, Margherita | |
| A natural deduction calculus for S4.2 | 1-gen-2024 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
| A Qualitative Modal Representation of Quantum Register Transformations | 1-gen-2008 | Masini, Andrea; Vigano', Luca; Zorzi, Margherita | |
| A simple algorithm for the lexical classification of comparable adjectives | 1-gen-2018 | Cristani, Matteo; Chito', Ilaria; Tomazzoli, Claudio; Zorzi, Margherita | |
| Automagically Encoding Adverse Drug Reactions in MedDRA | 1-gen-2015 | Zorzi, Margherita; Combi, Carlo; Lora, Riccardo; Pagliarini, Marco; Moretti, Ugo | |
| Automatic Generation of Dictionaries: the journalistic lexicon case. | 1-gen-2019 | Cristani, Matteo; Tomazzoli, Claudio; Zorzi, Margherita | |
| Confluence results for a quantum lambda calculus with measurements | 1-gen-2011 | Dal Lago, U.; Masini, Andrea; Zorzi, Margherita | |
| Cut Elimination for Extended Sequent Calculi | 1-gen-2023 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
| Diagnostics as a reasoning process: From logic structure to software design | 1-gen-2019 | Cristani, Matteo; Olivieri, Francesco; Tomazzoli, Claudio; Vigano', Luca; Zorzi, Margherita | |
| Early training in programming: from high school to college | 1-gen-2017 | Solitro, Ugo; Zorzi, Margherita; Pasini, Margherita; Brondino, Margherita | |
| From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics | 1-gen-2021 | Martini, Simone; Masini, Andrea; Zorzi, Margherita | |
| From narrative descriptions to MedDRA: automagically encoding adverse drug reactions | 1-gen-2018 | Combi, Carlo; Zorzi, Margherita; Pozzani, Gabriele; Moretti, Ugo; Arzenton, Elena | |
| General ramified recurrence is sound for polynomial time | 1-gen-2010 | Dal Lago, U.; Martini, S.; Zorzi, Margherita | |
| Interactive Realizability and the Elimination of Skolem Functions in Peano Arithmetic | 1-gen-2012 | Zorzi, Margherita; Aschieri, F. |