Vincent Aravantinos
According to our database1,
Vincent Aravantinos
authored at least 38 papers
between 2008 and 2020.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2020
IEEE Robotics Autom. Lett., 2020
Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020
2019
CoRR, 2019
Proceedings of the 2019 IEEE Intelligent Vehicles Symposium, 2019
Proceedings of the 24th IEEE International Conference on Emerging Technologies and Factory Automation, 2019
2018
Proceedings of the 21st International Conference on Information Fusion, 2018
2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017
Proceedings of the 20th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2017
2016
Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016
2015
Proceedings of the Software Engineering & Management 2015, Multikonferenz der GI-Fachbereiche Softwaretechnik (SWT) und Wirtschaftsinformatik (WI), FA WI-MAW, 17. März, 2015
AutoFOCUS 3: Tooling Concepts for Seamless, Model-based Development of Embedded Systems.
Proceedings of the Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), 2015
Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015
2014
Proceedings of the Intelligent Computer Mathematics - International Conference, 2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
Proceedings of the Interactive Theorem Proving - 5th International Conference, 2014
Proceedings of the Formal Methods and Software Engineering, 2014
2013
Proceedings of the NASA Formal Methods, 2013
Formalization of Infinite Dimension Linear Spaces with Application to Quantum Theory.
Proceedings of the NASA Formal Methods, 2013
Proceedings of the Interactive Theorem Proving - 4th International Conference, 2013
2012
Proceedings of the Automated Deduction in Geometry - 9th International Workshop, 2012
2011
J. Artif. Intell. Res., 2011
CoRR, 2011
Proceedings of the Eighteenth International Symposium on Temporal Representation and Reasoning, 2011
Generating Schemata of Resolution Proofs.
Proceedings of the TABLEAUX 2011, 2011
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2011
2010
Schémas de formules et de preuves en logique propositionnelle. (Formulas and proofs schemas in propositional logic).
PhD thesis, 2010
Proceedings of the Language and Automata Theory and Applications, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
Proceedings of the Automated Reasoning, 5th International Joint Conference, 2010
2009
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2009
2008
Proceedings of the International Symposium on Artificial Intelligence and Mathematics, 2008