Compiler generation from denotational semantics. - Neil D. Jones; David A. Schmidt (Semantics-Directed Compiler Generation, 1980)

Approximation Properties of Abstract Data Types. - David A. Schmidt (Theor. Comput. Sci., 1983)

A Programming Notation for Tactical Reasoning. - David A. Schmidt (CADE, 1984)

Calois Connections and Computer Science Applications. - Austin Melton; David A. Schmidt; George E. Strecker (CTCS, 1985)

A Topological Framework of cpos Lacking Bottom Elements. - Austin Melton; David A. Schmidt (Mathematical Foundations of Programming Semantics, 1985)

An implementation from a direct semantics definition. - David A. Schmidt (Programs as Data Objects, 1985)

Detecting Global Variables in Denotational Specifications. - David A. Schmidt (ACM Trans. Program. Lang. Syst., 1985)

Detecting Stack-Based Environments in Denotational Definitions. - David A. Schmidt (Sci. Comput. Program., 1988)

Type Inference for Action Semantics. - Susan Even; David A. Schmidt (ESOP, 1990)

Category-Sorted Algebra-Based Action Semantics. - Susan Even; David A. Schmidt (Theor. Comput. Sci., 1990)

Extraction of Strong Typing Laws from Action Semantics Definitions. - Kyung-Goo Doh; David A. Schmidt (ESOP, 1992)

A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof. - Masaaki Mizuno; David A. Schmidt (Formal Aspects Comput., 1992)

A Categorical Interpretation of Landin's Correspondence Principle. - Anindya Banerjee 001; David A. Schmidt (MFPS, 1993)

Action Semantics-Directed Prototyping. - Kyung-Goo Doh; David A. Schmidt (Comput. Lang., 1993)

The structure of typed programming languages. - David A. Schmidt (MIT Press, 1994)

Natural-Semantics-Based Abstract Interpretation (Preliminary Version) - David A. Schmidt (SAS, 1995)

Abstract Interpretation of Small-Step Semantics. - David A. Schmidt (LOMAPS, 1996)

Structural Operational Semantics as a Basis for Static Program Analysis. - Daniel Le Métayer; David A. Schmidt (ACM Comput. Surv., 1996)

Programming Language Semantics. - David A. Schmidt (ACM Comput. Surv., 1996)

On the Need for a Popular Formal Semantics. - David A. Schmidt (ACM Comput. Surv., 1996)

Programming Language Semantics. - David A. Schmidt (The Computer Science and Engineering Handbook, 1997)

Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations. - Husain Ibraheem; David A. Schmidt (HOOTS, 1997)

Data Flow Analysis is Model Checking of Abstract Interpretations. - David A. Schmidt (POPL, 1998)

Program Analysis as Model Checking of Abstract Interpretations. - David A. Schmidt; Bernhard Steffen (SAS, 1998)

Trace-Based Abstract Interpretation of Operational Semantics. - David A. Schmidt (LISP Symb. Comput., 1998)

Stackability in the Simply-Typed Call-by-Value lambda Calculus. - Anindya Banerjee 001; David A. Schmidt (Sci. Comput. Program., 1998)

A Return to Elegance: The Reapplication of Declarative Notation to Software Design. - David A. Schmidt (PADL, 1999)

Model-Checking: A Tutorial Introduction. - Markus Müller-Olm; David A. Schmidt; Bernhard Steffen (SAS, 1999)

Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering. - David A. Schmidt (High. Order Symb. Comput., 2000)

Modal Transition Systems: A Foundation for Three-Valued Program Analysis. - Michael Huth 001; Radha Jagadeesan; David A. Schmidt (ESOP, 2001)

Should UML Be Used for Declarative Programming? - David A. Schmidt (PPDP, 2001)

Structure-Preserving Binary Relations for Program Abstraction. - David A. Schmidt (The Essence of Computation, 2002)

Polymorphic lambda calculus and subtyping. - Adrian Fiech; David A. Schmidt (Theor. Comput. Sci., 2002)

Closed and Logical Relations for Over- and Under-Approximation of Powersets. - David A. Schmidt (SAS, 2004)

A domain equation for refinement of partial systems. - Michael Huth 001; Radha Jagadeesan; David A. Schmidt (Math. Struct. Comput. Sci., 2004)

Minimum Mean Square Error Vector Precoding. - David A. Schmidt; Michael Joham; Wolfgang Utschick (PIMRC, 2005)

Comparing Completeness Properties of Static Analyses and Their Logics. - David A. Schmidt (APLAS, 2006)

Automata-Based Confidentiality Monitoring. - Gurvan Le Guernic; Anindya Banerjee 001; Thomas P. Jensen; David A. Schmidt (ASIAN, 2006)

Alternating Optimization for MMSE Broadcast Precoding. - Raphael Hunger; Wolfgang Utschick; David A. Schmidt; Michael Joham (ICASSP (4), 2006)

