David K. Probst

779 total citations
25 papers, 328 citations indexed

About

David K. Probst is a scholar working on Electrical and Electronic Engineering, Computer Networks and Communications and Computational Theory and Mathematics. According to data from OpenAlex, David K. Probst has authored 25 papers receiving a total of 328 indexed citations (citations by other indexed papers that have themselves been cited), including 7 papers in Electrical and Electronic Engineering, 6 papers in Computer Networks and Communications and 5 papers in Computational Theory and Mathematics. Recurrent topics in David K. Probst's work include Distributed systems and fault tolerance (4 papers), Experimental Learning in Engineering (4 papers) and Parallel Computing and Optimization Techniques (4 papers). David K. Probst is often cited by papers focused on Distributed systems and fault tolerance (4 papers), Experimental Learning in Engineering (4 papers) and Parallel Computing and Optimization Techniques (4 papers). David K. Probst collaborates with scholars based in United States, Canada and Sweden. David K. Probst's co-authors include Kenneth L. McMillan, Ahmed Bouajjani, Claire Loiseaux, Joseph Sifakis, Saddek Bensalem, Susanne Graf, Vangalur Alagar, H.F. Li, Yumin Zhang and Richard J. Blackwell 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

David K. Probst

20 papers receiving 288 citations

Peers — A (Enhanced Table)

Peers by citation overlap · career bar shows stage (early→late) cites · hero ref

Name h Career Trend Papers Cites
David K. Probst United States 5 258 122 119 53 40 25 328
Judi Romijn Netherlands 10 213 0.8× 104 0.9× 92 0.8× 78 1.5× 49 1.2× 22 283
Ruurd Kuiper Netherlands 10 306 1.2× 105 0.9× 272 2.3× 54 1.0× 82 2.0× 40 417
Rob Gerth Netherlands 11 391 1.5× 186 1.5× 247 2.1× 75 1.4× 64 1.6× 29 453
Henrik Reif Andersen Denmark 9 226 0.9× 116 1.0× 160 1.3× 32 0.6× 29 0.7× 20 278
Jiřı́ Srba Denmark 9 231 0.9× 67 0.5× 186 1.6× 31 0.6× 85 2.1× 68 353
Éric Badouel France 11 342 1.3× 65 0.5× 160 1.3× 39 0.7× 129 3.2× 33 404
Bas Luttik Netherlands 9 209 0.8× 50 0.4× 151 1.3× 27 0.5× 35 0.9× 44 244
Richard Raimi United States 4 318 1.2× 201 1.6× 138 1.2× 137 2.6× 44 1.1× 6 418
David de Frutos Escrig Spain 10 201 0.8× 37 0.3× 102 0.9× 26 0.5× 73 1.8× 38 258
Marius Minea United States 12 236 0.9× 163 1.3× 90 0.8× 175 3.3× 88 2.2× 24 414

Countries citing papers authored by David K. Probst

Since Specialization
Citations

This map shows the geographic impact of David K. Probst's research. It shows the number of citations coming from papers published by authors working in each country. You can also color the map by specialization and compare the number of citations received by David K. Probst with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David K. Probst more than expected).

Fields of papers citing papers by David K. Probst

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by David K. Probst. Nodes represent research fields, and links connect fields that are likely to share authors. Colored nodes show fields that tend to cite the papers produced by David K. Probst. The network helps show where David K. Probst may publish in the future.

Co-authorship network of co-authors of David K. Probst

This figure shows the co-authorship network connecting the top 25 collaborators of David K. Probst. A scholar is included among the top collaborators of David K. Probst based on the total number of citations received by their joint publications. Widths of edges represent the number of papers authors have co-authored together. Node borders signify the number of papers an author published with David K. Probst. David K. Probst is excluded from the visualization to improve readability, since they are connected to all nodes in the network.

All Works

