Concepedia

Ángel Herranz

ÁH

Statistics

Publications

5

Citations

81

H-Index

5

Active since

2003

Affiliations

Universidad Politécnica de Madrid(Current)

IMDEA Software Institute

Ángel Herranz is an author at Universidad Politécnica de Madrid specializing in formal methods, computing, and computer science.

Publications per year

2003–2014

5

Publications

5

A model-driven approach to teaching concurrency

Manuel Carro, Ángel Herranz, Julio Mariño · ACM Transactions on Computing Education · 2013 · 25 citations · Full text

Computing, Computer Science, Teaching +15

Malnutrition-inflammation syndrome is associated with endothelial dysfunction in peritoneal dialysis patients.

Abelardo Aguilera, José Antonio Sánchez-Tomero, M. Auxiliadora Bajo et al. · PubMed · 2003 · 21 citations

Medicine, Nephrology, Nutrition +17

Property-Based Testing of JSON Based Web Services

Lars‐Åke Fredlund, Clara Benac Earle, Ángel Herranz et al. · 2014 · 14 citations

Computing, Computer Science, Formal Methods +12

Clara Benac Earle, Lars‐Åke Fredlund, Ángel Herranz et al. · 2014 · 11 citations

Computing, Computer Science, Information Technology +13

Stepwise Refinement Validation of Design Patterns Formalized in TLA+ using the TLC Model Checker.

Toufik Taibi, Ángel Herranz, Juan José Moreno-Navarro · The Journal of Object Technology · 2009 · 10 citations · Full text

Computing, Computer Science, Design Automation +15

1–5 of 5