Publications

Research

Journal Articles

• Jesús Mauricio Andrade Guzmán, Francisco Hernández-Quiroz, “Natural Deduction and Semantic Models of Justification Logic in the Proof Assistant COQ”, Logic Journal of the IGPL 28.6 (2020), pp. 1077–1092. doi.


• Santiago Hernández-Orozco, Francisco Hernández-Quiroz, Hector Zenil, Wilfried Sieg, “Shortening of Proof Length is Elusive for Theorem Provers”, Parallel Processing Letters 30.4 (2020). doi.


• Rodrigo Medina-Vega, Francisco Hernández-Quiroz, Fernando R. Velázquez-Quesada, “Minimal Abductive Solutions with Explicit Justification”, Logic Journal of the IGPL (2020). doi.


• Hector Zenil, Liliana Badillo, Santiago Hernández-Orozco, Francisco Hernández-Quiroz, “Coding-theorem Like Behaviour and Emergence of the Universal Distribution from Resource-bounded Algorithmic Probability”, International Journal of Parallel, Emergent and Distributed Systems 34.2 (2019), pp. 161–180. doi.


• Santiago Hernández-Orozco, Francisco Hernández-Quiroz, Héctor Zenil, “Undecidability and Irreducibility Conditions for Open-Ended Evolution and Emergence”, Artificial Life 24.1 (2018), pp. 56–70. doi.


• Miguel Morales-Trujillo, Hanna Oktaba, Francisco Hernández-Quiroz, Boris Escalante-Ramírez, “Towards a Formalization of a Framework to Express and Reason about Software Engineering Methods”, Computing and Informatics 37.1 (2018), 109–141. doi.


• Eduardo Espinosa-Avila, Pablo Padilla-Longoria, Francisco Hernández-Quiroz, “Game theory and dynamic programming in alternate games”, Journal of Dynamics and Games 4.3 (2017), pp. 205–216. doi.


• Jorge Luis Ortega-Arjona, Francisco Hernández-Quiroz, “Formal Verification for the Absence of Deadlock in the Manager Workers Pattern”, Research in Computing Science 45 (2011), pp. 73–84.


• J.N. Argota Quiróz et al., “Biological implementation of algorithms and unconventional computing”, IET Synthetic Biology 1.1-2 (2007), pp. 59–60. doi.


• Francisco Hernández-Quiroz, Raymundo Morado, “Hilbert, Turing y la noción de procedimiento efectivo”, Ludus Vitalis 14.26 (2006), pp. 117–127. url.


• Raymundo Morado, Francisco Hernández-Quiroz, “Some Assumptions about Problem Solving Representation in Turing’s Model of Intelligence”, tripleC: Cognition, Computation and Cooperation 4.2 (2006), pp. 136–142. doi.

Chapters in Edited Volumes

• Francisco Hernández-Quiroz, “Logics of programs as a fuelling force for semantics”, Logic and Philosophy of Logic: Recent Trends in Latin America and Spain, Max A. Freund, Max Fernández de Castro, Marco Ruffino (eds.), vol. 78, Studies in Logic, College Publications, 2018, pp. 273–280.


• Alberto Hernández-Espinosa, Francisco Hernández-Quiroz, “Does the Principle of Computational Equivalence overcome the objections against Computationalism?”, Computing Nature. Turing Centenary Perspective, Gordana Dodig-Crnkovic, Raffaela Giovagnoli (eds.), vol. 7, Studies in Applied Philosophy, Epistemology and Rational Ethics, Springer, 2013, pp. 225–233. doi.


• Francisco Hernández-Quiroz, Pablo Padilla, “Some constraints on the physical realizability of a mathematical construction”, Computing Nature. Turing Centenary Perspective, Gordana Dodig-Crnkovic, Raffaela Giovagnoli (eds.), vol. 7, Studies in Applied Philosophy, Epistemology and Rational Ethics, Springer, 2013, pp. 235–240. doi.


• Francisco Hernández-Quiroz, Raymundo Morado, “Presupuestos del modelo clásico de la inteligencia mecánica”, El saber filosófico. Sociedad y ciencia, J. Martínez Contreras, Aura Ponce de León (eds.), vol. 2, Siglo XXI-Asociación Filosófica de México, 2007, pp. 331–320.


• Héctor Zenil, Francisco Hernández-Quiroz, “On the Possible Computational Power of the Human Mind”, Worldviews, Science and Us. Philosophy and Complexity, Carlos Gershenson, Diederik Aerts, Bruce Edmonds (eds.), World Scientific, 2007, pp. 315–337. doi.

Conference Proceedings

• Alberto Hernández-Espinosa, Francisco Hernández-Quiroz, Héctor Zenil, “Is there any Real Substance to the Claims for a ‘New Computationalism’?”, Unveiling Dynamics and Complexity, 13th Conference on Computability in Europe, CiE 2017 (Turku, Finland), Jarkko Kari, Florin Manea, Ion Petre (eds.), vol. 10307, Lecture Notes in Computer Science, Springer, 2017, pp. 14–23. doi.


