default search action
David A. Schmidt
Person information
- affiliation: Kansas State University, Manhattan, KS, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2020
- [j24]David A. Schmidt, Mohammad S. Khan
, Brian T. Bennett:
Spline-based intrusion detection for VANET utilizing knot flow classification. Internet Technol. Lett. 3(3) (2020)
2010 – 2019
- 2019
- [i1]David A. Schmidt, Mohammad S. Khan, Brian T. Bennett:
Spline Based Intrusion Detection in Vehicular Ad Hoc Networks (VANET). CoRR abs/1903.08018 (2019) - 2018
- [p2]Dirk Beyer
Combining Model Checking and Data-Flow Analysis. Handbook of Model Checking 2018: 493-540 - 2016
- [c45]David A. Schmidt:
Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. Semantics, Logics, and Calculi 2016: 252-271 - 2014
- [p1]David A. Schmidt:
Programming Language Semantics. Computing Handbook, 3rd ed. (1) 2014: 69: 1-19 - 2013
- [j23]David A. Schmidt, Changxin Shi, Randall A. Berry
Comparison of Distributed Beamforming Algorithms for MIMO Interference Networks. IEEE Trans. Signal Process. 61(13): 3476-3489 (2013) - [c44]Hyunha Kim, Kyung-Goo Doh, David A. Schmidt:
Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing. SAS 2013: 194-214 - 2012
- [j22]David A. Schmidt:
Inverse-limit and topological aspects of abstract interpretation. Theor. Comput. Sci. 430: 23-42 (2012) - 2011
- [c43]Kyung-Goo Doh, Hyunha Kim, David A. Schmidt:
Abstract LR-Parsing. Formal Modeling: Actors, Open Systems, Biological Systems 2011: 90-109 - [c42]David A. Schmidt, Wolfgang Utschick
Algorithms for improper single-stream MIMO interference networks. ISWCS 2011: 251-255 - [e9]Ranjit Jhala, David A. Schmidt:
Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings. Lecture Notes in Computer Science 6538, Springer 2011, ISBN 978-3-642-18274-7 [contents] - 2010
- [c41]David A. Schmidt, Wolfgang Utschick
Beamforming techniques for single-beam MIMO interference networks. Allerton 2010: 1182-1187 - [c40]David A. Schmidt, Wolfgang Utschick
Large System Performance of Interference Alignment in Single-Beam MIMO Networks. GLOBECOM 2010: 1-6 - [c39]Andreas Dotzler, David A. Schmidt, Guido Dietl, Wolfgang Utschick
Gradient projection based interference alignment for the MIMO X channel. WSA 2010: 355-360
2000 – 2009
- 2009
- [j21]David A. Schmidt, Changxin Shi, Randall A. Berry
Distributed resource allocation schemes. IEEE Signal Process. Mag. 26(5): 53-63 (2009) - [c38]Kyung-Goo Doh, David A. Schmidt:
An Action Semantics Based on Two Combinators. Semantics and Algebraic Specification 2009: 274-296 - [c37]Changxin Shi, David A. Schmidt, Randall A. Berry
Distributed Interference Pricing for the MIMO Interference Channel. ICC 2009: 1-5 - [c36]Kyung-Goo Doh, Hyunha Kim, David A. Schmidt:
Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. SAS 2009: 256-272 - [c35]David A. Schmidt:
Abstract Interpretation from a Topological Perspective. SAS 2009: 293-308 - [c34]David A. Schmidt:
Abstract Interpretation From a Denotational-semantics Perspective. MFPS 2009: 19-37 - 2008
- [j20]David A. Schmidt, Michael Joham, Wolfgang Utschick
Information Theory Minimum mean square error vector precoding. Eur. Trans. Telecommun. 19(3): 219-231 (2008) - [c33]Raphaël Hunger, David A. Schmidt, Michael Joham:
A combinatorial approach to maximizing the sum rate in the MIMO BC with linear precoding. ACSCC 2008: 316-320 - [c32]Michael Joham, Hans H. Brunner, Raphael Hunger, David A. Schmidt, Wolfgang Utschick
Point-to-point MIMO MMSE vector precoding and thp achieving capacity. ICASSP 2008: 2925-2928 - [c31]David A. Schmidt:
Internal and External Logics of Abstract Interpretations. VMCAI 2008: 263-278 - [c30]David A. Schmidt, Andreas Gründinger, Wolfgang Utschick
Distributed precoder optimization for interfering MISO channels. WSA 2008: 285-290 - 2007
- [j19]David A. Schmidt:
State-transition machines for lambda-calculus expressions. High. Order Symb. Comput. 20(3): 319-332 (2007) - [j18]David A. Schmidt:
State-transition machines, revisited. High. Order Symb. Comput. 20(3): 333-335 (2007) - [j17]David A. Schmidt:
A calculus of logical relations for over- and underapproximating static analyses. Sci. Comput. Program. 64(1): 29-53 (2007) - [j16]Michael Joham, David A. Schmidt, Johannes Brehmer, Wolfgang Utschick
Finite-Length MMSE Tomlinson-Harashima Precoding for Frequency Selective Vector Channels. IEEE Trans. Signal Process. 55(6-2): 3073-3088 (2007) - [c29]Raphael Hunger, David A. Schmidt, Michael Joham, Alexander G. Schwing, Wolfgang Utschick
Design of Single-Group Multicasting-Beamformers. ICC 2007: 2499-2505 - [c28]Raphael Hunger, David A. Schmidt, Wolfgang Utschick
Sum-Capacity and MMSE for the MIMO Broadcast Channel without Eigenvalue Decompositions. ISIT 2007: 776-780 - [c27]David A. Schmidt:
Extracting Program Logics From Abstract Interpretations Defined by Logical Relations. MFPS 2007: 339-356 - 2006
- [c26]David A. Schmidt:
Comparing Completeness Properties of Static Analyses and Their Logics. APLAS 2006: 183-199 - [c25]Gurvan Le Guernic
Automata-Based Confidentiality Monitoring. ASIAN 2006: 75-89 - [c24]Raphael Hunger, Wolfgang Utschick, David A. Schmidt, Michael Joham:
Alternating Optimization for MMSE Broadcast Precoding. ICASSP (4) 2006: 757-760 - [c23]David A. Schmidt:
Underapproximating Predicate Transformers. SAS 2006: 127-143 - 2005
- [c22]David A. Schmidt, Michael Joham, Wolfgang Utschick:
Minimum Mean Square Error Vector Precoding. PIMRC 2005: 107-111 - 2004
- [j15]Michael Huth, Radha Jagadeesan, David A. Schmidt:
A domain equation for refinement of partial systems. Math. Struct. Comput. Sci. 14(4): 469-505 (2004) - [c21]David A. Schmidt:
Closed and Logical Relations for Over- and Under-Approximation of Powersets. SAS 2004: 22-37 - [e8]David A. Schmidt:
Programming Languages and Systems, 13th European Symposium on Programming, ESOP 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004, Barcelona, Spain, March 29 - April 2, 2004, Proceedings. Lecture Notes in Computer Science 2986, Springer 2004, ISBN 3-540-21313-9 [contents] - 2002
- [j14]Adrian Fiech, David A. Schmidt:
Polymorphic lambda calculus and subtyping. Theor. Comput. Sci. 278(1-2): 111-140 (2002) - [c20]David A. Schmidt:
Structure-Preserving Binary Relations for Program Abstraction. The Essence of Computation 2002: 245-268 - [e7]Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough:
The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]. Lecture Notes in Computer Science 2566, Springer 2002, ISBN 3-540-00326-6 [contents] - 2001
- [c19]Michael Huth, Radha Jagadeesan, David A. Schmidt:
Modal Transition Systems: A Foundation for Three-Valued Program Analysis. ESOP 2001: 155-169 - [c18]David A. Schmidt:
Should UML Be Used for Declarative Programming? PPDP 2001: 1-3 - 2000
- [j13]David A. Schmidt:
Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering. High. Order Symb. Comput. 13(1/2): 89-101 (2000)
1990 – 1999
- 1999
- [c17]David A. Schmidt:
A Return to Elegance: The Reapplication of Declarative Notation to Software Design. PADL 1999: 360-364 - [c16]Markus Müller-Olm, David A. Schmidt, Bernhard Steffen:
Model-Checking: A Tutorial Introduction. SAS 1999: 330-354 - 1998
- [j12]David A. Schmidt:
Trace-Based Abstract Interpretation of Operational Semantics. LISP Symb. Comput. 10(3): 237-271 (1998) - [j11]Anindya Banerjee, David A. Schmidt:
Stackability in the Simply-Typed Call-by-Value lambda Calculus. Sci. Comput. Program. 31(1): 47-73 (1998) - [c15]David A. Schmidt:
Data Flow Analysis is Model Checking of Abstract Interpretations. POPL 1998: 38-48 - [c14]David A. Schmidt, Bernhard Steffen:
Program Analysis as Model Checking of Abstract Interpretations. SAS 1998: 351-380 - 1997
- [j10]David A. Schmidt:
On the Need for a Popular Formal Semantics. ACM SIGPLAN Notices 32(1): 115-116 (1997) - [c13]Husain Ibraheem, David A. Schmidt:
Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations. HOOTS 1997: 121 - [r1]David A. Schmidt:
Programming Language Semantics. The Computer Science and Engineering Handbook 1997: 2237-2254 - 1996
- [j9]David A. Schmidt:
Programming Language Semantics. ACM Comput. Surv. 28(1): 265-267 (1996) - [j8]Daniel Le Métayer, David A. Schmidt:
Structural Operational Semantics as a Basis for Static Program Analysis. ACM Comput. Surv. 28(2): 340-343 (1996) - [j7]David A. Schmidt:
On the Need for a Popular Formal Semantics. ACM Comput. Surv. 28(4es): 175 (1996) - [c12]David A. Schmidt:
Abstract Interpretation of Small-Step Semantics. LOMAPS 1996: 76-99 - [e6]Radhia Cousot, David A. Schmidt:
Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings. Lecture Notes in Computer Science 1145, Springer 1996, ISBN 3-540-61739-6 [contents] - 1995
- [c11]David A. Schmidt:
Natural-Semantics-Based Abstract Interpretation (Preliminary Version). SAS 1995: 1-18 - 1994
- [b1]David A. Schmidt:
The structure of typed programming languages. Foundations of computing series, MIT Press 1994, ISBN 978-0-262-19349-8, pp. I-XIV, 1-367 - [c10]Anindya Banerjee, David A. Schmidt:
Stackability in the Simply-Typed Call-by-Value Lambda Calculus. SAS 1994: 131-146 - [e5]Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings. Lecture Notes in Computer Science 802, Springer 1994, ISBN 3-540-58027-1 [contents] - 1993
- [j6]Kyung-Goo Doh, David A. Schmidt:
Action Semantics-Directed Prototyping. Comput. Lang. 19(4): 213-233 (1993) - [c9]Anindya Banerjee, David A. Schmidt:
A Categorical Interpretation of Landin's Correspondence Principle. MFPS 1993: 587-602 - [e4]David A. Schmidt:
Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993. ACM 1993, ISBN 0-89791-594-1 [contents] - 1992
- [j5]Masaaki Mizuno, David A. Schmidt:
A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof. Formal Aspects Comput. 4(6A): 727-754 (1992) - [c8]Kyung-Goo Doh, David A. Schmidt:
Extraction of Strong Typing Laws from Action Semantics Definitions. ESOP 1992: 151-166 - [e3]Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings. Lecture Notes in Computer Science 598, Springer 1992, ISBN 3-540-55511-0 [contents] - 1990
- [j4]Susan Even, David A. Schmidt:
Category-Sorted Algebra-Based Action Semantics. Theor. Comput. Sci. 77(1&2): 73-95 (1990) - [c7]Susan Even, David A. Schmidt:
Type Inference for Action Semantics. ESOP 1990: 118-133 - [e2]Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings. Lecture Notes in Computer Science 442, Springer 1990, ISBN 3-540-97375-3 [contents]
1980 – 1989
- 1988
- [j3]David A. Schmidt:
Detecting Stack-Based Environments in Denotational Definitions. Sci. Comput. Program. 11(2): 107-131 (1988) - [e1]Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt:
Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings. Lecture Notes in Computer Science 298, Springer 1988, ISBN 3-540-19020-1 [contents] - 1985
- [j2]David A. Schmidt:
Detecting Global Variables in Denotational Specifications. ACM Trans. Program. Lang. Syst. 7(2): 299-310 (1985) - [c6]Austin Melton, David A. Schmidt, George E. Strecker:
Calois Connections and Computer Science Applications. CTCS 1985: 299-312 - [c5]Austin Melton, David A. Schmidt:
A Topological Framework of cpos Lacking Bottom Elements. Mathematical Foundations of Programming Semantics 1985: 196-204 - [c4]David A. Schmidt:
An implementation from a direct semantics definition. Programs as Data Objects 1985: 222-235 - 1984
- [c3]David A. Schmidt:
A Programming Notation for Tactical Reasoning. CADE 1984: 445-459 - 1983
- [j1]David A. Schmidt:
Approximation Properties of Abstract Data Types. Theor. Comput. Sci. 24: 73-94 (1983) - 1980
- [c2]Neil D. Jones, David A. Schmidt:
Compiler generation from denotational semantics. Semantics-Directed Compiler Generation 1980: 70-93 - [c1]David A. Schmidt:
State transition machines for lambda calculus expressions. Semantics-Directed Compiler Generation 1980: 415-440
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: