David A. Schmidt

According to our database1, David A. Schmidt authored at least 69 papers between 1980 and 2020.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2020
Spline-based intrusion detection for VANET utilizing knot flow classification.
Internet Technol. Lett., 2020

2019
Spline Based Intrusion Detection in Vehicular Ad Hoc Networks (VANET).
CoRR, 2019

2018
Combining Model Checking and Data-Flow Analysis.
Proceedings of the Handbook of Model Checking., 2018

2016
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically.
Proceedings of the Semantics, Logics, and Calculi, 2016

2014
Programming Language Semantics.
Proceedings of the Computing Handbook, 2014

2013
Comparison of Distributed Beamforming Algorithms for MIMO Interference Networks.
IEEE Trans. Signal Process., 2013

Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing.
Proceedings of the Static Analysis - 20th International Symposium, 2013

2012
Inverse-limit and topological aspects of abstract interpretation.
Theor. Comput. Sci., 2012

2011
Algorithms for improper single-stream MIMO interference networks.
Proceedings of the 8th International Symposium on Wireless Communication Systems, 2011

Abstract LR-Parsing.
Proceedings of the Formal Modeling: Actors, Open Systems, Biological Systems, 2011

2010
Gradient projection based interference alignment for the MIMO X channel.
Proceedings of the 2010 International ITG Workshop on Smart Antennas, 2010

Large System Performance of Interference Alignment in Single-Beam MIMO Networks.
Proceedings of the Global Communications Conference, 2010

2009
Distributed resource allocation schemes.
IEEE Signal Process. Mag., 2009

Abstract Interpretation From a Denotational-semantics Perspective.
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

Abstract Interpretation from a Topological Perspective.
Proceedings of the Static Analysis, 16th International Symposium, 2009

Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology.
Proceedings of the Static Analysis, 16th International Symposium, 2009

Distributed Interference Pricing for the MIMO Interference Channel.
Proceedings of IEEE International Conference on Communications, 2009

An Action Semantics Based on Two Combinators.
Proceedings of the Semantics and Algebraic Specification, 2009

2008
Information Theory Minimum mean square error vector precoding.
Eur. Trans. Telecommun., 2008

Distributed precoder optimization for interfering MISO channels.
Proceedings of the 2008 International ITG Workshop on Smart Antennas, 2008

Internal and External Logics of Abstract Interpretations.
Proceedings of the Verification, 2008

Point-to-point MIMO MMSE vector precoding and thp achieving capacity.
Proceedings of the IEEE International Conference on Acoustics, 2008

2007
Finite-Length MMSE Tomlinson-Harashima Precoding for Frequency Selective Vector Channels.
IEEE Trans. Signal Process., 2007

A calculus of logical relations for over- and underapproximating static analyses.
Sci. Comput. Program., 2007

State-transition machines, revisited.
High. Order Symb. Comput., 2007

State-transition machines for lambda-calculus expressions.
High. Order Symb. Comput., 2007

Extracting Program Logics From Abstract Interpretations Defined by Logical Relations.
Proceedings of the 23rd Conference on the Mathematical Foundations of Programming Semantics, 2007

Sum-Capacity and MMSE for the MIMO Broadcast Channel without Eigenvalue Decompositions.
Proceedings of the IEEE International Symposium on Information Theory, 2007

Design of Single-Group Multicasting-Beamformers.
Proceedings of IEEE International Conference on Communications, 2007

2006
Underapproximating Predicate Transformers.
Proceedings of the Static Analysis, 13th International Symposium, 2006

Alternating Optimization for MMSE Broadcast Precoding.
Proceedings of the 2006 IEEE International Conference on Acoustics Speech and Signal Processing, 2006

Automata-Based Confidentiality Monitoring.
Proceedings of the Advances in Computer Science, 2006

Comparing Completeness Properties of Static Analyses and Their Logics.
Proceedings of the Programming Languages and Systems, 4th Asian Symposium, 2006

