David A. Schmidt

83 papers A* 1A 5B 24C 3Misc 1Journal 25Unranked 19

Year	Rank	Type	Title / Venue / Authors
2020	J	`jnl`	Spline-based intrusion detection for VANET utilizing knot flow classification. Internet Technol. Lett. David A. Schmidt, Mohammad S. Khan, Brian T. Bennett
2019	J	`jnl`	Spline Based Intrusion Detection in Vehicular Ad Hoc Networks (VANET). CoRR David A. Schmidt, Mohammad S. Khan, Brian T. Bennett
2018	—	`ch.`	Combining Model Checking and Data-Flow Analysis. Handbook of Model Checking Dirk Beyer, Sumit Gulwani, David A. Schmidt
2016	—	`conf`	Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. Semantics, Logics, and Calculi David A. Schmidt
2014	—	`ch.`	Programming Language Semantics. Computing Handbook, 3rd ed. (1) David A. Schmidt
2013	J	`jnl`	Comparison of Distributed Beamforming Algorithms for MIMO Interference Networks. IEEE Trans. Signal Process. David A. Schmidt, Changxin Shi, Randall A. Berry, Michael L. Honig, Wolfgang Utschick
2013	B	`conf`	Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing. SAS Hyunha Kim, Kyung-Goo Doh, David A. Schmidt
2012	J	`jnl`	Inverse-limit and topological aspects of abstract interpretation. Theor. Comput. Sci. David A. Schmidt
2011	—	`conf`	Abstract LR-Parsing. Formal Modeling: Actors, Open Systems, Biological Systems Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
2011	—	`conf`	Algorithms for improper single-stream MIMO interference networks. ISWCS David A. Schmidt, Wolfgang Utschick
2011	B	`ed.`	Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings VMCAI Ranjit Jhala, David A. Schmidt
2010	—	`conf`	Beamforming techniques for single-beam MIMO interference networks. Allerton David A. Schmidt, Wolfgang Utschick, Michael L. Honig
2010	—	`conf`	Gradient projection based interference alignment for the MIMO X channel. WSA Andreas Dotzler, David A. Schmidt, Guido Dietl, Wolfgang Utschick
2010	B	`conf`	Large System Performance of Interference Alignment in Single-Beam MIMO Networks. GLOBECOM David A. Schmidt, Wolfgang Utschick, Michael L. Honig
2009	B	`conf`	Abstract Interpretation From a Denotational-semantics Perspective. MFPS David A. Schmidt
2009	B	`conf`	Abstract Interpretation from a Topological Perspective. SAS David A. Schmidt
2009	B	`conf`	Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. SAS Kyung-Goo Doh, Hyunha Kim, David A. Schmidt
2009	—	`conf`	An Action Semantics Based on Two Combinators. Semantics and Algebraic Specification Kyung-Goo Doh, David A. Schmidt
2009	—	`conf`	Distributed Interference Pricing for the MIMO Interference Channel. ICC Changxin Shi, David A. Schmidt, Randall A. Berry, Michael L. Honig, Wolfgang Utschick
2009	J	`jnl`	Distributed resource allocation schemes. IEEE Signal Process. Mag. David A. Schmidt, Changxin Shi, Randall A. Berry, Michael L. Honig, Wolfgang Utschick
2008	—	`conf`	A combinatorial approach to maximizing the sum rate in the MIMO BC with linear precoding. ACSCC Raphaël Hunger, David A. Schmidt, Michael Joham
2008	—	`conf`	Distributed precoder optimization for interfering MISO channels. WSA David A. Schmidt, Andreas Gründinger, Wolfgang Utschick, Michael L. Honig
2008	J	`jnl`	Information Theory Minimum mean square error vector precoding. Eur. Trans. Telecommun. David A. Schmidt, Michael Joham, Wolfgang Utschick
2008	B	`conf`	Internal and External Logics of Abstract Interpretations. VMCAI David A. Schmidt
2008	Misc	`conf`	Point-to-point MIMO MMSE vector precoding and thp achieving capacity. ICASSP Michael Joham, Hans H. Brunner, Raphael Hunger, David A. Schmidt, Wolfgang Utschick
2007	J	`jnl`	A calculus of logical relations for over- and underapproximating static analyses. Sci. Comput. Program. David A. Schmidt
2007	—	`conf`	Design of Single-Group Multicasting-Beamformers. ICC Raphael Hunger, David A. Schmidt, Michael Joham, Alexander G. Schwing, Wolfgang Utschick
2007	B	`conf`	Extracting Program Logics From Abstract Interpretations Defined by Logical Relations. MFPS David A. Schmidt
2007	J	`jnl`	Finite-Length MMSE Tomlinson-Harashima Precoding for Frequency Selective Vector Channels. IEEE Trans. Signal Process. Michael Joham, David A. Schmidt, Johannes Brehmer, Wolfgang Utschick
2007	J	`jnl`	State-transition machines for lambda-calculus expressions. High. Order Symb. Comput. David A. Schmidt
2007	J	`jnl`	State-transition machines, revisited. High. Order Symb. Comput. David A. Schmidt
2007	B	`conf`	Sum-Capacity and MMSE for the MIMO Broadcast Channel without Eigenvalue Decompositions. ISIT Raphael Hunger, David A. Schmidt, Wolfgang Utschick
2006	—	`conf`	Alternating Optimization for MMSE Broadcast Precoding. ICASSP (4) Raphael Hunger, Wolfgang Utschick, David A. Schmidt, Michael Joham
2006	—	`conf`	Automata-Based Confidentiality Monitoring. ASIAN Gurvan Le Guernic, Anindya Banerjee, Thomas P. Jensen, David A. Schmidt
2006	B	`conf`	Comparing Completeness Properties of Static Analyses and Their Logics. APLAS David A. Schmidt
2006	B	`conf`	Underapproximating Predicate Transformers. SAS David A. Schmidt
2005	B	`conf`	Minimum Mean Square Error Vector Precoding. PIMRC David A. Schmidt, Michael Joham, Wolfgang Utschick
2004	J	`jnl`	A domain equation for refinement of partial systems. Math. Struct. Comput. Sci. Michael Huth, Radha Jagadeesan, David A. Schmidt
2004	B	`conf`	Closed and Logical Relations for Over- and Under-Approximation of Powersets. SAS David A. Schmidt
2004	A	`ed.`	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 ESOP David A. Schmidt
2002	J	`jnl`	Polymorphic lambda calculus and subtyping. Theor. Comput. Sci. Adrian Fiech, David A. Schmidt
2002	—	`conf`	Structure-Preserving Binary Relations for Program Abstraction. The Essence of Computation David A. Schmidt
2002	—	`ed.`	The Essence of Computation, Complexity, Analysis, Transformation. Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday] The Essence of Computation Torben Æ. Mogensen, David A. Schmidt, Ivan Hal Sudborough
2001	A	`conf`	Modal Transition Systems: A Foundation for Three-Valued Program Analysis. ESOP Michael Huth, Radha Jagadeesan, David A. Schmidt
2001	C	`conf`	Should UML Be Used for Declarative Programming? PPDP David A. Schmidt
2000	J	`jnl`	Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering. High. Order Symb. Comput. David A. Schmidt
1999	C	`conf`	A Return to Elegance: The Reapplication of Declarative Notation to Software Design. PADL David A. Schmidt
1999	B	`conf`	Model-Checking: A Tutorial Introduction. SAS Markus Müller-Olm, David A. Schmidt, Bernhard Steffen
1998	A*	`conf`	Data Flow Analysis is Model Checking of Abstract Interpretations. POPL David A. Schmidt
1998	B	`conf`	Program Analysis SAS David A. Schmidt, Bernhard Steffen
1998	J	`jnl`	Stackability in the Simply-Typed Call-by-Value lambda Calculus. Sci. Comput. Program. Anindya Banerjee, David A. Schmidt
1998	J	`jnl`	Trace-Based Abstract Interpretation of Operational Semantics. LISP Symb. Comput. David A. Schmidt
1997	—	`conf`	Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations. HOOTS Husain Ibraheem, David A. Schmidt
1997	J	`jnl`	On the Need for a Popular Formal Semantics. ACM SIGPLAN Notices David A. Schmidt
1997	—	`ch.`	Programming Language Semantics. The Computer Science and Engineering Handbook David A. Schmidt
1996	—	`conf`	Abstract Interpretation of Small-Step Semantics. LOMAPS David A. Schmidt
1996	J	`jnl`	On the Need for a Popular Formal Semantics. ACM Comput. Surv. David A. Schmidt
1996	J	`jnl`	Programming Language Semantics. ACM Comput. Surv. David A. Schmidt
1996	B	`ed.`	Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings SAS Radhia Cousot, David A. Schmidt
1996	J	`jnl`	Structural Operational Semantics as a Basis for Static Program Analysis. ACM Comput. Surv. Daniel Le Métayer, David A. Schmidt
1995	B	`conf`	Natural-Semantics-Based Abstract Interpretation (Preliminary Version) SAS David A. Schmidt
1994	B	`ed.`	Mathematical Foundations of Programming Semantics, 9th International Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1994	B	`conf`	Stackability in the Simply-Typed Call-by-Value Lambda Calculus. SAS Anindya Banerjee, David A. Schmidt
1994	—	`book`	The structure of typed programming languages. David A. Schmidt
1993	B	`conf`	A Categorical Interpretation of Landin's Correspondence Principle. MFPS Anindya Banerjee, David A. Schmidt
1993	J	`jnl`	Action Semantics-Directed Prototyping. Comput. Lang. Kyung-Goo Doh, David A. Schmidt
1993	C	`ed.`	Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark, June 14-16, 1993 PEPM David A. Schmidt
1992	J	`jnl`	A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof. Formal Aspects Comput. Masaaki Mizuno, David A. Schmidt
1992	A	`conf`	Extraction of Strong Typing Laws from Action Semantics Definitions. ESOP Kyung-Goo Doh, David A. Schmidt
1992	B	`ed.`	Mathematical Foundations of Programming Semantics, 7th International Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings MFPS Stephen D. Brookes, Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1990	J	`jnl`	Category-Sorted Algebra-Based Action Semantics. Theor. Comput. Sci. Susan Even, David A. Schmidt
1990	B	`ed.`	Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings MFPS Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1990	A	`conf`	Type Inference for Action Semantics. ESOP Susan Even, David A. Schmidt
1988	J	`jnl`	Detecting Stack-Based Environments in Denotational Definitions. Sci. Comput. Program. David A. Schmidt
1988	B	`ed.`	Mathematical Foundations of Programming Language Semantics, 3rd Workshop, Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987, Proceedings MFPS Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt
1985	B	`conf`	A Topological Framework of cpos Lacking Bottom Elements. Mathematical Foundations of Programming Semantics Austin Melton, David A. Schmidt
1985	—	`conf`	An implementation from a direct semantics definition. Programs as Data Objects David A. Schmidt
1985	—	`conf`	Calois Connections and Computer Science Applications. CTCS Austin Melton, David A. Schmidt, George E. Strecker
1985	J	`jnl`	Detecting Global Variables in Denotational Specifications. ACM Trans. Program. Lang. Syst. David A. Schmidt
1984	A	`conf`	A Programming Notation for Tactical Reasoning. CADE David A. Schmidt
1983	J	`jnl`	Approximation Properties of Abstract Data Types. Theor. Comput. Sci. David A. Schmidt
1980	—	`conf`	Compiler generation from denotational semantics. Semantics-Directed Compiler Generation Neil D. Jones, David A. Schmidt
1980	—	`conf`	State transition machines for lambda calculus expressions. Semantics-Directed Compiler Generation David A. Schmidt