David A. Schmidt

David A. Schmidt: Inverse-limit and topological aspects of abstract interpretation. Theor. Comput. Sci. 430: 23-42 (2012)

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

David A. Schmidt, Wolfgang Utschick: Algorithms for improper single-stream MIMO interference networks. ISWCS 2011: 251-255

Ranjit Jhala, David A. Schmidt (Eds.): Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Lecture Notes in Computer Science 6538, Springer 2011, isbn 978-3-642-18274-7

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

David A. Schmidt: Abstract Interpretation From a Denotational-semantics Perspective. Electr. Notes Theor. Comput. Sci. 249: 19-37 (2009)

Kyung-Goo Doh, David A. Schmidt: An Action Semantics Based on Two Combinators. Semantics and Algebraic Specification 2009: 274-296

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

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

David A. Schmidt: Abstract Interpretation from a Topological Perspective. SAS 2009: 293-308

David A. Schmidt, Michael Joham, Wolfgang Utschick: Information Theory Minimum mean square error vector precoding. European Transactions on Telecommunications 19(3): 219-231 (2008)

Michael Joham, Hans Brunner, Raphael Hunger, David A. Schmidt, Wolfgang Utschick: Point-to-point MIMO MMSE vector precoding and thp achieving capacity. ICASSP 2008: 2925-2928

David A. Schmidt: Internal and External Logics of Abstract Interpretations. VMCAI 2008: 263-278

David A. Schmidt: Extracting Program Logics From Abstract Interpretations Defined by Logical Relations. Electr. Notes Theor. Comput. Sci. 173: 339-356 (2007)

David A. Schmidt: State-transition machines for lambda-calculus expressions. Higher-Order and Symbolic Computation 20(3): 319-332 (2007)

David A. Schmidt: State-transition machines, revisited. Higher-Order and Symbolic Computation 20(3): 333-335 (2007)

David A. Schmidt: A calculus of logical relations for over- and underapproximating static analyses. Sci. Comput. Program. 64(1): 29-53 (2007)

Michael Joham, David A. Schmidt, Johannes Brehmer, Wolfgang Utschick: Finite-Length MMSE Tomlinson-Harashima Precoding for Frequency Selective Vector Channels. IEEE Transactions on Signal Processing 55(6-2): 3073-3088 (2007)

Raphael Hunger, David A. Schmidt, Michael Joham, Alexander Schwing, Wolfgang Utschick: Design of Single-Group Multicasting-Beamformers. ICC 2007: 2499-2505

David A. Schmidt: Comparing Completeness Properties of Static Analyses and Their Logics. APLAS 2006: 183-199

Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt: Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89

David A. Schmidt: Underapproximating Predicate Transformers. SAS 2006: 127-143

Michael Huth, Radha Jagadeesan, David A. Schmidt: A domain equation for refinement of partial systems. Mathematical Structures in Computer Science 14(4): 469-505 (2004)

David A. Schmidt: Closed and Logical Relations for Over- and Under-Approximation of Powersets. SAS 2004: 22-37

David A. Schmidt (Ed.): Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Lecture Notes in Computer Science 2986, Springer 2004, isbn 3-540-21313-9

Adrian Fiech, David A. Schmidt: Polymorphic lambda calculus and subtyping. Theor. Comput. Sci. 278(1-2): 111-140 (2002)

David A. Schmidt: Structure-Preserving Binary Relations for Program Abstraction. The Essence of Computation 2002: 245-268

Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough (Eds.): The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]. Lecture Notes in Computer Science 2566, Springer 2002, isbn 3-540-00326-6

Michael Huth, Radha Jagadeesan, David A. Schmidt: Modal Transition Systems: A Foundation for Three-Valued Program Analysis. ESOP 2001: 155-169

David A. Schmidt: Should UML Be Used for Declarative Programming? PPDP 2001: 1-3

David A. Schmidt: Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering. Higher-Order and Symbolic Computation 13(1/2): 89-101 (2000)

David A. Schmidt: A Return to Elegance: The Reapplication of Declarative Notation to Software Design. PADL 1999: 360-364

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

David A. Schmidt: Trace-Based Abstract Interpretation of Operational Semantics. Lisp and Symbolic Computation 10(3): 237-271 (1998)

