Stefan Ciobaca
Publication Activity (10 Years)
Years Active: 2008-2024
Publications (10 Years): 20
Publications (10 Years): 20
École normale supérieure de Cachan, France (PHD)
Education History
École normale supérieure de Cachan, France
PHD
Publications
- Viorel Iordache, Stefan Ciobaca
- Stefan Ciobaca, Dorel Lucanu, Andrei-Sebastian Buruiana
- Valeriu Motroi, Stefan Ciobaca
- Cezar-Constantin Andrici, Stefan Ciobaca
- Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
- Stefan Ciobaca, Andrei Arusoaie, Dorel Lucanu
- Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore RosuAll-Path Reachability Logic. CoRR (2018)
- Rohit Chadha, Vincent Cheval, Stefan Ciobaca, Steve Kremer
- Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu
- Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu
- Stefan Ciobaca
- Stefan Ciobaca, Dorel Lucanu, Vlad Rusu, Grigore Rosu
- Andrei Stefanescu, Stefan Ciobaca, Radu Mereuta, Brandon M. Moore, Traian-Florin Serbanuta, Grigore Rosu
- Stefan Ciobaca
- Grigore Rosu, Andrei Stefanescu, Stefan Ciobaca, Brandon M. Moore
- Rohit Chadha, Stefan Ciobaca, Steve Kremer
- Stefan Ciobaca, Stéphanie Delaune, Steve Kremer
- Stefan Ciobaca
- Stefan Ciobaca, Véronique Cortier
- Sorin Iftene, Stefan Ciobaca, Manuela Grindei