Adrián Palacios

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Causal-consistent replay debugging for message passing programs Formal Techniques for Distributed Objects, Components, and Systems	2024-02-06	Paper
scientific article; zbMATH DE number 7447758 (Why is no real title available?)	2021-12-17	Paper
scientific article; zbMATH DE number 7447758 (Why is no real title available?) (available as arXiv preprint)	2021-12-17	Paper
Causal-consistent replay reversible semantics for message passing concurrent programs Fundamenta Informaticae	2021-05-21	Paper
Towards Modelling Actor-Based Concurrency in Term Rewriting	2019-10-24	Paper
Spike train statistics from empirical facts to theory: the case of the retina Modeling in Computational Biology and Biomedicine	2018-11-13	Paper
A theory of reversibility for Erlang Journal of Logical and Algebraic Methods in Programming	2018-10-01	Paper
A theory of reversibility for Erlang Journal of Logical and Algebraic Methods in Programming	2018-10-01	Paper
Cauder: a causal-consistent reversible debugger for Erlang	2018-07-09	Paper
Reversible computation in term rewriting Journal of Logical and Algebraic Methods in Programming	2017-12-01	Paper
Reversible computation in term rewriting Journal of Logical and Algebraic Methods in Programming	2017-12-01	Paper
Reversible term rewriting	2017-10-17	Paper
A reversible semantics for Erlang (available as arXiv preprint)	2017-10-13	Paper
Concolic execution in functional programming by program instrumentation Logic-Based Program Synthesis and Transformation	2016-02-05	Paper

Research outcomes over time

This page was built for person: Adrián Palacios