A Hierarchical Model for Continuous Gesture Recognition Using Kinect. - Søren Kejser Jensen; Christoffer Moesgaard; Christoffer Samuel Nielsen; Sine Lyhne Viesmose (SCAI, 2013)

Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. - Sine Viesmose Birch; Thomas Stig Jacobsen; Jacob Jon Jensen; Christoffer Moesgaard; Niels Nørgaard Samuelsen; Jirí Srba (FORMATS, 2014)