David A. Rosenblueth

37 papers and 395 indexed citations i.

David A. Rosenblueth has authored 37 papers that have received a total of 395 indexed citations. This includes 18 papers in Artificial Intelligence, 15 papers in Computational Theory and Mathematics and 12 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (12 papers), Gene Regulatory Network Analysis (9 papers) and Logic, programming, and type systems (8 papers). David A. Rosenblueth is often cited by papers focused on Formal Methods in Verification (12 papers), Gene Regulatory Network Analysis (9 papers) and Logic, programming, and type systems (8 papers) and collaborates with scholars based in Mexico, France and Australia. David A. Rosenblueth's co-authors include Carlos Gershenson, Vladimir Estivill‐Castro, René Hexel, Elena Álvarez‐Buylla and Eugenio Azpeitia and has published in prestigious journals such as Bioinformatics, Scientific Reports and Genome Research.