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
María Vela Pérez
Universidad Emory
Perfil externo:
Citaciones:
11
Productos:
4
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...
4 Productos
Más citado
CSV
API
Methodological Approach for Developing a KMS: A Case Study
Acceso Abierto
Fuente: CLEI electronic journal
Anna Griman Padua
Teresita Rojas
María Vela Pérez
Temas:
Field (mathematics)
Domain (mathematical analysis)
Process (computing)
Computer science
Knowledge management
Domain knowledge
Software
Set (abstract data type)
Management science
Engineering
Systems engineering
Mathematical analysis
Mathematics
Pure mathematics
Programming language
Operating system
Publicado: 2018
Citaciones:
6
Altmétricas:
0
Artículo de revista
Compositional Model-Checking Verification of Critical Systems
Acceso Cerrado
Fuente: Lecture notes in business information processing
Luis Eduardo Mendoza Morales
Manuel Isidoro Capel Tunon
María Vela Pérez
Kawtar Benghazi
Temas:
Computer science
Model checking
Correctness
Programming language
Formal verification
Theoretical computer science
Formal methods
Temporal logic
Automaton
Publicado: 2009
Citaciones:
5
Altmétricas:
0
Capítulo de libro
Antagonistas de los receptores At1 de la Angiotensina II: de la investigación básica al uso clínico
Acceso Cerrado
Juan Diego Ávila Martínez
Esteban Betanzos Mendoza
Andrés Mora Bohórquez
Yohan Sebastián murillo padilla
Sergio Munoz
María Rita Dewaele Olivera
Estrada Orozco
Juan Pallares
Alejandro Pereira
Laura Pino Almero
Mostrar todos
Temas:
Chemistry
Political science
Publicado: 2024
Citaciones:
0
Altmétricas:
0
Informe
A Decision Support System to Support Software Quality Through the Selection of Case Tooks
Acceso Cerrado
Teresita Rojas
María Vela Pérez
Anna Griman Padua
Luis Eduardo Mendoza Morales
Temas:
Decision support system
Computer science
Software engineering
Consistency (knowledge bases)
Quality (philosophy)
Variety (cybernetics)
Documentation
Systems engineering
Process management
Data mining
Engineering
Artificial intelligence
Philosophy
Epistemology
Programming language
Publicado: 2001
Citaciones:
0
Artículo de revista
1
NaN
