David K. Probst
About
David K. Probst has authored 14 papers that have received a total of 229 indexed citations.
This includes 5 papers in Electrical and Electronic Engineering, 5 papers in Computational Theory and Mathematics and 3 papers in Artificial Intelligence. The topics of these papers are Optical Network Technologies (3 papers), Formal Methods in Verification (2 papers) and Advanced Photonic Communication Systems (2 papers). David K. Probst is often cited by papers focused on Optical Network Technologies (3 papers), Formal Methods in Verification (2 papers) and Advanced Photonic Communication Systems (2 papers) and collaborates with scholars based in Canada, United States and France. David K. Probst's co-authors include Vangalur Alagar, H.F. Li, R. Rice, Joseph Sifakis and Kenneth L. McMillan and has published in prestigious journals such as IEEE Transactions on Computers, SIAM Journal on Computing and IEEE Photonics Technology Letters
In The Last Decade
Explore authors with similar magnitude of impact
Top countries impacted by papers by Catherine Jarvis Top fields papers by Qussay Marashly are about Top fields papers by Kwame Bediako are about Top authors papers by Linda Tang are co-authored with Top authors papers by Mohammed Moursi are co-authored with Top journals papers by Chengyang Ji are published in Top countries impacted by papers by Eva M. González‐Barberá Top authors papers by Karsten Eilertsen are co-authored with