- Carlos David Urrea-Rojas, Santiago Arias Guzman, Juan Antonio Ocampo-Wilches, David Mateo Van Strahlen-Gutierrez, A. J. Ustariz-Farfan
, E. A. Cano-Plata:
Arc Flash Protection Library for Assessment of Electrical Risk on Steel Manufacturer Users. IAS 2020: 1-5 - Jaime Arias
, Carlos E. Budde
, Wojciech Penczek
, Laure Petrucci
, Teofil Sidoruk
, Mariëlle Stoelinga
:
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-agent Systems. ICFEM 2020: 3-19 - Chiheb Ameur Abid, Kaïs Klai, Jaime Arias
, Hiba Ouni:
SOG-Based Multi-Core LTL Model Checking. ISPA/BDCloud/SocialCom/SustainCom 2020: 9-17 - Nacira Abbas
, Kholoud Alghamdi, Mortaza Alinam, Francesca Alloatti, Glenda C. M. Amaral, Claudia d'Amato, Luigi Asprino, Martin Beno, Felix Bensmann, Russa Biswas
, Ling Cai, Riley Capshaw, Valentina Anita Carriero, Irene Celino, Amine Dadoun, Stefano De Giorgis, Harm Delva, John Domingue, Michel Dumontier, Vincent Emonet, Marieke van Erp, Paola Espinoza-Arias, Omaima Fallatah, Sebastián Ferrada, Marc Gallofré Ocaña, Michalis Georgiou, Genet Asefa Gesese, Frances Gillis-Webber, Francesca Giovannetti, María Granados Buey, Ismail Harrando, Ivan Heibi, Vitor A. C. Horta, Laurine Huber, Federico Igne, Mohamad Yaser Jaradeh
, Neha Keshan, Aneta Koleva, Bilal Koteich, Kabul Kurniawan, Mengya Liu, Chuangtao Ma, Lientje Maas, Martin Mansfield, Fabio Mariani, Eleonora Marzi, Sepideh Mesbah, Maheshkumar Mistry, Alba Catalina Morales Tirado, Anna Nguyen, Viet Bach Nguyen, Allard Oelen, Valentina Pasqual, Heiko Paulheim, Axel Polleres, Margherita Porena, Jan Portisch, Valentina Presutti, Kader Pustu-Iren, Ariam Rivas Mendez, Soheil Roshankish, Sebastian Rudolph, Harald Sack, Ahmad Sakor, Jaime Salas, Thomas Schleider, Meilin Shi, Gianmarco Spinaci, Chang Sun, Tabea Tietz, Molka Tounsi Dhouib
, Alessandro Umbrico, Wouter van den Berg, Weiqin Xu:
Knowledge Graphs Evolution and Preservation - A Technical Report from ISWS 2019. CoRR abs/2012.11936 (2020) - 2019
- Luis Fernando Arias Roman, Paulo R. L. Gondim
, Jaime Lloret
:
Pairing-based authentication protocol for V2G networks in smart grid. Ad Hoc Networks 90 (2019) - Santiago Arias Guzman, A. J. Ustariz-Farfan
, E. A. Cano-Plata:
Adaptive Protection Coordination for Steel Manufacturers Users. IAS 2019: 1-7 - Janos Zsargó, Celia Rosa Fierro-Santillán, Jaime Klapp, Anabel Arrieta, Lorena Arias, Jurij Mendoza Valencia, Leonardo Di G. Sigalotti:
Creating and Using Large Grids of Pre-calculated Model Atmospheres for Rapid Analysis of Stellar Spectra. ISUM 2019: 227-236 - Jaime Arias
, Raphaël Marczak, Myriam Desainte-Catherine:
Timed Automata for Video Games and Interaction. Encyclopedia of Computer Graphics and Games 2019 - Jaime Arias, Carlos E. Budde, Wojciech Penczek, Laure Petrucci, Mariëlle Stoelinga:
Hackers vs. Security: Attack-Defence Trees as Asynchronous Multi-Agent Systems. CoRR abs/1906.05283 (2019) - 2018
- Matej Kristan, Ales Leonardis, Jiri Matas
, Michael Felsberg
, Roman P. Pflugfelder, Luka Cehovin Zajc, Tomás Vojír, Goutam Bhat, Alan Lukezic, Abdelrahman Eldesokey, Gustavo Fernández, Álvaro García-Martín, Álvaro Iglesias-Arias, A. Aydin Alatan, Abel González-García, Alfredo Petrosino, Alireza Memarmoghadam
, Andrea Vedaldi, Andrej Muhic, Anfeng He, Arnold W. M. Smeulders, Asanka G. Perera
, Bo Li, Boyu Chen, Changick Kim, Changsheng Xu, Changzhen Xiong, Cheng Tian, Chong Luo, Chong Sun, Cong Hao, Daijin Kim, Deepak Mishra, Deming Chen, Dong Wang, Dongyoon Wee, Efstratios Gavves, Erhan Gundogdu, Erik Velasco-Salido
, Fahad Shahbaz Khan, Fan Yang, Fei Zhao, Feng Li, Francesco Battistone, George De Ath
, Gorthi R. K. Sai Subrahmanyam, Guilherme Sousa Bastos
, Haibin Ling, Hamed Kiani Galoogahi, Hankyeol Lee, Haojie Li, Haojie Zhao, Heng Fan, Honggang Zhang, Horst Possegger, Houqiang Li, Huchuan Lu, Hui Zhi, Huiyun Li, Hyemin Lee, Hyung Jin Chang, Isabela Drummond, Jack Valmadre, Jaime Spencer Martin
, Javaan Singh Chahl
, Jin Young Choi, Jing Li, Jinqiao Wang, Jinqing Qi, Jinyoung Sung, Joakim Johnander, João F. Henriques, Jongwon Choi, Joost van de Weijer
, Jorge Rodríguez Herranz, José M. Martínez, Josef Kittler, Junfei Zhuang, Junyu Gao, Klemen Grm, Lichao Zhang, Lijun Wang, Lingxiao Yang, Litu Rout
, Liu Si, Luca Bertinetto, Lutao Chu, Manqiang Che, Mario Edoardo Maresca, Martin Danelljan, Ming-Hsuan Yang, Mohamed H. Abdelpakey, Mohamed S. Shehata
, Myunggu Kang, Namhoon Lee, Ning Wang, Ondrej Miksik, Payman Moallem
, Pablo Vicente-Moñivar, Pedro Senna, Peixia Li, Philip H. S. Torr, Priya Mariam Raju, Ruihe Qian, Qiang Wang, Qin Zhou, Qing Guo
, Rafael Martin Nieto, Rama Krishna Sai Subrahmanyam Gorthi, Ran Tao, Richard Bowden
, Richard M. Everson, Runling Wang, Sangdoo Yun, Seokeon Choi, Sergio Vivas, Shuai Bai, Shuangping Huang, Sihang Wu, Simon Hadfield
, Siwen Wang, Stuart Golodetz, Ming Tang, Tianyang Xu
, Tianzhu Zhang, Tobias Fischer
, Vincenzo Santopietro, Vitomir Struc, Wei Wang, Wangmeng Zuo, Wei Feng, Wei Wu, Wei Zou, Weiming Hu, Wengang Zhou, Wenjun Zeng, Xiaofan Zhang, Xiaohe Wu, Xiao-Jun Wu, Xinmei Tian, Yan Li, Yan Lu, Yee Wei Law
, Yi Wu, Yiannis Demiris
, Yicai Yang, Yifan Jiao, Yuhong Li, Yunhua Zhang, Yuxuan Sun, Zheng Zhang, Zheng Zhu, Zhen-Hua Feng, Zhihui Wang, Zhiqun He:
The Sixth Visual Object Tracking VOT2018 Challenge Results. ECCV Workshops (1) 2018: 3-53 - Juan Pablo Roman-Calderon
, Manuel Esteban Acevedo-Jaramillo, Juan Esteban Escalante, Alejandro Arias
, Sara Aguilar-Barrientos, Jaime Leonardo Barbosa Perez:
Creativity and job tension in experiential learning. FIE 2018: 1-5 - Santiago Arias Guzman, A. J. Ustariz-Farfan, E. A. Cano-Plata
:
Protection Coordination in Steel Manufacturers. IAS 2018: 1-6 - Luis Fernando Arias Roman, Paulo R. L. Gondim, Jaime Lloret Mauri:
A Lightweight Authentication Protocol for V2G Networks in Smart Grid. PECCS 2018: 205-212 - 2017
- Mauricio Cano, Jaime Arias
, Jorge A. Pérez
:
Session-Based Concurrency, Reactively. FORTE 2017: 74-91 - A. J. Ustariz-Farfan, E. A. Cano-Plata
, Santiago Arias Guzman:
Electric arc furnaces influence in power systems area. IAS 2017: 1-6 - Jaime Arias
, Philippe Ciuciu, Michel Dojat, Florence Forbes, Aina Frau-Pascual, Thomas Perret, Jan M. Warnking:
PyHRF: A Python Library for the Analysis of fMRI Data Based on Local Estimation of the Hemodynamic Response Function. SciPy 2017: 34-40 - 2016
- Janos Zsargó, Celia Rosa Fierro, Jaime Klapp, Anabel Arrieta, Lorena Arias, D. John Hillier:
Database of CMFGEN Models in a 6-Dimensional Space. CARLA 2016: 387-392 - Santiago Arias Guzman, A. J. Ustariz-Farfan
, Eduardo Antonio Cano Plata
:
Segmentation and characterization of voltage sags in the analysis of industrial circuits. IAS 2016: 1-8 - Jaime Arias, Mauricio Cano, Jorge Andrés Pérez:
Towards A Practical Model of Reactive Communication-Centric Software. ICTCS 2016: 227-233 - 2015
- Jaime Arias:
Formal Semantics and Automatic Verification of Hierarchical Multimedia Scenarios with Interactive Choices. (Sémantique Formelle et Vérification Automatique de Scénarios Hiérarchiques Multimédia avec des Choix Interactifs). University of Bordeaux, France, 2015 - Jaime García-Reinoso
, Norberto Fernández García, Iván Vidal
, Jesús Arias-Fisteus
:
Scalable data replication in content-centric networking based on alias names. J. Netw. Comput. Appl. 47: 85-98 (2015) - Jaime Arias
, Myriam Desainte-Catherine, Camilo Rueda
:
A Framework for Composition, Verification and Real-Time Performance of Multimedia Interactive Scenarios. ACSD 2015: 140-151 - Santiago Arias Guzman, O. A. Ruiz-Guzman, L. F. Garcia-Arias, M. Jaramillo-Gonzales, P. D. Cardona-Orozco, A. J. Ustariz-Farfan
, E. A. Cano-Plata
, A. F. Salazar-Jimenez:
Analysis of voltage sag severity case study in an industrial circuit. IAS 2015: 1-6 - Arturo Mora Lazarini, Yasuhiro Matsumoto Kuwabara, Victor Sanchez-Resendiz, Mauricio Ortega-López, Jaime Santoyo Salazar, Ramon Gutierrez Arias:
Synthesis and characterization of few layers graphene films for potential applications in electronics. CCE 2015: 1-6 - Jaime Arias
, Myriam Desainte-Catherine, Carlos Olarte
, Camilo Rueda
:
Foundations for Reliable and Flexible Interactive Multimedia Scores. MCM 2015: 29-41 - 2014
- Jaime Arias
, Myriam Desainte-Catherine, Camilo Rueda
:
Modelling Data Processing for Interactive Scores Using Coloured Petri Nets. ACSD 2014: 186-195 - Jaime Arias
, Michell Guzmán, Carlos Olarte
:
A Symbolic Model for Timed Concurrent Constraint Programming. LSFA 2014: 161-177 - 2013
- María Paula Arias-Báez, Jaime A. Pavlich-Mariscal, Angela Carrillo Ramos:
Forming adapted teams oriented to collaboration: Detailed design and case study. Rev. Avances en Sistemas Informática 10(1): 87-94 (2013) - Sergio Iván Ravelo Arias, Diego Ramírez Muñoz, Jaime Sánchez Moreno, Susana Cardoso
, Ricardo Ferreira
, Paulo Jorge Peixeiro de Freitas
:
Fractional Modeling of the AC Large-Signal Frequency Response in Magnetoresistive Current Sensors. Sensors 13(12): 17516-17533 (2013) - 2011
- Antonio López Jaimes, Alfredo Arias Montaño, Carlos A. Coello Coello
:
Preference incorporation to solve many-objective airfoil design problems. IEEE Congress on Evolutionary Computation 2011: 1605-1612