David L. Dill
About
David L. Dill has authored 99 papers that have received a total of 6.3k indexed citations.
This includes 41 papers in Computational Theory and Mathematics, 32 papers in Hardware and Architecture and 31 papers in Molecular Biology. The topics of these papers are Formal Methods in Verification (38 papers), Embedded Systems Design Techniques (19 papers) and Radiation Effects in Electronics (13 papers). David L. Dill is often cited by papers focused on Formal Methods in Verification (38 papers), Embedded Systems Design Techniques (19 papers) and Radiation Effects in Electronics (13 papers) and collaborates with scholars based in United States, Canada and Belgium. David L. Dill's co-authors include Ming Zheng, Gary Peltz, Debashis Sahoo, Jerry R. Burch and Sylvia K. Plevritis and has published in prestigious journals such as Proceedings of the National Academy of Sciences, Nucleic Acids Research and Nature Communications
In The Last Decade
Explore authors with similar magnitude of impact
Top authors papers by Elisa Riedo are co-authored with Top countries impacted by papers by Mahdi Shariati Top journals papers by J. B. Lowenstern are published in Top fields papers by Rafał Pawliński are about Top journals papers by Sergei Gukov are published in Top fields papers by Frank Baeyens are about Top countries impacted by papers by C V Ruckley Top authors papers by Suman Pokhrel are co-authored with