Martín Steffen
About
Martín Steffen has authored 100 papers that have received a total of 3.5k indexed citations.
This includes 34 papers in Molecular Biology, 20 papers in Computational Theory and Mathematics and 18 papers in Artificial Intelligence. The topics of these papers are Formal Methods in Verification (15 papers), Logic, programming, and type systems (14 papers) and Bioinformatics and Genomic Networks (7 papers). Martín Steffen is often cited by papers focused on Formal Methods in Verification (15 papers), Logic, programming, and type systems (14 papers) and Bioinformatics and Genomic Networks (7 papers) and collaborates with scholars based in United States, Germany and Norway. Martín Steffen's co-authors include Steven G. Boxer, Simon Kasif, Phillips W. Robbins, John Samuelson and Brian P. Anton and has published in prestigious journals such as Science, Cell and Proceedings of the National Academy of Sciences
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Gerald R. Reeck are co-authored with Top fields papers by Bernhard Knapp are about Top authors papers by Yong Hu are co-authored with Top journals papers by Fanghua Lin are published in Top fields papers by David L. Nelson are about Top countries impacted by papers by Cleon W. Goodwin Top journals papers by Martine Denis are published in Top authors papers by C. Patrick Burns are co-authored with