Computer Science
Listando 11 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
10
Twitter
0
Wikipedia
0
News
0
Policy
Article
Verifying the manipulation of data objects according to business process and data models
Miguel Perez-Alvarez, Jose; Teresa Gomez-Lopez, Maria; Eshuis, Rik; Montali, Marco; Gasca, Rafael M.
KNOWLEDGE AND INFORMATION SYSTEMS
0219-1377 (2020)
DOI /
10.1007/s10115-019-01431-5
Mentions
14
Twitter
0
Wikipedia
0
News
0
Policy
Article
Tactical Business-Process-Decision Support based on KPIs Monitoring and Validation
Miguel Perez-Alvarez, Jose; Mate, Alejandro; Teresa Gomez-Lopez, Maria; Trujillo, Juan
COMPUTERS IN INDUSTRY
0166-3615 (2018)
DOI /
10.1016/j.compind.2018.08.001
Mentions
6
Twitter
0
Wikipedia
0
News
0
Policy
Article
Multi-criteria decision analysis for non-conformance diagnosis: A priority-based strategy combining data and business rules
Ceballos, Rafael; Borrego, Diana; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.
EXPERT SYSTEMS WITH APPLICATIONS
0957-4174 (2021)
DOI /
10.1016/j.eswa.2021.115212
Mentions
7
Twitter
0
Wikipedia
0
News
0
Policy
Article
Prognosis of multiple instances in time-aware declarative business process models
Borrego, Diana; Teresa Gomez-Lopez, Maria; Gasca, Rafael M.
COMPUTERS IN INDUSTRY
0166-3615 (2020)
DOI /
10.1016/j.compind.2020.103243
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
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