Anindya Banerjee, David A. Schmidt: Stackability in the Simply-Typed Call-by-Value lambda Calculus. Sci. Comput. Program. 31(1): 47-73 (1998)

David A. Schmidt: Data Flow Analysis is Model Checking of Abstract Interpretations. POPL 1998: 38-48

David A. Schmidt, Bernhard Steffen: Program Analysis as Model Checking of Abstract Interpretations. SAS 1998: 351-380

Husain Ibraheem, David A. Schmidt: Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and ``Higher-Order'' Derivations. Electr. Notes Theor. Comput. Sci. 10: 121 (1997)

David A. Schmidt: On the Need for a Popular Formal Semantics. SIGPLAN Notices 32(1): 115-116 (1997)

David A. Schmidt: Programming Language Semantics. The Computer Science and Engineering Handbook 1997: 2237-2254

David A. Schmidt: Programming Language Semantics. ACM Comput. Surv. 28(1): 265-267 (1996)

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

David A. Schmidt: On the Need for a Popular Formal Semantics. ACM Comput. Surv. 28(4es): 175 (1996)

David A. Schmidt: Abstract Interpretation of Small-Step Semantics. LOMAPS 1996: 76-99

Radhia Cousot, David A. Schmidt (Eds.): Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings. Lecture Notes in Computer Science 1145, Springer 1996, isbn 3-540-61739-6

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

David A. Schmidt: The structure of typed programming languages. Foundations of computing series, MIT Press 1994, isbn 978-0-262-19349-8, pp. I-XIV, 1-367

Anindya Banerjee, David A. Schmidt: Stackability in the Simply-Typed Call-by-Value Lambda Calculus. SAS 1994: 131-146

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Lecture Notes in Computer Science 802, Springer 1994, isbn 3-540-58027-1

Kyung-Goo Doh, David A. Schmidt: Action Semantics-Directed Prototyping. Comput. Lang. 19(4): 213-233 (1993)

Anindya Banerjee, David A. Schmidt: A Categorical Interpretation of Landin's Correspondence Principle. MFPS 1993: 587-602

David A. Schmidt (Ed.): Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993. ACM 1993, isbn 0-89791-594-1

Masaaki Mizuno, David A. Schmidt: A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof. Formal Asp. Comput. 4(6A): 727-754 (1992)

Kyung-Goo Doh, David A. Schmidt: Extraction of Strong Typing Laws from Action Semantics Definitions. ESOP 1992: 151-166

Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Lecture Notes in Computer Science 598, Springer 1992, isbn 3-540-55511-0

Susan Even, David A. Schmidt: Category-Sorted Algebra-Based Action Semantics. Theor. Comput. Sci. 77(1&2): 73-95 (1990)

Susan Even, David A. Schmidt: Type Inference for Action Semantics. ESOP 1990: 118-133

Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings. Lecture Notes in Computer Science 442, Springer 1990, isbn 3-540-97375-3

David A. Schmidt: Detecting Stack-Based Environments in Denotational Definitions. Sci. Comput. Program. 11(2): 107-131 (1988)

Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt (Eds.): Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Lecture Notes in Computer Science 298, Springer 1988, isbn 3-540-19020-1

David A. Schmidt: Detecting Global Variables in Denotational Specifications. ACM Trans. Program. Lang. Syst. 7(2): 299-310 (1985)

Austin Melton, David A. Schmidt, George E. Strecker: Calois Connections and Computer Science Applications. CTCS 1985: 299-312

Austin Melton, David A. Schmidt: A Topological Framework of cpos Lacking Bottom Elements. Mathematical Foundations of Programming Semantics 1985: 196-204

David A. Schmidt: An implementation from a direct semantics definition. Programs as Data Objects 1985: 222-235

David A. Schmidt: A Programming Notation for Tactical Reasoning. CADE 1984: 445-459

David A. Schmidt: Approximation Properties of Abstract Data Types. Theor. Comput. Sci. 24: 73-94 (1983)

Neil D. Jones, David A. Schmidt: Compiler generation from denotational semantics. Semantics-Directed Compiler Generation 1980: 70-93

David A. Schmidt: State transition machines for lambda calculus expressions. Semantics-Directed Compiler Generation 1980: 415-440