| Extending model checking to data-aware temporal properties of web services S Hallé, R Villemaire, O Cherkaoui, J Tremblay, B Ghandour Web Services and Formal Methods: 4th International Workshop, WS-FM 2007 …, 2008 | 7 | 2008 |
| Efficient computation of the outer hull of a discrete path S Brlek, H Tremblay, J Tremblay, R Weber Discrete Geometry for Computer Imagery: 18th IAPR International Conference …, 2014 | 5 | 2014 |
| Exhaustive generation of gominoes J Fortier, A Goupil, J Lortie, J Tremblay Theoretical Computer Science 502, 76-87, 2013 | 2 | 2013 |
| Génération exhaustive de polyominos J Tremblay Université du Québec à Montréal, 2016 | | 2016 |
| Exhaustive generation of gominoes A Goupil, J Lortie, J Tremblay | | |
