Concepedia

María Ángeles Galán–García

MÁ

4

Publications

65

Citations

4

H-Index

2014

Active since

Affiliations

Universidad de Málaga(Current)

María Ángeles Galán–García is an author at Universidad de Málaga specializing in engineering, formal verification, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceAutomated ReasoningFormal VerificationSemanticsSmart CityVerificationLogic ProgrammingNumerical Analysis

Publications per year

2014–2019

4

Publications

4

A new Probabilistic Extension of Dijkstra’s Algorithm to simulate more realistic traffic flow in a smart city

José Luis Galán–García, Gabriel Aguilera‐Venegas, María Ángeles Galán–García et al. · Applied Mathematics and Computation · 2014 · 29 citations · Full text

Intelligent Traffic Management, Traffic Theory, Engineering +8

Improving CAS capabilities: New rules for computing improper integrals

José Luis Galán–García, Gabriel Aguilera‐Venegas, María Ángeles Galán–García et al. · Applied Mathematics and Computation · 2016 · 15 citations · Full text

Numerical Analysis, Engineering, Validated Numerics +6

A probabilistic extension to Conway’s Game of Life

Gabriel Aguilera‐Venegas, José Luis Galán–García, Rocío Egea-Guerrero et al. · Advances in Computational Mathematics · 2019 · 11 citations · Full text

Teaching Semantic Tableaux Method for Propositional Classical Logic with a CAS

Gabriel Aguilera‐Venegas, José Luis Galán–García, María Ángeles Galán–García et al. · International Journal for Technology in Mathematics Education · 2015 · 10 citations

Applied Logic, Engineering, Semantic Tableaux Method +15

Rows per page

1–4 of 4