Anuario 2014 - Universidad ORT Uruguay

33 Solari, M. Matalonga, S. Solari, M., & Matalonga, S. (2014). A controlled experiment to explore potentially undetectable defects for testing techniques. En Proceedings of the Twenty Sixth International Conference on Software Engineering and Knowledge Engineering (SEKE 2014) , (pp. 106 -109). Vancouver, Canadá: Knowledge Systems Institute Graduate School. Szasz, N. Calegari, D., Mossakowski, T., & Szasz, N. (2014, setiembre-octubre). Model-driven engineering in the heterogeneous tool set . Artículo presentado en CBSoft, the Brazilian Conference on Software: Theory and Practice: Brazilian Symposium on Formal Methods (SBMF 2014) . Maceió, Brasil: Sociedade Brasileira de Computação. Tasistro, A. Tasistro, A. (2014, julio). On a style of presentation of type systems . Artículo presentado en 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). Viena, Austria. Tasistro, A. Copello, E. Szasz, N. Tasistro, A., Copello, E., & Szasz, N. (2014, julio). Gentle formalisation of stoughton’s lambda calculus substitution. Artículo presentado en 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): 9 th International Workshop on Logical Frameworks and Meta-languages: Theory and Practice (LFMTP). Viena, Austria. Tasistro, A., Copello, E., & Szasz, N. (2014, setiembre). Formalisation of stoughton’s substitution for lambda calculus in constructive type theory . Artículo presentado en 9 th Logical and Semantic Frameworks, with Applications (LSFA 2014). Brasilia, Brasil. Tasistro, A. Michelini, J. Tasistro, A. & Michelini, J. (2014, mayo). Calculational presentation of propositional tableaux. Artículo presentado en 3 rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014). Soesterberg, Países Bajos. Tasistro, A. Michelini, J. Szasz, N. Tasistro, A., Michelini, J. & Szasz, N. (2014, mayo). Course on a mathematical presentation of functional programming . Artículo presentado en 3 rd International Workshop on Trends in Functional Programming in Education (TFPIE 2014). Soesterberg, Países Bajos. Ziliani, A. Cabezas, A. Ziliani, A., Paolino, G., Ochoa, G., & Cabezas, A. (2014). Microbial community analysis of a full scale winery wastewater treatment system. En Book of Abstracts of the 4 th International Symposium on Environmental Biotechnology and Engineering (4ISEBE), (p.241). México, D.F., México: Centro de Investigación y de Estudios Avanzados del Instituto Politécnico Nacional (CINVESTAV). / Facultad de Ingeniería PUBLICACIONES DEL CUERPO ACADÉMICO 2014 Artículos en conferencias arbitradas