2005
Minimum Mean Square Error Vector Precoding.
Proceedings of the IEEE 16th International Symposium on Personal, 2005

2004
A domain equation for refinement of partial systems.
Math. Struct. Comput. Sci., 2004

Closed and Logical Relations for Over- and Under-Approximation of Powersets.
Proceedings of the Static Analysis, 11th International Symposium, 2004

2002
Polymorphic lambda calculus and subtyping.
Theor. Comput. Sci., 2002

Structure-Preserving Binary Relations for Program Abstraction.
Proceedings of the Essence of Computation, Complexity, Analysis, 2002

2001
Should UML Be Used for Declarative Programming?
Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, 2001

Modal Transition Systems: A Foundation for Three-Valued Program Analysis.
Proceedings of the Programming Languages and Systems, 2001

2000
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering.
High. Order Symb. Comput., 2000

1999
Model-Checking: A Tutorial Introduction.
Proceedings of the Static Analysis, 6th International Symposium, 1999

A Return to Elegance: The Reapplication of Declarative Notation to Software Design.
Proceedings of the Practical Aspects of Declarative Languages, 1999

1998
Stackability in the Simply-Typed Call-by-Value lambda Calculus.
Sci. Comput. Program., 1998

Trace-Based Abstract Interpretation of Operational Semantics.
LISP Symb. Comput., 1998

Program Analysis <i>as</i> Model Checking of Abstract Interpretations.
Proceedings of the Static Analysis, 5th International Symposium, 1998

Data Flow Analysis is Model Checking of Abstract Interpretations.
Proceedings of the POPL '98, 1998

1997
On the Need for a Popular Formal Semantics.
ACM SIGPLAN Notices, 1997

Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations.
Electron. Notes Theor. Comput. Sci., 1997

Programming Language Semantics.
Proceedings of the Computer Science and Engineering Handbook, 1997

1996
Programming Language Semantics.
ACM Comput. Surv., 1996

Structural Operational Semantics as a Basis for Static Program Analysis.
ACM Comput. Surv., 1996

Abstract Interpretation of Small-Step Semantics.
Proceedings of the Analysis and Verification of Multiple-Agent Languages, 1996

1995
Natural-Semantics-Based Abstract Interpretation (Preliminary Version)
Proceedings of the Static Analysis, 1995

1994
The structure of typed programming languages.
Foundations of computing series, MIT Press, ISBN: 978-0-262-19349-8, 1994

1993
Action Semantics-Directed Prototyping.
Comput. Lang., 1993

A Categorical Interpretation of Landin's Correspondence Principle.
Proceedings of the Mathematical Foundations of Programming Semantics, 1993

1992
A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof.
Formal Asp. Comput., 1992

Extraction of Strong Typing Laws from Action Semantics Definitions.
Proceedings of the ESOP '92, 1992

1990
Category-Sorted Algebra-Based Action Semantics.
Theor. Comput. Sci., 1990

Type Inference for Action Semantics.
Proceedings of the ESOP'90, 1990

1988
Detecting Stack-Based Environments in Denotational Definitions.
Sci. Comput. Program., 1988

1985
Detecting Global Variables in Denotational Specifications.
ACM Trans. Program. Lang. Syst., 1985

An implementation from a direct semantics definition.
Proceedings of the Programs as Data Objects, 1985

A Topological Framework of cpos Lacking Bottom Elements.
Proceedings of the Mathematical Foundations of Programming Semantics, 1985

Calois Connections and Computer Science Applications.
Proceedings of the Category Theory and Computer Programming, 1985

1984
A Programming Notation for Tactical Reasoning.
Proceedings of the 7th International Conference on Automated Deduction, 1984

1983
Approximation Properties of Abstract Data Types.
Theor. Comput. Sci., 1983

1980
Compiler generation from denotational semantics.
Proceedings of the Semantics-Directed Compiler Generation, 1980


  Loading...