Claire Soyez-Martin

According to our database, Claire Soyez-Martin authored at least 3 papers between 2023 and 2025.

Collaborative distances:

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

2025

Formal Modeling of Distributed Architectures with FreeSpec: A Cloud-Based MTD Use Case.

Hugo Forraz, Shems Petremand, Claire Soyez-Martin, David Nowak, Gilles Grimaud

Proceedings of the 25th International Conference on Control Systems and Computer Science, 2025

2023

From semigroup theory to vectorization: recognizing regular languages. (De la théorie des semigroupes à la vectorisation: valider les langages réguliers).

Claire Soyez-Martin

PhD thesis, 2023

An Algebraic Approach to Vectorial Programs.

Charles Paperman, Sylvain Salvati, Claire Soyez-Martin

Proceedings of the 40th International Symposium on Theoretical Aspects of Computer Science, 2023