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 63 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
    Conference paper
    David A. Schmidt, Michael Joham, Wolfgang Utschick.
    Minimum Mean Square Error Vector Precoding.
    Proceedings of the IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications, Berlin, Germany, September 11-14, 2005 2005 (0) 2005
    Conference paper
    David A. Schmidt.
    Closed and Logical Relations for Over- and Under-Approximation of Powersets.
    Static Analysis, 11th International Symposium, SAS 2004, Verona, Italy, August 26-28, 2004, Proceedings 2004 (0) 2004
    Conference paper
    Michael Huth, Radha Jagadeesan, David A. Schmidt.
    A domain equation for refinement of partial systems.
    Mathematical Structures in Computer Science 2004, Volume 14 (0) 2004
    Conference paper
    David A. Schmidt.
    Structure-Preserving Binary Relations for Program Abstraction.
    The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday] 2002 (0) 2002
    Conference paper
    Adrian Fiech, David A. Schmidt.
    Polymorphic lambda calculus and subtyping.
    Theor. Comput. Sci. 2002, Volume 278 (0) 2002
    Conference paper
    Michael Huth, Radha Jagadeesan, David A. Schmidt.
    Modal Transition Systems: A Foundation for Three-Valued Program Analysis.
    Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings 2001 (0) 2001
    Conference paper
    David A. Schmidt.
    Should UML Be Used for Declarative Programming?
    Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy 2001 (0) 2001
    Conference paper
    David A. Schmidt.
    Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering.
    Higher-Order and Symbolic Computation 2000, Volume 13 (0) 2000
    Conference paper
    David A. Schmidt.
    A Return to Elegance: The Reapplication of Declarative Notation to Software Design.
    Practical Aspects of Declarative Languages, First International Workshop, PADL '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings 1998 (0) 1999
    Conference paper
    Markus Müller-Olm, David A. Schmidt, Bernhard Steffen.
    Model-Checking: A Tutorial Introduction.
    Static Analysis, 6th International Symposium, SAS '99, Venice, Italy, September 22-24, 1999, Proceedings 1999 (0) 1999
    Conference paper
    David A. Schmidt.
    Data Flow Analysis is Model Checking of Abstract Interpretations.
    POPL 1998 (0) 1998
    Conference paper
    David A. Schmidt, Bernhard Steffen.
    Program Analysis
    Static Analysis, 5th International Symposium, SAS '98, Pisa, Italy, September 14-16, 1998, Proceedings 1998 (0) 1998
    Conference paper
    David A. Schmidt.
    Trace-Based Abstract Interpretation of Operational Semantics.
    Lisp and Symbolic Computation 1997, Volume 10 (0) 1998
    Conference paper
    Anindya Banerjee, David A. Schmidt.
    Stackability in the Simply-Typed Call-by-Value lambda Calculus.
    Sci. Comput. Program. 1998, Volume 31 (0) 1998
    Book chapter
    David A. Schmidt.
    Programming Language Semantics.
    The Computer Science and Engineering Handbook 1997 (0) 1997
    Conference paper
    Husain Ibraheem, David A. Schmidt.
    Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and ``Higher-Order'' Derivations.
    Electr. Notes Theor. Comput. Sci. 1997, Volume 10 (0) 1997
    Conference paper
    David A. Schmidt.
    On the Need for a Popular Formal Semantics.
    SIGPLAN Notices 1997, Volume 32 (0) 1997
    Conference paper
    David A. Schmidt.
    Abstract Interpretation of Small-Step Semantics.
    Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers 1997 (0) 1996
    Conference paper
    Daniel Le Métayer, David A. Schmidt.
    Structural Operational Semantics as a Basis for Static Program Analysis.
    ACM Comput. Surv. 1996, Volume 28 (0) 1996
    Conference paper
    David A. Schmidt.
    Programming Language Semantics.
    ACM Comput. Surv. 1996, Volume 28 (0) 1996
    Conference paper
    David A. Schmidt.
    On the Need for a Popular Formal Semantics.
    ACM Comput. Surv. 1996, Volume 28 (0) 1996
    Conference paper
    David A. Schmidt.
    Natural-Semantics-Based Abstract Interpretation (Preliminary Version)
    Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 25-27, 1995, Proceedings 1995 (0) 1995
    Conference paper
    Anindya Banerjee, David A. Schmidt.
    Stackability in the Simply-Typed Call-by-Value Lambda Calculus.
    SAS 1994 (0) 1994
    Conference paper
    Anindya Banerjee, David A. Schmidt.
    A Categorical Interpretation of Landin's Correspondence Principle.
    Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings 1994 (0) 1993
    Conference paper
    Kyung-Goo Doh, David A. Schmidt.
    Action Semantics-Directed Prototyping.
    Comput. Lang. 1993, Volume 19 (0) 1993
    Conference paper
    Kyung-Goo Doh, David A. Schmidt.
    Extraction of Strong Typing Laws from Action Semantics Definitions.
    ESOP '92, 4th European Symposium on Programming, Rennes, France, February 26-28, 1992, Proceedings 1992 (0) 1992
    Conference paper
    Masaaki Mizuno, David A. Schmidt.
    A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof.
    Formal Asp. Comput. 1992, Volume 4 (0) 1992
    Conference paper
    Susan Even, David A. Schmidt.
    Type Inference for Action Semantics.
    ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings 1990 (0) 1990
    Conference paper
    Susan Even, David A. Schmidt.
    Category-Sorted Algebra-Based Action Semantics.
    Theor. Comput. Sci. 1990, Volume 77 (0) 1990
    Conference paper
    David A. Schmidt.
    Detecting Stack-Based Environments in Denotational Definitions.
    Sci. Comput. Program. 1989, Volume 11 (0) 1988
    Conference paper
    Austin Melton, David A. Schmidt, George E. Strecker.
    Calois Connections and Computer Science Applications.
    Category Theory and Computer Programming, Tutorial and Workshop, Guildford, UK, September 16-20, 1985 Proceedings 1986 (0) 1985
    Conference paper
    Austin Melton, David A. Schmidt.
    A Topological Framework of cpos Lacking Bottom Elements.
    Mathematical Foundations of Programming Semantics, International Conference, Manhattan, Kansas, USA, April 11-12, 1985, Proceedings 1986 (0) 1985
    Conference paper
    David A. Schmidt.
    An implementation from a direct semantics definition.
    Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark, October 17-19, 1985 1986 (0) 1985
    Conference paper
    David A. Schmidt.
    Detecting Global Variables in Denotational Specifications.
    ACM Trans. Program. Lang. Syst. 1985, Volume 7 (0) 1985
    Conference paper
    David A. Schmidt.
    A Programming Notation for Tactical Reasoning.
    7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984, Proceedings 1984 (0) 1984
    Conference paper
    David A. Schmidt.
    Approximation Properties of Abstract Data Types.
    Theor. Comput. Sci. 1983, Volume 24 (0) 1983
    Conference paper
    Neil D. Jones, David A. Schmidt.
    Compiler generation from denotational semantics.
    Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 1980 (0) 1980
    Conference paper
    David A. Schmidt.
    State transition machines for lambda calculus expressions.
    Semantics-Directed Compiler Generation, Proceedings of a Workshop, Aarhus, Denmark, January 14-18, 1980 1980 (0) 1980
    Show item 1 to 63 of 63  

    Your query returned 63 matches in the database.