( en | de | ru )

 

Disambiguierung von "Ferrari, Mauro"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Electromagnetic Guided In-Situ Laser Fenestration of Endovascular Stent-Graft: Endovascular Tools Sensorization Strategy and Preliminary Laser Testing.

, , , , , , , , und . MIAR, Volume 9805 von Lecture Notes in Computer Science, Seite 72-83. Springer, (2016)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Christian Mauro

Frank Mauroschat

Jacopo Mauro

Carola Mauroschat-Galla

Andreas Mauroschat

 

Weitere Publikationen von Autoren mit dem selben Namen

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