Producción por año
Producción por año
Perfil de la organización
Perfil de la organización
El semillero de Algoritmos y Programación fue concebido como un espacio para desarrollar habilidades avanzadas en programación que les permita a los estudiantes resolver problemas en las áreas de estructuras de datos y análisis y diseño de algoritmos e inteligencia artificial, y participar en competencias de programación a nivel nacional e internacional.
Huella digital
Profundizar en los temas de investigación en los que Semillero de investigación Algoritmos y Programación 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, Researcher
-
Session-based concurrency in Maude: Executable semantics and type checking
Ramírez Restrepo, C. A., Jaramillo, J. C. & Pérez, J. A., jun. 2023, En: Journal of Logical and Algebraic Methods in Programming. 133, 100872.Producción: Contribución a una revista › Artículo › revisión exhaustiva
Acceso abierto -
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 congreso › Contribución a la conferencia › revisión exhaustiva