Lecture Notes in Artificial Intelligence, LNAI, Springer-Verlag. CADE-27-The 27th International Conference on Automated Deduction CADE-27-The 27th International Conference on Automated Deduction, Association for Automated Reasoning (AAR), Aug 2019, Natal, Brazil. pp.1--17, ⟨10.1007/978-3-030-29436-6_1⟩ Lecture Notes in Computer Science ISBN: 9783030294359 CADE
Music Technology with Swing ISBN: 9783030016913 CMMR Post-proceedings of CMMR 2017-"Music Technology with Swing », Lecture Notes in Computer Science Springer-Verlag. Post-proceedings of CMMR 2017-"Music Technology with Swing », Lecture Notes in Computer Science, In press HAL
Static Analysis Symposium (SAS) Static Analysis Symposium (SAS), Francesco Ranzato, Aug 2017, New York, United States HAL Static Analysis ISBN: 9783319667058 SAS