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 | 26 | 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 | 15 | 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 | 15 | 2007 |

The Limits of Decidable States on Open-Ended Evolution and Emergence H Zenil, F Hernndez-Quiroz, S Hernndez-Quiroz Artificial Life Conference Proceedings 13, 200-207, 2016 | 6* | 2016 |

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 |

Does the Principle of Computational Equivalence overcome the objections against Computationalism? A Hernández-Espinosa, F Hernández-Quiroz Computing Nature, 225-233, 2013 | 2 | 2013 |

Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of *π*-Calculus ProcessesPA Góngora, E Ufferman, F Hernández-Quiroz International Workshop on Computational Logic in Multi-Agent Systems, 65-81, 2010 | 2 | 2010 |

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 | 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 Short paper at 12th LPAR, 2005 | 2 | 2005 |

Is there any Real Substance to the Claims for a ‘New Computationalism’? A Hernández-Espinosa, F Hernández-Quiroz, H Zenil Conference on Computability in Europe, 14-23, 2017 | 1 | 2017 |

Game theory and dynamic programming in alternate games E Espinosa-Avila, PP Longoria, F Hernández-Quiroz Journal of Dynamics & Games 4 (3), 205, 2017 | 1 | 2017 |

Hilbert, Turing y la noción de procedimiento efectivo F Hernández-Quiroz, R Morado Ludus Vitalis 14 (26), 117-127, 2016 | 1 | 2016 |

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 | 1* | 2015 |

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 |

Some Assumptions about Problem Solving Method in Turing's Model of Intelligence. FH Quiroz, R Morado Computational Intelligence, 354-358, 2005 | 1 | 2005 |

Shortening of Proof Length is Elusive for Theorem Provers S Hernández-Orozco, F Hernández-Quiroz, H Zenil, W Sieg Parallel Processing Letters 30 (04), 2050013, 2020 | | 2020 |

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 | | 2020 |