Algoritmi | User | Nuno Miguel Feixa Rodrigues

Nuno Miguel Feixa Rodrigues

Nuno Miguel Feixa Rodrigues

At Algoritmi

Researcher with PhD

Member of the CST R&D Group

Academic Degree

PhD

Current Position

Coordinating Professor at Escola Superior de Tecnologia do Instituto Politécnico do Cavado e do Ave

Personal Webpage

Personal Email

nfr@ipca.pt

Orcid

0000-0003-4884-0984

Researcher ID

FCT Public Key

J0004144VH7

Ciência ID

15/09/9010 05:50

Google Scholar

h-index

8

Publications

65

Editorial

1

Citations

315

Q1 / Q2

17

Current Devices and Future Perspectives on Neuromuscular Blockade Monitoring: A Systematic Review

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

Future Perspectives of Deep Learning in Laparoscopic Tool Detection, Classification, and Segmentation: A Systematic Review

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

Review Apps to Evaluate Stroke Risk in Prehospital Setting

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

The Effects And Viability Of Video Games On The Rehabilitation Of Schizophrenic Patients: A Systematic Review

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

The Role of Kiosks on Health Services: A Systematic Review

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

Validating Structural Cognitive Training Using Immersive Virtual Reality

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

A Human-Computer Interaction Perspective on Clinical Decision Support Systems: A Systematic Review of Usability, Barriers, and Recommendations for Improvement

2023 IEEE 11th International Conference on Serious Games and Applications for Health, SeGAH 2023

2023 | conference-paper

Predicting hospital emergency department visits accurately: A systematic review

International Journal of Health Planning and Management

2023 | journal-article

Design principles for cognitive and physical rehabilitation of ICU patients using Virtual Reality (VR)

2022 IEEE 10th International Conference on Serious Games and Applications for Health(SeGAH)

2022 | conference-paper

11th Symposium on Languages, Applications and Technologies, SLATE 2022, July 14-15, 2022, Universidade da Beira Interior, Covilhã, Portugal

SLATE

2022 | edited-book

COVID-19 Impact on Forecasting Emergency Department Visits Performance

SSRN Electronic Journal

2022 | journal-article

Designing a Music-Based Game for Training Pattern Recognition Control of a Myoelectric Prosthesis

Biosystems and Biorobotics

2022 | book-chapter

Sea of Cells: Learn Biology Through Virtual Reality

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST

2022 | conference-paper

Virtual Reality Video Game for Depression Awareness

SeGAH 2022 - 2022 IEEE 10th International Conference on Serious Games and Applications for Health

2022 | conference-paper

Hand Rehabilitation with Virtual Reality: Preliminary learning results

SeGAH 2021 - 2021 IEEE 9th International Conference on Serious Games and Applications for Health

2021 | conference-paper

A Virtual Reality Serious Game for Hand Rehabilitation Therapy

2020 IEEE 8th International Conference on Serious Games and Applications for Health, SeGAH 2020

2020 | conference-paper

Application of AR and VR in hand rehabilitation: A systematic review

Journal of Biomedical Informatics

2020 | journal-article

Designing Effective User Interface Experiences for a Self-Service Kiosk to Reduce Emergency Department Crowding

2020 IEEE 8th International Conference on Serious Games and Applications for Health, SeGAH 2020

2020 | conference-paper

Designing a Serious Game for Myoelectric Prosthesis Control

2020 IEEE 8th International Conference on Serious Games and Applications for Health, SeGAH 2020

2020 | conference-paper

Guest Editorial: Special Issue on Serious Games for Health

IEEE Transactions on Games

2020 | journal-article

Automatic left ventricular segmentation in 4D interventional ultrasound data using a patient-specific temporal synchronized shape prior

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2019 | conference-paper

Automatic strategy for extraction of anthropometric measurements for the diagnostic and evaluation of deformational plagiocephaly from infant's head models

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2019 | conference-paper

ISVC - Digital Platform for Detection and Prevention of Computer Vision Syndrome

2019 IEEE 7th International Conference on Serious Games and Applications for Health, SeGAH 2019

2019 | conference-paper

Top-Down Human Pose Estimation with Depth Images and Domain Adaptation

PROCEEDINGS OF THE 14TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS (VISAPP), VOL 5

2019 | conference-paper

6th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2018, Vienna, Austria, May 16-18, 2018

SeGAH

2018 | edited-book

Segmentation of kidney and renal collecting system on 3D computed tomography images

2018 IEEE 6th International Conference on Serious Games and Applications for Health, SeGAH 2018

2018 | conference-paper

iSVC – Plataforma Digital de Deteção e Prevenção de Síndrome da Visão de Computador

