| Coding-theorem like behaviour and emergence of the universal distribution from resource-bounded algorithmic probability H Zenil, L Badillo, S Hernández-Orozco, F Hernández-Quiroz International Journal of Parallel, Emergent and Distributed Systems 34 (2 …, 2019 | 41 | 2019 |
| Undecidability and irreducibility conditions for open-ended evolution and emergence S Hernández-Orozco, F Hernández-Quiroz, H Zenil Artificial Life 24 (1), 56-70, 2018 | 34 | 2018 |
| On the possible computational power of the human mind H Zenil, F Hernandez-Quiroz Worldviews, Science and Us: Philosophy and Complexity, 315-337, 2007 | 19 | 2007 |
| The limits of decidable states on open-ended evolution and emergence S Hernández-Orozco, F Hernández-Quiroz, H Zenil Fifteenth International Conference on the Synthesis and Simulation of Living …, 2016 | 9* | 2016 |
| Computable model discovery and high-level-programming approximations to algorithmic complexity V Lemus, E Acuña-Yeomans, V Zamora, F Hernández-Quiroz, H Zenil Theoretical Computer Science 927, 31-41, 2022 | 4 | 2022 |
| Natural deduction and semantic models of justification logic in the proof assistant Coq JM Andrade Guzmán, F Hernández Quiroz Logic Journal of the IGPL 28 (6), 1077-1092, 2020 | 4 | 2020 |
| Towards a formalization of a framework to express and reason about software engineering methods M Morales-Trujillo, H Oktaba, F Hernández-Quiroz, B Escalante-Ramírez Computing and Informatics 37 (1), 109-141, 2018 | 3 | 2018 |
| Is there any real substance to the claims for a ‘new computationalism’? A Hernández-Espinosa, F Hernández-Quiroz, H Zenil Unveiling Dynamics and Complexity: 13th Conference on Computability in …, 2017 | 3 | 2017 |
| A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite pi-Calculus Processes. E Ufferman, PA Góngora, FH Quiroz Advances in Modal Logic, 470-482, 2010 | 3 | 2010 |
| Game theory and dynamic programming in alternate games. E Espinosa-Avila, PP Longoria, F Hernández-Quiroz Journal of Dynamics & Games 4 (3), 2017 | 2 | 2017 |
| Algorithms for Computational Biology: Second International Conference, AlCoB 2015, Mexico City, Mexico, August 4-5, 2015, Proceedings AH Dediu, F Hernández-Quiroz, C Martín-Vide, DA Rosenblueth Springer, 2015 | 2* | 2015 |
| Does the Principle of Computational Equivalence overcome the objections against Computationalism? A Hernández-Espinosa, F Hernández-Quiroz Computing Nature: Turing Centenary Perspective, 225-233, 2013 | 2 | 2013 |
| Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes PA Góngora, E Ufferman, F Hernández-Quiroz International Workshop on Computational Logic in Multi-Agent Systems, 65-81, 2010 | 2 | 2010 |
| Some Semantics for a Logical Language for the Game of Dominoes. FR Velázquez-Quesada, FH Quiroz Artificial Intelligence and Applications, 293-298, 2006 | 2 | 2006 |
| Some assumptions about problem solving representation in Turing’s model of intelligence R Morado, F Hernández-Quiroz tripleC: Communication, Capitalism & Critique. Open Access Journal for a …, 2006 | 2 | 2006 |
| A Logical Language for Dominoes FR Velázquez-Quesada, F Hernández-Quiroz LPAR-12, 38, 2005 | 2 | 2005 |
| Hilbert, Turing y la noción de procedimiento efectivo F Hernández-Quiroz, R Morado Ludus Vitalis 14 (26), 117-127, 2016 | 1 | 2016 |
| Rare speed-up in automatic theorem proving reveals tradeoff between computational time and information value S Hernández-Orozco, F Hernández-Quiroz, H Zenil, W Sieg arXiv preprint arXiv:1506.04349, 2015 | 1 | 2015 |
| Bounded rationality in a dynamic alternate game E Espinosa-Avila, F Hernández-Quiroz arXiv preprint arXiv:1310.6411, 2013 | 1 | 2013 |
| COMPUTATIONAL AND HUMAN MIND MODELS F HERNÁNDEZ-QUIROZ The Computational Turn: Past, Presents, Futures?, 2011 | 1 | 2011 |
Hector ZenilAssociate Professor @ King’s College London & AI Advisor @ The Alan Turing InstituteVerified email at cs.ox.ac.uk
