Items where Institution is :Other partners > University of Waterloo (CANADA)

Bourbouh, Hamza and Garoche, Pierre-Loïc and Garion, Christophe and Gurfinkel, Arie and Kahsai, Temesghen and Thirioux, Xavier Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR 2017), 7 May 2017 - 12 May 2017 (Maun, Botswana).

Bourbouh, Hamza and Garoche, Pierre-Loic and Garion, Christophe and Gurfinkel, Arie and Temesghen, Kahsai and Thirioux, Xavier Automated analysis of Stateflow models. (2017) In: 21st International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-21), 7 May 2017 - 12 May 2017 (Maun, Botswana).

Zaraté, Pascale and Kilgour, Marc and Hippel, Keith Private or Common Criteria in a Multi-criteria Group Decision Support System: An Experiment. (2016) In: International Conference on Collaboration Technologies (CRIWG 2016), 14 September 2016 - 16 September 2016 (Kanazawa, Japan).

Barret, Maialen and Gagnon, Nathalie and Kalmokoff, Martin L. and Topp, Edward and Verasteguy, Yris and Brooks, Stephen P. J. and Matias, Fernando and Neufeld, Josh D. and Talbot, Guylaine Identification of Methanoculleus spp. as active methanogens during anoxic incubations of swine manure storage tank samples. (2013) Applied and Environmental Microbiology, 79 (2). 424-433. ISSN 0099-2240