Jérôme Tremblay
Jérôme Tremblay
LaCIM, UQAM
Verified email at uqam.ca
Title
Cited by
Cited by
Year
Extending model checking to data-aware temporal properties of web services
S Hallé, R Villemaire, O Cherkaoui, J Tremblay, B Ghandour
International Workshop on Web Services and Formal Methods, 31-45, 2007
62007
Efficient computation of the outer hull of a discrete path
S Brlek, H Tremblay, J Tremblay, R Weber
International Conference on Discrete Geometry for Computer Imagery, 122-133, 2014
52014
Exhaustive generation of gominoes
J Fortier, A Goupil, J Lortie, J Tremblay
Theoretical Computer Science 502, 76-87, 2013
22013
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
The system can't perform the operation now. Try again later.
Articles 1–5