Vincent Aravantinos

发表

S. Tahar, O. Hasan, U. Siddique, 2014, Mathematics in Computer Science.
S. Tahar, Vincent Aravantinos, M. Yousri, 2012 .
Sofiène Tahar, Vincent Aravantinos, Mohamed Yousri Mahmoud, 2014, ITP.
Sofiène Tahar, Vincent Aravantinos, Mohamed Yousri Mahmoud, 2013, NASA Formal Methods.
Vincent Aravantinos, F. Lay, Christoph Schöller, 2019, IEEE Robotics and Automation Letters.
Vincent Aravantinos, Alois Knoll, Christoph Schöller, 2019, ArXiv.
Vincent Aravantinos, Peter Schlicht, Peter Schlicht, 2020, 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Vincent Aravantinos, Bernhard Schätz, Sabine Teufl, 2015, ACES-MB&WUCOR@MoDELS.
Vincent Aravantinos, Somayeh Malakuti, Levi Lucio, 2019, IFAC-PapersOnLine.
Umair Siddique, Sofiène Tahar, Vincent Aravantinos, 2014, Math. Comput. Sci..
Vincent Aravantinos, Alois Knoll, Klemens Esterle, 2019, 2019 IEEE Intelligent Vehicles Symposium (IV).
Umair Siddique, Sofiène Tahar, Vincent Aravantinos, 2013, NASA Formal Methods.
Umair Siddique, Sofiène Tahar, Vincent Aravantinos, 2012, Automated Deduction in Geometry.
Umair Siddique, Sofiène Tahar, Vincent Aravantinos, 2013, Optics & Photonics - Optical Engineering + Applications.
Sofiène Tahar, Vincent Aravantinos, S. Tahar, 2014, ITP.
Sofiène Tahar, Vincent Aravantinos, Osman Hasan, 2014, CICM.
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier, 2009, TABLEAUX.
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier, 2010, LATA.
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier, 2010, IJCAR.
Vincent Aravantinos, Ricardo Caferra, Nicolas Peltier, 2014, J. Artif. Intell. Res..
Vincent Aravantinos, Nicolas Peltier, Mnacho Echenim, 2013, Fundam. Informaticae.
Sofiène Tahar, Vincent Aravantinos, Osman Hasan, 2013, ITP.