| 2025 | TABLEAUX | A Gdel Modal Logic over Witnessed Crisp Models. | Mauro Ferrari, Camillo Fiorentini, Ricardo Oscar Rodrguez |
| 2024 | IJCAR | A Terminating Sequent Calculus for Intuitionistic Strong Lb Logic with the Subformula Property. | Camillo Fiorentini, Mauro Ferrari |
| 2022 | CADE | SAT-Based Proof Search in Intermediate Propositional Logics. | Camillo Fiorentini, Mauro Ferrari |
| 2017 | TABLEAUX | A Forward Unprovability Calculus for Intuitionistic Propositional Logic. | Camillo Fiorentini, Mauro Ferrari |
| 2016 | VRST | AR interaction paradigm for closed reduction of long-bone fractures via external fixation. | Fabrizio Cutolo, Stefano Carli, Paolo Domenico Parchi, Luca Canalini, Mauro Ferrari, Michele Lisanti, Vincenzo Ferrari |
| 2015 | BIBE | Computational models for convective and diffusive drug transport in capillaries and tissue. | Milos Kojic, Miljan Milosevic, Velibor Isailovic, Vladimir Simic, Mauro Ferrari, Arturas Ziemys |
| 2015 | TABLEAUX | Proof-Search in Natural Deduction Calculus for Classical Propositional Logic. | Mauro Ferrari, Camillo Fiorentini |
| 2014 | ISMAR | HMD Video see though AR with unfixed cameras vergence. | Vincenzo Ferrari, Fabrizio Cutolo, Emanuele Maria Calabro, Mauro Ferrari |
| 2013 | TABLEAUX | A Terminating Evaluation-Driven Variant of G3i. | Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2011 | EICS | Surgical simulators integrating virtual and physical anatomies. | Marina Carbone, Sara Condino, Vincenzo Ferrari, Mauro Ferrari, Franco Mosca |
| 2011 | EICS | Video see-through in the clinical practice. | Vincenzo Ferrari, Mauro Ferrari, Franco Mosca |
| 2010 | JELIA | A Decidable Constructive Description Logic. | Loris Bozzato, Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2010 | LPAR | fCube: An Efficient Prover for Intuitionistic Propositional Logic. | Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2009 | CAIP | SEM Image Analysis for Quality Control of Nanoparticles. | Simon K. Alexander, Robert Azencott, Bernhard G. Bodmann, Ali Bouamrani, Ciro Chiappini, Mauro Ferrari, X. Liu, Ennio Tasciotti |
| 2007 | LOPSTR | Snapshot Generation in a Constructive Object-Oriented Modeling Language. | Mauro Ferrari, Camillo Fiorentini, Alberto Momigliano, Mario Ornaghi |
| 2002 | LPAR | On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics. | Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2002 | TABLEAUX | Tableau Calculi for the Logics of Finite k-Ary Trees. | Mauro Ferrari, Camillo Fiorentini, Guido Fiorino |
| 2001 | LOPSTR | Extracting Exact Time Bounds from Logical Proofs. | Mauro Ferrari, Camillo Fiorentini, Mario Ornaghi |
| 2000 | LOPSTR | A formal framework for synthesis and verification of logic programs. | Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini |
| 2000 | LOPSTR | A Formal Framework for Synthesis and Verification of Logic Programs. | Alessandro Avellone, Mauro Ferrari, Camillo Fiorentini |
| 2000 | TABLEAUX | Hypertableau and Path-Hypertableau Calculi for Some Families of Intermediate Logics. | Agata Ciabattoni, Mauro Ferrari |
| 1998 | LOPSTR | Synthesis of Programs in Abstract Data Types. | Alessandro Avellone, Mauro Ferrari, Pierangelo Miglioli |
| 1996 | TABLEAUX | Almost Duplication-Free Tableau Calculi for Propositional Lax Logics. | Alessandro Avellone, Mauro Ferrari |