David A. Schmidt

Minimum Mean Squared Error interference alignment

David A. Schmidt, Changxin Shi, Randall Berry et al. · 2009 · 221 citations

Engineering, Computer Engineering, Electrical Engineering +16

Data flow analysis is model checking of abstract interpretations

David A. Schmidt · 1998 · 189 citations

Computing, Computer Science, Programming Languages +16

Model-Checking: A Tutorial Introduction

Markus Müller-Olm, David A. Schmidt, Bernhard Steffen · 1999 · 139 citations

Computing, Computer Engineering, Computer Science +12

Distributed Interference Pricing for the MIMO Interference Channel

Changgui Shi, David A. Schmidt, Randall Berry et al. · 2009 · 101 citations

Engineering, Computer Science, Electrical Engineering +17

Detecting global variables in denotational specifications

David A. Schmidt · ACM Transactions on Programming Languages and Systems · 1985 · 97 citations · Full text

Computing, Computer Science, Compilers +14