2018 | dissertation-thesis

Classification algorithms for body posture

2017 IEEE 5th International Conference on Serious Games and Applications for Health, SeGAH 2017

2017 | conference-paper

Instrumented vest for postural reeducation

2017 IEEE 5th International Conference on Serious Games and Applications for Health, SeGAH 2017

2017 | conference-paper

A proof of concept of an augmented reality system for nuss surgery

Computational Vision and Medical Image Processing V - Proceedings of 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015

2016 | conference-paper

Dense motion field estimation from myocardial boundary displacements

International Journal for Numerical Methods in Biomedical Engineering

2016 | journal-article

Kidney segmentation in 3D CT images using B-Spline Explicit Active Surfaces

2016 IEEE International Conference on Serious Games and Applications for Health, SeGAH 2016

2016 | conference-paper

Assessment of Laparoscopic Skills Performance: 2D Versus 3D Vision and Classic Instrument Versus New Hand-Held Robotic Device for Laparoscopy.

2015 | journal-article

A-scan ultrasound system for real-time puncture safety assessment during percutaneous nephrolithotomy

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Accuracy Comparison of Implant Impression Techniques: A Systematic Review

Clinical Implant Dentistry and Related Research

2015 | journal-article

Computer-aided recognition of dental implants in X-ray images

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Finite element analysis of pectus carinatum surgical correction via a minimally invasive approach

Computer Methods in Biomechanics and Biomedical Engineering

2015 | journal-article

Improving the robustness of interventional 4D ultrasound segmentation through the use of personalized prior shape models

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Robust temporal alignment of multimodal cardiac sequences

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Semi-automatic 3D segmentation of costal cartilage in CT data from Pectus Excavatum patients

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Validation of percutaneous puncture trajectory during renal access using 4D ultrasound reconstruction

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Voxel-based registration of simulated and real patient CBCT data for accurate dental implant pose estimation

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

An electromagnetic tracker system for the design of a dental superstructure

Biodental Engineering III - Proceedings of the 3rd International Conference on Biodental Engineering, BIODENTAL 2014

2014 | conference-paper

Artificial neural networks for automatic modelling of the pectus excavatum corrective prosthesis

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2014 | conference-paper

Automated image analysis of lung branching morphogenesis from microscopic images of fetal rat explants.

2014 | journal-article

Automatic modeling of pectus excavatum corrective prosthesis using artificial neural networks

Medical Engineering and Physics

2014 | journal-article

Electromagnetic tracker feasibility in the design of a dental superstructure for edentulous patients

IEEE MeMeA 2014 - IEEE International Symposium on Medical Measurements and Applications, Proceedings

2014 | conference-paper

Hand-held robotic device for laparoscopic surgery and training

SeGAH 2014 - IEEE 3rd International Conference on Serious Games and Applications for Health, Books of Proceedings

2014 | conference-paper

Preliminary clinical trial in percutaneous nephrolithotomy using a real-time navigation system for percutaneous kidney access

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2014 | conference-paper

Real-time hand tracking for rehabilitation and character animation

SeGAH 2014 - IEEE 3rd International Conference on Serious Games and Applications for Health, Books of Proceedings

2014 | conference-paper

Rumination room: A serious game to deal with disturbing thoughts

SeGAH 2014 - IEEE 3rd International Conference on Serious Games and Applications for Health, Books of Proceedings

2014 | conference-paper

Application to quantify fetal lung branching on rat explants

VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications

2013 | conference-paper

Assessment of 3D scanners for modeling pectus carinatum corrective bar

VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications

2013 | conference-paper

Automatic modeling of an orthotic bracing for nonoperative correction of Pectus Carinatum

VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications

2013 | conference-paper

Collecting system percutaneous access using real-time tracking sensors: First pig model in vivo experience

Journal of Urology

2013 | journal-article

Kidney targeting and puncturing during percutaneous nephrolithotomy: Recent advances and future perspectives

Journal of Endourology

2013 | journal-article

Palco: A multisensor realtime 3D cartoon production system

SeGAH 2013 - IEEE 2nd International Conference on Serious Games and Applications for Health, Book of Proceedings

2013 | conference-paper

Variations of the soft tissue thicknesses external to the ribs in Pectus Excavatum patients

Journal of Pediatric Surgery

2013 | journal-article

A region-based algorithm for automatic bone segmentation in volumetric CT

Image Processing: Methods, Applications and Challenges

2012 | book-chapter

Automatic segmentation and 3D feature extraction of protein aggregates in Caenorhabditis Elegans

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2012 | conference-paper

