Adrián Palacios

From MaRDI portal
Person:1648892

Available identifiers

zbMath Open palacios.adrian-gMaRDI QIDQ1648892

List of research outcomes





PublicationDate of PublicationType
Causal-consistent replay debugging for message passing programs2024-02-06Paper
https://portal.mardi4nfdi.de/entity/Q33849032021-12-17Paper
Causal-consistent replay reversible semantics for message passing concurrent programs2021-05-21Paper
Towards Modelling Actor-Based Concurrency in Term Rewriting2019-10-24Paper
Spike train statistics from empirical facts to theory: the case of the retina2018-11-13Paper
A theory of reversibility for Erlang2018-10-01Paper
Cauder: a causal-consistent reversible debugger for Erlang2018-07-09Paper
Reversible computation in term rewriting2017-12-01Paper
Reversible term rewriting2017-10-17Paper
A reversible semantics for Erlang2017-10-13Paper
Concolic execution in functional programming by program instrumentation2016-02-05Paper

Research outcomes over time

This page was built for person: Adrián Palacios

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1648892&oldid=6338250"
Powered by MediaWiki