Medina Bulo, Inmaculada

Doctor/a por la Universidad de Sevilla con la tesis Verificación formal en ACL2 del Algoritmo de Buchberger (2003) .

Universidad de Cádiz

Lenguajes y Sistemas Informáticos

Número de publicaciones: 41 (4.9% citado)
Número de citas: 3 (33.3% autocitas)
keyboard_arrow_down Ver todos los ámbitos
Ámbito Citas
EDUCACIÓN 3
Índice h: 1
Índice h5: 0
Promedio de citas últimos 10 años: 0.0
Promedio de citas últimos 5 años: 0.0
Edad académica: 21 años
Índice m: 0.05

Citas por año de emisión

Anualidad Citas
2024 0
2023 0
2022 0
2021 0
2020 0
2019 0
2018 0
2017 0
2016 0
2015 0
2014 1
2013 1
2012 1
2011 0
2010 0

Citas por año de publicación

Anualidad Publicaciones Citas
2010 4 3
2011 4 0
2012 2 0
2013 0 0
2014 0 0
2015 2 0
2016 1 0
2017 4 0
2018 3 0
2019 0 0
2020 3 0
2021 7 0
2022 0 0
2023 1 0
2024 0 0

Citas por tipo de publicación

Publicaciones en Dialnet Citas
14 Artículo de revista 2
23 Capítulo de libro 1
4 Libro 0

Citas por clasificación CIRC

Otras citas sin clasificación CIRC: 0

Publicaciones más citadas

* Último cálculo de métricas Dialnet: 19-May-2024