default search action
Margherita Zorzi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [c25]Matteo Palazzo, Luca Paolini, Luca Roversi, Margherita Zorzi:
Host-Core Calculi for Non-classical Computations: A First Insight. ICTCS 2024: 255-268 - 2023
- [j15]Stefano Guerrini, Andrea Masini, Margherita Zorzi
:
Natural deduction calculi for classical and intuitionistic S5. J. Appl. Non Class. Logics 33(2): 165-205 (2023) - 2021
- [j14]Simone Martini
From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. ACM Trans. Comput. Log. 22(3): 19:1-19:29 (2021) - 2020
- [i12]Simone Martini, Andrea Masini, Margherita Zorzi:
A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic. CoRR abs/2001.02029 (2020) - [i11]Davide Trotta, Margherita Zorzi:
Compositional theories for embedded languages. CoRR abs/2006.10604 (2020) - [i10]Simone Martini, Andrea Masini, Margherita Zorzi:
From 2-sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics. CoRR abs/2007.11875 (2020)
2010 – 2019
- 2019
- [j13]Andrea Masini, Margherita Zorzi
A Logic for Quantum Register Measurements. Axioms 8(1): 25 (2019) - [j12]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): 43-57 (2019) - [j11]Luca Paolini
QPCF: Higher-Order Languages and Quantum Circuits. J. Autom. Reason. 63(4): 941-966 (2019) - [j10]Carlo Combi
Normalizing Spontaneous Reports Into MedDRA: Some Experiments With MagiCoder. IEEE J. Biomed. Health Informatics 23(1): 95-102 (2019) - [c24]Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli
"It Could Be Worse, It Could Be Raining": Reliable Automatic Meteorological Forecasting for Holiday Planning. IEA/AIE 2019: 3-11 - [c23]Matteo Cristani, Claudio Tomazzoli
Automatic Generation of Dictionaries: The Journalistic Lexicon Case. IEA/AIE 2019: 744-752 - [c22]Matteo Cristani, Francesco Olivieri
Web Literature, Authorship Attribution and Editorial Workflow Ontologies. KES-AMSTA 2019: 129-140 - [i9]Matteo Cristani, Francesco Domenichini, Claudio Tomazzoli, Luca Viganò, Margherita Zorzi:
It could be worse, it could be raining: reliable automatic meteorological forecasting. CoRR abs/1901.09867 (2019) - 2018
- [j9]Carlo Combi
A hybrid logic for XML reference constraints. Data Knowl. Eng. 115: 94-115 (2018) - [j8]Carlo Combi
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions. J. Biomed. Informatics 84: 184-199 (2018) - [c21]Marco Cristani, Matteo Cristani, Anna Pesarin, Claudio Tomazzoli
Making Sentiment Analysis Algorithms Scalable. ICWE Workshops 2018: 136-147 - [c20]Matteo Cristani, Ilaria Chitó, Claudio Tomazzoli
A simple algorithm for the lexical classification of comparable adjectives. KES 2018: 626-635 - [c19]Matteo Cristani, Francesco Domenichini, Francesco Olivieri
It could rain: weather forecasting as a reasoning process. KES 2018: 850-859 - [c18]Matteo Cristani, Francesco Olivieri
Towards a Logical Framework for Diagnostic Reasoning. KES-AMSTA 2018: 144-155 - [c17]Luca Paolini
Quantum programming made easy. Linearity-TLLA@FLoC 2018: 133-147 - [i8]Luca Paolini, Mauro Piccolo, Margherita Zorzi:
QPCF: higher order languages and quantum circuits. CoRR abs/1809.05723 (2018) - 2017
- [j7]Luca Viganò
A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. Inf. Comput. 255: 311-333 (2017) - [c16]Margherita Zorzi
A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results. AIME 2017: 215-220 - [c15]Margherita Zorzi
Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions. BCB 2017: 27-35 - [c14]Margherita Pasini, Ugo Solitro, Margherita Brondino, Roberto Burro, Daniela Raccanello, Margherita Zorzi:
Psychology of Programming: The Role of Creativity, Empathy and Systemizing. MIS4TEL 2017: 82-89 - [c13]Luca Paolini
qPCF: A Language for Quantum Circuit Computations. TAMC 2017: 455-469 - 2016
- [j6]Margherita Zorzi
On quantum lambda calculi: a foundational perspective. Math. Struct. Comput. Sci. 26(7): 1107-1195 (2016) - [j5]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: 125-146 (2016) - [c12]Ugo Solitro, Margherita Zorzi, Margherita Pasini, Margherita Brondino:
Early Training in Programming: From High School to College. GOODTECHS 2016: 325-332 - [c11]Ugo Solitro, Margherita Zorzi, Margherita Pasini, Margherita Brondino:
A "light" Application of Blended Extreme Apprenticeship in Teaching Programming to Students of Mathematics. MIS4TEL 2016: 73-80 - [i7]Carlo Combi, Margherita Zorzi, Gabriele Pozzani, Ugo Moretti:
From narrative descriptions to MedDRA: automagically encoding adverse drug reactions. CoRR abs/1612.03762 (2016) - 2015
- [c10]Carlo Combi
A Logical Framework for XML Reference Specification. DEXA (2) 2015: 258-267 - [c9]Margherita Zorzi
Automagically Encoding Adverse Drug Reactions in MedDRA. ICHI 2015: 90-99 - [i6]Carlo Combi, Riccardo Lora, Ugo Moretti, Marco Pagliarini, Margherita Zorzi:
Automagically encoding Adverse Drug Reactions in MedDRA. CoRR abs/1506.08052 (2015) - 2014
- [c8]Luca Viganò
Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper). WoLLIC 2014: 1-19 - [c7]Ugo Dal Lago
Wave-Style Token Machines and Quantum Lambda Calculi. LINEARITY 2014: 64-78 - 2013
- [c6]Federico Aschieri, Margherita Zorzi
Non-determinism, Non-termination and the Strong Normalization of System T. TLCA 2013: 31-47 - [c5]Federico Aschieri, Margherita Zorzi
A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle. TYPES 2013: 24-44 - [i5]Ugo Dal Lago, Margherita Zorzi:
Wave-Style Token Machines and Quantum Lambda Calculi. CoRR abs/1307.0550 (2013) - 2012
- [j4]Ugo Dal Lago
Probabilistic operational semantics for the lambda calculus. RAIRO Theor. Informatics Appl. 46(3): 413-450 (2012) - [c4]Federico Aschieri, Margherita Zorzi
Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic. CL&C 2012: 1-18 - 2011
- [j3]Andrea Masini, Luca Viganò, Margherita Zorzi:
Modal Deduction Systems for Quantum State Transformations. J. Multiple Valued Log. Soft Comput. 17(5-6): 475-519 (2011) - [i4]Ugo Dal Lago, Margherita Zorzi:
Probabilistic Operational Semantics for the Lambda Calculus. CoRR abs/1104.0195 (2011) - 2010
- [j2]Ugo Dal Lago
Quantum implicit computational complexity. Theor. Comput. Sci. 411(2): 377-409 (2010) - [c3]Ugo Dal Lago
General Ramified Recurrence is Sound for Polynomial Time. DICE 2010: 47-62
2000 – 2009
- 2009
- [b1]Margherita Zorzi:
Lambda calculi and logics for quantum computing. University of Verona, Italy, 2009 - [j1]Ugo Dal Lago
On a measurement-free quantum lambda calculus with classical control. Math. Struct. Comput. Sci. 19(2): 297-335 (2009) - [c2]Ugo Dal Lago
Confluence Results for a Quantum Lambda Calculus with Measurements. QPL@MFPS 2009: 251-261 - [i3]Ugo Dal Lago, Andrea Masini, Margherita Zorzi:
Confluence Results for a Quantum Lambda Calculus with Measurements. CoRR abs/0905.4567 (2009) - 2008
- [c1]Andrea Masini, Luca Viganò, Margherita Zorzi
A Qualitative Modal Representation of Quantum Register Transformations. ISMVL 2008: 131-137 - [i2]Andrea Masini, Luca Viganò, Margherita Zorzi:
A Qualitative Modal Representation of Quantum Register Transformations. CoRR abs/0802.4057 (2008) - 2007
- [i1]Ugo Dal Lago, Andrea Masini, Margherita Zorzi:
Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power. CoRR abs/cs/0703152 (2007)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-08 20:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: