Follow

Submissions from 2019

PDF

Review of the Augmented Reality Systems for Shoulder Rehabilitation, Giuseppe Turini, Sara Condino, Rosanna Viglialoro, Marina Carbone, Marco Gesi, and Vincenzo Ferrari

PDF

Wearable Augmented Reality Application for Shoulder Rehabilitation, Giuseppe Turini, Sara Condino, Rosanna Viglialoro, Marco Gesi, and Vincenzo Ferrari

Submissions from 2018

PDF

How to Build a Patient-Specific Hybrid Simulator for Orthopaedic Open Surgery: Benefits and Limits of Mixed-Reality Using the Microsoft HoloLens, Giuseppe Turini, Sara Condino, Paolo D. Parch, Rosanna M. Viglialoro, Nicola Piolanti, Marco Gesi, Mauro Ferrari, and Vincenzo Ferrari

Submissions from 2016

Link

Online Task Assignment for Crowdsensing in Predictable Mobile Social Networks, Mingjun Xiao, Jie Wu, Liusheng Huang, Ruhong Cheng, and Yunsheng Wang

Submissions from 2015

Link

A Semiautomatic Method for In Vivo Three- Dimensional Quantitative Analysis of Fascial Layers Mobility Based on 3D Ultrasound Scans, Giuseppe Turini, Sara Condino, S. Parrini, A. Stecco, F. Busoni, Vincenzo Ferrari, Mauro Ferrari, and Marco Gesi

Link

NextMe: Localization Using Cellular Traces in Internet of Things, Daqiang Zhang, Shengjie Zhao, Laurence T. Yang, Min Cheng, Yunsheng Wang, and Huazhong Liu

Submissions from 2013

Link

Cloud-Based Multicasting with Feedback in Mobile Social Networks, Yunsheng Wang, Jie Wu, and Wei-Shih Yang

Submissions from 2012

Link

The Pledge of the Computing Professional: Recognizing and Promoting Ethics in the Computing Professions, James Huggins, Bill Albrecht, Ken Christensen, Venu Desigi, and Jody Paul

Link

Computer Guidance System for Single-Incision Bimanual Robotic Surgery, Giuseppe Turini, Marina Carbone, Gianluigi Petroni, Marta Niccolini, Arianna Menciassi, Mauro Ferrari, Vincenzo Ferrari, and Franco Mosca

Link

Hypercube-based Multi-path Social Feature Routing in Human Contact Networks, Jie Wu and Yunsheng Wang

Submissions from 2010

Link

Engaging Computer Science Students Through Cooperative Education, James Huggins

Link

Abstract State Machines and the Inquiry Process, James Huggins and Charles Wallace

Submissions from 2002

Link

An Abstract State Machine Primer, James Huggins and Charles Wallace

Submissions from 2000

An Automatic Verification Tool for UML, James Huggins, Kevin Compton, Yuri Gurevich, and Wuwei Shen

The Static and Dynamic Semantics of C: Preliminary Version, James Huggins and Wuwei Shen

Submissions from 1998

PDF

Abstract State Machines 1988-1998: Commented ASM Bibliography, James Huggins and Egon Borger

Link

Specification and Verification of Pipelining in the ARM2 RISC Microprocessor, James Huggins and David Van Campenhout

Submissions from 1997

Link

Equivalence is in the Eye of the Beholder, James Huggins and Yuri Guravich