Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: David A.
    Last name: Schmidt
    DBLP: s/DavidASchmidt
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 25 of 63  
    Select a publication
    Show Title Venue Rating Date
    Book chapter
    David A. Schmidt.
    Programming Language Semantics.
    Computing Handbook, Third Edition: Computer Science and Software Engineering 2014 (0) 2014
    Conference paper
    Hyunha Kim, Kyung-Goo Doh, David A. Schmidt.
    Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing.
    Static Analysis - 20th International Symposium, SAS 2013, Seattle, WA, USA, June 20-22, 2013. Proceedings 2013 (0) 2013
    Conference paper
    David A. Schmidt, Changxin Shi, Randall Berry, Michael L. Honig, Wolfgang Utschick.
    Comparison of Distributed Beamforming Algorithms for MIMO Interference Networks.
    IEEE Transactions on Signal Processing 2013, Volume 61 (0) 2013
    Journal article
    David A. Schmidt.
    Inverse-limit and topological aspects of abstract interpretation.
    Theor. Comput. Sci. 2012, Volume 430 (0) 2012
    Conference paper
    Kyung-Goo Doh, Hyunha Kim, David A. Schmidt.
    Abstract LR-Parsing.
    Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday 2011 (0) 2011
    Conference paper
    David A. Schmidt, Wolfgang Utschick.
    Algorithms for improper single-stream MIMO interference networks.
    8th International Symposium on Wireless Communication Systems, ISWCS 2011, Aachen, Germany, November 6-9, 2011 2011 (0) 2011
    Conference paper
    David A. Schmidt, Wolfgang Utschick, Michael L. Honig.
    Large System Performance of Interference Alignment in Single-Beam MIMO Networks.
    Proceedings of the Global Communications Conference, 2010. GLOBECOM 2010, 6-10 December 2010, Miami, Florida, USA 2010 (0) 2010
    Conference paper
    Kyung-Goo Doh, David A. Schmidt.
    An Action Semantics Based on Two Combinators.
    Semantics and Algebraic Specification, Essays Dedicated to Peter D. Mosses on the Occasion of His 60th Birthday 2009 (0) 2009
    Conference paper
    Kyung-Goo Doh, Hyunha Kim, David A. Schmidt.
    Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology.
    Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings 2009 (0) 2009
    Conference paper
    David A. Schmidt.
    Abstract Interpretation from a Topological Perspective.
    Static Analysis, 16th International Symposium, SAS 2009, Los Angeles, CA, USA, August 9-11, 2009. Proceedings 2009 (0) 2009
    Conference paper
    David A. Schmidt.
    Abstract Interpretation From a Denotational-semantics Perspective.
    Electr. Notes Theor. Comput. Sci. 2009, Volume 249 (0) 2009
    Conference paper
    Changxin Shi, David A. Schmidt, Randall Berry, Michael L. Honig, Wolfgang Utschick.
    Distributed Interference Pricing for the MIMO Interference Channel.
    Proceedings of IEEE International Conference on Communications, ICC 2009, Dresden, Germany, 14-18 June 2009 2009 (0) 2009
    Journal article
    David A. Schmidt, Michael Joham, Wolfgang Utschick.
    Information Theory Minimum mean square error vector precoding.
    European Transactions on Telecommunications 2008, Volume 19 (0) 2008
    Conference paper
    David A. Schmidt.
    Internal and External Logics of Abstract Interpretations.
    Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings 2008 (0) 2008
    Conference paper
    Michael Joham, Hans Brunner, Raphael Hunger, David A. Schmidt, Wolfgang Utschick.
    Point-to-point MIMO MMSE vector precoding and thp achieving capacity.
    Proceedings of the IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP 2008, March 30 - April 4, 2008, Caesars Palace, Las Vegas, Nevada, USA 2008 (0) 2008
    Conference paper
    Raphael Hunger, David A. Schmidt, Michael Joham, Alexander Schwing, Wolfgang Utschick.
    Design of Single-Group Multicasting-Beamformers.
    Proceedings of IEEE International Conference on Communications, ICC 2007, Glasgow, Scotland, 24-28 June 2007 2007 (0) 2007
    Conference paper
    David A. Schmidt.
    Extracting Program Logics From Abstract Interpretations Defined by Logical Relations.
    Electr. Notes Theor. Comput. Sci. 2007, Volume 173 (0) 2007
    Conference paper
    David A. Schmidt.
    State-transition machines, revisited.
    Higher-Order and Symbolic Computation 2007, Volume 20 (0) 2007
    Conference paper
    David A. Schmidt.
    State-transition machines for lambda-calculus expressions.
    Higher-Order and Symbolic Computation 2007, Volume 20 (0) 2007
    Conference paper
    David A. Schmidt.
    A calculus of logical relations for over- and underapproximating static analyses.
    Sci. Comput. Program. 2007, Volume 64 (0) 2007
    Conference paper
    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 2007, Volume 55 (0) 2007
    Conference paper
    Raphael Hunger, Wolfgang Utschick, David A. Schmidt, Michael Joham.
    Alternating Optimization for MMSE Broadcast Precoding.
    2006 IEEE International Conference on Acoustics Speech and Signal Processing, ICASSP 2006, Toulouse, France, May 14-19, 2006 2006 (0) 2006
    Conference paper
    David A. Schmidt.
    Comparing Completeness Properties of Static Analyses and Their Logics.
    Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings 2006 (0) 2006
    Conference paper
    Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt.
    Automata-Based Confidentiality Monitoring.
    Advances in Computer Science - ASIAN 2006. Secure Software and Related Issues, 11th Asian Computing Science Conference, Tokyo, Japan, December 6-8, 2006, Revised Selected Papers 2008 (0) 2006
    Conference paper
    David A. Schmidt.
    Underapproximating Predicate Transformers.
    Static Analysis, 13th International Symposium, SAS 2006, Seoul, Korea, August 29-31, 2006, Proceedings 2006 (0) 2006
    Show item 1 to 25 of 63  

    Your query returned 63 matches in the database.