Producción por año
Producción por año
Perfil de la organización
Perfil de la organización
El grupo tiene tres ejes de acción que parten de la búsqueda de formalismos para modelar procesos concurrentes y distribuídos, la teoría y aplicaciones de la programación concurrente de restricciones, y la programación con restricciones para la solución de problemas de optimización combinatoria
Categoría grupos Minciencias
- A1
Objetivos de desarrollo sostenible de las Naciones Unidas
En 2015, los estados miembros de las Naciones Unidas acordaron 17 Objetivos de desarrollo sostenible (ODS) globales para erradicar la pobreza, proteger el planeta y garantizar la prosperidad para todos. Nuestro trabajo contribuye al logro de los siguientes ODS:
Huella digital
Profundizar en los temas de investigación en los que Grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA) está activo. Estas etiquetas de temas provienen de las obras de los integrantes de esta organización. Juntos, forma una huella digital única.
Colaboraciones y áreas de investigación principales de los últimos cinco años
Colaboración externa reciente a nivel de país/territorio. Para consultar los detalles, haga clic en los puntos o
Perfiles
-
Carlos Alberto Ramirez Restrepo
- Departamento de Electrónica y Ciencias de la Computación - Profesor Asistente
- Grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA) - Miembro grupo de investigación
- Semillero de investigación Algoritmos y Programación - Tutor Semillero de Investigación
Persona: Academic
-
Hernan Camilo Rocha Niño
- Facultad de Ingenieria y Ciencias - Decano de Facultad IyC
- Departamento de Electrónica y Ciencias de la Computación - Profesor Titular
- Grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA) - Miembro grupo de investigación
Persona: Academic
-
Frank Darwin Valencia Posso
- Departamento de Electrónica y Ciencias de la Computación - Profesor Titular
- Grupo de investigación Ambientes Visuales de Programación Aplicativa (AVISPA) - Líder grupo de investigación
Persona: Academic
-
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
Acceso abierto -
A FORMAL MODEL FOR POLARIZATION UNDER CONFIRMATION BIAS IN SOCIAL NETWORKS
Alvim, M. S., Amorim, B., Knight, S., Quintero, S. & Valencia, F., 2023, En: Logical Methods in Computer Science. 19, 1, p. 18:1-18:38Producción: Contribución a una revista › Artículo › revisión exhaustiva
Acceso abierto