idUS - Author profile: Pro Martín, José Luis

Auth your photo

Name	Pro Martín, José Luis
Department	Ciencias de la Computación e Inteligencia Artificial
Knowledge area	Ciencia de la Computación e Inteligencia Artificial
Professional category	Profesor Sustituto Interino
E-mail	Request

No. publications

3
No. visits

267
No. downloads

437

Typology

Sort

Publications
Chapter of Book ELEna: An interdisciplinary research Jiménez Palmero, Diego; Pro Martín, José Luis; Salguero Lamillar, Francisco J.; Quesada Moreno, José Francisco; Allwood, Jens; Pombo, Olga; Renna, Clara; Scarafile, Giovanni (John Benjamins, 2020) This paper focuses on the description of the controversies that arise from the interdisciplinary work necessary for the ...
Article Semantics for incident identification and resolution reports Borrego Díaz, Joaquín; Chávez González, Antonia María; Pro Martín, José Luis; Matos Arana, Virginia (Oxford Academic, 2016) In order to achieve a safe and systematic treatment of security protocols, organizations release a number of technical briefings ...
Presentation Specifying and Verifying Meta-Security by Means of Semantic Web Methods Borrego Díaz, Joaquín; Chávez González, Antonia María; Pro Martín, José Luis; Matos Arana, Virginia (Springer, 2014) In order to achieve a systematic treatment of security protocols, organizations release a number of technical briefings ...