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)

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

    Show item 1 to 10 of 64  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    David A. Schmidt.
    Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically.
    Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson and Flemming Nielson on the Occasion of Their 60th Birthdays 2016 (0) 2016
    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
    Show item 1 to 10 of 64  

    Your query returned 64 matches in the database.