Autor
Cargando información...
Fundadores:
Producto desarrollado por:
@colav
Contacto
ImpactU:
Acerca de ImpactU
Manual de usuario
Código Abierto
Datos Abiertos
Apidocs
Estadísticas de uso
Indicadores de Cooperación
Información:
ImpactU Versión 3.10.0
Última actualización:
Interfaz de Usuario: 26/06/2025
Base de Datos: 26/06/2025
Hecho en Colombia
Jorge Luis Martínez Valencia
Gestión de Sistemas Eléctricos, Electrónicos y Automáticos
Universidad Tecnológica de Pereira
Grupo de investigación en Ciencias Agropecuarias ICATURS
Servicio Nacional de Aprendizaje
ROBÓTICA APLICADA
Perfil externo:
Citaciones:
3
Productos:
22
Filtros
Investigación
Cooperación
Productos
Patentes
Proyectos
Noticias
i
Coautorías según país de afiliación
Cargando información...
i
Evolución anual según la clasificación del ScienTI (Top 20)
Cargando información...
22 Productos
Más citado
CSV
API
A methodology to evaluate combinatorial explosion using LTL in autonomous ground navigation applications
Acceso Cerrado
ART-GC_ART
ID Minciencias: ART-0001409195-3
Fuente: 2017 IEEE 3rd Colombian Conference on Automatic Control (CCAC)
Jorge Luis Martínez Valencia
Mauricio Holguín Londoño
Andrés Escobar Mejía
Temas:
Computer science
Combinatorial explosion
Finite-state machine
Formal language
Ground truth
State (computer science)
Theoretical computer science
Model checking
Work (physics)
Formal verification
Temporal logic
Artificial intelligence
Programming language
Mathematics
Engineering
Mechanical engineering
Combinatorics
Publicado: 2017
Citaciones:
1
Altmétricas:
0
Publicaciones editoriales no especializadas
Metodología de síntesis de autómatas para controlar sistemas de navegación autónoma terrestre
Acceso Abierto
Fuente: Scientia et technica
Jorge Luis Martínez Valencia
Mauricio Holguín Londoño
Germán Andrés Holguín Londoño
Temas:
Humanities
Physics
Chemistry
Philosophy
Publicado: 2018
Citaciones:
1
Altmétricas:
0
Artículo de revista
Metodología para la síntesis de autómatas en la planificación de movimientos en sistemas autónomos con múltiples agentes
Acceso Abierto
Fuente: Tecnura
Jorge Luis Martínez Valencia
Mauricio Holguín Londoño
carlos alberto ramirez vanegas
Temas:
Humanities
Political science
Philosophy
Publicado: 2021
Citaciones:
1
Altmétricas:
0
Artículo de revista
Prototipo funcional para la gestión del sistema de metas de la Dirección de Formación Profesional
CON_CT-CON_CT
ID Minciencias: CON_CT-0001409195-31
Jorge Luis Martínez Valencia
Publicado: No disponible
Citaciones:
0
Innovación y apropiación
PTT (PROGRAMADOR DE TRABAJO POR TURNOS)
CON_CT-CON_CT
ID Minciencias: CON_CT-0001409195-24
Jorge Luis Martínez Valencia
Publicado: No disponible
Citaciones:
0
Innovación y apropiación
Lapptcom
CON_CT-CON_CT
ID Minciencias: CON_CT-0001409195-25
Jorge Luis Martínez Valencia
Publicado: No disponible
Citaciones:
0
Innovación y apropiación
Aplicación para estimar el tiempo de recolección de café en cosecha
CON_CT-CON_CT
ID Minciencias: CON_CT-0001409195-22
Jorge Luis Martínez Valencia
Publicado: No disponible
Citaciones:
0
Innovación y apropiación
Prototipo funcional para la gestión de la programación indicativa de la Dirección de Formación Profesional
CON_CT-CON_CT
ID Minciencias: CON_CT-0001409195-30
Jorge Luis Martínez Valencia
Publicado: No disponible
Citaciones:
0
Innovación y apropiación
GERONTO APP COLOMBIA
CON_CT-CON_CT
ID Minciencias: CON_CT-0001409195-26
Jorge Luis Martínez Valencia
Publicado: No disponible
Citaciones:
0
Innovación y apropiación
Software especializado para la gestión de mantenimiento biomédico
CON_CT-CON_CT
ID Minciencias: CON_CT-0001409195-21
Jorge Luis Martínez Valencia
Publicado: No disponible
Citaciones:
0
Innovación y apropiación
1
NaN
NaN / pág.