Pectus excavatum postsurgical outcome based on preoperative soft body dynamics simulation

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2012 | conference-paper

Thoracic wall reconstruction using ultrasound images to model/bend the thoracic prosthesis for correction of pectus excavatum

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2012 | conference-paper

Type checking cryptography implementations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012 | conference-paper

A laparoscopic surgery training interface

2011 IEEE 1st International Conference on Serious Games and Applications for Health, SeGAH 2011

2011 | conference-paper

A mobile health care rule-based system

Communications in Computer and Information Science

2011 | conference-paper

An image processing application for quantification of protein aggregates in Caenorhabditis Elegans

Advances in Intelligent and Soft Computing

2011 | conference-paper

Domain-specific language for coordination patterns

Computer Science and Information Systems

2011 | journal-article

Shacc: A functional prototyper for a component calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011 | conference-paper

The role of coordination analysis in software integration projects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011 | conference-paper

Virtual simulation of the postsurgical cosmetic outcome in patients with Pectus Excavatum

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2011 | conference-paper

A digital game development education project

2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010

2010 | conference-paper

Discovering Coordination Patterns

Electronic Notes in Theoretical Computer Science

2010 | journal-article

Identifying clones in functional programs for refactoring

Communications in Computer and Information Science

2010 | conference-paper

Slicing for architectural analysis

Science of Computer Programming

2010 | journal-article

CoordInspector: A tool for extracting coordination data from legacy code

Proceedings - 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008

2008 | conference-paper

On the discovery of business processes orchestration patterns

Proceedings - 2008 IEEE Congress on Services, SERVICES 2008

2008 | conference-paper

Higher-order lazy functional slicing

Journal of Universal Computer Science

2007 | conference-paper

Bananas, Dark Worlds, and AspectH (Group 5 Discussion)

Dagstuhl Seminar Proceedings

2006 | conference-paper

Component Identification Through Program Slicing

Electronic Notes in Theoretical Computer Science

2006 | journal-article

On the Semantics of Componentware: A Coalgebraic Persecutive

Mathematical Frameworks for Component Software

2006 | book-chapter

Program slicing by calculation

Journal of Universal Computer Science

2006 | conference-paper

Architectural prototyping: From CCS to. Net

Electronic Notes in Theoretical Computer Science

2005 | conference-paper

Slicing Functional Programs by Calculation

Beyond Program Slicing, 06.11. - 11.11.2005

2005 | conference-paper

Init End Change Value

Current Devices and Future Perspectives on Neuromuscular Blockade Monitoring: A Systematic Review

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

Future Perspectives of Deep Learning in Laparoscopic Tool Detection, Classification, and Segmentation: A Systematic Review

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

Review Apps to Evaluate Stroke Risk in Prehospital Setting

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

The Effects And Viability Of Video Games On The Rehabilitation Of Schizophrenic Patients: A Systematic Review

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

The Role of Kiosks on Health Services: A Systematic Review

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

Validating Structural Cognitive Training Using Immersive Virtual Reality

2023 IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH)

2023 | conference-paper

A Human-Computer Interaction Perspective on Clinical Decision Support Systems: A Systematic Review of Usability, Barriers, and Recommendations for Improvement

2023 IEEE 11th International Conference on Serious Games and Applications for Health, SeGAH 2023

2023 | conference-paper

Predicting hospital emergency department visits accurately: A systematic review

International Journal of Health Planning and Management

2023 | journal-article

Design principles for cognitive and physical rehabilitation of ICU patients using Virtual Reality (VR)

2022 IEEE 10th International Conference on Serious Games and Applications for Health(SeGAH)

2022 | conference-paper

11th Symposium on Languages, Applications and Technologies, SLATE 2022, July 14-15, 2022, Universidade da Beira Interior, Covilhã, Portugal

SLATE

2022 | edited-book

COVID-19 Impact on Forecasting Emergency Department Visits Performance

SSRN Electronic Journal

2022 | journal-article

Designing a Music-Based Game for Training Pattern Recognition Control of a Myoelectric Prosthesis

Biosystems and Biorobotics

2022 | book-chapter

Sea of Cells: Learn Biology Through Virtual Reality

Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST

2022 | conference-paper

Virtual Reality Video Game for Depression Awareness

SeGAH 2022 - 2022 IEEE 10th International Conference on Serious Games and Applications for Health

2022 | conference-paper

Hand Rehabilitation with Virtual Reality: Preliminary learning results

SeGAH 2021 - 2021 IEEE 9th International Conference on Serious Games and Applications for Health

2021 | conference-paper

A Virtual Reality Serious Game for Hand Rehabilitation Therapy

