| Paxos consensus, deconstructed and abstracted Á García-Pérez, A Gotsman, Y Meshman, I Sergey Programming Languages and Systems: 27th European Symposium on Programming …, 2018 | 37 | 2018 |
| Federated byzantine quorum systems Á García-Pérez, A Gotsman 22nd International Conference on Principles of Distributed Systems (OPODIS 2018), 2019 | 31 | 2019 |
| Deriving the full-reducing Krivine machine from the small-step operational semantics of normal order Á García-Pérez, P Nogueira, JJ Moreno-Navarro Proceedings of the 15th Symposium on Principles and Practice of Declarative …, 2013 | 17 | 2013 |
| On the syntactic and functional correspondence between hybrid (or layered) normalisers and abstract machines A García-Pérez, P Nogueira Science of Computer Programming 95, 176-199, 2014 | 14 | 2014 |
| Deconstructing stellar consensus (extended version) Á García-Pérez, MA Schett arXiv preprint arXiv:1911.05145, 2019 | 11 | 2019 |
| No solvable lambda-value term left behind Á García-Pérez, P Nogueira Logical Methods in Computer Science 12, 2016 | 11 | 2016 |
| Deconstructing stellar consensus Á García-Pérez, MA Schett 23rd International Conference on Principles of Distributed Systems (OPODIS 2019), 2020 | 9 | 2020 |
| Federated Byzantine Quorum Systems (Extended Version) Á García-Pérez, A Gotsman arXiv preprint arXiv:1811.03642, 2018 | 8 | 2018 |
| Deriving interpretations of the gradually-typed lambda calculus Á García-Pérez, P Nogueira, I Sergey Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and …, 2014 | 7 | 2014 |
| Operational aspects of full reduction in lambda calculi Á García Pérez ETSI_Informatica, 2014 | 7 | 2014 |
| A syntactic and functional correspondence between reduction semantics and reduction-free full normalisers Á García-Pérez, P Nogueira Proceedings of the ACM SIGPLAN 2013 workshop on Partial evaluation and …, 2013 | 7 | 2013 |
| The full-reducing Krivine abstract machine KN simulates pure normal-order reduction in lockstep: A proof via corresponding calculus A Garcia-Perez, P Nogueira Journal of Functional Programming 29, e7, 2019 | 6 | 2019 |
| The ambiguity criterion in software design A Garcia, N Medinilla International Workshop on Living with Uncertainties. ACM, 2007 | 6 | 2007 |
| Paxos consensus, deconstructed and abstracted (extended version) Á García-Pérez, A Gotsman, Y Meshman, I Sergey arXiv preprint arXiv:1802.05969, 2018 | 4 | 2018 |
| Rule formats for nominal process calculi L Aceto, I Fábregas, Á García-Pérez, A Ingólfsdóttir, Y Ortega-Mallén arXiv preprint arXiv:2402.00982, 2024 | 3 | 2024 |
| A unified rule format for bounded nondeterminism in SOS with terms as labels L Aceto, I Fábregas, Á García-Pérez, A Ingólfsdóttir Journal of Logical and Algebraic Methods in Programming 92, 64-86, 2017 | 3 | 2017 |
| Sok: achieving state machine replication in blockchains based on repeated consensus S Bonomi, A Del Pozzo, Á García-Pérez, S Tucci-Piergiovanni arXiv preprint arXiv:2105.13732, 2021 | 2 | 2021 |
| Rule Formats for Nominal Process Calculi L Aceto, I Fábregas, Á García-Pérez, A Ingólfsdóttir, Y Ortega-Mallén arXiv preprint arXiv:1807.02081, 2018 | 2 | 2018 |
| Rule formats for bounded nondeterminism in structural operational semantics L Aceto, Á García-Pérez, A Ingólfsdóttir Semantics, Logics, and Calculi: Essays Dedicated to Hanne Riis Nielson and …, 2016 | 1 | 2016 |
| A standard theory for the pure lambda-value calculus A García-Pérez, P Nogueira 11th International Workshop on Domain Theory and Application, 2014 | 1 | 2014 |
Pablo NogueiraUDIT University of Design, Innovation and TechnologyVerified email at upm.es
