Hernan Camilo Rocha Niño

View Scopus Profile

Hernan Camilo Rocha Niño

 https://orcid.org/0000-0003-4356-7704
20052024

Research activity per year

Filter
Conference contribution

Search results

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

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

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

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

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

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

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

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

  • 2022

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

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

    2 Scopus citations

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

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

    Open Access
    2 Scopus citations

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

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

    2 Scopus citations
  • 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).

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

    Open Access
    3 Scopus citations

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

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

    Open Access
    3 Scopus citations

  • 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

  • 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

    Open Access
    3 Scopus citations
  • 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).

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

    Open Access
    4 Scopus citations
  • 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).

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

    Open Access
    5 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

    Open Access
    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

    Open Access
    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

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

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

    Open Access
    7 Scopus citations
  • 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).

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

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

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

    9 Scopus citations

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

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

    4 Scopus citations

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

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

    1 Scopus citations
  • 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).

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

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

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

    5 Scopus citations

  • The formal system of Dijkstra and Scholten

    Rocha, C., 2015, Logic, Rewriting and Concurrency - Essays Dedicated to Jose Meseguer on the Occasion of His 65th Birthday. Ölveczky, P. C., Talcott, C. & Martí-Oliet, N. (eds.). Springer Verlag, p. 580-597 18 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9200).

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

    3 Scopus citations
  • 2013

    Automatic proof-search heuristics in the Maude invariant analyzer tool

    Rocha, C., 2013, 2013 8th Computing Colombian Conference, 8CCC 2013. IEEE Computer Society, 6637512. (2013 8th Computing Colombian Conference, 8CCC 2013).

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

    1 Scopus citations
  • 2012

    A formal interactive verification environment for the plan execution interchange language

    Rocha, C., Cadavid, H., Muñoz, C. & Siminiceanu, R., 2012, Integrated Formal Methods - 9th International Conference, IFM 2012, Proceedings. p. 343-357 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7321 LNCS).

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

    7 Scopus citations

  • Order-sorted equality enrichments modulo axioms

    Gutiérrez, R., Meseguer, J. & Rocha, C., 2012, Rewriting Logic and Its Applications - 9th International Workshop, WRLA 2012, Held as a Satellite Event of ETAPS, Revised Selected Papers. p. 162-181 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7571 LNCS).

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

    Open Access
    7 Scopus citations
  • 2011

    Proving safety properties of rewrite theories

    Rocha, C. & Meseguer, J., 2011, Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings. p. 314-328 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6859 LNCS).

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

    Open Access
    26 Scopus citations

  • Simulation and verification of synchronous set relations in rewriting logic

    Rocha, C. & Muñoz, C., 2011, Formal Methods: Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, Revised Selected Papers. p. 60-75 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7021 LNCS).

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

    Open Access
    2 Scopus citations

  • Tool interoperability in the Maude formal environment

    Durán, F., Rocha, C. & Álvarez, J. M., 2011, Algebra and Coalgebra in Computer Science - 4th International Conference, CALCO 2011, Proceedings. p. 400-406 7 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6859 LNCS).

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

    4 Scopus citations

  • Towards a maude formal environment

    Durán, F., Rocha, C. & Álvarez, J. M., 2011, Formal Modeling: Actors, Open Systems, Biological Systems: Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Agha, G., Meseguer, J. & Danvy, O. (eds.). p. 329-351 23 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7000 LNCS).

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

    21 Scopus citations
  • 2010

    Constructors, sufficient completeness, and deadlock freedom of rewrite theories

    Rocha, C. & Meseguer, J., 2010, Logic for Programming, Artificial Intelligence, and Reasoning - 17th International Conference, LPAR-17, Proceedings. Springer Verlag, p. 594-609 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 6397 LNCS).

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

    12 Scopus citations
  • 2009

    A graphical environment for the semantic validation of a plan execution language

    Rocha, C., Mũnoz, C. & Cadavid, H., 2009, Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009. p. 201-207 7 p. (Proceedings - 2009 3rd IEEE International Conference on Space Mission Challenges for Information Technology, SMC-IT 2009).

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

    6 Scopus citations
  • 2008

    Theorem proving modulo based on boolean equational procedures

    Rocha, C. & Meseguer, J., 2008, Relations and Kleene Algebra in Computer Science - 10th Int. Conference on Relational Methods in Comput. Sci. and 5th Int. Conference on Applications of Kleene Algebra, RelMiCS/AKA 2008, Proceedings. Springer Verlag, p. 337-351 15 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 4988 LNCS).

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

    12 Scopus citations
  • 2006

    A semantics composici'on assembly and services and components

    Rocha, C., Garća, R. & Casallas, R., 2006, Actas IDEAS 2006 - 9th Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software. p. 37-50 14 p. (Actas IDEAS 2006 - 9th Workshop Iberoamericano de Ingenieria de Requisitos y Ambientes de Software).

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

  • 2005

    Towards the effective use of formal logic in the teaching of discrete math

    Bohórquez, J. & Rocha, C., 2005, Proceedings - Thirteenth International Symposium on Temporal Representation and Reasoning, TIME 2006. p. S3C-1-S3C-8 1560330. (ITHET 2005: 6th International Conference on Information Technology Based Higher Education and Training, 2005; vol. 2005).

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

    4 Scopus citations
Your message has successfully been sent.
Your message was not sent due to an error.