Margherita Zorzi

Publication Activity (10 Years)

Years Active: 2007-2023
Publications (10 Years): 31

Top Topics

Logical Framework

Adverse Drug Reactions

Top Venues

Publications

Stefano Guerrini, Andrea Masini, Margherita Zorzi
Natural deduction calculi for classical and intuitionistic S5. J. Appl. Non Class. Logics 33 (2) (2023)
Simone Martini, Andrea Masini, Margherita Zorzi
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. ACM Trans. Comput. Log. 22 (3) (2021)
Davide Trotta, Margherita Zorzi
Compositional theories for embedded languages. CoRR (2020)
Simone Martini, Andrea Masini, Margherita Zorzi
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic. CoRR (2020)
Simone Martini, Andrea Masini, Margherita Zorzi
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. CoRR (2020)
Matteo Cristani, Claudio Tomazzoli, Margherita Zorzi
Automatic Generation of Dictionaries: The Journalistic Lexicon Case. IEA/AIE (2019)
Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi
It could be worse, it could be raining: reliable automatic meteorological forecasting. CoRR (2019)
Luca Paolini, Mauro Piccolo, Margherita Zorzi
QPCF: Higher-Order Languages and Quantum Circuits. J. Autom. Reason. 63 (4) (2019)
Andrea Masini, Margherita Zorzi
A Logic for Quantum Register Measurements. Axioms 8 (1) (2019)
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Margherita Zorzi
Web Literature, Authorship Attribution and Editorial Workflow Ontologies. KES-AMSTA (2019)
Carlo Combi, Margherita Zorzi, Gabriele Pozzani, Elena Arzenton, Ugo Moretti
. IEEE J. Biomed. Health Informatics 23 (1) (2019)
Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli, Margherita Zorzi
"It Could Be Worse, It Could Be Raining": Reliable Automatic Meteorological Forecasting for Holiday Planning. IEA/AIE (2019)
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi
Diagnostics as a Reasoning Process: From Logic Structure to Software Design. J. Comput. Inf. Technol. 27 (1) (2019)
Matteo Cristani, Ilaria Chitó, Claudio Tomazzoli, Margherita Zorzi
A simple algorithm for the lexical classification of comparable adjectives. KES (2018)
Marco Cristani, Matteo Cristani, Anna Pesarin, Claudio Tomazzoli, Margherita Zorzi
Making Sentiment Analysis Algorithms Scalable. ICWE Workshops (2018)
Carlo Combi, Andrea Masini, Barbara Oliboni, Margherita Zorzi
A hybrid logic for XML reference constraints. Data Knowl. Eng. 115 (2018)
Matteo Cristani, Francesco Olivieri, Claudio Tomazzoli, Margherita Zorzi
Towards a Logical Framework for Diagnostic Reasoning. KES-AMSTA (2018)
Carlo Combi, Margherita Zorzi, Gabriele Pozzani, Ugo Moretti, Elena Arzenton
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions. J. Biomed. Informatics 84 (2018)
Matteo Cristani, Francesco Domenichini, Francesco Olivieri, Claudio Tomazzoli, Margherita Zorzi
It could rain: weather forecasting as a reasoning process. KES (2018)
Luca Paolini, Luca Roversi, Margherita Zorzi
Quantum programming made easy. Linearity-TLLA@FLoC (2018)
Luca Paolini, Mauro Piccolo, Margherita Zorzi
QPCF: higher order languages and quantum circuits. CoRR (2018)
Margherita Zorzi, Carlo Combi, Gabriele Pozzani, Ugo Moretti
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions. BCB (2017)
Margherita Pasini, Ugo Solitro, Margherita Brondino, Roberto Burro, Daniela Raccanello, Margherita Zorzi
Psychology of Programming: The Role of Creativity, Empathy and Systemizing. MIS4TEL (2017)
Luca Viganò, Marco Volpe, Margherita Zorzi
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Inf. Comput. 255 (2017)
Luca Paolini, Margherita Zorzi
qPCF: A Language for Quantum Circuit Computations. TAMC (2017)
Margherita Zorzi, Carlo Combi, Gabriele Pozzani, Elena Arzenton, Ugo Moretti
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results. AIME (2017)
Ugo Solitro, Margherita Zorzi, Margherita Pasini, Margherita Brondino
A "light" Application of Blended Extreme Apprenticeship in Teaching Programming to Students of Mathematics. MIS4TEL (2016)
Carlo Combi, Margherita Zorzi, Gabriele Pozzani, Ugo Moretti
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions. CoRR (2016)
Ugo Solitro, Margherita Zorzi, Margherita Pasini, Margherita Brondino
Early Training in Programming: From High School to College. GOODTECHS (2016)
Margherita Zorzi
On quantum lambda calculi: a foundational perspective. Math. Struct. Comput. Sci. 26 (7) (2016)
Federico Aschieri, Margherita Zorzi
On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem. Theor. Comput. Sci. 625 (2016)
Margherita Zorzi, Carlo Combi, Riccardo Lora, Marco Pagliarini, Ugo Moretti
Automagically Encoding Adverse Drug Reactions in MedDRA. ICHI (2015)
Carlo Combi, Riccardo Lora, Ugo Moretti, Marco Pagliarini, Margherita Zorzi
Automagically encoding Adverse Drug Reactions in MedDRA. CoRR (2015)
Carlo Combi, Andrea Masini, Barbara Oliboni, Margherita Zorzi
A Logical Framework for XML Reference Specification. DEXA (2) (2015)
Ugo Dal Lago, Margherita Zorzi
Wave-Style Token Machines and Quantum Lambda Calculi. LINEARITY (2014)
Luca Viganò, Marco Volpe, Margherita Zorzi
Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). WoLLIC (2014)
Federico Aschieri, Margherita Zorzi
A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle. TYPES (2013)
Ugo Dal Lago, Margherita Zorzi
Wave-Style Token Machines and Quantum Lambda Calculi. CoRR (2013)
Federico Aschieri, Margherita Zorzi
Non-determinism, Non-termination and the Strong Normalization of System T. TLCA (2013)
Ugo Dal Lago, Margherita Zorzi
Probabilistic operational semantics for the lambda calculus. RAIRO Theor. Informatics Appl. 46 (3) (2012)
Federico Aschieri, Margherita Zorzi
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic CL&C (2012)
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
Confluence Results for a Quantum Lambda Calculus with Measurements. Electron. Notes Theor. Comput. Sci. 270 (2) (2011)
Andrea Masini, Luca Viganò, Margherita Zorzi
Modal Deduction Systems for Quantum State Transformations. J. Multiple Valued Log. Soft Comput. 17 (5-6) (2011)
Ugo Dal Lago, Margherita Zorzi
Probabilistic Operational Semantics for the Lambda Calculus CoRR (2011)
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
Quantum implicit computational complexity. Theor. Comput. Sci. 411 (2) (2010)
Ugo Dal Lago, Simone Martini, Margherita Zorzi
General Ramified Recurrence is Sound for Polynomial Time DICE (2010)
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
On a measurement-free quantum lambda calculus with classical control. Math. Struct. Comput. Sci. 19 (2) (2009)
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
Confluence Results for a Quantum Lambda Calculus with Measurements CoRR (2009)
Andrea Masini, Luca Viganò, Margherita Zorzi
A Qualitative Modal Representation of Quantum Register Transformations. ISMVL (2008)
Andrea Masini, Luca Viganò, Margherita Zorzi
A Qualitative Modal Representation of Quantum Register Transformations CoRR (2008)
Ugo Dal Lago, Andrea Masini, Margherita Zorzi
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power CoRR (2007)