publicações selecionadas
-
artigo académico
- Predicting Hospital Emergency Department Visits Accurately: A Systematic Review. International Journal of Health Planning and Management. 2023
- Accuracy Comparison of Implant Impression Techniques: A Systematic Review. Clinical Implant Dentistry and Related Research. 2015
- Finite element analysis of pectus carinatum surgical correction via a minimally invasive approach. Computer Methods in Biomechanics and Biomedical Engineering. 2015
- Automatic modeling of pectus excavatum corrective prosthesis using artificial neural networks. Medical Engineering & Physics. 2014
- Automated image analysis of lung branching morphogenesis from microscopic images of fetal rat explants.. Computational and Mathematical Methods in Medicine. 2014
- Collecting system percutaneous access using real-time tracking sensors : first pig model in vivo experience. Journal of Urology. 2013
- Kidney targeting and puncturing during percutaneous nephrolithotomy: Recent advances and future perspectives. Journal of Endourology. 2013
- Variations of the soft tissue thicknesses external to the ribs in Pectus Excavatum patients. Journal of Pediatric Surgery. 2013
- An Image Processing Application for Quantification of Protein Aggregates in Caenorhabditis Elegans. Advances in Intelligent Systems and Computing. 2011
- Slicing for architectural analysis. International Journal on Software Tools for Technology Transfer. 2010
- On the discovery of business processes orchestration patterns. Proceedings - 2008 IEEE Congress on Services, SERVICES 2008. 2008
- Component Identification Through Program Slicing. Electronic Notes in Theoretical Computer Science. 2006
- Architectural prototyping: From CCS to. Net. Electronic Notes in Theoretical Computer Science. 2005
-
artigo de conferência
- Sea of Cells: Learn Biology through Virtual Reality 2021
- Segmentation of kidney and renal collecting system on 3D computed tomography images. IEEE International Conference on Serious Games and Applications for Health. 2018
- Kidney segmentation in 3D CT images using B-Spline Explicit Active Surfaces. IEEE International Conference on Serious Games and Applications for Health. 2016
- Kidney segmentation in 3D CT images using B-Spline Explicit Active Surfaces. IEEE International Conference on Serious Games and Applications for Health. 2016
- A-scan ultrasound system for real-time puncture safety assessment during percutaneous nephrolithotomy. Proceedings of SPIE. 2015
- Validation of percutaneous puncture trajectory during renal access using 4D ultrasound reconstruction. Proceedings of SPIE. 2015
- Voxel-based registration of simulated and real patient CBCT data for accurate dental implant pose estimation. Proceedings of SPIE. 2015
- Preliminary clinical trial in percutaneous nephrolithotomy using a real-time navigation system for percutaneous kidney access. Proceedings of SPIE. 2014
- Automatic segmentation and 3D feature extraction of protein aggregates in Caenorhabditis Elegans. Proceedings of SPIE. 2012
- Pectus excavatum postsurgical outcome based on preoperative soft body dynamics simulation. Proceedings of SPIE. 2012
- Thoracic wall reconstruction using ultrasound images to model/bend the thoracic prosthesis for correction of pectus excavatum. Proceedings of SPIE. 2012
- A laparoscopic surgery training interface 2011
- Shacc: A functional prototyper for a component calculus. International Journal on Software Tools for Technology Transfer. 2011
- The role of coordination analysis in software integration projects. International Journal on Software Tools for Technology Transfer. 2011
- Virtual simulation of the postsurgical cosmetic outcome in patients with Pectus Excavatum. Proceedings of SPIE. 2011
- A digital game development education project 2010
- CoordInspector: A Tool for Extracting Coordination Data from Legacy Code 2008
-
documento
- Dense motion field estimation from myocardial boundary displacements. International Journal for Numerical Methods in Biomedical Engineering. 2016
- An electromagnetic tracker system for the design of a dental superstructure 2014
- Real-time hand tracking for rehabilitation and character animation. IEEE International Conference on Serious Games and Applications for Health. 2014
- A region-based algorithm for automatic bone segmentation in volumetric CT 2012
- Type checking cryptography implementations. International Journal on Software Tools for Technology Transfer. 2012
- Slicing techniques applied to architectural analysis of legacy software 2009
- COORDINSPECTOR : a tool for extracting coordination data from legacy code 2008
- Extracting and verifying coordination models from source code 2008
- Higher-order lazy functional slicing. Journal of Universal Computer Science. 2007
- Program slicing by calculation. Journal of Universal Computer Science. 2006
- Prototyping behavioural specifications in the net framework 2004