| CauDEr: a causal-consistent reversible debugger for Erlang I Lanese, N Nishida, A Palacios, G Vidal International Symposium on Functional and Logic Programming, 247-263, 2018 | 89 | 2018 |
| A theory of reversibility for Erlang I Lanese, N Nishida, A Palacios, G Vidal Journal of Logical and Algebraic Methods in Programming 100, 71-97, 2018 | 70 | 2018 |
| Causal-consistent replay debugging for message passing programs I Lanese, A Palacios, G Vidal Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019 | 42 | 2019 |
| A reversible semantics for Erlang N Nishida, A Palacios, G Vidal International Symposium on Logic-Based Program Synthesis and Transformation …, 2016 | 38 | 2016 |
| Causal-consistent replay reversible semantics for message passing concurrent programs I Lanese, A Palacios, G Vidal Fundamenta Informaticae 178 (3), 229-266, 2021 | 21 | 2021 |
| Reversible computation in term rewriting N Nishida, A Palacios, G Vidal Journal of Logical and Algebraic Methods in Programming 94, 128-149, 2018 | 17 | 2018 |
| CauDEr website I Lanese, N Nishida, A Palacios, G Vidal URL: https://github. com/mistupv/cauder, 2018 | 16 | 2018 |
| Reversible term rewriting N Nishida, A Palacios Corella, GF Vidal Oriola Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing, 2016 | 14 | 2016 |
| Property-based test case generators for free E De Angelis, F Fioravanti, A Palacios, A Pettorossi, M Proietti Tests and Proofs: 13th International Conference, TAP 2019, Held as Part of …, 2019 | 10 | 2019 |
| Concolic execution in functional programming by program instrumentation A Palacios, G Vidal International Symposium on Logic-Based Program Synthesis and Transformation …, 2015 | 7 | 2015 |
| APRIL-ANN toolkit, a pattern recognizer in Lua with artificial neural networks (2013) F Zamora-Martínez, S España-Boquera, J Gorbe-Moya, J Pastor-Pellicer, ... | 6 | |
| Towards modelling actor-based concurrency in term rewriting A Palacios, G Vidal 2nd International Workshop on Rewriting Techniques for Program …, 2015 | 3 | 2015 |
| Bounded symbolic execution for runtime error detection of Erlang programs E De Angelis, F Fioravanti, A Palacios, A Pettorossi, M Proietti arXiv preprint arXiv:1809.04770, 2018 | 2 | 2018 |
| Towards reversible computation in erlang N Nishida, A Palacios, G Vidal arXiv preprint arXiv:1608.05521, 2016 | 2 | 2016 |
| Reversible term rewriting: foundations and applications N Nishida, A Palacios, G Vidal Technical report, DSIC, UPV, 2016. Available from the following URL: http …, 0 | 1 | |
| Formal methods for constraint-based testing and reversible debugging in erlang A Palacios Corella Universitat Politècnica de València, 2020 | | 2020 |
| Fallback Variable History NNLMs: Efficient NNLMs by precomputation and stochastic training FJ Zamora-Martinez, S Espana-Boquera, MJ Castro-Bleda, ... Plos one 13 (7), e0200884, 2018 | | 2018 |
| Metaprogramming and symbolic execution for detecting runtime errors in Erlang programs A Palacios, A Pettorossi, M Proietti | | 2018 |
| Safe Sessions for Erlang A Palacios | | 2017 |
| 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016) A Ahmed, I Hasuo, G Huet, T Nipkow, R Akiyoshi, K Terui, T Altenkirch, ... Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2016 | | 2016 |
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaEmail verificata su dsic.upv.es