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
Jose Meseguer
Universidad de Illinois en Urbana-Champaign
Perfil externo:
Citaciones:
193
Productos:
14
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...
14 Productos
Más citado
CSV
API
Rewriting modulo SMT and open system analysis
Ver producto
Acceso Abierto
ID Minciencias: ART-0000287741-87
Ranking: ART-ART_A1
Fuente: Journal of Logical and Algebraic Methods in Programming
Hernan Camilo Rocha Nino
Jose Meseguer
Cesar Munoz
Tópico:
Formal Methods in Verification
Publicado: 2016
Citaciones:
64
Altmétricas:
0
Artículo de revista
Proving Safety Properties of Rewrite Theories
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000287741-14
Ranking: ART-ART_B
Fuente: Lecture notes in computer science
Hernan Camilo Rocha Nino
Jose Meseguer
Tópico:
Formal Methods in Verification
Publicado: 2011
Citaciones:
29
Altmétricas:
0
Artículo de revista
Rewriting Modulo SMT and Open System Analysis
Ver producto
Acceso Abierto
ID Minciencias: ART-0000287741-39
Ranking: ART-GC_ART
Fuente: Lecture notes in computer science
Hernan Camilo Rocha Nino
Jose Meseguer
Cesar Munoz
Tópico:
Formal Methods in Verification
Publicado: 2014
Citaciones:
24
Altmétricas:
0
Publicaciones editoriales no especializadas
Constructors, Sufficient Completeness, and Deadlock Freedom of Rewrite Theories
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000287741-12
Ranking: ART-ART_B
Fuente: Lecture notes in computer science
Hernan Camilo Rocha Nino
Jose Meseguer
Tópico:
Logic, programming, and type systems
Publicado: 2010
Citaciones:
14
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
Order-sorted equality enrichments modulo axioms
Ver producto
Acceso Abierto
ID Minciencias: ART-0000287741-41
Ranking: ART-ART_A2
Fuente: Science of Computer Programming
Raúl Gutiérrez
Jose Meseguer
Hernan Camilo Rocha Nino
Tópico:
Logic, programming, and type systems
Publicado: 2014
Citaciones:
12
Altmétricas:
0
Artículo de revista
Theorem Proving Modulo Based on Boolean Equational Procedures
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000287741-9
Ranking: ART-ART_A2
Fuente: Springer eBooks
Hernan Camilo Rocha Nino
Jose Meseguer
Tópico:
Logic, programming, and type systems
Publicado: 2008
Citaciones:
11
Altmétricas:
0
Artículo de revista
Order-Sorted Equality Enrichments Modulo Axioms
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000287741-17
Ranking: ART-ART_A2
Fuente: Lecture notes in computer science
Raúl Gutiérrez
Jose Meseguer
Hernan Camilo Rocha Nino
Tópico:
Logic, programming, and type systems
Publicado: 2012
Citaciones:
8
Altmétricas:
0
Artículo de revista
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
Mechanical Analysis of Reliable Communication in the Alternating Bit Protocol Using the Maude Invariant Analyzer Tool
Ver producto
Acceso Cerrado
ID Minciencias: ART-0000287741-38
Ranking: ART-GC_ART
Fuente: Lecture notes in computer science
Hernan Camilo Rocha Nino
Jose Meseguer
Tópico:
Formal Methods in Verification
Publicado: 2014
Citaciones:
5
Altmétricas:
0
Publicaciones editoriales no especializadas
1
NaN
NaN / pág.
