Research output per year
Research output per year
Organization profile
Organization profile
The group has three axes of action that start from the search for formalisms to model concurrent and distributed processes, the theory and applications of concurrent programming of constraints, and programming with constraints for solving combinatorial optimization problems.
Research fields
1.- Computer-assisted composition
2.- Visual Languages
3.- Concurrent programming due to restrictions
4.- calculation of concurrent processes
5.- computational modeling of systems
6.- distributed and parallel processing
Organization profile
The group has three axes of action that start from the search for formalisms to model concurrent and distributed processes, the theory and applications of concurrent programming of constraints, and programming with constraints for solving combinatorial optimization problems.
UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. Our work contributes towards the following SDG(s):
-
SDG 2 Zero Hunger
Fingerprint
Dive into the research topics where Research Group Visual Application Programming Environments (AVISPA) is active. These topic labels come from the works of this organization's members. Together they form a unique fingerprint.
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
Profiles
-
Carlos Alberto Ramirez Restrepo
- Department of Electronics and Computer Science - Assistant Professor
- Research Group Visual Application Programming Environments (AVISPA) - Member research group
Person: Academic, Researcher
-
Hernan Camilo Rocha Niño
- Department of Electronics and Computer Science - Full Professor
- Vice presidency for Academic Affairs - Vice President for Academic Affairs
- Research Group Visual Application Programming Environments (AVISPA) - Member research group
- iÓmicas Research Group - Member research group
Person: Academic, Researcher, Directive
-
Frank Darwin Valencia Posso
- Department of Electronics and Computer Science - Full Professor
- Research Group Visual Application Programming Environments (AVISPA) - Research team leader
Person: Academic, Researcher
-
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
Durán, F., Pozas, N. & Rocha, C., Jan 2024, In: Journal of Logical and Algebraic Methods in Programming. 136, 100928.Research output: Contribution to journal › Article › peer-review
Open Access2 Scopus citations -
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
1 Scopus citations -
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
1 Scopus citations
Projects
- 5 Finished
-
WearMe: Dispositivo para medición de metano en ganado bovino en condiciones de entorno
Jaramillo Botero, A. (PI), Aguilar-Zambrano, J. (CoI), Hernández, E. (CoI), Muriel Delgado, D. F. (CoI), Navarro Chica, C. E. (CoI), Ramirez Duque, J. L. G. (CoI), Riccio Rengifo, C. (CoI), Rocha Niño, H. C. (CoI), Alejandro Perdomo, S. (Asis), Angel Loaiza, J. (Asis), Arizabaleta Ibarbo, C. A. (Asis), Contratación Personal, B. G. (Asis), De Materiales, C. C. (Asis), Fenómica (Sensado), C. E. E. (Asis), Ingeniero Mecánico, C. (Asis), Jaramillo Garcia, S. (Asis), Quimico, C. (Asis), Simulaciones Específicas, C. I. (Asis), Villegas Gomez, E. A. (Asis) & Zuluaga Hurtado, A. M. (Asis)
01/09/23 → 31/08/26
Project: Research
-
Modelado y verificación de propiedades cuantitativas para redes de distribución aplicado a la logística humanitaria en zonas de desastre
Herrera, A. (PI), Macea-Mercado, L. F. (PI), Cardozo, N. (CoI), Rocha Niño, H. C. (CoI) & Sanabria, M. (CoI)
05/07/23 → 04/07/25
Project: Research
-
PROMUEVA: Investigación en Modelos Computacionales de Redes Sociales Aplicados a la Polarización en el Valle del Cauca
Valencia Posso, F. D. (PI), Aranda Bueno, J. A. (CoI), Bucheli Guerrero, V. A. (CoI), Diaz Frias, J. F. (CoI), Duque Agudelo, R. A. (CoI), Jaramillo Ruiz, F. (CoI), Ramirez Restrepo, C. A. (CoI), Rocha Niño, H. C. (CoI), Sierra Suarez, L. P. (CoI) & Tobon Llano, L. E. (CoI)
17/08/22 → 16/08/26
Project: Research