2014 Yearbook - Universidad ORT Uruguay

33 Solari, M., Matalonga, S., Solari, M., & Matalonga, S. (2014). A controlled experiment to explore potentially undetectable defects for testing techniques. In Proceedings of the Twenty-Sixth International Conference on Software Engineering and Knowledge Engineering (SEKE 2014), (pp. 106–109). Vancouver, Canada: Knowledge Systems Institute Graduate School. Szasz, N., Calegari, D., Mossakowski, T., & Szasz, N. (September–October 2014). Model-driven engineering in the heterogeneous tool set. Paper presented at CBSoft, the Brazilian Conference on Software: Theory and Practice: Brazilian Symposium on Formal Methods (SBMF 2014). Maceió, Brazil: Sociedade Brasileira de Computação. Tasistro, A. Tasistro, A. (July 2014). On a style of presentation of type systems. Paper presented at the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): Dependently Typed Programming (DTP). Vienna, Austria. Tasistro, A. Copello, E. Szasz, N. Tasistro, A., Copello, E., & Szasz, N. (July 2014). Gentle formalisation of Stoughton’s lambda calculus substitution. Paper presented at the Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS): 9th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP). Vienna, Austria. Tasistro, A., Copello, E., & Szasz, N. (September 2014). Formalization of Stoughton’s substitution for lambda calculus in constructive type theory. Paper presented at the 9th Logical and Semantic Frameworks, with Applications (LSFA 2014). Brasília, Brazil. Tasistro, A., Michelini, J., Tasistro, A., & Michelini, J. (May 2014). Calculational presentation of propositional tableaux. Paper presented at the 3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014). Soesterberg, Netherlands. Tasistro, A., Michelini, J., & Szasz, N. (May 2014). Course on a mathematical presentation of functional programming. Paper presented at the 3rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014). Soesterberg, Netherlands. Ziliani, A., Cabezas, A., Ziliani, A., Paolino, G., Ochoa, G., & Cabezas, A. (2014). Microbial community analysis of a full-scale winery wastewater treatment system. In Book of Abstracts of the 4th International Symposium on Environmental Biotechnology and Engineering (4ISEBE), (p. 241). Mexico City, Mexico: Center for Research and Advanced Studies of the National Polytechnic Institute (CINVESTAV). / School of Engineering PUBLICATIONS BY FACULTY MEMBERS 2014 Articles in peer-reviewed conferences