Carolyn Talcott
About
Carolyn Talcott has authored 96 papers that have received a total of 1.2k indexed citations.
This includes 51 papers in Artificial Intelligence, 36 papers in Computational Theory and Mathematics and 34 papers in Computer Networks and Communications. The topics of these papers are Logic, programming, and type systems (31 papers), Formal Methods in Verification (26 papers) and Logic, Reasoning, and Knowledge (25 papers). Carolyn Talcott is often cited by papers focused on Logic, programming, and type systems (31 papers), Formal Methods in Verification (26 papers) and Logic, Reasoning, and Knowledge (25 papers) and collaborates with scholars based in United States, Germany and The Netherlands. Carolyn Talcott's co-authors include Ian A. Mason, Malabika Sarker, Merrill Knapp, Grit Denker and Mark-Oliver Stehr and has published in prestigious journals such as Journal of the American Chemical Society, PLoS ONE and Genome biology
In The Last Decade
Explore authors with similar magnitude of impact
Top journals papers by Lee W. Cohnstaedt are published in Top fields papers by F. O. Schumann are about Top fields papers by Reza Tabrizchi are about Top journals papers by Mario Rubiralta are published in Top fields papers by Omri Ben‐Shahar are about Top authors papers by Caleb Rutledge are co-authored with Top authors papers by Luigi Liotta are co-authored with Top authors papers by Vanessa Rousseau are co-authored with