Anuario 2014 - Universidad ORT Uruguay

32 Anuario 2014 Paganini, F. Paganini, F., Belzarena, P., & Monzón, P. (2014, marzo). Decision making in forward power markets with supply and demand uncertainty. En 48 th Annual Conference on Information Sciences and Systems (CISS), (6 p.). Princeton, Estados Unidos: Universidad de Princeton, Institute of Electrical and Electronics Engineers (IEEE). Paganini, F. Ferragut, A. Paganini, F., & Ferragut, A. (2014). Monotonicity and global stability in download dynamics of content-sharing networks. En 53 rd Institute of Electrical and Electronics Engineering (IEEE) Conference on Decision and Control, (pp. 5314-5319). Los Ángeles, Estados Unidos de América: Institute of Electrical and Electronics Engineers (IEEE). Paggi, H. Paggi, H. , Bosse, E., Florea, M. C., & Solaiman, B. (2014, julio). On the use of holonic agents in the design of information fusion systems. En 17 th International Conference on Information Fusion (FUSION 2014), (8 p.). Salamanca, España: International Society of Information Fusion (ISIF), Universidad de Salamanca, Universidad Carlos III de Madrid, Institute of Electrical and Electronics Engineers (IEEE). Paggi, H. Paolino, L. Paggi, H., Paolino, L., & Alonso, F. (2014). A holonic view of knowledge management. En International Conference of Computational Methods in Science Engineering 2014 (ICCMSE 2014) , AIP Conference Proceedings , (pp. 778-781). Atenas, Grecia: AIP. Paggi, H., Paolino, L., Alonso, F., & López, G. (2014). A model to capture and manage tacit knowledge using a multiagent system. En International Conference of Computational Methods in Science Engineering 2014 (ICCMSE 2014) , AIP Conference Proceedings , (pp. 782-785). Atenas, Grecia: AIP. Pais, J. Tasistro, A. Pais, J., & Tasistro, A. (2014). Novel didactic proof assistant for first-order logic natural deduction. En Lecture Notes in Computer Science , 8523,  ( pp. 441-451). Creta, Grecia: HCI International. Rankeada en Q2 en SJR (Scopus). Quintana, G. Solari, M. Matalonga, S. Quintana, G., Solari, M., & Matalonga, S. (2014). Tools case study on automatic test case generation [Estudio de caso sobre herramientas de generación automática de casos de prueba]. En CIBSE 2014: Proceedings of the 17 th Ibero American Conference Software Engineering , (pp. 262-275) . Pucón, Chile: Universidad de La Frontera, Chile. Solari, M. González, F., Silvestre, l., Solari, M. , & Bastarrica, M. C. (2014, noviembre). Template-based vs. automatic process tailoring. En Jornadas Chilenas de Computación (JCC 2014): XXXIII Conferencia Internacional de la Sociedad Chilena de Ciencias de la Computación (SCCC 2014), (4 p.). Talca, Chile: Sociedad Chilena de Ciencias de la Computación, Universidad Católica del Maule. / Facultad de Ingeniería PUBLICACIONES DEL CUERPO ACADÉMICO 20 14 Artículos en conferencias arbitradas