( en | de | ru )

 

Disambiguation of "Ferrari, Mauro"

Author of the publication

copydeleteadd this publication to your clipboard
Electromagnetic Guided In-Situ Laser Fenestration of Endovascular Stent-Graft: Endovascular Tools Sensorization Strategy and Preliminary Laser Testing.

, , , , , , , , and . MIAR, volume 9805 of Lecture Notes in Computer Science, page 72-83. Springer, (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christian Mauro

Frank Mauroschat

Jacopo Mauro

Carola Mauroschat-Galla

Andreas Mauroschat

 

Other publications of authors with the same name

Application of a New Wearable Augmented Reality Video See-Through Display to Aid Percutaneous Procedures in Spine Surgery., , , , , and . AVR (2), volume 9769 of Lecture Notes in Computer Science, page 43-54. Springer, (2016)A Decidable Constructive Description Logic., , , and . JELIA, volume 6341 of Lecture Notes in Computer Science, page 51-63. Springer, (2010)On the Complexity of Disjunction and Explicit Definability Properties in Some Intermediate Logics., , and . LPAR, volume 2514 of Lecture Notes in Computer Science, page 175-189. Springer, (2002)On Uniformly Constructive and Semiconstructive Formal Systems., , and . Logic Journal of the IGPL, 11 (1): 1-49 (2003)Extracting Exact Time Bounds from Logical Proofs., , and . LOPSTR, volume 2372 of Lecture Notes in Computer Science, page 245-266. Springer, (2001)Automatic carotid centerline extraction from three-dimensional ultrasound Doppler images., , , , , and . EMBC, page 5089-5092. IEEE, (2014)Contraction-Free Linear Depth Sequent Calculi for Intuitionistic Propositional Logic with the Subformula Property and Minimal Depth Counter-Models., , and . J. Autom. Reason., 51 (2): 129-149 (2013)BCDLBC\!D\!L: Basic Constructive Description Logic., , and . J. Autom. Reason., 44 (4): 371-399 (2010)JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi., , and . Fundam. Informaticae, 150 (1): 119-142 (2017)Hierarchical modeling of diffusive transport through nanochannels by coupling molecular dynamics with finite element method., , , , , , and . J. Comput. Phys., 230 (14): 5722-5731 (2011)