| 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 | 75 | 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 | 63 | 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 | 39 | 2019 |
| A reversible semantics for Erlang N Nishida, A Palacios, G Vidal International Symposium on Logic-Based Program Synthesis and Transformation …, 2016 | 37 | 2016 |
| 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 |
| Causal-consistent replay reversible semantics for message passing concurrent programs I Lanese, A Palacios, G Vidal Fundamenta Informaticae 178 (3), 229-266, 2021 | 16 | 2021 |
| CauDEr website I Lanese, N Nishida, A Palacios, G Vidal URL: https://github. com/mistupv/cauder, 2018 | 14 | 2018 |
| Reversible term rewriting N Nishida, A Palacios, G Vidal 1st International Conference on Formal Structures for Computation and …, 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 | 7 | 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 |
| Safe Sessions for Erlang A Palacios | | 2017 |
| Adaptación de skip-gramas a modelos conexionistas del lenguaje A Palacios Corella Universitat Politècnica de València, 2015 | | 2015 |
| First steps towards Skipping NNLMs A Palacios-Corella, F Zamora-Martınez, S Espana-Boquera, ... iberSPEECH 2014, 111, 2014 | | 2014 |
German VidalProf. Computer Science, MIST, VRAIN, Universitat Politècnica de ValènciaVerified email at dsic.upv.es
