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
Nicolás Pozas
Universidad de Málaga
Perfil externo:
Citaciones:
3
Productos:
2
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...
2 Productos
Más citado
CSV
API
Business processes resource management using rewriting logic and deep-learning-based predictive monitoring
Acceso Cerrado
Fuente: Journal of Logical and Algebraic Methods in Programming
Francisco Durán
Nicolás Pozas
Hernan Camilo Rocha Nino
Temas:
Computer science
Provisioning
Business process
Deep learning
Rewriting
Artificial intelligence
Task (project management)
Probabilistic logic
Process (computing)
Machine learning
Programming language
Work in process
Telecommunications
Marketing
Business
Management
Economics
Publicado: 2023
Citaciones:
2
Altmétricas:
0
Artículo de revista
Statistical Model Checking for $$\textsf {P}$$
Acceso Cerrado
Fuente: Lecture notes in computer science
Francisco Durán
Nicolás Pozas
Carlos A Ramírez
Hernan Camilo Rocha Nino
Temas:
Toolchain
Computer science
Model checking
Compiler
Programming language
Reachability
Bounded function
Probabilistic logic
Algorithm
Theoretical computer science
Code (set theory)
Discrete mathematics
Mathematics
Software
Artificial intelligence
Mathematical analysis
Set (abstract data type)
Publicado: 2023
Citaciones:
1
Altmétricas:
0
Resultado de conferencia
1
NaN
