( en | de | ru )

 

Disambiguation of "Schmidt, David A."

Author of the publication

copydeleteadd this publication to your clipboard
Gradient projection based interference alignment for the MIMO X channel.

, , , and . WSA, page 355-360. IEEE, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

lin A David

David A Traill

David A Lazica

David A Wuttke

David Schmidt

 

Other publications of authors with the same name

State-transition machines for lambda-calculus expressions.. High. Order Symb. Comput., 20 (3): 319-332 (2007)Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing., , and . SAS, volume 7935 of Lecture Notes in Computer Science, page 194-214. Springer, (2013)Closed and Logical Relations for Over- and Under-Approximation of Powersets.. SAS, volume 3148 of Lecture Notes in Computer Science, page 22-37. Springer, (2004)Programming Language Semantics.. The Computer Science and Engineering Handbook, CRC Press, (1997)Polymorphic lambda calculus and subtyping., and . Theor. Comput. Sci., 278 (1-2): 111-140 (2002)Denotational semantics : a methodology for language development. Wm. C. Brown, (1988)The Structure of Typed Programming Languages. Massachusetts Institute of Technology, (1994)Detecting Global Variables in Denotational Specifications.. ACM Trans. Program. Lang. Syst., 7 (2): 299-310 (1985)Comparing Completeness Properties of Static Analyses and Their Logics.. APLAS, volume 4279 of Lecture Notes in Computer Science, page 183-199. Springer, (2006)State transition machines for lambda calculus expressions.. Semantics-Directed Compiler Generation, volume 94 of Lecture Notes in Computer Science, page 415-440. Springer, (1980)