Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power - Ugo Dal Lago; Andrea Masini; Margherita Zorzi (CoRR, 2007)

A Qualitative Modal Representation of Quantum Register Transformations. - Andrea Masini; Luca Viganò 001; Margherita Zorzi (ISMVL, 2008)

Confluence Results for a Quantum Lambda Calculus with Measurements. - Ugo Dal Lago; Andrea Masini; Margherita Zorzi (QPL@MFPS, 2009)

On a measurement-free quantum lambda calculus with classical control. - Ugo Dal Lago; Andrea Masini; Margherita Zorzi (Math. Struct. Comput. Sci., 2009)

Lambda calculi and logics for quantum computing. - Margherita Zorzi (2009)

General Ramified Recurrence is Sound for Polynomial Time - Ugo Dal Lago; Simone Martini 001; Margherita Zorzi (DICE, 2010)

Quantum implicit computational complexity. - Ugo Dal Lago; Andrea Masini; Margherita Zorzi (Theor. Comput. Sci., 2010)

Modal Deduction Systems for Quantum State Transformations. - Andrea Masini; Luca Viganò 001; Margherita Zorzi (J. Multiple Valued Log. Soft Comput., 2011)

Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic - Federico Aschieri; Margherita Zorzi (CL&C, 2012)

Probabilistic operational semantics for the lambda calculus. - Ugo Dal Lago; Margherita Zorzi (RAIRO Theor. Informatics Appl., 2012)

Non-determinism, Non-termination and the Strong Normalization of System T. - Federico Aschieri; Margherita Zorzi (TLCA, 2013)

A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle. - Federico Aschieri; Margherita Zorzi (TYPES, 2013)

Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). - Luca Viganò 001; Marco Volpe 001; Margherita Zorzi (WoLLIC, 2014)

Wave-Style Token Machines and Quantum Lambda Calculi. - Ugo Dal Lago; Margherita Zorzi (LINEARITY, 2014)

A Logical Framework for XML Reference Specification. - Carlo Combi; Andrea Masini; Barbara Oliboni; Margherita Zorzi (DEXA (2), 2015)

Automagically Encoding Adverse Drug Reactions in MedDRA. - Margherita Zorzi; Carlo Combi; Riccardo Lora; Marco Pagliarini; Ugo Moretti (ICHI, 2015)

Early Training in Programming: From High School to College. - Ugo Solitro; Margherita Zorzi; Margherita Pasini; Margherita Brondino (GOODTECHS, 2016)

A "light" Application of Blended Extreme Apprenticeship in Teaching Programming to Students of Mathematics. - Ugo Solitro; Margherita Zorzi; Margherita Pasini; Margherita Brondino (MIS4TEL, 2016)

From narrative descriptions to MedDRA: automagically encoding adverse drug reactions. - Carlo Combi; Margherita Zorzi; Gabriele Pozzani; Ugo Moretti (CoRR, 2016)

On quantum lambda calculi: a foundational perspective. - Margherita Zorzi (Math. Struct. Comput. Sci., 2016)

On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem. - Federico Aschieri; Margherita Zorzi (Theor. Comput. Sci., 2016)

A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results. - Margherita Zorzi; Carlo Combi; Gabriele Pozzani; Elena Arzenton; Ugo Moretti (AIME, 2017)

Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions. - Margherita Zorzi; Carlo Combi; Gabriele Pozzani; Ugo Moretti (BCB, 2017)

Psychology of Programming: The Role of Creativity, Empathy and Systemizing. - Margherita Pasini; Ugo Solitro; Margherita Brondino; Roberto Burro; Daniela Raccanello; Margherita Zorzi (MIS4TEL, 2017)

qPCF: A Language for Quantum Circuit Computations. - Luca Paolini; Margherita Zorzi (TAMC, 2017)

A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. - Luca Viganò 001; Marco Volpe 001; Margherita Zorzi (Inf. Comput., 2017)

Making Sentiment Analysis Algorithms Scalable. - Marco Cristani; Matteo Cristani; Anna Pesarin; Claudio Tomazzoli; Margherita Zorzi (ICWE Workshops, 2018)

A simple algorithm for the lexical classification of comparable adjectives. - Matteo Cristani; Ilaria Chitó; Claudio Tomazzoli; Margherita Zorzi (KES, 2018)

It could rain: weather forecasting as a reasoning process. - Matteo Cristani; Francesco Domenichini; Francesco Olivieri; Claudio Tomazzoli; Margherita Zorzi (KES, 2018)

Towards a Logical Framework for Diagnostic Reasoning. - Matteo Cristani; Francesco Olivieri; Claudio Tomazzoli; Margherita Zorzi (KES-AMSTA, 2018)

Quantum programming made easy. - Luca Paolini; Luca Roversi; Margherita Zorzi (Linearity-TLLA@FLoC, 2018)

A hybrid logic for XML reference constraints. - Carlo Combi; Andrea Masini; Barbara Oliboni; Margherita Zorzi (Data Knowl. Eng., 2018)

From narrative descriptions to MedDRA: automagically encoding adverse drug reactions. - Carlo Combi; Margherita Zorzi; Gabriele Pozzani; Ugo Moretti; Elena Arzenton (J. Biomed. Informatics, 2018)

"It Could Be Worse, It Could Be Raining": Reliable Automatic Meteorological Forecasting for Holiday Planning. - Matteo Cristani; Francesco Domenichini; Claudio Tomazzoli; Margherita Zorzi (IEA/AIE, 2019)

Automatic Generation of Dictionaries: The Journalistic Lexicon Case. - Matteo Cristani; Claudio Tomazzoli; Margherita Zorzi (IEA/AIE, 2019)

Web Literature, Authorship Attribution and Editorial Workflow Ontologies. - Matteo Cristani; Francesco Olivieri; Claudio Tomazzoli; Margherita Zorzi (KES-AMSTA, 2019)

A Logic for Quantum Register Measurements. - Andrea Masini; Margherita Zorzi (Axioms, 2019)

Diagnostics as a Reasoning Process: From Logic Structure to Software Design. - Matteo Cristani; Francesco Olivieri; Claudio Tomazzoli; Luca Viganò 001; Margherita Zorzi (J. Comput. Inf. Technol., 2019)

It could be worse, it could be raining: reliable automatic meteorological forecasting. - Matteo Cristani; Francesco Domenichini; Claudio Tomazzoli; Luca Viganò 001; Margherita Zorzi (CoRR, 2019)

QPCF: Higher-Order Languages and Quantum Circuits. - Luca Paolini; Mauro Piccolo; Margherita Zorzi (J. Autom. Reason., 2019)

Normalizing Spontaneous Reports Into MedDRA: Some Experiments With MagiCoder. - Carlo Combi; Margherita Zorzi; Gabriele Pozzani; Elena Arzenton; Ugo Moretti (IEEE J. Biomed. Health Informatics, 2019)

A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic. - Simone Martini 001; Andrea Masini; Margherita Zorzi (CoRR, 2020)

Compositional theories for embedded languages. - Davide Trotta; Margherita Zorzi (CoRR, 2020)

From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. - Simone Martini 001; Andrea Masini; Margherita Zorzi (ACM Trans. Comput. Log., 2021)

Natural deduction calculi for classical and intuitionistic S5. - Stefano Guerrini; Andrea Masini; Margherita Zorzi (J. Appl. Non Class. Logics, 2023)

Host-Core Calculi for Non-classical Computations: A First Insight. - Matteo Palazzo; Luca Paolini; Luca Roversi; Margherita Zorzi (ICTCS, 2024)