Concepedia

Adrián Palacios

AP

Statistics

Publications

3

Citations

83

H-Index

3

Active since

2017

Affiliations

Universitat Politècnica de València(Current)

Nagoya University

ANT Foundation Italy Onlus

Adrián Palacios is an author at Universitat Politècnica de València specializing in formal methods, engineering, and software maintenance.

ORCID

Top concepts

Publications per year

2017–2021

3

Publications

3

A theory of reversibility for Erlang

Ivan Lanese, Naoki Nishida, Adrián Palacios et al. · Journal of Logical and Algebraic Methods in Programming · 2018 · 54 citations · Full text

, , +2

Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs

Ivan Lanese, Adrián Palacios, Germán Vidal · Fundamenta Informaticae · 2021 · 17 citations · Full text

, , +18

Reversible computation in term rewriting

Naoki Nishida, Adrián Palacios, Germán Vidal · Journal of Logical and Algebraic Methods in Programming · 2017 · 12 citations · Full text

, , +4

1–3 of 3