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.11.2
Última actualización:
Interfaz de Usuario: 16/10/2025
Base de Datos: 29/08/2025
Hecho en Colombia
Francisco Durán
Universidad de Málaga
Perfil externo:
Citaciones:
162
Productos:
15
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...
Cargando información...
15 Productos
Más citado
CSV
API
Stochastic analysis of BPMN with time in rewriting logic
Ver producto
Acceso Abierto
ID Minciencias: ART-0000287741-97
Ranking: ART-ART_B
Fuente: Science of Computer Programming
Francisco Durán
Hernan Camilo Rocha Nino
Gwen Salaün
Tópico:
Business Process Modeling and Analysis
Publicado: 2018
Citaciones:
37
Altmétricas:
0
Artículo de revista
A rewriting logic approach to resource allocation analysis in business process models
Ver producto
Acceso Abierto
ID Minciencias: ART-0000287741-141
Ranking: ART-ART_C
Fuente: Science of Computer Programming
Francisco Durán
Hernan Camilo Rocha Nino
Gwen Salaün
Tópico:
Business Process Modeling and Analysis
Publicado: 2019
Citaciones:
23
Altmétricas:
0
Artículo de revista
Towards a Maude Formal Environment
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000287741-16
Ranking: ART-ART_B
Fuente: Lecture notes in computer science
Francisco Durán
Hernan Camilo Rocha Nino
José María Álvarez
Tópico:
Logic, programming, and type systems
Publicado: 2011
Citaciones:
22
Altmétricas:
0
Artículo de revista
Ground confluence of order-sorted conditional specifications modulo axioms
Ver producto
Acceso Abierto
ID Minciencias: ART-0000287741-145
Ranking: ART-ART_A1
Fuente: Journal of Logical and Algebraic Methods in Programming
Francisco Durán
Jose Meseguer
Hernan Camilo Rocha Nino
Tópico:
Logic, programming, and type systems
Publicado: 2019
Citaciones:
14
Altmétricas:
0
Artículo de revista
Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT
Ver producto
Acceso Cerrado
ID Minciencias: CAP_LIB-0000287741-107
Ranking: CAP_LIB-CAP_LIB_A
Fuente: Lecture notes in computer science
Francisco Durán
Hernan Camilo Rocha Nino
Gwen Salaün
Tópico:
Business Process Modeling and Analysis
Publicado: 2018
Citaciones:
13
Altmétricas:
0
Capítulo de libro
Tool Interoperability in the Maude Formal Environment
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000287741-13
Ranking: ART-ART_B
Fuente: Lecture notes in computer science
Francisco Durán
Hernan Camilo Rocha Nino
José María Álvarez
Tópico:
Logic, programming, and type systems
Publicado: 2011
Citaciones:
11
Altmétricas:
0
Artículo de revista
Resource provisioning strategies for BPMN processes: Specification and analysis using Maude
Ver producto
Acceso Abierto
Fuente: Journal of Logical and Algebraic Methods in Programming
Francisco Durán
Hernan Camilo Rocha Nino
Gwen Salaün
Tópico:
Business Process Modeling and Analysis
Publicado: 2021
Citaciones:
11
Altmétricas:
0
Artículo de revista
Analysis of Resource Allocation of BPMN Processes
Ver producto
Acceso Abierto
ID Minciencias: CAP_LIB-0000287741-142
Ranking: CAP_LIB-CAP_LIB_B
Fuente: Lecture notes in computer science
Francisco Durán
Hernan Camilo Rocha Nino
Gwen Salaün
Tópico:
Distributed systems and fault tolerance
Publicado: 2019
Citaciones:
9
Altmétricas:
0
Capítulo de libro
Proving Ground Confluence of Equational Specifications Modulo Axioms
Ver producto
Acceso Cerrado
ID Minciencias: CAP_LIB-0000287741-106
Ranking: CAP_LIB-CAP_LIB_C
Fuente: Lecture notes in computer science
Francisco Durán
Jose Meseguer
Hernan Camilo Rocha Nino
Tópico:
Logic, programming, and type systems
Publicado: 2018
Citaciones:
5
Altmétricas:
0
Capítulo de libro
From Static to Dynamic Analysis and Allocation of Resources for BPMN Processes
Ver producto
Acceso Abierto
Fuente: Lecture notes in computer science
Francisco Durán
Yliès Falcone
Hernan Camilo Rocha Nino
Gwen Salaün
Ahang Zuo
Tópico:
Business Process Modeling and Analysis
Publicado: 2022
Citaciones:
5
Altmétricas:
0
Resultado de conferencia
1
NaN
NaN / pág.
