Radu Ciobanu

According to our database, Radu Ciobanu authored at least 3 papers between 2008 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Universal Safety for Timed Petri Nets is PSPACE-complete.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, Radu Ciobanu, Richard Mayr, Patrick Totzke

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2016

Qualitative Analysis of VASS-Induced MDPs.

Parosh Aziz Abdulla, Radu Ciobanu, Richard Mayr, Arnaud Sangnier, Jeremy Sproston

Proceedings of the Foundations of Software Science and Computation Structures, 2016

2008

Placement challenges for structured ASICs.

Herman Schmit, Amit Gupta, Radu Ciobanu

Proceedings of the 2008 International Symposium on Physical Design, 2008