Martín Zimmermann
About
Martín Zimmermann has authored 149 papers that have received a total of 3.0k indexed citations.
This includes 42 papers in Artificial Intelligence, 41 papers in Computational Theory and Mathematics and 31 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (37 papers), Logic, programming, and type systems (27 papers) and Fungal and yeast genetics research (13 papers). Martín Zimmermann is often cited by papers focused on Formal Methods in Verification (37 papers), Logic, programming, and type systems (27 papers) and Fungal and yeast genetics research (13 papers) and collaborates with scholars based in Germany, United Kingdom and Argentina. Martín Zimmermann's co-authors include Lars M. Blank, Klaus Wolf, Engelbert Schramm, Mario A. Natiello and Victor M. Eguı́luz and has published in prestigious journals such as Physical Review Letters, Journal of Biological Chemistry and Nature Communications
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Chao Wang are co-authored with Top fields papers by Chang‐Jin Lim are about Top countries impacted by papers by Satoshi Ichikawa Top journals papers by Chinna Bathula are published in Top countries impacted by papers by Xi Zhang Top fields papers by Hamid Reza Rezaie are about Top countries impacted by papers by A. S. Siri Top journals papers by P. J. Nolan are published in