2020 IEEE 8th International Conference on Serious Games and Applications for Health, SeGAH 2020

2020 | conference-paper

Application of AR and VR in hand rehabilitation: A systematic review

Journal of Biomedical Informatics

2020 | journal-article

Designing Effective User Interface Experiences for a Self-Service Kiosk to Reduce Emergency Department Crowding

2020 IEEE 8th International Conference on Serious Games and Applications for Health, SeGAH 2020

2020 | conference-paper

Designing a Serious Game for Myoelectric Prosthesis Control

2020 IEEE 8th International Conference on Serious Games and Applications for Health, SeGAH 2020

2020 | conference-paper

Guest Editorial: Special Issue on Serious Games for Health

IEEE Transactions on Games

2020 | journal-article

Automatic left ventricular segmentation in 4D interventional ultrasound data using a patient-specific temporal synchronized shape prior

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2019 | conference-paper

Automatic strategy for extraction of anthropometric measurements for the diagnostic and evaluation of deformational plagiocephaly from infant's head models

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2019 | conference-paper

ISVC - Digital Platform for Detection and Prevention of Computer Vision Syndrome

2019 IEEE 7th International Conference on Serious Games and Applications for Health, SeGAH 2019

2019 | conference-paper

Top-Down Human Pose Estimation with Depth Images and Domain Adaptation

PROCEEDINGS OF THE 14TH INTERNATIONAL JOINT CONFERENCE ON COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS THEORY AND APPLICATIONS (VISAPP), VOL 5

2019 | conference-paper

6th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2018, Vienna, Austria, May 16-18, 2018

SeGAH

2018 | edited-book

Segmentation of kidney and renal collecting system on 3D computed tomography images

2018 IEEE 6th International Conference on Serious Games and Applications for Health, SeGAH 2018

2018 | conference-paper

iSVC – Plataforma Digital de Deteção e Prevenção de Síndrome da Visão de Computador

2018 | dissertation-thesis

Classification algorithms for body posture

2017 IEEE 5th International Conference on Serious Games and Applications for Health, SeGAH 2017

2017 | conference-paper

Instrumented vest for postural reeducation

2017 IEEE 5th International Conference on Serious Games and Applications for Health, SeGAH 2017

2017 | conference-paper

A proof of concept of an augmented reality system for nuss surgery

Computational Vision and Medical Image Processing V - Proceedings of 5th Eccomas Thematic Conference on Computational Vision and Medical Image Processing, VipIMAGE 2015

2016 | conference-paper

Dense motion field estimation from myocardial boundary displacements

International Journal for Numerical Methods in Biomedical Engineering

2016 | journal-article

Kidney segmentation in 3D CT images using B-Spline Explicit Active Surfaces

2016 IEEE International Conference on Serious Games and Applications for Health, SeGAH 2016

2016 | conference-paper

Assessment of Laparoscopic Skills Performance: 2D Versus 3D Vision and Classic Instrument Versus New Hand-Held Robotic Device for Laparoscopy.

2015 | journal-article

A-scan ultrasound system for real-time puncture safety assessment during percutaneous nephrolithotomy

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Accuracy Comparison of Implant Impression Techniques: A Systematic Review

Clinical Implant Dentistry and Related Research

2015 | journal-article

Computer-aided recognition of dental implants in X-ray images

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Finite element analysis of pectus carinatum surgical correction via a minimally invasive approach

Computer Methods in Biomechanics and Biomedical Engineering

2015 | journal-article

Improving the robustness of interventional 4D ultrasound segmentation through the use of personalized prior shape models

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Robust temporal alignment of multimodal cardiac sequences

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Semi-automatic 3D segmentation of costal cartilage in CT data from Pectus Excavatum patients

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Validation of percutaneous puncture trajectory during renal access using 4D ultrasound reconstruction

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

Voxel-based registration of simulated and real patient CBCT data for accurate dental implant pose estimation

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2015 | conference-paper

An electromagnetic tracker system for the design of a dental superstructure

Biodental Engineering III - Proceedings of the 3rd International Conference on Biodental Engineering, BIODENTAL 2014

2014 | conference-paper

Artificial neural networks for automatic modelling of the pectus excavatum corrective prosthesis

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2014 | conference-paper

Automated image analysis of lung branching morphogenesis from microscopic images of fetal rat explants.

2014 | journal-article

Automatic modeling of pectus excavatum corrective prosthesis using artificial neural networks

Medical Engineering and Physics

2014 | journal-article

Electromagnetic tracker feasibility in the design of a dental superstructure for edentulous patients

IEEE MeMeA 2014 - IEEE International Symposium on Medical Measurements and Applications, Proceedings

2014 | conference-paper

