Michaël Larouche

According to our database, Michaël Larouche authored at least 3 papers between 2013 and 2019.

Collaborative distances:

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

2019

Efficient Generation of Test Data with Extended Cardinality Constraints.

Michaël Larouche, Sylvain Hallé

Proceedings of the 19th IEEE International Conference on Software Quality, 2019

2014

Solving Equations on Words with Morphisms and Antimorphisms.

Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé, Michaël Larouche

Proceedings of the Language and Automata Theory and Applications, 2014

2013

Solving equations on words through boolean satisfiability.

Michaël Larouche, Alexandre Blondin Massé, Sébastien Gaboury, Sylvain Hallé

Proceedings of the 28th Annual ACM Symposium on Applied Computing, 2013