David A. Schmidt

2.7k total citations
51 papers, 1.4k citations indexed

About

David A. Schmidt is a scholar working on Artificial Intelligence, Computational Theory and Mathematics and Electrical and Electronic Engineering. According to data from OpenAlex, David A. Schmidt has authored 51 papers receiving a total of 1.4k indexed citations (citations by other indexed papers that have themselves been cited), including 27 papers in Artificial Intelligence, 20 papers in Computational Theory and Mathematics and 17 papers in Electrical and Electronic Engineering. Recurrent topics in David A. Schmidt's work include Logic, programming, and type systems (21 papers), Advanced MIMO Systems Optimization (16 papers) and Formal Methods in Verification (14 papers). David A. Schmidt is often cited by papers focused on Logic, programming, and type systems (21 papers), Advanced MIMO Systems Optimization (16 papers) and Formal Methods in Verification (14 papers). David A. Schmidt collaborates with scholars based in United States, Germany and Denmark. David A. Schmidt's co-authors include Wolfgang Utschick, Michael L. Honig, Michael Joham, Randall Berry, Changxin Shi, Raphael Hunger, Bernhard Steffen, Markus Müller-Olm, Austin Melton and G. E. Strecker and has published in prestigious journals such as IEEE Transactions on Signal Processing, ACM Computing Surveys and Theoretical Computer Science.

In The Last Decade

David A. Schmidt

49 papers receiving 1.2k 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 A. Schmidt United States 18 661 556 544 466 216 51 1.4k
Krishan Sabnani United States 26 271 0.4× 1.5k 2.7× 643 1.2× 396 0.8× 597 2.8× 71 2.2k
Nikolaj Bjørner United States 21 779 1.2× 664 1.2× 161 0.3× 604 1.3× 511 2.4× 82 1.6k
Bent Thomsen Denmark 12 389 0.6× 161 0.3× 89 0.2× 369 0.8× 154 0.7× 46 697
Clark Barrett United States 17 705 1.1× 184 0.3× 115 0.2× 580 1.2× 409 1.9× 76 1.1k
Alan J. Hu Canada 20 407 0.6× 410 0.7× 399 0.7× 524 1.1× 346 1.6× 73 1.3k
Satrajit Chatterjee United States 20 251 0.4× 305 0.5× 894 1.6× 560 1.2× 132 0.6× 46 1.6k
Patrick Sobalvarro United States 6 410 0.6× 855 1.5× 233 0.4× 124 0.3× 463 2.1× 8 1.4k
René Rydhof Hansen Denmark 13 224 0.3× 255 0.5× 104 0.2× 105 0.2× 170 0.8× 66 641
Carl A. Sunshine United States 12 234 0.4× 424 0.8× 132 0.2× 285 0.6× 144 0.7× 32 740
Riccardo Sisto Italy 19 383 0.6× 681 1.2× 202 0.4× 207 0.4× 125 0.6× 114 1.1k

Countries citing papers authored by David A. Schmidt

Since Specialization
Citations

This map shows the geographic impact of David A. Schmidt'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 A. Schmidt with the expected number of citations based on a country's size and research output (numbers larger than one mean the country cites David A. Schmidt more than expected).

Fields of papers citing papers by David A. Schmidt

Since Specialization
Physical SciencesHealth SciencesLife SciencesSocial Sciences

This network shows the impact of papers produced by David A. Schmidt. 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 A. Schmidt. The network helps show where David A. Schmidt may publish in the future.

Co-authorship network of co-authors of David A. Schmidt