20 of 20 papers shown
1.
2.
Probst, David K., et al.. (2020). Stepping Stones in Learning Electromagnetics. 25.1175.1–25.1175.6. 1 indexed citations
3.
Probst, David K., et al.. (2020). Preliminary Results Of Using Personal Response Systems (Clickers) In A Conceptual Physics Course. Papers on Engineering Education Repository (American Society for Engineering Education). 13.994.1–13.994.8. 2 indexed citations
4.
Zhang, Yumin & David K. Probst. (2020). Blessing Or Curse, Teaching With Cad Software. Papers on Engineering Education Repository (American Society for Engineering Education). 15.235.1–15.235.7. 1 indexed citations
5.
Probst, David K.. (2020). Effectiveness Of Using Personal Response Systems In A Conceptual Physics Course. 14.521.1–14.521.10. 2 indexed citations
6.
Zhang, Yumin & David K. Probst. (2018). Thinking and Understanding from Writing. 1 indexed citations
7.
Zhang, Yumin & David K. Probst. (2016). Introducing Physics Concepts with Illustrative Stories. 1 indexed citations
8.
Probst, David K.. (2011). The provably terminating operations of the subsystem PETJ of explicit mathematics. Annals of Pure and Applied Logic. 162(11). 934–947. 5 indexed citations
9.
Probst, David K., et al.. (1997). Advances in Hardware Design and Verification. IFIP advances in information and communication technology. 5 indexed citations
10.
Loiseaux, Claire, Susanne Graf, Joseph Sifakis, et al.. (1995). Property preserving abstractions for the verification of concurrent systems. Formal Methods in System Design. 6(1). 11–44. 150 indexed citations
11.
McMillan, Kenneth L. & David K. Probst. (1995). A technique of state space search based on unfolding. Formal Methods in System Design. 6(1). 45–65. 130 indexed citations
12.
13.
Probst, David K.. (1993). Avoiding and tolerating latency in large-scale next-generation shared-memory multiprocessors. NASA Technical Reports Server (NASA). 1 indexed citations
14.
Probst, David K., et al.. (1992). A simple modern correctness condition for a space-based high-performance multiprocessor. NASA Technical Reports Server (NASA). 1 indexed citations
15.
Probst, David K., et al.. (1992). Demonstration of an integrated, active 4*4 photonic crossbar (for avionic systems). IEEE Photonics Technology Letters. 4(10). 1139–1141. 10 indexed citations
16.
Bochmann, Gregor von & David K. Probst. (1992). Proceedings of the Fourth International Workshop on Computer Aided Verification. 1 indexed citations
17.
Li, H.F. & David K. Probst. (1990). Optimal VLSI dictionary machines without compress instructions. IEEE Transactions on Computers. 39(5). 676–693. 2 indexed citations
18.
Probst, David K. & H.F. Li. (1988). Abstract specification of synchronous data types for VLSI and proving the correctness of systolic network implementations. IEEE Transactions on Computers. 37(6). 710–720. 4 indexed citations
19.
Alagar, Vangalur & David K. Probst. (1987). A fast, low-space algorithm for multiplying dense multivariate polynomials. ACM Transactions on Mathematical Software. 13(1). 35–57. 4 indexed citations
20.
Probst, David K. & Vangalur Alagar. (1979). A Family of Algorithms for Powering Sparse Polynomials. SIAM Journal on Computing. 8(4). 626–644. 3 indexed citations

Rankless uses publication and citation data sourced from OpenAlex, an open and comprehensive bibliographic database. While OpenAlex provides broad and valuable coverage of the global research landscape, it—like all bibliographic datasets—has inherent limitations. These include incomplete records, variations in author disambiguation, differences in journal indexing, and delays in data updates. As a result, some metrics and network relationships displayed in Rankless may not fully capture the entirety of a scholar's output or impact.

Explore authors with similar magnitude of impact

Breakdown of academic impact, for papers by Judi Romijn Breakdown of academic impact, for papers by Ruurd Kuiper Breakdown of academic impact, for papers by Rob Gerth Breakdown of academic impact, for papers by Henrik Reif Andersen Breakdown of academic impact, for papers by Jiřı́ Srba Breakdown of academic impact, for papers by Éric Badouel Breakdown of academic impact, for papers by Bas Luttik Breakdown of academic impact, for papers by Richard Raimi Breakdown of academic impact, for papers by David de Frutos Escrig Breakdown of academic impact, for papers by Marius Minea
Rankless by CCL
2026