Computer Science
Listando 10 trabajos del autor/autora 38
Lista de trabajos en el área Computer Science
Mentions
23
Twitter
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
28
Twitter
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
19
Twitter
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
13
Twitter
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
16
Twitter
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
11
Twitter
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
13
Twitter
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
4
Twitter
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
4
Twitter
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
2
Twitter
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