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 Shyeh Tjing Loi Top fields papers by Eva M. González‐Barberá are about Top journals papers by Rafael De Cicco are published in Top authors papers by Jessica Chan are co-authored with Top fields papers by Károly Fiala are about Top authors papers by Pengzhan Wang are co-authored with Top authors papers by W. Newall are co-authored with Top fields papers by James W. Leiphart are about