Mauro Ferrari

Patient-specific surgical simulator for the pre-operative planning of single-incision laparoscopic surgery with bimanual robots

Vincenzo Ferrari, Giuseppe Turini, Andrea Moglia, 2012, Computer aided surgery : official journal of the International Society for Computer Aided Surgery.

A Forward Unprovability Calculus for Intuitionistic Propositional Logic

Mauro Ferrari, Camillo Fiorentini, Mauro Ferrari, 2017, TABLEAUX.

Forward proof-search and Countermodel Construction in Intuitionistic Propositional Logic

Mauro Ferrari, Camillo Fiorentini, Mauro Ferrari, 2020, ICTCS.

Ex vivo efficacy demonstration of a laser fenestration system for endovascular abdominal aortic aneurysm repair (EVAR)

Giada Magni, Francesca Rossi, Sara Condino, 2019, European Conference on Biomedical Optics.

[Poster] HMD Video see though AR with unfixed cameras vergence

Fabrizio Cutolo, Vincenzo Ferrari, Mauro Ferrari, 2014, 2014 IEEE International Symposium on Mixed and Augmented Reality (ISMAR).

Electromagnetic navigation platform for endovascular surgery: how to develop sensorized catheters and guidewires

Sara Condino, Vincenzo Ferrari, Cinzia Freschi, 2012, The international journal of medical robotics + computer assisted surgery : MRCAS.

Rapid prototyping of cerebral arteries: a perfect scenario to develop innovative endovascular devices

Mauro Ferrari, Vincenzo Ferrari, Davide Caramella, 2013 .

Optimal design of patient specific templates for pedicle spinescrew placement

Sara Condino, Mauro Ferrari, Franco Mosca, 2011 .

A Sequent Based On-the-fly Procedure to Get Hilbert Proofs in Classical Propositional Logic

Mauro Ferrari, Camillo Fiorentini, Guido Fiorino, 2019 .

A Natural Deduction Calculus for Gödel-Dummett Logic Internalizing Proof-search Control Mechanisms

Mauro Ferrari, Camillo Fiorentini, Mauro Ferrari, 2020, CILC.