Combining Constraint Types From Public Data in Aerial Image Segmentation. - Thomas Stig Jacobsen; Jacob Jon Jensen; Daniel Rune Jensen; Niels Nørgaard Samuelsen (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)