Placement challenges for structured ASICs. - Herman Schmit; Amit Gupta; Radu Ciobanu (ISPD, 2008)

Qualitative Analysis of VASS-Induced MDPs. - Parosh Aziz Abdulla; Radu Ciobanu; Richard Mayr; Arnaud Sangnier; Jeremy Sproston (FoSSaCS, 2016)

Universal Safety for Timed Petri Nets is PSPACE-complete. - Parosh Aziz Abdulla; Mohamed Faouzi Atig; Radu Ciobanu; Richard Mayr; Patrick Totzke (CONCUR, 2018)