Trabajos de Angel Varela-Vaca

Trabajos de Nombre

Computer Science


  Listando 10 trabajos del autor/autora 38
Lista de trabajos en el área Computer Science
Mentions   0   Wikipedia   0   News   0   Policy
Article DMN4DQ: When data quality meets DMN Valencia-Parra, Alvaro; Parody, Luisa; Jesus Varela-Vaca, Angel; Caballero, Ismael; Teresa Gomez-Lopez, Maria DECISION SUPPORT SYSTEMS 0167-9236 (2021) DOI / 10.1016/j.dss.2020.113450 Green published
Mentions   0   Wikipedia   0   News   0   Policy
Article Empowering conformance checking using Big Data through horizontal decomposition Valencia-Parra, Alvaro; Jesus Varela-Vaca, Angel; Teresa Gomez-Lopez, Maria; Carmona, Josep; Bergenthum, Robin INFORMATION SYSTEMS 0306-4379 (2021) DOI / 10.1016/j.is.2021.101731
Mentions   0   Wikipedia   0   News   0   Policy
Article CARMEN: A framework for the verification and diagnosis of the specification of security requirements in cyber-physical systems Jesus Varela-Vaca, Angel; Rosado, David G.; Sanchez, Luis E.; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.; Fernandez-Medina, Eduardo COMPUTERS IN INDUSTRY 0166-3615 (2021) DOI / 10.1016/j.compind.2021.103524 Hybrid
Mentions   0   Wikipedia   0   News   0   Policy
Article Discovering configuration workflows from existing logs using process mining Ramos-Gutierrez, Belen; Jesus Varela-Vaca, Angel; Galindo, Jose A.; Teresa Gomez-Lopez, Maria; Benavides, David EMPIRICAL SOFTWARE ENGINEERING 1382-3256 (2021) DOI / 10.1007/s10664-020-09911-x Green submitted
Mentions   0   Wikipedia   0   News   0   Policy
Article Unleashing Constraint Optimisation Problem solving in Big Data environments Valencia-Parra, Alvaro; Jesus Varela-Vaca, Angel; Parody, Luisa; Teresa Gomez-Lopez, Maria JOURNAL OF COMPUTATIONAL SCIENCE 1877-7503 (2020) DOI / 10.1016/j.jocs.2020.101180
Mentions   0   Wikipedia   0   News   0   Policy
Article A domain-specific language for the specification of UCON policies Reina Quintero, Antonia M.; Martinez Perez, Salvador; Jesus Varela-Vaca, Angel; Gomez Lopez, Maria Teresa; Cabot, Jordi JOURNAL OF INFORMATION SECURITY AND APPLICATIONS 2214-2126 (2021) DOI / 10.1016/j.jisa.2021.103006 Hybrid
Mentions   0   Wikipedia   0   News   0   Policy
Article Smart Contract Languages: A Multivocal Mapping Study Jesus Varela-Vaca, Angel; Reina Quintero, Antonia M. ACM COMPUTING SURVEYS 0360-0300 (2021) DOI / 10.1145/3423166
Mentions   0   Wikipedia   0   News   0   Policy
Article Measuring data-centre workflows complexity through process mining: the Google cluster case Fernandez-Cerero, Damian; Jesus Varela-Vaca, Angel; Fernandez-Montes, Alejandro; Teresa Gomez-Lopez, Maria; Antonio Alvarez-Bermejo, Jose JOURNAL OF SUPERCOMPUTING 0920-8542 (2020) DOI / 10.1007/s11227-019-02996-2
Mentions   0   Wikipedia   0   News   0   Policy
Article Blockchain-based federation of wireless sensor nodes Haro-Olmo, F. J.; Alvarez-Bermejo, J. A.; Varela-Vaca, A. J.; Lopez-Ramos, J. A. JOURNAL OF SUPERCOMPUTING 0920-8542 (2021) DOI / 10.1007/s11227-020-03605-3
Mentions   0   Wikipedia   0   News   0   Policy
Article Automatic Verification and Diagnosis of Security Risk Assessments in Business Process Models Varela-Vaca, Angel J.; Parody, Luisa; Gasca, Rafael M.; Gomez-Lopez, Maria T. IEEE ACCESS 2169-3536 (2019) DOI / 10.1109/access.2019.2901408 Gold DOAJ