Margherita Zorzi

J. Appl. Non Class. Logics, April, 2023

2021

From 2-Sequents and Linear Nested Sequents to Natural Deduction for Normal Modal Logics.

[BibT_eX]

[DOI]

Simone Martini

ACM Trans. Comput. Log., 2021

2020

Compositional theories for embedded languages.

[BibT_eX]

[DOI]

Davide Trotta

CoRR, 2020

A journey in modal proof theory: From minimal normal modal logic to discrete linear temporal logic.

[BibT_eX]

[DOI]

Simone Martini

CoRR, 2020

2019

Normalizing Spontaneous Reports Into MedDRA: Some Experiments With <i>MagiCoder</i>.

[BibT_eX]

[DOI]

IEEE J. Biomed. Health Informatics, 2019

QPCF: Higher-Order Languages and Quantum Circuits.

[BibT_eX]

[DOI]

Luca Paolini

Mauro Piccolo

J. Autom. Reason., 2019

It could be worse, it could be raining: reliable automatic meteorological forecasting.

[BibT_eX]

[DOI]

Francesco Domenichini

CoRR, 2019

Diagnostics as a Reasoning Process: From Logic Structure to Software Design.

[BibT_eX]

[DOI]

J. Comput. Inf. Technol., 2019

A Logic for Quantum Register Measurements.

[BibT_eX]

[DOI]

Axioms, 2019

Web Literature, Authorship Attribution and Editorial Workflow Ontologies.

[BibT_eX]

[DOI]

Proceedings of the Agents and Multi-agent Systems: Technologies and Applications 2019, 2019

Automatic Generation of Dictionaries: The Journalistic Lexicon Case.

[BibT_eX]

[DOI]

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

"It Could Be Worse, It Could Be Raining": Reliable Automatic Meteorological Forecasting for Holiday Planning.

[BibT_eX]

[DOI]

Francesco Domenichini

Proceedings of the Advances and Trends in Artificial Intelligence. From Theory to Practice, 2019

2018

From narrative descriptions to MedDRA: automagically encoding adverse drug reactions.

[BibT_eX]

[DOI]

J. Biomed. Informatics, 2018

A hybrid logic for XML reference constraints.

[BibT_eX]

[DOI]

Data Knowl. Eng., 2018

Quantum programming made easy.

[BibT_eX]

[DOI]

Luca Paolini

Luca Roversi

Proceedings of the Proceedings Joint International Workshop on Linearity & Trends in Linear Logic and Applications, 2018

Towards a Logical Framework for Diagnostic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the Agents and Multi-Agent Systems: Technologies and Applications 2018, 2018

It could rain: weather forecasting as a reasoning process.

[BibT_eX]

[DOI]

Francesco Domenichini

Francesco Olivieri

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

A simple algorithm for the lexical classification of comparable adjectives.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based and Intelligent Information & Engineering Systems: Proceedings of the 22nd International Conference KES-2018, 2018

Making Sentiment Analysis Algorithms Scalable.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Web Engineering, 2018

2017

A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations.

[BibT_eX]

[DOI]

Marco Volpe

Inf. Comput., 2017

qPCF: A Language for Quantum Circuit Computations.

[BibT_eX]

[DOI]

Luca Paolini

Proceedings of the Theory and Applications of Models of Computation, 2017

Psychology of Programming: The Role of Creativity, Empathy and Systemizing.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2017

Mapping Free Text into MedDRA by Natural Language Processing: A Modular Approach in Designing and Evaluating Software Extensions.

[BibT_eX]

[DOI]

Proceedings of the 8th ACM International Conference on Bioinformatics, 2017

A Co-occurrence Based MedDRA Terminology Generation: Some Preliminary Results.

[BibT_eX]

[DOI]

Proceedings of the Artificial Intelligence in Medicine, 2017

2016

On natural deduction in classical first-order logic: Curry-Howard correspondence, strong normalization and Herbrand's theorem.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2016

On quantum lambda calculi: a foundational perspective.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2016

From narrative descriptions to MedDRA: automagically encoding adverse drug reactions.

[BibT_eX]

[DOI]

CoRR, 2016

A "light" Application of Blended Extreme Apprenticeship in Teaching Programming to Students of Mathematics.

[BibT_eX]

[DOI]

Proceedings of the Methodologies and Intelligent Systems for Technology Enhanced Learning, 2016

Early Training in Programming: From High School to College.

[BibT_eX]

[DOI]

Proceedings of the Smart Objects and Technologies for Social Good, 2016

2015

Automagically Encoding Adverse Drug Reactions in MedDRA.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Conference on Healthcare Informatics, 2015

A Logical Framework for XML Reference Specification.

[BibT_eX]

[DOI]

Proceedings of the Database and Expert Systems Applications, 2015

2014

Wave-Style Token Machines and Quantum Lambda Calculi.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Third International Workshop on Linearity, 2014

Quantum State Transformations and Branching Distributed Temporal Logic - (Invited Paper).

[BibT_eX]

[DOI]

Marco Volpe

Proceedings of the Logic, Language, Information, and Computation, 2014

2013

A "Game Semantical" Intuitionistic Realizability Validating Markov's Principle.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Types for Proofs and Programs, 2013

Non-determinism, Non-termination and the Strong Normalization of System T.

[BibT_eX]

[DOI]

Proceedings of the Typed Lambda Calculi and Applications, 11th International Conference, 2013

2012

Probabilistic operational semantics for the lambda calculus.

[BibT_eX]

[DOI]

RAIRO Theor. Informatics Appl., 2012

Interactive Realizability and the elimination of Skolem functions in Peano Arithmetic

[BibT_eX]

[DOI]

Proceedings of the Proceedings Fourth Workshop on Classical Logic and Computation, 2012

2011

Modal Deduction Systems for Quantum State Transformations.

[BibT_eX]

[DOI]

J. Multiple Valued Log. Soft Comput., 2011

2010

Quantum implicit computational complexity.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2010

General Ramified Recurrence is Sound for Polynomial Time

[BibT_eX]

[DOI]

Simone Martini

Proceedings of the Proceedings International Workshop on Developments in Implicit Computational complExity, 2010

2009

Lambda calculi and logics for quantum computing.

[BibT_eX]

[DOI]

PhD thesis, 2009

On a measurement-free quantum lambda calculus with classical control.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2009

Confluence Results for a Quantum Lambda Calculus with Measurements.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Quantum Physics and Logic, 2009

2008

A Qualitative Modal Representation of Quantum Register Transformations.

[BibT_eX]

[DOI]

Proceedings of the 38th IEEE International Symposium on Multiple-Valued Logic (ISMVL 2008), 2008

2007

Quantum Lambda Calculi with Classical Control: Syntax and Expressive Power

[BibT_eX]

[DOI]