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
MARIO BRAVETTI
Universidad de Bolonia
Perfil externo:
Citaciones:
53
Productos:
5
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...
5 Productos
Más citado
CSV
API
Adaptable processes
Acceso Abierto
ART-ART_A1
ID Minciencias: ART-0000698580-38
Fuente: Logical Methods in Computer Science
MARIO BRAVETTI
Cinzia Di Giusto
Jorge Andres Perez Parra
Gianluigi Zavattaro
Temas:
Evolvability
Computer science
Theoretical computer science
Process calculus
Adaptation (eye)
Process (computing)
Automaton
State (computer science)
Decidability
Distributed computing
Programming language
Physics
Evolutionary biology
Optics
Biology
Publicado: 2012
Citaciones:
26
Altmétricas:
0
Artículo de revista
Towards the Verification of Adaptable Processes
Acceso Cerrado
ART-ART_A2
ID Minciencias: ART-0000698580-34
Fuente: Lecture notes in computer science
MARIO BRAVETTI
Cinzia Di Giusto
Jorge Andres Perez Parra
GIANLUIGI ZAVATTARO
Temas:
Computer science
Decidability
Temporal logic
Theoretical computer science
Simple (philosophy)
Programming language
Relation (database)
Process calculus
Process (computing)
First-order logic
Calculus (dental)
Data mining
Philosophy
Epistemology
Medicine
Dentistry
Publicado: 2012
Citaciones:
11
Altmétricas:
0
Artículo de revista
Steps on the Road to Component Evolvability
Acceso Cerrado
ART-ART_A2
ID Minciencias: ART-0000698580-44
Fuente: Lecture notes in computer science
MARIO BRAVETTI
Cinzia Di Giusto
Jorge Andres Perez Parra
GIANLUIGI ZAVATTARO
Temas:
Evolvability
Component (thermodynamics)
Process calculus
Computer science
Decidability
Process (computing)
Theoretical computer science
Programming language
Evolutionary biology
Physics
Biology
Thermodynamics
Publicado: 2012
Citaciones:
6
Altmétricas:
0
Artículo de revista
Adaptable processes
Acceso Cerrado
MARIO BRAVETTI
Cinzia Di Giusto
Jorge Andres Perez Parra
Gianluigi Zavattaro
Temas:
Evolvability
Computer science
Adaptation (eye)
Process (computing)
Process calculus
Decidability
State (computer science)
Theoretical computer science
Automaton
Property (philosophy)
Distributed computing
Programming language
Philosophy
Physics
Epistemology
Evolutionary biology
Optics
Biology
Publicado: 2011
Citaciones:
6
Artículo de revista
Adaptable Processes (Extended Abstract)
Acceso Abierto
ART-ART_B
ID Minciencias: ART-0000698580-35
Fuente: Lecture notes in computer science
MARIO BRAVETTI
Cinzia Di Giusto
Jorge Andres Perez Parra
GIANLUIGI ZAVATTARO
Temas:
Evolvability
Computer science
Adaptation (eye)
Process calculus
Process (computing)
Theoretical computer science
State (computer science)
Decidability
Automaton
Range (aeronautics)
Distributed computing
Programming language
Physics
Evolutionary biology
Optics
Biology
Materials science
Composite material
Publicado: 2011
Citaciones:
4
Altmétricas:
0
Artículo de revista
1
NaN