Hand-held robotic device for laparoscopic surgery and training

SeGAH 2014 - IEEE 3rd International Conference on Serious Games and Applications for Health, Books of Proceedings

2014 | conference-paper

Preliminary clinical trial in percutaneous nephrolithotomy using a real-time navigation system for percutaneous kidney access

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2014 | conference-paper

Real-time hand tracking for rehabilitation and character animation

SeGAH 2014 - IEEE 3rd International Conference on Serious Games and Applications for Health, Books of Proceedings

2014 | conference-paper

Rumination room: A serious game to deal with disturbing thoughts

SeGAH 2014 - IEEE 3rd International Conference on Serious Games and Applications for Health, Books of Proceedings

2014 | conference-paper

Application to quantify fetal lung branching on rat explants

VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications

2013 | conference-paper

Assessment of 3D scanners for modeling pectus carinatum corrective bar

VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications

2013 | conference-paper

Automatic modeling of an orthotic bracing for nonoperative correction of Pectus Carinatum

VISAPP 2013 - Proceedings of the International Conference on Computer Vision Theory and Applications

2013 | conference-paper

Collecting system percutaneous access using real-time tracking sensors: First pig model in vivo experience

Journal of Urology

2013 | journal-article

Kidney targeting and puncturing during percutaneous nephrolithotomy: Recent advances and future perspectives

Journal of Endourology

2013 | journal-article

Palco: A multisensor realtime 3D cartoon production system

SeGAH 2013 - IEEE 2nd International Conference on Serious Games and Applications for Health, Book of Proceedings

2013 | conference-paper

Variations of the soft tissue thicknesses external to the ribs in Pectus Excavatum patients

Journal of Pediatric Surgery

2013 | journal-article

A region-based algorithm for automatic bone segmentation in volumetric CT

Image Processing: Methods, Applications and Challenges

2012 | book-chapter

Automatic segmentation and 3D feature extraction of protein aggregates in Caenorhabditis Elegans

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2012 | conference-paper

Pectus excavatum postsurgical outcome based on preoperative soft body dynamics simulation

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2012 | conference-paper

Thoracic wall reconstruction using ultrasound images to model/bend the thoracic prosthesis for correction of pectus excavatum

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2012 | conference-paper

Type checking cryptography implementations

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2012 | conference-paper

A laparoscopic surgery training interface

2011 IEEE 1st International Conference on Serious Games and Applications for Health, SeGAH 2011

2011 | conference-paper

A mobile health care rule-based system

Communications in Computer and Information Science

2011 | conference-paper

An image processing application for quantification of protein aggregates in Caenorhabditis Elegans

Advances in Intelligent and Soft Computing

2011 | conference-paper

Domain-specific language for coordination patterns

Computer Science and Information Systems

2011 | journal-article

Shacc: A functional prototyper for a component calculus

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011 | conference-paper

The role of coordination analysis in software integration projects

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2011 | conference-paper

Virtual simulation of the postsurgical cosmetic outcome in patients with Pectus Excavatum

Progress in Biomedical Optics and Imaging - Proceedings of SPIE

2011 | conference-paper

A digital game development education project

2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010

2010 | conference-paper

Discovering Coordination Patterns

Electronic Notes in Theoretical Computer Science

2010 | journal-article

Identifying clones in functional programs for refactoring

Communications in Computer and Information Science

2010 | conference-paper

Slicing for architectural analysis

Science of Computer Programming

2010 | journal-article

CoordInspector: A tool for extracting coordination data from legacy code

Proceedings - 8th IEEE International Working Conference on Source Code Analysis and Manipulation, SCAM 2008

2008 | conference-paper

On the discovery of business processes orchestration patterns

Proceedings - 2008 IEEE Congress on Services, SERVICES 2008

2008 | conference-paper

Higher-order lazy functional slicing

Journal of Universal Computer Science

2007 | conference-paper

Bananas, Dark Worlds, and AspectH (Group 5 Discussion)

Dagstuhl Seminar Proceedings

2006 | conference-paper

Component Identification Through Program Slicing

Electronic Notes in Theoretical Computer Science

2006 | journal-article

On the Semantics of Componentware: A Coalgebraic Persecutive

Mathematical Frameworks for Component Software

2006 | book-chapter

Program slicing by calculation

Journal of Universal Computer Science

2006 | conference-paper

Architectural prototyping: From CCS to. Net

Electronic Notes in Theoretical Computer Science

2005 | conference-paper

Slicing Functional Programs by Calculation

Beyond Program Slicing, 06.11. - 11.11.2005

2005 | conference-paper


Start End Term Value
This user account status is Approved