| 1 | Justification Logic and the Epistemic Contribution of Deduction | 2ᵒ autor y autor de correspondencia: Hernández-Quiroz, F, Hernández, NAN | 2024 | Logic and Logical Philosophy | WoS-id: 001180412800001
Scopus-id: 2-s2.0-85202925875
| 0 | 0 |
| 2 | An Additively Optimal Interpreter for Approximating Kolmogorov Prefix Complexity | Coautor y autor de correspondencia: Hernandez-Quiroz F., Leyva-Acosta Z., Acuña Yeomans E. | 2024 | ENTROPY | WoS-id: 001323529500001
Scopus-id: 2-s2.0-85205261760
| 0 | 0 |
| 3 | Computable model discovery and high-level-programming approximations to algorithmic complexity | Coautor: Hernandez-Quiroz, Francisco, Lemus, Vladimir, Acuña-Yeomans E., Zamora, Victor, et al. | 2022 | THEORETICAL COMPUTER SCIENCE | WoS-id: 000880418500003
Scopus-id: 2-s2.0-85133285078
| 1 | 1 |
| 4 | Minimal abductive solutions with explicit justification | 2ᵒ autor: Hernandez-Quiroz, Francisco, Medina-Vega, Rodrigo, Velazquez-Quesada, Fernando R. | 2021 | Logic Journal Of The Igpl | WoS-id: 000734403000006
Scopus-id: 2-s2.0-85126931500
| 0 | 0 |
| 5 | Natural deduction and semantic models of justification logic in the proof assistant COQ | 2ᵒ autor y autor de correspondencia: Hernandez Quiroz, Francisco, Andrade Guzman, Jesus Mauricio | 2020 | Logic Journal Of The Igpl | WoS-id: 000595483300002
Scopus-id: 2-s2.0-85097493602
| 2 | 2 |
| 6 | Shortening of Proof Length is Elusive for Theorem Provers | 2ᵒ autor: Hernandez-Quiroz, Francisco, Hernandez-Orozco, Santiago, Zenil, Hector, Sieg, Wilfried | 2020 | Parallel Processing Letters | WoS-id: 000610459200002
Scopus-id: 2-s2.0-85099080471
| 0 | 0 |
| 7 | Coding-theorem like behaviour and emergence of the universal distribution from resource-bounded algorithmic probability | Coautor: Hernandez-Quiroz, Francisco, Zenil, Hector, Badillo, Liliana, Hernandez-Orozco, Santiago | 2019 | INTERNATIONAL JOURNAL OF PARALLEL EMERGENT AND DISTRIBUTED SYSTEMS | WoS-id: 000469876600001
Scopus-id: 2-s2.0-85045040805
| 17 | 13 |
| 8 | Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence | 2ᵒ autor: Hernandez-Quiroz, Francisco, Hernandez-Orozco, Santiago, Zenil, Hector | 2018 | ARTIFICIAL LIFE | WoS-id: 000424877500006
Scopus-id: 2-s2.0-85042761666
| 13 | 14 |
| 9 | TOWARDS A FORMALIZATION OF A FRAMEWORK TO EXPRESS AND REASON ABOUT SOFTWARE ENGINEERING METHODS | Coautor: Hernandez-Quiroz, Francisco, Morales-Trujillo, Miguel, Oktaba, Hanna, Escalante-Ramirez, Boris | 2018 | COMPUTING AND INFORMATICS | WoS-id: 000435608400005
Scopus-id: 2-s2.0-85047756210
| 1 | 4 |
| 10 | GAME THEORY AND DYNAMIC PROGRAMMING IN ALTERNATE GAMES | Coautor y autor de correspondencia: Hernandez-Quiroz, Francisco, Espinosa-Avila, Eduardo, Padilla Longoria, Pablo | 2017 | Journal Of Dynamics And Games | WoS-id: 000410731600003
Scopus-id: 2-s2.0-85044312612
| 0 | 1 |
| 11 | Is there any real substance to the claims for a ?new computationalism?? | 2ᵒ autor: Hernández-Quiroz F., Hernández-Espinosa A., Zenil H. | 2017 | Lecture Notes in Computer Science | WoS-id: 000446994000002
Scopus-id: 2-s2.0-85020869218
| 1 | 2 |
| 12 | Preface | 2ᵒ autor: Hernández-Quiroz F., Dediu A.-H., Martín-Vide C., Rosenblueth D.A. | 2015 | Lecture Notes in Computer Science | Scopus-id: 2-s2.0-84951177867
| 0 | 0 |
| 13 | Algorithms for Computational Biology: Second international conference, AlCoB 2015 Mexico City, Mexico, August 4-5, 2015 proceedings | 2ᵒ autor: Hernández-Quiroz F., Dediu A.-H., Martín-Vide C., Rosenblueth D.A. | 2015 | Lecture Notes in Computer Science | Scopus-id: 2-s2.0-84951205412
| 0 | 0 |
| 14 | Does the principle of computational equivalence overcome the objections against computationalism? | 2ᵒ autor y autor de correspondencia: Hernández-Quiroz, F., Hernández-Espinosa, A. | 2013 | Studies In Applied Philosophy, Epistemology And Rational Ethics | Scopus-id: 2-s2.0-85019680634
| 0 | 1 |
| 15 | Some constraints on the physical realizability of a mathematical construction | 1ᵉʳ autor: Hernández-Quiroz F., Padilla P. | 2013 | Studies In Applied Philosophy, Epistemology And Rational Ethics | Scopus-id: 2-s2.0-85019759216
| 0 | 0 |
| 16 | Formal semantics of a dynamic epistemic logic for describing knowledge properties of p-calculus processes | Coautor y autor de correspondencia: Hernández-Quiroz F., Góngora P.A., Ufferman E. | 2010 | Lecture Notes in Computer Science | Scopus-id: 2-s2.0-77956518138
| 0 | 1 |
| 17 | Some semantics for a logical language for the game of dominoes | 2ᵒ autor y autor de correspondencia: Hernández-Quiroz F., Velázquez-Quesada F.R. | 2006 | Proceedings Of The Iasted International Conference On Artificial Intelligence And Applications, Aia 2006 | Scopus-id: 2-s2.0-38049162482
| 0 | 0 |
ID's SCOPUS 
ORCID's 