• Santiago Hernández-Orozco, Francisco Hernández-Quiroz, Héctor Zenil, “The Limits of Decidable States on Open-Ended Evolution and Emergence”, Proceedings of the Fifteenth International Conference on the Synthesis and Simulation of Living Systems, C. Gershenson, Tom Froese, MIT Press, 2016, pp. 200–207. doi.


• Eduardo Espinosa-Avila, Francisco Hernández-Quiroz, “Bounded rationality in dynamic alternate games”, Proceedings of the 14th Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Chennai, India, January 7–9, 2013, Burkhard C. Schipper (ed.), TARK, 2013, pp. 77–83, ISBN: 978-0-615-74716-3. url.


• Pedro Góngora, Eric Ufferman, Francisco Hernández-Quiroz, “Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes”, Computational Logic in Multi-Agent Systems, 11th International Workshop, CLIMA XI (Lisbon, Portugal), Jürgen Dix, João Leite, Guido Governatori, Wojtek Jamroga (eds.), vol. 6245, Lecture Notes in Artificial Intelligence, Springer, 2010, pp. 65–81. doi.


• Eric Ufferman, Pedro Arturo Góngora, Francisco Hernández-Quiroz, “A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite π-Calculus Processes”, Advances in Modal Logic (Moscow, Russia), Lev Beklemishev, Valentin Goranko, Valentin Shehtman, vol. 8, College Publications, 2010, pp. 470–482.


• Fernando Velázquez, Francisco Hernández-Quiroz, “Some Semantics for a Logical Language for the Game of Dominoes”, Artificial intelligence and applications (AIA 2006), M.H. Hamza (ed.), Acta Press, 2006, pp. 293–298.


• Francisco Hernández-Quiroz, Raymundo Morado, “Some assumptions about problem solving method in Turing’s model of intelligence”, Computational Intelligence, M.H. Hamza (ed.), Acta Press, 2005, pp. 354–358.


• Francisco Hernández-Quiroz, “Full abstraction for Gamma”, 5th Mexican International Conference in Computer Science (ENC 2004), R. Baeza-Yates, J.L. Marroquín, E. Chávez (ed.), Los Alamitos, IEEE Computer Society, 2004, pp. 20–26. doi.


• Francisco Hernández-Quiroz, “Pipelining Transformation with a Multiset Logic”, Memoria del 3er. Encuentro Internacional de Ciencias de la Computación, ENC 01, C. Zozaya, M. Mejía, P. Noriega, A. Sánchez (eds.), SMCC-INEGI, 2001, pp. 783–792.

Short Papers (non-indexed)

• Francisco Hernández-Quiroz, “Computational and Human Mind Models”, The Computational Turn: Past, Presents, Futures?—Proceedings IACAP 2011, Charles Ess, Ruth Hagengruber (ed.), MV-Wissenschaft, 2011, pp. 117–119.


• Francisco Hernández-Quiroz, Raymundo Morado, “Unbounded effectiveness: Turing’s departure from Hilbert’s desiderata”, Models of Computation in Context: 7th Conference on Computability in Europe, CiE 2011, Hristo Ganchev, Benedikt Löwe, Dag Normann, Ivan Soskov, Mariya Soskova, St. Kliment Ohridski University Press, 2011, pp. 166–173.


• Francisco Hernández Quiroz, “La enseñanza de la lógica en ciencias de la computación”, La razón comunicada IV, J.A. Amor Montaño (ed.), Academia Mexicana de Lógica, 2005, pp. 63–70.


• Fernando Raymundo Velázquez-Quesada, Francisco Hernández-Quiroz, “A Logical Language for Dominoes”, Logic for Programming in Artificial Intelligence and Reasoning (LPAR 2005). Short Papers, Geoff Sutcliffe, Andrei Voronkov (ed.), 2005, pp. 38–42. url.

Edited Volumes

• A.-H. Dediu, F. Hernández-Quiroz, C. Martín-Vide, D.A. Rosenblueth (eds.), Algorithms for Computational Biology. Second International Conference, vol. 9199, Lecture Notes in Bioinformatics, Springer Verlag, 2015. doi.

Other

• Francisco Hernández-Quiroz, “Computadoras universales en nuestra vida diaria”, Ciencia. Revista de la Academia Mexicana de Ciencias 64.4 (2013).


• Sergio Rajsbaum, Francisco Hernández-Quiroz (eds.), Ciencia. Revista de la Academia Mexicana de Ciencias. Alan Turing y la Computación, vol. 64, 4, 2013.

Unpublished

• Francisco Hernández-Quiroz, A Semantics-Based Proof System for Gamma, PhD thesis, Imperial College, London, 1999. Electronic version.