School of Engineering and Sciences

Filter
Conference contribution

Search results

  • 2020

    Counting and Computing Join-Endomorphisms in Lattices

    Quintero, S., Ramirez, S., Rueda, C. & Valencia, F., 2020, Relational and Algebraic Methods in Computer Science - 18th International Conference, RAMiCS 2020, Proceedings. Fahrenberg, U., Jipsen, P. & Winter, M. (eds.). Springer, p. 253-269 17 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12062 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Design and economic valuation of a dwelling prototype with a photovoltaic power generation system

    Garces, J. & Salazar, K., 2020, Proceedings of the 2020 IISE Annual Conference. Cromarty, L., Shirwaiker, R. & Wang, P. (eds.). Institute of Industrial and Systems Engineers, IISE, p. 1258-1263 6 p. (Proceedings of the 2020 IISE Annual Conference).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Detecting Hotspots on Networks

    Campos, J. & 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. 633-644 12 p. (Studies in Computational Intelligence; vol. 881 SCI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Fitness-Weighted Preferential Attachment with Varying Number of New Connections

    Romero, J., Finke, J. & Salazar, A., 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. 612-620 9 p. (Studies in Computational Intelligence; vol. 881 SCI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • LoRa-Based IoT Data Monitoring and Collecting Platform

    Fuentes, A. F. & Tamura, E., 2020, Smart Cities - 2nd Ibero-American Congress, ICSC-CITIES 2019, Revised Selected Papers. Nesmachnow, S. & Hernández Callejo, L. (eds.). Springer, p. 80-92 13 p. (Communications in Computer and Information Science; vol. 1152 CCIS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • New Method for Epidermal Cells Detection in DIC images from Arabidopsis thaliana Leaves

    Forero, M. G., Jacanamejoy, C. A., Lopez, Y. & Quimbaya, M. A., 23 Nov 2020, 2020 Virtual Symposium in Plant Omics Sciences, OMICAS 2020 - Conference Proceedings. Colorado, J. (ed.). Institute of Electrical and Electronics Engineers Inc., (2020 Virtual Symposium in Plant Omics Sciences, OMICAS 2020 - Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations
  • 2019

    A Comparative Analysis of Game Engines to Develop Core Assets for a Software Product Line of Mini-Games

    Sierra, M., Pabón, M. C., Rincón, L., Navarro-Newball, A. & Linares, D., 2019, Reuse in the Big Data Era - 18th International Conference on Software and Systems Reuse, ICSR 2019, Proceedings. Peng, X., Ampatzoglou, A. & Bhowmik, T. (eds.). Springer Verlag, p. 64-74 11 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11602 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Analytical vs numerical determination of the axial and lateral stiffness of fiber reinforced isolators

    Losanno, D., Madera Sierra, I. E., Calabrese, A., Marulanda, J. & Thomson, P., 2019, COMPDYN 2019 - 7th International Conference on Computational Methods in Structural Dynamics and Earthquake Engineering, Proceedings. Papadrakakis, M. & Fragiadakis, M. (eds.). National Technical University of Athens, p. 5304-5312 9 p. (COMPDYN Proceedings; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Analyzing the convenience of adopting a product line engineering approach: An industrial qalitative evaluation

    Rincón, L., Mazo, R. & Salinesi, C., 09 Sep 2019, SPLC 2019 - 23rd International Systems and Software Product Line Conference, Proceedings. Cetina, C., Diaz, O., Duchien, L., Huchard, M., Rabiser, R., Salinesi, C., Seidl, C., Ternava, X., Teixeira, L., Thum, T. & Ziadi, T. (eds.). Association for Computing Machinery, (ACM International Conference Proceeding Series; vol. B).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Archaeological simulation to explore the Chimú culture from Peru

    Sanchez, I. M., Barinaga, B., Martin, G., Gutierrez, A., Contreras R, V. E. & Navarro-Newball, A. A., Nov 2019, Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019. Wang, D., Cadavid, A. N., Liu, Y. & Xu, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 266-267 2 p. 9212935. (Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Augmented reality board game to favor water source's preservation

    Hernandez, J. & Navarro-Newball, A. A., Nov 2019, Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019. Wang, D., Cadavid, A. N., Liu, Y. & Xu, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 271-272 2 p. 9213002. (Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Automatic Localization of Deep Stimulation Electrodes Using Trajectory-Based segmentation Approach

    Nieto, R. G., David Echeverry-Correa, J., Alvarez Meza, A. M., Darío Benitez-Restrepo, H. & Gutierrez, Á. O., Apr 2019, 2019 22nd Symposium on Image, Signal Processing and Artificial Vision, STSIVA 2019 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 8730260. (2019 22nd Symposium on Image, Signal Processing and Artificial Vision, STSIVA 2019 - Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Ceramic Waste, the New Material for Asphalt Mixtures

    Solarte, N. C., Torrado, L. M., Serrano, M. F., Garcia, A. & Alonso-Troyano, C., 2019, Airfield and Highway Pavements 2019: Testing and Characterization of Pavement Materials - Selected Papers from the International Airfield and Highway Pavements Conference 2019. Al-Qadi, I. L., Ozer, H., Loizos, A. & Murrell, S. (eds.). American Society of Civil Engineers (ASCE), p. 144-153 10 p. (Airfield and Highway Pavements 2019: Testing and Characterization of Pavement Materials - Selected Papers from the International Airfield and Highway Pavements Conference 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Comparative study on standardized tests to determine energy efficiency in three-phase induction motors operating at partial load

    Parra, A. P., Valencia, M. V. & Espinoza, C. A. L., 2019, Proceedings of the Future Technologies Conference (FTC) 2018 - Volume 2. Kapoor, S., Arai, K. & Bhatia, R. (eds.). Springer Verlag, p. 896-903 8 p. (Advances in Intelligent Systems and Computing; vol. 881).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Digital Disease Phenotyping

    Delgado, C., Benitez, H., Cruz, M. & Selvaraj, M., Jul 2019, 2019 IEEE International Geoscience and Remote Sensing Symposium, IGARSS 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 5702-5705 4 p. 8897854. (International Geoscience and Remote Sensing Symposium (IGARSS)).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Establishment and application of an Exsitu culture collection of mycorrhizal and endophytic fungi for vanilla species

    Mosquera Espinosa, A. T. & Flanagan, N. S., 2019, 22nd World Orchid Conference: Conference Proceedings. Guayaquil, Ecuador: Asociación Ecuatoriana de Orquideología, Vol. Volume I. p. 219-224 5 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Experimental behavior of full-scale unbounded polyester-fiber reinforced rubber isolators for residential buildings

    Madera Sierra, I. E., Losanno, D., Marulanda, J. & Thomson, P., 2019, COMPDYN 2019 - 7th International Conference on Computational Methods in Structural Dynamics and Earthquake Engineering, Proceedings. Papadrakakis, M. & Fragiadakis, M. (eds.). National Technical University of Athens, p. 5313-5322 10 p. (COMPDYN Proceedings; vol. 3).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • Gamification Strategies for an Introductory Algorithms and Programming Course

    Buitrago, D. F. L., Álvarez, L. A., Marquez, C., Duque, D. F., Saint-Priest, Y., Segovia, P. & Navarro-Newball, A. A., 2019, E-Learning and Games - 12th International Conference, Edutainment 2018, Proceedings. El Rhalibi, A., Pan, Z., Ding, D., Jin, H., Wang, Y. & Navarro-Newball, A. A. (eds.). Springer Verlag, p. 84-87 4 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11462 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • How Video Object Tracking Is Affected by In-capture Distortions?

    Nieto, R. G., Restrepo, H. D. B. & Cabezas, I., May 2019, 2019 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 2227-2231 5 p. 8683625. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2019-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • Image Processing Method for Epidermal Cells Detection and Measurement in Arabidopsis Thaliana Leaves

    Forero, M. G., Perdomo, S. A., Quimbaya, M. A. & Perez, G. F., 2019, Pattern Recognition and Image Analysis - 9th Iberian Conference, IbPRIA 2019, Proceedings. Morales, A., Fierrez, J., Sánchez, J. S. & Ribeiro, B. (eds.). Springer, p. 416-428 13 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 11868 LNCS).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Interactive computer-based system to promote the exploration of Tumaco's culture

    Lina Marcela Valencia, C., Juan Miguel Cardona, A. & Navarro-Newball, A. A., Nov 2019, Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019. Wang, D., Cadavid, A. N., Liu, Y. & Xu, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 281-282 2 p. 9213027. (Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Multiple character motion adaptation in virtual cities using procedural animation

    Salazar, G., Luo, X., Newball, A. A. N., Zuniga, C. & Lozano-Garzon, C., Nov 2019, Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019. Wang, D., Cadavid, A. N., Liu, Y. & Xu, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 223-226 4 p. 9213044. (Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Nanośılice como aditivo para el concreto: caso Colombia

    Rojas Manzano, M. A., Loaiza Osorio, L. I. & Diaz González, E. T., 2019, 61º CONGRESSO BRASILEIRO DO CONCRETO - CBC2019 -- 61CBC. 14 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Natural Scene Statistics of Mammography Accreditation Phantom Images

    Guzmán, V. C., Darío Benítez Restrepo, H. & Hurtado, E. S., Apr 2019, 2019 22nd Symposium on Image, Signal Processing and Artificial Vision, STSIVA 2019 - Conference Proceedings. Institute of Electrical and Electronics Engineers Inc., 8730289. (2019 22nd Symposium on Image, Signal Processing and Artificial Vision, STSIVA 2019 - Conference Proceedings).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Optimal Feature Selection for Blind Super-resolution Image Quality Evaluation

    Beron, J., Restrepo, H. D. B. & Bovik, A. C., May 2019, 2019 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2019 - Proceedings. Institute of Electrical and Electronics Engineers Inc., p. 1842-1846 5 p. 8682512. (ICASSP, IEEE International Conference on Acoustics, Speech and Signal Processing - Proceedings; vol. 2019-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    9 Scopus citations

  • Preferential Radar Method for Dynamic Assignment of Wi-Fi Channels

    Sandoval Posso, J. D. & Giraldo Castañeda, C. A., 2019, Cognitive Radio-Oriented Wireless Networks - 14th EAI International Conference, CrownCom 2019, Proceedings. Kliks, A., Sybis, M., Kryszkiewicz, P., Bader, F., Triantafyllopoulou, D., Caicedo, C. E., Sezgin, A. & Dimitriou, N. (eds.). Springer Verlag, p. 87-99 13 p. (Lecture Notes of the Institute for Computer Sciences, Social-Informatics and Telecommunications Engineering, LNICST; vol. 291).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Procedural animation generation technology of virtual fish flock

    Pilco, A., Luo, X., Newball, A. A. N., Zuniga, C. & Lozano-Garzon, C., Nov 2019, Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019. Wang, D., Cadavid, A. N., Liu, Y. & Xu, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 233-237 5 p. 9212975. (Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • Procedural placement of existing building models in virtual cities

    Efren, C., Luo, X., Newball, A. A. N., Cadavid, A. N. & Lozano-Garzon, C., Nov 2019, Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019. Wang, D., Cadavid, A. N., Liu, Y. & Xu, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 238-242 5 p. 9212987. (Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Prototyping an augmented reality maintenance and repairing system for a deep well vertical turbine pump

    Castellanos, M. J. & Navarro-Newball, A. A., 22 Mar 2019, CONIELECOMP 2019 - 2019 International Conference on Electronics, Communications and Computers. Institute of Electrical and Electronics Engineers Inc., p. 36-40 5 p. 8673254. (CONIELECOMP 2019 - 2019 International Conference on Electronics, Communications and Computers).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    7 Scopus citations

  • Realistic behavior of virtual citizens through procedural animation

    Alberto, E. C. D., Luo, X., Newball, A. A. N., Zuniga, C. & Lozano-Garzon, C., Nov 2019, Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019. Wang, D., Cadavid, A. N., Liu, Y. & Xu, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 243-247 5 p. 9212873. (Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Reasoning about distributed knowledge of groups with infinitely many agents

    Guzmán, M., Knight, S., Quintero, S., Ramírez, S., Rueda, C. & Valencia, F., Aug 2019, 30th International Conference on Concurrency Theory, CONCUR 2019. Fokkink, W. & van Glabbeek, R. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 29. (Leibniz International Proceedings in Informatics, LIPIcs; vol. 140).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    4 Scopus citations

  • Towards the gamification of assistive technology for professionals with severe impairments

    Contreras, V. E., Goomez, G. & Navarro-Newball, A. S. A., Nov 2019, Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019. Wang, D., Cadavid, A. N., Liu, Y. & Xu, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 176-179 4 p. 9212977. (Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • USO DE LA CENIZA DE BAGAZO DE CAÑA (CBC) COMO REMPLAZO PARCIAL DEL CEMENTO PORTLAND: CASO COLOMBIA

    Translated title of the contribution: USE OF SUGAR CANE BAGASSE ASH (SBA) AS PARTIAL REPLACEMENT FOR PORTLAND CEMENT: COLOMBIA CASE Rojas Manzano, M. A., Izquierdo, J. P. & Álvarez, M. J., 2019, 61º CONGRESSO BRASILEIRO DO CONCRETO - CBC2019 -- 61CBC. 16 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • Video games to support language therapies in children with hearing disabilities

    Martinez, J. C., Gutierrez, E., Alvarez, G., Castillo, A. D., Portilla, A. Y. & Almanza, V., Nov 2019, Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019. Wang, D., Cadavid, A. N., Liu, Y. & Xu, M. (eds.). Institute of Electrical and Electronics Engineers Inc., p. 172-175 4 p. 9212933. (Proceedings - 2019 International Conference on Virtual Reality and Visualization, ICVRV 2019).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations
  • 2018

    APPLIES: A framework for evaluAting organization's motivation and preparation for adopting product lines

    Rincón, L., Mazo, R. & Salinesi, C., 06 Jul 2018, 2018 12th International Conference on Research Challenges in Information Science, RCIS 2018. IEEE Computer Society, p. 1-12 12 p. (Proceedings - International Conference on Research Challenges in Information Science; vol. 2018-May).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    8 Scopus citations

  • Building alternative methods for aiding language skills learning for the hearing impaired

    Correa D., P. A., Mejía P., J. P., Lenis L., A. M., Camargo G., C. A. & Navarro-Newball, A. A., 2018, Advances in Computing - 13th Colombian Conference, CCC 2018, Proceedings. Serrano C., J. E. & Martínez-Santos, J. C. (eds.). Springer Verlag, p. 192-200 9 p. (Communications in Computer and Information Science; vol. 885).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • Chromosome Mutation vs. Gene Mutation in evolutive approaches for solving the resource-constrained project scheduling problem (RCPSP)

    Morillo, D., Barber, F. & Salido, M. A., 2018, Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Proceedings. Ait Mohamed, O., Mouhoub, M., Sadaoui, S. & Ali, M. (eds.). Springer Verlag, p. 601-612 12 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 10868 LNAI).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Creating a software product line of mini-games to support language therapy

    Rincón, L., Martínez, J. C., Pabón, M. C., Mogollón, J. & Caballero, A., 2018, Advances in Computing - 13th Colombian Conference, CCC 2018, Proceedings. Serrano C., J. E. & Martínez-Santos, J. C. (eds.). Springer Verlag, p. 418-431 14 p. (Communications in Computer and Information Science; vol. 885).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    5 Scopus citations

  • Elective Projects Course: Realizing the Academic Interests of Students

    Prados Arboleda, A. V., Hurtado, J. A., Bravo, F. A. & Paez Rueda, C. I., 2018, Ponencia presentada en The 14th International CDIO Conference. Kanazawa Institute of Technology - KIT . p. 1-10 10 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

  • From SDL Modeling to WSN Simulation for IoT Solutions

    Fuentes Vasquez, A. F. & Tamura, E., 2018, Applied Computer Sciences in Engineering - 5th Workshop on Engineering Applications, WEA 2018, Proceedings. Maya Duque, P. A., Villegas, J. G., Figueroa-García, J. C. & Orozco-Arroyave, J. R. (eds.). Springer Verlag, p. 147-160 14 p. (Communications in Computer and Information Science; vol. 916).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    3 Scopus citations

  • How Useful and Understandable is the APPLIES Framework? A Preliminary Evaluation with Software Practitioners

    Rincón, L., Chavarriaga, J., Mazo, R. & Salinesi, C., 30 Nov 2018, 2018 ICAI Workshops, ICAIW 2018 - Joint Proceedings of the Workshop on Data Engineering and Analytics, WDEA 2018, Workshop on Smart Sustainable Cities, WSSC 2018, Workshop on Intelligent Transportation Systems, WITS 2018 and Workshop on Empirical Experiences on Software Reuse, WEESR 2018. Institute of Electrical and Electronics Engineers Inc., 8555002. (2018 ICAI Workshops, ICAIW 2018 - Joint Proceedings of the Workshop on Data Engineering and Analytics, WDEA 2018, Workshop on Smart Sustainable Cities, WSSC 2018, Workshop on Intelligent Transportation Systems, WITS 2018 and Workshop on Empirical Experiences on Software Reuse, WEESR 2018).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    2 Scopus citations

  • 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    6 Scopus citations

  • 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations

  • 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).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

    1 Scopus citations