Margherita Zorzi

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