Underapproximating Predicate Transformers. - David A. Schmidt (SAS, 2006)

Design of Single-Group Multicasting-Beamformers. - Raphael Hunger; David A. Schmidt; Michael Joham; Alexander G. Schwing; Wolfgang Utschick (ICC, 2007)

Sum-Capacity and MMSE for the MIMO Broadcast Channel without Eigenvalue Decompositions. - Raphael Hunger; David A. Schmidt; Wolfgang Utschick (ISIT, 2007)

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations. - David A. Schmidt (MFPS, 2007)

State-transition machines for lambda-calculus expressions. - David A. Schmidt (High. Order Symb. Comput., 2007)

State-transition machines, revisited. - David A. Schmidt (High. Order Symb. Comput., 2007)

A calculus of logical relations for over- and underapproximating static analyses. - David A. Schmidt (Sci. Comput. Program., 2007)

Finite-Length MMSE Tomlinson-Harashima Precoding for Frequency Selective Vector Channels. - Michael Joham; David A. Schmidt; Johannes Brehmer; Wolfgang Utschick (IEEE Trans. Signal Process., 2007)

A combinatorial approach to maximizing the sum rate in the MIMO BC with linear precoding. - Raphaël Hunger; David A. Schmidt; Michael Joham (ACSCC, 2008)

Point-to-point MIMO MMSE vector precoding and thp achieving capacity. - Michael Joham; Hans H. Brunner; Raphael Hunger; David A. Schmidt; Wolfgang Utschick (ICASSP, 2008)

Internal and External Logics of Abstract Interpretations. - David A. Schmidt (VMCAI, 2008)

Distributed precoder optimization for interfering MISO channels. - David A. Schmidt; Andreas Gründinger; Wolfgang Utschick; Michael L. Honig (WSA, 2008)

Information Theory Minimum mean square error vector precoding. - David A. Schmidt; Michael Joham; Wolfgang Utschick (Eur. Trans. Telecommun., 2008)

An Action Semantics Based on Two Combinators. - Kyung-Goo Doh; David A. Schmidt (Semantics and Algebraic Specification, 2009)

Distributed Interference Pricing for the MIMO Interference Channel. - Changxin Shi; David A. Schmidt; Randall A. Berry; Michael L. Honig; Wolfgang Utschick (ICC, 2009)

Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. - Kyung-Goo Doh; Hyunha Kim; David A. Schmidt (SAS, 2009)

Abstract Interpretation from a Topological Perspective. - David A. Schmidt (SAS, 2009)

Abstract Interpretation From a Denotational-semantics Perspective. - David A. Schmidt (MFPS, 2009)

Distributed resource allocation schemes. - David A. Schmidt; Changxin Shi; Randall A. Berry; Michael L. Honig; Wolfgang Utschick (IEEE Signal Process. Mag., 2009)

Beamforming techniques for single-beam MIMO interference networks. - David A. Schmidt; Wolfgang Utschick; Michael L. Honig (Allerton, 2010)

Large System Performance of Interference Alignment in Single-Beam MIMO Networks. - David A. Schmidt; Wolfgang Utschick; Michael L. Honig (GLOBECOM, 2010)

Gradient projection based interference alignment for the MIMO X channel. - Andreas Dotzler; David A. Schmidt; Guido Dietl; Wolfgang Utschick (WSA, 2010)

Abstract LR-Parsing. - Kyung-Goo Doh; Hyunha Kim; David A. Schmidt (Formal Modeling: Actors, Open Systems, Biological Systems, 2011)

Algorithms for improper single-stream MIMO interference networks. - David A. Schmidt; Wolfgang Utschick (ISWCS, 2011)

Inverse-limit and topological aspects of abstract interpretation. - David A. Schmidt (Theor. Comput. Sci., 2012)

Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing. - Hyunha Kim; Kyung-Goo Doh; David A. Schmidt (SAS, 2013)

Comparison of Distributed Beamforming Algorithms for MIMO Interference Networks. - David A. Schmidt; Changxin Shi; Randall A. Berry; Michael L. Honig; Wolfgang Utschick (IEEE Trans. Signal Process., 2013)

Programming Language Semantics. - David A. Schmidt (Computing Handbook, 3rd ed. (1), 2014)

Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. - David A. Schmidt (Semantics, Logics, and Calculi, 2016)

Combining Model Checking and Data-Flow Analysis. - Dirk Beyer 001; Sumit Gulwani; David A. Schmidt (Handbook of Model Checking, 2018)

Spline Based Intrusion Detection in Vehicular Ad Hoc Networks (VANET). - David A. Schmidt; Mohammad S. Khan; Brian T. Bennett (CoRR, 2019)

Spline-based intrusion detection for VANET utilizing knot flow classification. - David A. Schmidt; Mohammad S. Khan; Brian T. Bennett (Internet Technol. Lett., 2020)