Publications

@inproceedings{Kouskoulas2013,

title = {Certifying the Safe Design of a Virtual Fixture Control Algorithm for a Surgical Robot},

author = {Kouskoulas, Yanni and Renshaw, D. and Platzer, Andre and Kazanzides, Peter},

year  = {2013},

date = {2013-04-01},

booktitle = {Intl. Conf. on Hybrid Systems: Computation and Control (HSCC), CPS Week},

address = {Philadelphia, PA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Jung2013,

title = {Run-time Safety Framework for Component-based Medical Robots},

author = {Jung, Min Yang and Kazanzides, Peter},

year  = {2013},

date = {2013-04-01},

booktitle = {4th Workshop on Medical Cyber Physical Systems, CPS Week},

address = {Philadelphia, PA},

keywords = {software-safety},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Sadda2013,

title = {Surgical navigation with a head-mounted tracking system and display},

author = {Sadda, Praneeth and Azimi, Ehsan and Jallo, George and Doswell, Jayfus and Kazanzides, Peter},

year  = {2013},

date = {2013-02-01},

booktitle = {Medicine Meets Virtual Reality (MMVR)},

address = {San Diego, CA},

keywords = {hmd, hmd-neuro},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Xia2012,

title = {Augmented Reality Environment with Virtual Fixtures for Robotic Telemanipulation in Space},

author = {Xia, Tian and Leonard, Simon and Deguet, Anton and Whitcomb, Louis L. and Kazanzides, Peter},

year  = {2012},

date = {2012-10-01},

booktitle = {IEEE/RSJ Intl. Conf. on Intell. Robots and Systems (IROS)},

pages = {5059-5064},

address = {Vilamoura, Portugal},

keywords = {dvrk, space},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Cho12,

title = {A Treatment Planning System for the Small Animal Radiation Research Platform (SARRP) based on 3D Slicer},

author = {Nathan Cho and Peter Kazanzides},

year  = {2012},

date = {2012-10-01},

booktitle = {MICCAI Workshop on Systems and Arch. for Computer Assisted Interventions},

publisher = {Midas Journal: http://hdl.handle.net/10380/3364},

keywords = {sarrp},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Balicki2012,

title = {Interactive OCT Annotation and Visualization for Vitreoretinal Surgery},

author = {Balicki, Marcin and Richa, Rogerio and Vagvolgyi, Balazs and Kazanzides, Peter and Gehlbach, Peter 

 and Handa, James and Kang, Jin and Taylor, Russell},

year  = {2012},

date = {2012-10-01},

booktitle = {MICCAI Workshop on Augmented Environments for Computer-Assisted Interventions (AE-CAI)},

pages = {142-152},

publisher = {Springer LNCS 7815},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Enquobahrie2012,

title = {Robot assisted prostate surgery using augmented reality with deformable models},

author = {Andinet Enquobahri and Martin Kelly and Anton Deguet and Vikas Shivaprabhu and Emad Boctor 

 and Jerry Stringham and David Lee and Peter Kazanzides},

year  = {2012},

date = {2012-10-01},

booktitle = {MICCAI Workshop on Systems and Arch. for Computer Assisted Interventions},

address = {Midas Journal: http://hdl.handle.net/10380/3362},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Haidegger2012,

title = {Event-based Patient Motion Detection and Compensation in Image-Guided Robotics},

author = {Haidegger, Tamas and Kazanzides, Peter and Benyo, B. and Benyo, Z.},

year  = {2012},

date = {2012-06-01},

booktitle = {IEEE Intl. Conf. on Biomedical Robotics and Biomechatronics (BioRob)},

pages = {841-846},

address = {Rome, Italy},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kazanzides2012b,

title = {Proving the correctness of concurrent robot software},

author = {Kazanzides, Peter and Kouskoulas, Yanni and Deguet, Anton and Shao, Zhong},

year  = {2012},

date = {2012-05-01},

booktitle = {IEEE Intl. Conf. on Robotics and Automation (ICRA)},

pages = {4718-4723},

address = {St. Paul, MN},

keywords = {cisst-saw},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kazanzides2012a,

title = {Decision support systems for robotic surgery and acute care},

author = {Kazanzides, Peter},

year  = {2012},

date = {2012-05-01},

booktitle = {SPIE Conf. on Sensing Technologies for Global Health, Military Medicine, Disaster Response, 

 and Environmental Monitoring},

volume = {8371},

pages = {83710W1-83710W4},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Jung2012,

title = {Fault Detection and Diagnosis for Component-based Robotic Systems},

author = {Jung, Min Yang and Peter Kazanzides},

year  = {2012},

date = {2012-04-01},

booktitle = {IEEE Intl. Conf. on Technologies for Practical Robot Applications (TePRA)},

address = {Woburn, MA},

keywords = {software-safety},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Azimi2012,

title = {Augmented reality goggles with an integrated tracking system  for navigation in neurosurgery},

author = {Ehsan Azimi and Jayfus Doswell and Peter Kazanzides},

year  = {2012},

date = {2012-03-01},

booktitle = {IEEE Virtual Reality},

pages = {123-124},

address = {Orange County, CA},

keywords = {hmd, hmd-neuro},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Sen2012,

title = {Enabling technologies for natural orifice transluminal endoscopic surgery (NOTES) using robotically guided 

 elasticity imaging},

author = {Sen, H. Tutkun and Deshmukh, Nishikant and Goldman, Roger and Kazanzides, Peter and Taylor, Russell H. 

 and Boctor, Emad and Simaan, Nabil},

year  = {2012},

date = {2012-03-01},

booktitle = {SPIE Medical Imaging: Image-Guided Procedures, Robotic Interventions and Modeling},

pages = {8316-8369},

address = {San Diego, CA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Thienphrapa2011,

title = {Design of a scalable real-time robot controller and application to a dexterous manipulator},

author = {Thienphrapa, Paul and Kazanzides, Peter},

year  = {2011},

date = {2011-12-01},

booktitle = {IEEE Intl. Conf. on Robotics and Biomimetics (ROBIO)},

pages = {2295-2300},

address = {Phuket, Thailand},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Xia2011,

title = {A Constrained Optimization Approach to Virtual Fixtures for Multi-Robot Collaborative Teleoperation},

author = {Xia, Tian and Kapoor, Ankur and Kazanzides, Peter and Taylor Russell H.},

year  = {2011},

date = {2011-09-01},

booktitle = {IEEE/RSJ Intl. Conf. on Intelligent Robots and Systems (IROS)},

pages = {639-644},

address = {San Francisco, CA},

keywords = {dvrk},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kazanzides2011,

title = {Component-based software for dynamic configuration and control of computer assisted intervention systems},

author = {Peter Kazanzides and Jung, Min Yang and Anton Deguet and Balazs Vagvolgyi and Russell Taylor},

year  = {2011},

date = {2011-09-01},

booktitle = {MICCAI Workshop on Systems and Architecture for Computer Assisted Interventions (SACAI)},

address = {Midas Journal: http://hdl.handle.net/10380/3284},

keywords = {cisst-saw},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Balicki2011,

title = {Prototyping a Hybrid Cooperative and Telerobotic Surgical System for Retinal Microsurgery},

author = {Balicki, Marcin and Xia, Tian and Jung, Min Yang and Deguet, Anton and Vagvolgyi, Balazs and 

 Kazanzides, Peter and Taylor, Russell H.},

year  = {2011},

date = {2011-09-01},

booktitle = {MICCAI Workshop on Systems and Architecture for Computer Assisted Interventions (SACAI)},

address = {Midas Journal: http://hdl.handle.net/10380/3286},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Jung2011,

title = {A layered approach for identifying systematic faults of component-based software systems},

author = {Jung, Min Yang},

year  = {2011},

date = {2011-06-24},

booktitle = {16th International Workshop on Component-Oriented Programming (WCOP'11)},

pages = {17-24},

address = {Boulder, Colorado, USA},

keywords = {software-safety},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kouskoulas2011,

title = {Certifying the concurrent state table implementation in a surgical robotic system},

author = {Kouskoulas, Yanni and Ming, F and Shao, Zhong and Kazanzides, Peter},

year  = {2011},

date = {2011-04-01},

booktitle = {Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device 

 Plug-and-Play Interoperability},

address = {Chicago, IL},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Ren2011b,

title = {Development of a Wireless Hybrid Navigation System for Laparoscopic Surgery},

author = {Hongliang Ren and Denis Rank and Martin Merdes and Jan Stallkamp and Peter Kazanzides},

year  = {2011},

date = {2011-02-01},

booktitle = {Medicine Meets Virtual Reality (MMVR) 18},

pages = {479-485},

publisher = {IOS Press},

address = {Newport Beach, CA},

keywords = {tracker-hybrid},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Ren2011a,

title = {AISLE: an Automatic Volumetric Segmentation Method for the Study of Lung Allometry},

author = {Hongliang Ren and Peter Kazanzides},

year  = {2011},

date = {2011-02-01},

booktitle = {Medicine Meets Virtual Reality (MMVR) 18},

pages = {476-478},

publisher = {IOS Press},

address = {Newport Beach, CA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Jung2010,

title = {A Component-based Architecture for Flexible Integration of Robotic Systems},

author = {Jung, Min Yang and Anton Deguet and Peter Kazanzides},

year  = {2010},

date = {2010-10-01},

booktitle = {IEEE/RSJ Intl. Conf. on Intelligent Robots and Systems (IROS)},

pages = {6107-6112},

address = {Taipei, Taiwan},

keywords = {cisst-saw},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kazanzides2010b,

title = {The Surgical Assistant Workstation (SAW) in Minimally-Invasive Surgery and Microsurgery},

author = {Peter Kazanzides and Simon DiMaio and Anton Deguet and Balazs Vagvolgyi 

 and Marcin Balicki and Caitlin Schneider and Rajesh Kumar and Amod 

 Jog and Brandon Itkowitz and Christopher Hasser and Russell Taylor},

url = {http://hdl.handle.net/10380/3179},

year  = {2010},

date = {2010-06-01},

booktitle = {MICCAI Workshop on Systems and Arch. for Computer Assisted Interventions},

address = {Midas Journal},

keywords = {cisst-saw},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Otake2010b,

title = {An iterative framework for improving the accuracy of intraoperative intensity-based 2D/3D 

 registration for image-guided orthopaedic surgery},

author = {Otake, Yoshito and Armand, Mehran and Sadowsky, Ofri and Armiger, Robert and Kazanzides, Peter 

 and Taylor, Russell},

year  = {2010},

date = {2010-06-01},

booktitle = {Information Processing in Computer-Assisted Interventions (IPCAI)},

pages = {23-33},

address = {Geneva, Switzerland},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Matinfar2010,

title = {Robotic Delivery of Complex Radiation Volumes for Small Animal Research},

author = {Matinfar, Mohammed and Iordachita, Iulian and Wong, John and Kazanzides, Peter},

year  = {2010},

date = {2010-05-01},

booktitle = {IEEE Intl. Conf. on Robotics and Automation (ICRA)},

pages = {2056-2061},

address = {Anchorage, AK},

keywords = {sarrp},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kazanzides2010a,

title = {Medical Robotics: State of the Art and Future Challenges},

author = {Kazanzides, Peter},

year  = {2010},

date = {2010-04-01},

booktitle = {2nd GMSI Intl. Symp. Technical Digest},

pages = {33-36},

publisher = {Univ. of Tokyo},

address = {Tokyo, Japan},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Otake2010a,

title = {An image-guided femoroplasty system: development and initial cadaver studies},

author = {Otake, Yoshito and Armand, Mehran and Sadowsky, Ofri and Armiger, Robert S. and Kutzer, Michael D. and 

 Basafa, Ehsan and Kazanzides, Peter and Taylor, Russell H.},

year  = {2010},

date = {2010-02-01},

booktitle = {SPIE Conf. on Medical Imaging},

volume = {7625},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Thienphrapa2009,

title = {A scalable system for real-time control of dexterous surgical robots},

author = {Thienphrapa, P. and Kazanzides, P.},

year  = {2009},

date = {2009-11-01},

booktitle = {IEEE Intl. Conf. on Technologies for Practical Robot Applications (TePRA)},

pages = {16-22},

address = {Woburn, MA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Jung2009,

title = {A Surgical Assistant Workstation (SAW) Application for a Teleoperated Surgical Robot System},

author = {Jung, Min Yang and Xia, Tian and Deguet, Anton and Kumar, Rajesh and Taylor, Russell H. and Kazanzides, Peter},

year  = {2009},

date = {2009-09-01},

booktitle = {MICCAI Workshop on Systems and Architecture for Computer Assisted Interventions (SACAI)},

address = {Midas Journal: http://hdl.handle.net/10380/3079},

keywords = {cisst-saw},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Haidegger2009b,

title = {Patient motion tracking in the presence of measurement errors},

author = {Haidegger, Tamas and Benyo, Zoltan and Kazanzides, Peter},

year  = {2009},

date = {2009-09-01},

booktitle = {Intl. Conf. of IEEE Engin. in Med. and Biol. Society (EMBC)},

pages = {5563-5566},

address = {Minneapolis, MN},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kazanzides2009,

title = {Safety Design for Medical Robots},

author = {Kazanzides, Peter},

year  = {2009},

date = {2009-09-01},

booktitle = {Intl. Conf. of IEEE Engin. in Med. and Biol. Society (EMBC)},

pages = {7208-7211},

address = {Minneapolis, MN},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Ren2009,

title = {Hybrid Attitude Estimation for Laparoscopic Surgical Tools: A Preliminary Study},

author = {Hongliang Ren and Peter Kazanzides},

year  = {2009},

date = {2009-09-01},

booktitle = {Intl. Conf. of IEEE Engin. in Med. and Biol. Society (EMBC)},

pages = {5583-5586},

address = {Minneapolis, MN},

keywords = {tracker-hybrid},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Matinfar2009,

title = {Image guided complex dose delivery for small animal radiotherapy},

author = {Matinfar, Mohammed and Iyer, Santosh and Ford, Eric and Wong, John and Kazanzides, Peter},

year  = {2009},

date = {2009-06-01},

booktitle = {IEEE Intl. Symp. On Biomedical Imaging (ISBI)},

pages = {1243-1246},

address = {Boston, MA},

keywords = {sarrp},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Otake2009,

title = {Development of a navigation system for femoral augmentation using an intraoperative C-arm reconstruction},

author = {Otake, Yoshito and Armand, Mehran and Sadowsky, Ofri and Kutzer, Michael D. and Armiger, Robert S. 

 and Mears, Simon C. and Kazanzides, Peter and Taylor, Russell H.},

year  = {2009},

date = {2009-06-01},

booktitle = {Computer Assisted Orthopaedic Surgery (CAOS)},

pages = {177-180},

address = {Boston, MA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Haidegger2009,

title = {Sensor fusion for patient motion compensation},

author = {Haidegger, Tamas and Kazanzides, Peter and Benyo, Zoltan},

year  = {2009},

date = {2009-05-01},

booktitle = {ICRA Workshop on Advanced Sensing and Sensor Integration in Medical Robotics},

address = {Kobe, Japan},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Wu2009,

title = {A Modular Clinical Decision Support System: Clinical prototype extensible into multiple clinical settings},

author = {Wu, Fran and Williams, Mitch and Kazanzides, Peter and Brady, Ken and Fackler, James},

year  = {2009},

date = {2009-04-01},

booktitle = {Intl. Conf. on Pervasive Computing Technologies for Healthcare},

address = {London, UK},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Williams2009,

title = {A Modular Framework for Clinical Decision Support Systems: Medical Device Plug-and-Play is Critical},

author = {Williams, Mitch and Wu, Fran and Kazanzides, Peter and Brady, Ken and Fackler, James},

year  = {2009},

date = {2009-04-01},

booktitle = {Workshop on High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability},

address = {San Francisco, CA},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Thienphrapa2008,

title = {A Distributed I/O Low-Level Controller for Highly-Dexterous Snake Robots},

author = {Thienphrapa, Paul and Kazanzides, Peter},

year  = {2008},

date = {2008-11-01},

booktitle = {IEEE Conf. on Biomedical Circuits and Systems (BioCAS)},

address = {Baltimore, MD},

keywords = {},

pubstate = {published},

tppubtype = {inproceedings}

}

@inproceedings{Kazanzides2008c,

title = {An architecture for safe and efficient multi-threaded robot software},

author = {Peter Kazanzides and Anton Deguet and Ankur Kapoor},

year  = {2008},

date = {2008-11-01},

booktitle = {IEEE Intl. Conf on Technologies for Practical Robot Applications (TePRA)},

pages = {89-93},

address = {Woburn, MA},

keywords = {cisst-saw},

pubstate = {published},

tppubtype = {inproceedings}

}