Mīmāṃsā Deontic Logic: Proof Theory and Applications. - Agata Ciabattoni; Elisa Freschi; Francesco A. Genco; Björn Lellmann (TABLEAUX, 2015)

Embedding formalisms: hypersequents and two-level systems of rule. - Agata Ciabattoni; Francesco A. Genco (Advances in Modal Logic, 2016)

Curry-Howard Correspondence for Gödel Logic: from Natural Deduction to Parallel Computation. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (CoRR, 2016)

Gödel logic: From natural deduction to parallel computation. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (LICS, 2017)

Mīmā d{m}sā deontic logic: proof theory and applications. - Agata Ciabattoni; Elisa Freschi; Francesco A. Genco; Björn Lellmann (CoRR, 2017)

Disjunctive Axioms and Concurrent λ-Calculi: a Curry-Howard Approach. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (CoRR, 2018)

Classical Proofs as Parallel Programs. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (GandALF, 2018)

Substructural logics: semantics, proof theory, and applications. report on the second SYSMICS workshop. - Agata Ciabattoni; Francesco A. Genco; Revantha Ramanayake (ACM SIGLOG News, 2018)

Hypersequents and Systems of Rules: Embeddings and Applications. - Agata Ciabattoni; Francesco A. Genco (ACM Trans. Comput. Log., 2018)

A typed parallel $λ$-calculus for graph-based communication. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (CoRR, 2019)

⅋ means Parallel: Multiplicative Linear Logic Proofs as Concurrent Functional Programs. - Federico Aschieri; Francesco A. Genco (CoRR, 2019)

A typed parallel lambda-calculus via 1-depth intermediate proofs. - Federico Aschieri; Agata Ciabattoni; Francesco Antonio Genco (LPAR, 2020)

Par means parallel: multiplicative linear logic proofs as concurrent functional programs. - Federico Aschieri; Francesco A. Genco (Proc. ACM Program. Lang., 2020)

On the concurrent computational content of intermediate logics. - Federico Aschieri; Agata Ciabattoni; Francesco A. Genco (Theor. Comput. Sci., 2020)

Defining Formal Explanation in Classical Logic by Substructural Derivability. - Francesco A. Genco; Francesca Poggiolesi (CiE, 2021)

Formal explanations as logical derivations. - Francesco A. Genco (J. Appl. Non Class. Logics, 2021)

Grounding, Quantifiers, and Paradoxes. - Francesco A. Genco; Francesca Poggiolesi; Lorenzo Rossi 005 (J. Philos. Log., 2021)

BRIOxAlkemy: a Bias Detecting Tool. - Greta Coraglia; Fabio Aurelio D'Asaro; Francesco Antonio Genco; Davide Giannuzzi; Davide Posillipo; Giuseppe Primiero; Christian Quaggio (BEWARE@AI*IA, 2023)

A Typed Lambda-Calculus for Establishing Trust in Probabilistic Programs. - Francesco A. Genco; Giuseppe Primiero (CoRR, 2023)

Bias Amplification Chains in ML-based Systems with an Application to Credit Scoring. - Alessandro Giuseppe Buda; Greta Coraglia; Francesco A. Genco; Chiara Manganini; Giuseppe Primiero (BEWARE@AI*IA, 2024)

A Logic of Knowledge and Justifications, with an Application to Computational Trust. - Francesco A. Genco (CoRR, 2024)

Evaluating AI fairness in credit scoring with the BRIO tool. - Greta Coraglia; Francesco A. Genco; Pellegrino Piantadosi; Enrico Bagli; Pietro Giuffrida; Davide Posillipo; Giuseppe Primiero (CoRR, 2024)

A Strongly Normalising System of Dependent Types for Transparent and Opaque Probabilistic Computation. - Francesco A. Genco (CoRR, 2024)

Grounding operators: transitivity and trees, logicality and balance. - Francesco A. Genco (J. Appl. Non Class. Logics, 2024)

Checking trustworthiness of probabilistic computations in a typed natural deduction system. - Fabio Aurelio D'Asaro; Francesco A. Genco; Giuseppe Primiero (J. Log. Comput., 2025)

What stands between Grounding Rules and Logical Rules is the Excluded Middle. - Francesco A. Genco (Rev. Symb. Log., 2025)