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
side by side view
Countries citing papers authored by David K. Probst
Since SpecializationCitations
Explore authors with similar magnitude of impact
Breakdown of academic impact, for papers by Yu-Cherng Hung Breakdown of academic impact, for papers by Robert C. Stone Breakdown of academic impact, for papers by Signe Vikkelsø Breakdown of academic impact, for papers by D. Glickson Breakdown of academic impact, for papers by Norbert Weber Breakdown of academic impact, for papers by Dix Meiberth Breakdown of academic impact, for papers by Antonio Rafael Sabino Parmezan Breakdown of academic impact, for papers by Sivanand Krishnan