Concepedia

Author

Miguel Carrillo

Universidad Nacional Autónoma de MéxicoORCID

Also Known As

Miguel Carrillo

12

Publications

125

Citations

5

H-Index

15

Concepts

All Affiliations

Universidad Nacional Autónoma de México
MC

About

Miguel Carrillo is an author at Universidad Nacional Autónoma de México specializing in verification, formal verification, and computational biology.

Top Concepts

#ConceptH-IndexPublicationsCitations

1

Engineering

1

1

33

2

Medicine

1

1

33

3

Biochemistry

1

1

33

4

Computer Science

1

1

33

5

Bioenergetics

1

1

33

Miguel Carrillo

×

3

Publications

90

Citations

3

H-Index

YearCitations

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

Gustavo Arellano, Julián Argil, Eugenio Azpeitia,

BMC Bioinformatics

2011

39

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

Griffin: A Tool for Symbolic Inference of Synchronous Boolean Molecular Networks

Stalin Muñoz, Miguel Carrillo, Eugenio Azpeitia,

Frontiers in Genetics

2018

18

Page 1