Producción por año
Producción por año
Producción
- 1 - 50 de 66 resultados
Resultados de la búsqueda
-
2024
Assessing drought stress in sugarcane with gene expression and phenomic data using CSI-OC
Riccio-Rengifo, C., Ramirez-Castrillon, M., Sosa, C. C., Aguilar, F. S., Trujillo-Montenegro, J. H., Riascos, J. J., Finke, J. & Rocha, C., 15 sep. 2024, En: Industrial Crops and Products. 216, 118621.Producción: Contribución a una revista › Artículo › revisión exhaustiva
-
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
Durán, F., Pozas, N. & Rocha, C., ene. 2024, En: Journal of Logical and Algebraic Methods in Programming. 136, 100928.Producción: Contribución a una revista › Artículo › revisión exhaustiva
-
Methylomes as key features for predicting recombination in some plant species
Peñuela, M., Finke, J. & Rocha, C., abr. 2024, En: Plant Molecular Biology. 114, 2, 25.Producción: Contribución a una revista › Artículo › revisión exhaustiva
1 Cita (Scopus) -
Unified Opinion Dynamic Modeling as Concurrent Set Relations in Rewriting Logic
Olarte, C., Ramírez, C., Rocha, C. & Valencia, F., 2024, Rewriting Logic and Its Applications - 15th International Workshop, WRLA 2024, Revised Selected Papers. Ogata, K. & Martí-Oliet, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 104-123 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14953 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
-
2023
A Network-based Approach for Inferring Thresholds in Co-expression Networks
López-Rozo, N., Romero, M., Finke, J. & Rocha, C., 2023, Complex Networks and Their Applications XI - Proceedings of The 11th International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2022—Volume 1. Cherifi, H., Mantegna, R. N., Rocha, L. M., Cherifi, C. & Miccichè, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 265-276 12 p. (Studies in Computational Intelligence; vol. 1077 SCI).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
-
A rewriting logic approach to specification, proof-search, and meta-proofs in sequent systems
Olarte, C., Pimentel, E. & Rocha, C., ene. 2023, En: Journal of Logical and Algebraic Methods in Programming. 130, 100827.Producción: Contribución a una revista › Artículo › revisión exhaustiva
2 Citas (Scopus) -
Building Differential Co-expression Networks with Variable Selection and Regularization
Riccio, C., Finke, J. & Rocha, C., 2023, Complex Networks and Their Applications XI - Proceedings of The 11th International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2022—Volume 1. Cherifi, H., Mantegna, R. N., Rocha, L. M., Cherifi, C. & Miccichè, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 277-288 12 p. (Studies in Computational Intelligence; vol. 1077 SCI).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
1 Cita (Scopus) -
Gene Expression Datasets for Two Versions of the Saccharum spontaneum AP85-441 Genome
López-Rozo, N., Ramirez-Castrillon, M., Romero, M., Finke, J. & Rocha, C., ene. 2023, En: Data. 8, 1, 1.Producción: Contribución a una revista › Artículo › revisión exhaustiva
-
Leveraging class hierarchy for detecting missing annotations on hierarchical multi-label classification
Romero, M., Nakano, F. K., Finke, J., Rocha, C. & Vens, C., ene. 2023, En: Computers in Biology and Medicine. 152, 106423.Producción: Contribución a una revista › Artículo › revisión exhaustiva
2 Citas (Scopus) -
Prediction of crossover recombination using parental genomes
Peñuela, M., Riccio-Rengifo, C., Finke, J., Rocha, C., Gkanogiannis, A., Wing, R. A. & Lorieux, M., feb. 2023, En: PLoS ONE. 18, 2 February, e0281804.Producción: Contribución a una revista › Artículo › revisión exhaustiva
-
Statistical Model Checking for P
Durán, F., Pozas, N., Ramírez, C. & Rocha, C., 2023, Formal Methods for Industrial Critical Systems - 28th International Conference, FMICS 2023, Proceedings. Cimatti, A. & Titolo, L. (eds.). Springer Science and Business Media Deutschland GmbH, p. 40-56 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 14290 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
-
Using the Duplication-Divergence Network Model to Predict Protein-Protein Interactions
López-Rozo, N., Finke, J. & Rocha, C., 2023, Complex Networks and Their Applications XI - Proceedings of The 11th International Conference on Complex Networks and Their Applications: COMPLEX NETWORKS 2022—Volume 1. Cherifi, H., Mantegna, R. N., Rocha, L. M., Cherifi, C. & Miccichè, S. (eds.). Springer Science and Business Media Deutschland GmbH, p. 322-334 13 p. (Studies in Computational Intelligence; vol. 1077 SCI).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
-
2022
A top-down supervised learning approach to hierarchical multi-label classification in networks
Romero, M., Finke, J. & Rocha, C., dic. 2022, En: Applied Network Science. 7, 1, 8.Producción: Contribución a una revista › Artículo › revisión exhaustiva
11 Citas (Scopus) -
Business Processes Analysis with Resource-Aware Machine Learning Scheduling in Rewriting Logic
Durán, F., Martínez, D. & Rocha, C., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer Science and Business Media Deutschland GmbH, p. 113-129 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
3 Citas (Scopus) -
Corrigendum: The ÓMICAS alliance, an international research program on multi-omics for crop breeding optimization, (Front. Plant Sci, (2022), 13, (992663), 10.3389/fpls.2022.992663)
Jaramillo-Botero, A., Colorado, J., Quimbaya, M., Rebolledo, M. C., Lorieux, M., Ghneim-Herrera, T., Arango, C. A., Tobón, L. E., Finke, J., Rocha, C., Muñoz, F., Riascos, J. J., Silva, F., Chirinda, N., Caccamo, M., Vandepoele, K. & Goddard, W. A., 20 dic. 2022, En: Frontiers in Plant Science. 13, 1104501.Producción: Contribución a una revista › Comentario/Debate
2 Citas (Scopus) -
Feature extraction with spectral clustering for gene function prediction using hierarchical multi-label classification
Romero, M., Ramírez, O., Finke, J. & Rocha, C., dic. 2022, En: Applied Network Science. 7, 1, 28.Producción: Contribución a una revista › Artículo › revisión exhaustiva
2 Citas (Scopus) -
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
Durán, F., Falcone, Y., Rocha, C., Salaün, G. & Zuo, A., 2022, Rewriting Logic and Its Applications - 14th International Workshop, WRLA 2022, Revised Selected Papers. Bae, K. (ed.). Springer Science and Business Media Deutschland GmbH, p. 3-21 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13252 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
3 Citas (Scopus) -
Methylation in the CHH Context Allows to Predict Recombination in Rice
Peñuela, M., Gallo-Franco, J. J., Finke, J., Rocha, C., Gkanogiannis, A., Ghneim-Herrera, T. & Lorieux, M., oct. 2022, En: International Journal of Molecular Sciences. 23, 20, 12505.Producción: Contribución a una revista › Artículo › revisión exhaustiva
2 Citas (Scopus) -
Preface
Alpuente, M., Porto, S. A., Aoto, T., Rincón, M. A., Bonelli, E., Contejean, E., de Paiva, V., Finger, M., Forster, Y., del Carmen González Huesca, L., Haeusler, E. H., Kop, C., Kutsia, T., Melgratti, H., Miquel, A., Morawska, B., Moscato, M., Muñoz, C., Nantes, D. & Olarte, C. y 13 otros, , 08 abr. 2022, En: Electronic Proceedings in Theoretical Computer Science, EPTCS. 357Producción: Contribución a una revista › Editorial
-
Supervised Gene Function Prediction Using Spectral Clustering on Gene Co-expression Networks
Romero, M., Ramírez, Ó., Finke, J. & Rocha, C., 2022, Complex Networks and Their Applications X - Volume 2, Proceedings of the 10th International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2021. Benito, R. M., Cherifi, C., Cherifi, H., Moro, E., Rocha, L. M. & Sales-Pardo, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 652-663 12 p. (Studies in Computational Intelligence; vol. 1016).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
2 Citas (Scopus) -
The ÓMICAS alliance, an international research program on multi-omics for crop breeding optimization
Jaramillo-Botero, A., Colorado, J., Quimbaya, M., Rebolledo, M. C., Lorieux, M., Ghneim-Herrera, T., Arango, C. A., Tobón, L. E., Finke, J., Rocha, C., Muñoz, F., Riascos, J. J., Silva, F., Chirinda, N., Caccamo, M., Vandepoele, K. & Goddard, W. A., 10 oct. 2022, En: Frontiers in Plant Science. 13, 20 p., 992663.Producción: Contribución a una revista › Artículo › revisión exhaustiva
4 Citas (Scopus) -
2021
Identifying stress responsive genes using overlapping communities in co-expression networks
Riccio-Rengifo, C., Finke, J. & Rocha, C., dic. 2021, En: BMC Bioinformatics. 22, 1, 541.Producción: Contribución a una revista › Artículo › revisión exhaustiva
6 Citas (Scopus) -
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude
Durán, F., Rocha, C. & Salaün, G., nov. 2021, En: Journal of Logical and Algebraic Methods in Programming. 123, 100711.Producción: Contribución a una revista › Artículo › revisión exhaustiva
6 Citas (Scopus) -
2020
Algorithmic analysis of blockchain efficiency with communication delay
Pinzón, C., Rocha, C. & Finke, J., 2020, Fundamental Approaches to Software Engineering- 23rd International Conference, FASE 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Proceedings. Wehrheim, H. & Cabot, J. (eds.). Springer, p. 400-419 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12076 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
4 Citas (Scopus) -
Analysis of the Runtime Resource Provisioning of BPMN Processes Using Maude
Durán, F., Rocha, C. & Salaün, G., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 38-56 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
4 Citas (Scopus) -
Ground confluence of order-sorted conditional specifications modulo axioms
Durán, F., Meseguer, J. & Rocha, C., feb. 2020, En: Journal of Logical and Algebraic Methods in Programming. 111, 100513.Producción: Contribución a una revista › Artículo › revisión exhaustiva
10 Citas (Scopus) -
In-silico Gene Annotation Prediction Using the Co-expression Network Structure
Romero, M., Finke, J., Quimbaya, M. & Rocha, C., 2020, Complex Networks and Their Applications VIII - Volume 2 Proceedings of the 8th International Conference on Complex Networks and Their Applications COMPLEX NETWORKS 2019. Cherifi, H., Gaito, S., Mendes, J. F., Moro, E. & Rocha, L. M. (eds.). Springer, p. 802-812 11 p. (Studies in Computational Intelligence; vol. 882 SCI).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
3 Citas (Scopus) -
Spectral Evolution of Twitter Mention Networks
Romero, M., Rocha, C. & Finke, J., 2020, Complex Networks and Their Applications VIII - Volume 1 Proceedings of the 8th International Conference on Complex Networks and Their Applications, COMPLEX NETWORKS 2019. Cherifi, H., Gaito, S., Mendes, J. F., Moro, E. & Rocha, L. M. (eds.). Springer, p. 532-542 11 p. (Studies in Computational Intelligence; vol. 881 SCI).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
1 Cita (Scopus) -
Spectral evolution with approximated eigenvalue trajectories for link prediction
Romero, M., Finke, J., Rocha, C. & Tobón, L., 01 dic. 2020, En: Social Network Analysis and Mining. 10, 1, 60.Producción: Contribución a una revista › Artículo › revisión exhaustiva
1 Cita (Scopus) -
Verification of the IBOS Browser Security Properties in Reachability Logic
Skeirik, S., Meseguer, J. & Rocha, C., 2020, Rewriting Logic and Its Applications - 13th International Workshop, WRLA 2020, Revised Selected Papers. Escobar, S. & Martí-Oliet, N. (eds.). Springer Science and Business Media Deutschland GmbH, p. 176-196 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12328 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
3 Citas (Scopus) -
2019
Analysis of Resource Allocation of BPMN Processes
Durán, F., Rocha, C. & Salaün, G., 2019, Service-Oriented Computing - 17th International Conference, ICSOC 2019, Proceedings. Yangui, S., Drira, K., Bouassida Rodriguez, I. & Tari, Z. (eds.). Springer, p. 452-457 6 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11895 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
6 Citas (Scopus) -
A rewriting logic approach to resource allocation analysis in business process models
Durán, F., Rocha, C. & Salaün, G., 01 sep. 2019, En: Science of Computer Programming. 183, 102303.Producción: Contribución a una revista › Artículo › revisión exhaustiva
12 Citas (Scopus) -
Estimating formation mechanisms and degree distributions in mixed attachment networks
Medina, J. A., Finke, J. & Rocha, C., 01 feb. 2019, En: Journal of Physics A: Mathematical and Theoretical. 52, 9, 095001.Producción: Contribución a una revista › Artículo › revisión exhaustiva
1 Cita (Scopus) -
Symbolic state space reduction with guarded terms for rewriting modulo SMT
Bae, K. & Rocha, C., 01 jun. 2019, En: Science of Computer Programming. 178, p. 20-42 23 p.Producción: Contribución a una revista › Artículo › revisión exhaustiva
14 Citas (Scopus) -
2018
Computing the parallelism degree of timed BPMN processes
Durán, F., Rocha, C. & Salaün, G., 2018, Software Technologies: Applications and Foundations - STAF 2018 Collocated Workshops, Revised Selected Papers. Mazzara, M., Salaün, G. & Ober, I. (eds.). Springer Verlag, p. 320-335 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11176 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
5 Citas (Scopus) -
Proving ground confluence of equational specifications modulo axioms
Durán, F., Meseguer, J. & Rocha, C., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer Verlag, p. 184-204 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
1 Cita (Scopus) -
Proving structural properties of sequent systems in rewriting logic
Olarte, C., Pimentel, E. & Rocha, C., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer Verlag, p. 115-135 21 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
6 Citas (Scopus) -
Real-time rewriting logic semantics for spatial concurrent constraint programming
Ramírez, S., Romero, M., Rocha, C. & Valencia, F., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer Verlag, p. 226-244 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
1 Cita (Scopus) -
Stochastic analysis of BPMN with time in rewriting logic
Durán, F., Rocha, C. & Salaün, G., 15 dic. 2018, En: Science of Computer Programming. 168, p. 1-17 17 p.Producción: Contribución a una revista › Artículo › revisión exhaustiva
22 Citas (Scopus) -
Symbolic execution and reachability analysis using rewriting modulo SMT for spatial concurrent constraint systems with extrusion
Romero, M. & Rocha, C., 2018, NASA Formal Methods 10th International Symposium, 10th International Symposium, NFM 2018 Newport News, Proceedings. Dutle, A., Munoz, C. & Narkawicz, A. (eds.). Springer Verlag, p. 435-451 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10811 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
1 Cita (Scopus) -
Symbolic specification and verification of data-aware BPMN processes using rewriting modulo SMT
Durán, F., Rocha, C. & Salaün, G., 2018, Rewriting Logic and Its Applications - 12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, 2018, Proceedings. Rusu, V. (ed.). Springer Verlag, p. 76-97 22 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11152 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
10 Citas (Scopus) -
2017
Axiomatic set theory à la Dijkstra and Scholten
Acosta, E., Aldana, B., Bohórquez, J. & Rocha, C., 2017, Advances in Computing - 12th Colombian Conference, CCC 2017, Proceedings. Solano, A. & Ordonez, H. (eds.). Springer Verlag, p. 775-791 17 p. (Communications in Computer and Information Science; vol. 735).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
-
Guarded terms for rewriting modulo SMT
Bae, K. & Rocha, C., 2017, Formal Aspects of Component Software - 14th International Conference, FACS 2017, Proceedings. Lumpe, M. & Proenca, J. (eds.). Springer Verlag, p. 78-97 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10487 LNCS).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
10 Citas (Scopus) -
Reliable control architecture with PLEXIL and ROS for autonomous wheeled robots
Cadavid, H., Pérez, A. & Rocha, C., 2017, Advances in Computing - 12th Colombian Conference, CCC 2017, Proceedings. Solano, A. & Ordonez, H. (eds.). Springer Verlag, p. 611-626 16 p. (Communications in Computer and Information Science; vol. 735).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
4 Citas (Scopus) -
Rewriting modulo SMT and open system analysis
Rocha, C., Meseguer, J. & Muñoz, C., 01 ene. 2017, En: Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 269-297 29 p.Producción: Contribución a una revista › Artículo › revisión exhaustiva
48 Citas (Scopus) -
Verification-driven development of ICAROUS based on automatic reachability analysis: A preliminary case study
Feliú, M. A., Rocha, C. & Balachandran, S., 13 jul. 2017, SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software. Erdogmus, H. & Havelund, K. (eds.). Association for Computing Machinery, Inc, p. 94-97 4 p. (SPIN 2017 - Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
1 Cita (Scopus) -
2016
Double-spend Attack Models with Time Advantange for Bitcoin
Pinzón, C. & Rocha, C., 09 dic. 2016, En: Electronic Notes in Theoretical Computer Science. 329, p. 79-103 25 p.Producción: Contribución a una revista › Artículo › revisión exhaustiva
78 Citas (Scopus) -
2015
Executable calculational specifications
Chaves, F. & Rocha, C., 20 nov. 2015, 2015 10th Colombian Computing Conference, 10CCC 2015. Gonzalez, O. & Sanchez, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 1-8 8 p. 7333398. (2015 10th Colombian Computing Conference, 10CCC 2015).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
-
Formal verification of safety properties for a cache coherence protocol
Ramirez, S. & Rocha, C., 20 nov. 2015, 2015 10th Colombian Computing Conference, 10CCC 2015. Gonzalez, O. & Sanchez, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 9-16 8 p. 7333399. (2015 10th Colombian Computing Conference, 10CCC 2015).Producción: Capítulo del libro/informe/acta de congreso › Contribución a la conferencia › revisión exhaustiva
5 Citas (Scopus) -
Order-sorted equality enrichments modulo axioms
Gutiérrez, R., Meseguer, J. & Rocha, C., 01 mar. 2015, En: Science of Computer Programming. 99, p. 235-261 27 p.Producción: Contribución a una revista › Artículo › revisión exhaustiva
9 Citas (Scopus)