Pedro Arturo Góngora Luna

Publicaciones

• Góngora PA and Rosenblueth DA. A symbolic shortest path algorithm for computing subgame-perfect Nash equilibria International Journal of Applied Mathematics and Computer Science. 25:3. 2015.
• Carrillo M, Góngora PA, and Rosenblueth DA. An overview of existing modeling tools making use of model checking in the analysis of biochemical networks. Front. Plant Sci. 3:155. 2012.
• Arellano G, Argil J, Azpeitia E, Benítez M, Carrillo M, Góngora P, Rosenblueth DA and Alvarez-Buylla ER. “Antelope”: a hybrid-logic model checker for branching-time Boolean GRN analysis. BMC Bioinformatics 12:490. 2011.
• Góngora P.A., Ufferman E., and Hernández-Quiroz F. Formal Semantics of a Dynamic Epistemic Logic for Describing Knowledge Properties of π-Calculus Processes. In Proceedings of Computational Logic in Multi-Agent Systems, 11th International Workshop (CLIMA-XI). Lisbon, Portugal, 2010.
• Ufferman E., Góngora P.A., and Hernández-Quiroz F. A Complete Proof System for a Dynamic Epistemic Logic Based upon Finite π-Calculus Processes. In Proceedings of the 8th Conference on Advances in Modal Logic (AiML-2010). Moscow, Russia, 2010.
• Góngora P.A. and Rosenblueth D.A. A Characterization of Mixed-Strategy Nash Equilibria in PCTL Augmented with a Cost Quantifier. In Post-Proceedings of Computational Logic in Multi-Agent Systems, 10th International Workshop (CLIMA-X). Hamburg, Germany, 2009.

Clases

• Lógicas no clásicas 2010-I
  • Temario
  • Apuntes lógica modal
  • Apuntes juegos y PDL
  • Tarea 1
  • Tarea 2
  • Tarea 3
• Teoría de la Computación 2009-II
  • Temario
• Lógicas no clásicas 2009-I
• Análisis Lógico 2008-II
  • Introducción a Haskell (11/mar/2008)
  • Introducción a Haskell (2a. parte) (25/mar/2008)
  • Evaluación de comandos IMP, código adicional: while.hs
  • E/S básica (28/abr/2008)
  • Prolog (entrega 13/jun/2008 por correo)
• Lenguajes de programación 2007-II
  • Introducción a ML
  • Introducción a ML (2a. parte)
  • Introducción a ML (3a. parte)
• Análisis Lógico 2007-I

Otros

• Antelope: A model checker for analyzing and constructing branching-time (e.g, with asynchrony, incomplete specifications, or environment interaction) Boolean GRNs.
• Epistemic Dynamics with Asynchronous π-Calculus. Simposio Latinoamericano de Computación y Filosofía. UNAM. 2009. Con Francisco Hernández-Quiroz.
• Presentación para el taller Logic and its Philosophy, Instituto de investigaciones filosóficas, Junio 4, 2007.
• Computación basada en membranas, resumen para Computabilidad.
• Una lógica dinámica epistémica para la comunicación asíncrona por canales inseguros, tesis de maestría.
• Especificación, verificación y cálculo de estrategias en juegos no cooperativos usando verificación de modelos, tesis de doctorado.
• Mi perfil en Flickr e Instagram

~o~