Niels Nørgaard Samuelsen

Publication Activity (10 Years)

Years Active: 2013-2014
Publications (10 Years): 0

Top Topics

Automated Verification

Concurrent Processes

Top Venues

Publications

Sine Viesmose Birch, Thomas Stig Jacobsen, Jacob Jon Jensen, Christoffer Moesgaard, Niels Nørgaard Samuelsen, Jirí Srba
Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets. FORMATS (2014)
Thomas Stig Jacobsen, Jacob Jon Jensen, Daniel Rune Jensen, Niels Nørgaard Samuelsen
Combining Constraint Types From Public Data in Aerial Image Segmentation. SCAI (2013)