Grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA)

Filtro
Contribución a la conferencia

Resultados de la búsqueda

  • 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 congresoContribución a la conferenciarevisión exhaustiva

  • 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 congresoContribución a la conferenciarevisión exhaustiva

    1 Cita (Scopus)
  • 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 congresoContribución a la conferenciarevisió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 congresoContribución a la conferenciarevisión exhaustiva

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

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    2 Citas (Scopus)
  • Executable Semantics and Type Checking for Session-Based Concurrency in Maude

    Ramírez Restrepo, C. A. & Pérez, J. 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. 230-250 21 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 congresoContribución a la conferenciarevisión exhaustiva

    1 Cita (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 congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    2 Citas (Scopus)
  • On the Impossibility of Non-trivial Accuracy in Presence of Fairness Constraints

    Pinzón, C., Palamidessi, C., Piantanida, P. & Valencia, F., 30 jun. 2022, AAAI-22 Technical Tracks 7. Association for the Advancement of Artificial Intelligence, p. 7993-8000 8 p. (Proceedings of the 36th AAAI Conference on Artificial Intelligence, AAAI 2022; vol. 36).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    4 Citas (Scopus)
  • 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 congresoContribución a la conferenciarevisión exhaustiva

    2 Citas (Scopus)
  • 2021

    A Multi-agent Model for Polarization Under Confirmation Bias in Social Networks

    Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2021, Formal Techniques for Distributed Objects, Components, and Systems - 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Proceedings. Peters, K. & Willemse, T. A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 22-41 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12719 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    4 Citas (Scopus)
  • Computing Distributed Knowledge as the Greatest Lower Bound of Knowledge

    Pinzón, C., Quintero, S., Ramírez, S. & Valencia, F., 2021, Relational and Algebraic Methods in Computer Science - 19th International Conference, RAMiCS 2021, Proceedings. Fahrenberg, U., Gehrke, M., Santocanale, L. & Winter, M. (eds.). Springer Science and Business Media Deutschland GmbH, p. 413-432 20 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 13027 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
  • 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 congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    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 congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    4 Citas (Scopus)
  • 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).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    2 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 congresoContribución a la conferenciarevisió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 congresoContribución a la conferenciarevisió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 congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    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 congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    5 Citas (Scopus)
  • Reasoning about distributed knowledge of groups with infinitely many agents

    Guzmán, M., Knight, S., Quintero, S., Ramírez, S., Rueda, C. & Valencia, F., ago. 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).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    4 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 congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    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 congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    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 congresoContribución a la conferenciarevisió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 congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    1 Cita (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 congresoContribución a la conferenciarevisió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 congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    8 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 congresoContribución a la conferenciarevisió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 congresoContribución a la conferenciarevisión exhaustiva

    9 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 congresoContribución a la conferenciarevisión exhaustiva

    4 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 congresoContribución a la conferenciarevisión exhaustiva

    1 Cita (Scopus)
  • 2016

    Deriving inverse operators for modal logic

    Guzmán, M., Perchy, S., Rueda, C. & Valencia, F. D., 2016, Theoretical Aspects of Computing - ICTAC 2016, 13th International Colloquium, Proceedings. Wang, F. & Sampaio, A. (eds.). Springer Verlag, p. 214-232 19 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9965 LNCS).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    5 Citas (Scopus)
  • On the expressiveness of spatial constraint systems

    Guzmán, M. & Valencia, F. D., 01 nov. 2016, Technical Communications of the 32nd International Conference on Logic Programming, ICLP 2016. King, A., Saeedloei, N., De Vos, M. & Linares, M. C. (eds.). Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, 16. (OpenAccess Series in Informatics; vol. 52).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    1 Cita (Scopus)
  • 2015

    An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic

    Haar, S., Perchy, S., Rueda, C. & Valencia, F., 14 jul. 2015, Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015. Association for Computing Machinery, Inc, p. 161-172 12 p. (Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming, PPDP 2015).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    Acceso abierto
    12 Citas (Scopus)
  • Theoretical aspects of computing - ICTAC 2015: 12th international colloquium cali, Colombia, October 29-31, 2015 proceedings

    Leucker, M., Rueda, C. & Valencia, F. D., 2015, Theoretical Aspects of Computing – ICTAC 2015 - 12th International Colloquium, Proceedings. Leucker, M., Rueda, C., Valencia, F. D. & Valencia, F. D. (eds.). Springer Verlag, (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 9399).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

  • 2002

    On the expressive power of temporal concurrent constraint programming languages

    Nielsen, M., Palamidessi, C. & Valencia, F. D., 2002, Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02). Association for Computing Machinery (ACM), p. 156-167 12 p. (Proceedings of the ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'02)).

    Producción: Capítulo del libro/informe/acta de congresoContribución a la conferenciarevisión exhaustiva

    25 Citas (Scopus)