Pedro Arturo Góngora

Statistics

Publications

Citations

H-Index

Active since

2011

Affiliations

Universidad Nacional Autónoma de México(Current)

Pedro Arturo Góngora is an author at Universidad Nacional Autónoma de México specializing in model checking, formal methods, and temporal specifications.

Publications per year

2011–2012

Publications

"Antelope": a hybrid-logic model checker for branching-time Boolean GRN analysis

Gustavo Arellano, Julián Argil, Eugenio Azpeitia et al. · BMC Bioinformatics · 2011 · 40 citations · Full text

Computing, Computer Science, Biological Systems Modeling +16

An overview of existing modeling tools making use of model checking in the analysis of biochemical networks

Miguel Carrillo, Pedro Arturo Góngora, David A. Rosenblueth · Frontiers in Plant Science · 2012 · 33 citations · Full text

Engineering, Bioinformatics, Computational Biology +13

1–2 of 2