This figure shows the co-authorship network connecting the top 25 collaborators of David A. Schmidt. A scholar is included among the top collaborators of David A. Schmidt 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 A. Schmidt. David A. Schmidt 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.
Schmidt, David A.. (2012). Inverse-limit and topological aspects of abstract interpretation. Theoretical Computer Science. 430. 23–42. 1 indexed citations
2.
Schmidt, David A., Wolfgang Utschick, & Michael L. Honig. (2010). Large System Performance of Interference Alignment in Single-Beam MIMO Networks. 1–6. 19 indexed citations
3.
Hunger, Raphael, David A. Schmidt, Michael Joham, & Wolfgang Utschick. (2008). A general covariance-based optimization framework using orthogonal projections. 4. 76–80. 16 indexed citations
4.
Schmidt, David A., Michael Joham, & Wolfgang Utschick. (2007). Minimum mean square error vector precoding. European Transactions on Telecommunications. 19(3). 219–231. 61 indexed citations
5.
Schmidt, David A., Michael Joham, & Wolfgang Utschick. (2006). Minimum Mean Square Error Vector Precoding. 1. 107–111. 36 indexed citations
6.
Schmidt, David A.. (2006). A calculus of logical relations for over- and underapproximating static analyses. Science of Computer Programming. 64(1). 29–53. 9 indexed citations
7.
Mogensen, Torben Æ., David A. Schmidt, Hal Sudborough, & Neil D. Jones. (2002). The essence of computation : complexity, analysis, transformation : essays dedicated to Neil D. Jones. Springer eBooks. 18 indexed citations
8.
Mogensen, Torben Æ., David A. Schmidt, & I. Hal Sudborough. (2002). The essence of computation: complexity, analysis, transformation. Digital Access to Libraries (Université catholique de Louvain (UCL), l'Université de Namur (UNamur) and the Université Saint-Louis (USL-B)). 31 indexed citations
9.
Müller-Olm, Markus, David A. Schmidt, & Bernhard Steffen. (1999). Model-Checking: A Tutorial Introduction. 69 indexed citations
10.
Schmidt, David A.. (1998). Data flow analysis is model checking of abstract interpretations. 38–48. 103 indexed citations
11.
Banerjee, Anindya & David A. Schmidt. (1998). Stackability in the simply-typed call-by-value lambda calculus. Science of Computer Programming. 31(1). 47–73. 6 indexed citations
12.
Cousot, Radhia & David A. Schmidt. (1996). Static Analysis: Third International Symposium, SAS '96, Aachen, Germany, September 24 - 26, 1996. Proceedings. Medical Entomology and Zoology. 2 indexed citations
13.
Schmidt, David A. & Chjan C. Lim. (1996). Full sign-invertibility and symplectic matrices. Linear Algebra and its Applications. 232. 97–110. 3 indexed citations
14.
Schmidt, David A., et al.. (1990). Category-sorted algebra-based action semantics. Theoretical Computer Science. 77(1-2). 73–95. 6 indexed citations
15.
Schmidt, David A.. (1988). Detecting stack-based environments in denotational definitions. Science of Computer Programming. 11(2). 107–131. 5 indexed citations
16.
Schmidt, David A.. (1987). Denotational Semantics: A Methodology for Language Development by Phil. 2 indexed citations
17.
Main, Michael G., Austin Melton, Michael Mislove, & David A. Schmidt. (1987). Proceedings of the 3rd Workshop on Mathematical Foundations of Programming Language Semantics. 3 indexed citations
18.
Schmidt, David A.. (1986). Denotational Semantics: A Methodology for Language Development. Medical Entomology and Zoology. 342 indexed citations
19.
Brookes, Stephen, Michael G. Main, Austin Melton, Michael Mislove, & David A. Schmidt. (1985). Proceedings of the international conference on Mathematical foundations of programming semantics. 249. 1–490. 2 indexed citations
20.
Schmidt, David A.. (1981). Compiler generation from lambda calculus definitions of programming languages. 38. 38–43. 1 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 Krishan Sabnani Breakdown of academic impact, for papers by Nikolaj Bjørner Breakdown of academic impact, for papers by Bent Thomsen Breakdown of academic impact, for papers by Clark Barrett Breakdown of academic impact, for papers by Alan J. Hu Breakdown of academic impact, for papers by Satrajit Chatterjee Breakdown of academic impact, for papers by Patrick Sobalvarro Breakdown of academic impact, for papers by René Rydhof Hansen Breakdown of academic impact, for papers by Carl A. Sunshine Breakdown of academic impact, for papers by Riccardo Sisto
Rankless by CCL
2026