Spline-based intrusion detection for VANET utilizing knot flow classification.

David A. Schmidt Kansas State University, Manhattan, KS, USA http://www.cis.ksu.edu/~schmidt/home.html

David A. Schmidt Mohammad S. Khan Brian T. Bennett Spline-based intrusion detection for VANET utilizing knot flow classification. 2020 3 Internet Technol. Lett. 3 https://doi.org/10.1002/itl2.155 db/journals/itl/itl3.html#SchmidtKB20

David A. Schmidt Mohammad S. Khan Brian T. Bennett Spline Based Intrusion Detection in Vehicular Ad Hoc Networks (VANET). 2019 abs/1903.08018 CoRR http://arxiv.org/abs/1903.08018 db/journals/corr/corr1903.html#abs-1903-08018

Dirk Beyer 0001 Sumit Gulwani David A. Schmidt Combining Model Checking and Data-Flow Analysis. 493-540 2018 Handbook of Model Checking https://doi.org/10.1007/978-3-319-10575-8_16 reference/mc/2018 db/reference/mc/mc2018.html#BeyerGS18 David A. Schmidt Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language Formulated Topologically. 252-271 2016 Semantics, Logics, and Calculi https://doi.org/10.1007/978-3-319-27810-0_13 conf/birthday/2016nielson db/conf/birthday/nielson2016.html#Schmidt16 David A. Schmidt Programming Language Semantics. 69: 1-19 2014 Computing Handbook, 3rd ed. (1) books/crc/chb2014-1 db/books/collections/chb2014-1.html#Schmidt14

David A. Schmidt Changxin Shi Randall A. Berry Michael L. Honig Wolfgang Utschick Comparison of Distributed Beamforming Algorithms for MIMO Interference Networks. 3476-3489 2013 61 IEEE Trans. Signal Process. 13 https://doi.org/10.1109/TSP.2013.2257761 https://www.wikidata.org/entity/Q60486175 db/journals/tsp/tsp61.html#SchmidtSBHU13

Hyunha Kim Kyung-Goo Doh David A. Schmidt Static Validation of Dynamically Generated HTML Documents Based on Abstract Parsing and Semantic Processing. 194-214 2013 SAS https://doi.org/10.1007/978-3-642-38856-9_12 conf/sas/2013 db/conf/sas/sas2013.html#KimDS13

David A. Schmidt Inverse-limit and topological aspects of abstract interpretation. 23-42 2012 430 Theor. Comput. Sci. https://doi.org/10.1016/j.tcs.2012.01.002 db/journals/tcs/tcs430.html#Schmidt12

Kyung-Goo Doh Hyunha Kim David A. Schmidt Abstract LR-Parsing. 90-109 2011 Formal Modeling: Actors, Open Systems, Biological Systems https://doi.org/10.1007/978-3-642-24933-4_6 conf/birthday/2011talcott db/conf/birthday/talcott2011.html#DohKS11 David A. Schmidt Wolfgang Utschick Algorithms for improper single-stream MIMO interference networks. 251-255 2011 ISWCS https://doi.org/10.1109/ISWCS.2011.6125349 conf/iswcs/2011 db/conf/iswcs/iswcs2011.html#SchmidtU11 Ranjit Jhala David A. Schmidt Verification, Model Checking, and Abstract Interpretation - 12th International Conference, VMCAI 2011, Austin, TX, USA, January 23-25, 2011. Proceedings 6538 2011 https://doi.org/10.1007/978-3-642-18275-4 978-3-642-18274-7 VMCAI Lecture Notes in Computer Science Springer db/conf/vmcai/vmcai2011.html David A. Schmidt Wolfgang Utschick Michael L. Honig Beamforming techniques for single-beam MIMO interference networks. 1182-1187 2010 Allerton https://doi.org/10.1109/ALLERTON.2010.5707048 conf/allerton/2010 db/conf/allerton/allerton2010.html#SchmidtUH10 David A. Schmidt Wolfgang Utschick Michael L. Honig Large System Performance of Interference Alignment in Single-Beam MIMO Networks. 1-6 2010 GLOBECOM https://doi.org/10.1109/GLOCOM.2010.5684032 conf/globecom/2010 db/conf/globecom/globecom2010.html#SchmidtUH10 Andreas Dotzler David A. Schmidt Guido Dietl Wolfgang Utschick Gradient projection based interference alignment for the MIMO X channel. 355-360 2010 WSA https://doi.org/10.1109/WSA.2010.5456418 conf/wsa/2010 db/conf/wsa/wsa2010.html#DotzlerSDU10

David A. Schmidt Changxin Shi Randall A. Berry Michael L. Honig Wolfgang Utschick Distributed resource allocation schemes. 53-63 2009 26 IEEE Signal Process. Mag. 5 https://doi.org/10.1109/MSRP.2009.933371 https://www.wikidata.org/entity/Q60486260 db/journals/spm/spm26.html#SchmidtSBHU09

Kyung-Goo Doh David A. Schmidt An Action Semantics Based on Two Combinators. 274-296 2009 Semantics and Algebraic Specification https://doi.org/10.1007/978-3-642-04164-8_14 conf/birthday/2009mosses db/conf/birthday/mosses2009.html#DohS09 Changxin Shi David A. Schmidt Randall A. Berry Michael L. Honig Wolfgang Utschick Distributed Interference Pricing for the MIMO Interference Channel. 1-5 2009 ICC https://doi.org/10.1109/ICC.2009.5198927 https://www.wikidata.org/entity/Q60486273 conf/icc/2009 db/conf/icc/icc2009.html#ShiSBHU09 Kyung-Goo Doh Hyunha Kim David A. Schmidt Abstract Parsing: Static Analysis of Dynamically Generated String Output Using LR-Parsing Technology. 256-272 2009 SAS https://doi.org/10.1007/978-3-642-03237-0_18 conf/sas/2009 db/conf/sas/sas2009.html#DohKS09 David A. Schmidt Abstract Interpretation from a Topological Perspective. 293-308 2009 SAS https://doi.org/10.1007/978-3-642-03237-0_20 conf/sas/2009 db/conf/sas/sas2009.html#Schmidt09 David A. Schmidt Abstract Interpretation From a Denotational-semantics Perspective. 19-37 2009 conf/mfps/2009 MFPS https://doi.org/10.1016/j.entcs.2009.07.082 db/journals/entcs/entcs249.html#Schmidt09

David A. Schmidt Michael Joham Wolfgang Utschick Information Theory Minimum mean square error vector precoding. 219-231 2008 19 Eur. Trans. Telecommun. 3 https://doi.org/10.1002/ett.1192 db/journals/ett/ett19.html#SchmidtJU08

Raphaël Hunger David A. Schmidt Michael Joham A combinatorial approach to maximizing the sum rate in the MIMO BC with linear precoding. 316-320 2008 ACSCC https://doi.org/10.1109/ACSSC.2008.5074416 conf/acssc/2008 db/conf/acssc/acssc2008.html#HungerSJ08 Michael Joham Hans H. Brunner Raphael Hunger David A. Schmidt Wolfgang Utschick Point-to-point MIMO MMSE vector precoding and thp achieving capacity. 2925-2928 2008 ICASSP https://doi.org/10.1109/ICASSP.2008.4518262 conf/icassp/2008 db/conf/icassp/icassp2008.html#JohamBHSU08 David A. Schmidt Internal and External Logics of Abstract Interpretations. 263-278 2008 VMCAI https://doi.org/10.1007/978-3-540-78163-9_23 conf/vmcai/2008 db/conf/vmcai/vmcai2008.html#Schmidt08 David A. Schmidt Andreas Gründinger Wolfgang Utschick Michael L. Honig Distributed precoder optimization for interfering MISO channels. 285-290 2008 WSA https://doi.org/10.1109/WSA.2008.4475571 conf/wsa/2008 db/conf/wsa/wsa2008.html#SchmidtGUH08

David A. Schmidt State-transition machines for lambda-calculus expressions. 319-332 2007 20 High. Order Symb. Comput. 3 https://doi.org/10.1007/s10990-007-9012-2 db/journals/lisp/lisp20.html#Schmidt07

David A. Schmidt State-transition machines, revisited. 333-335 2007 20 High. Order Symb. Comput. 3 https://doi.org/10.1007/s10990-007-9017-x db/journals/lisp/lisp20.html#Schmidt07a

David A. Schmidt A calculus of logical relations for over- and underapproximating static analyses. 29-53 2007 64 Sci. Comput. Program. 1 https://doi.org/10.1016/j.scico.2006.03.008 db/journals/scp/scp64.html#Schmidt07

Michael Joham David A. Schmidt Johannes Brehmer Wolfgang Utschick Finite-Length MMSE Tomlinson-Harashima Precoding for Frequency Selective Vector Channels. 3073-3088 2007 55 IEEE Trans. Signal Process. 6-2 https://doi.org/10.1109/TSP.2007.893954 db/journals/tsp/tsp55.html#JohamSBU07

Raphael Hunger David A. Schmidt Michael Joham Alexander G. Schwing Wolfgang Utschick Design of Single-Group Multicasting-Beamformers. 2499-2505 2007 ICC https://doi.org/10.1109/ICC.2007.413 conf/icc/2007 db/conf/icc/icc2007.html#HungerSJSU07 Raphael Hunger David A. Schmidt Wolfgang Utschick Sum-Capacity and MMSE for the MIMO Broadcast Channel without Eigenvalue Decompositions. 776-780 2007 ISIT https://doi.org/10.1109/ISIT.2007.4557107 conf/isit/2007 db/conf/isit/isit2007.html#HungerSU07 David A. Schmidt Extracting Program Logics From Abstract Interpretations Defined by Logical Relations. 339-356 2007 conf/mfps/2007 MFPS https://doi.org/10.1016/j.entcs.2007.02.042 db/journals/entcs/entcs173.html#Schmidt07 David A. Schmidt Comparing Completeness Properties of Static Analyses and Their Logics. 183-199 2006 conf/aplas/2006 APLAS https://doi.org/10.1007/11924661_12 db/conf/aplas/aplas2006.html#Schmidt06 Gurvan Le Guernic Anindya Banerjee 0001 Thomas P. Jensen David A. Schmidt Automata-Based Confidentiality Monitoring. 75-89 2006 ASIAN https://doi.org/10.1007/978-3-540-77505-8_7 conf/asian/2006 db/conf/asian/asian2006.html#GuernicBJS06 Raphael Hunger Wolfgang Utschick David A. Schmidt Michael Joham Alternating Optimization for MMSE Broadcast Precoding. 757-760 2006 ICASSP (4) https://doi.org/10.1109/ICASSP.2006.1661079 conf/icassp/2006 db/conf/icassp/icassp2006.html#HungerUSJ06 David A. Schmidt Underapproximating Predicate Transformers. 127-143 2006 conf/sas/2006 SAS https://doi.org/10.1007/11823230_9 db/conf/sas/sas2006.html#Schmidt06 David A. Schmidt Michael Joham Wolfgang Utschick Minimum Mean Square Error Vector Precoding. 107-111 2005 PIMRC https://doi.org/10.1109/PIMRC.2005.1651408 conf/pimrc/2005 db/conf/pimrc/pimrc2005.html#SchmidtJU05

Michael Huth 0001 Radha Jagadeesan David A. Schmidt A domain equation for refinement of partial systems. 469-505 2004 14 Math. Struct. Comput. Sci. 4 https://doi.org/10.1017/S0960129504004268 db/journals/mscs/mscs14.html#HuthJS04

David A. Schmidt Closed and Logical Relations for Over- and Under-Approximation of Powersets. 22-37 https://doi.org/10.1007/978-3-540-27864-1_5 2004 conf/sas/2004 SAS db/conf/sas/sas2004.html#Schmidt04 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 ESOP Lecture Notes in Computer Science 2986 Springer 2004 3-540-21313-9 https://doi.org/10.1007/b96702 db/conf/esop/esop2004.html

Adrian Fiech David A. Schmidt Polymorphic lambda calculus and subtyping. 111-140 2002 278 Theor. Comput. Sci. 1-2 db/journals/tcs/tcs278.html#FiechS02 https://doi.org/10.1016/S0304-3975(00)00333-9

David A. Schmidt Structure-Preserving Binary Relations for Program Abstraction. 245-268 2002 conf/birthday/2002jones The Essence of Computation https://doi.org/10.1007/3-540-36377-7_12 db/conf/birthday/jones2002.html#Schmidt02 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] The Essence of Computation Lecture Notes in Computer Science 2566 Springer 2002 3-540-00326-6 https://doi.org/10.1007/3-540-36377-7 db/conf/birthday/jones2002.html Michael Huth 0001 Radha Jagadeesan David A. Schmidt Modal Transition Systems: A Foundation for Three-Valued Program Analysis. 155-169 2001 conf/esop/2001 ESOP https://doi.org/10.1007/3-540-45309-1_11 db/conf/esop/esop2001.html#HuthJS01 David A. Schmidt Should UML Be Used for Declarative Programming? 1-3 2001 conf/ppdp/2001 PPDP db/conf/ppdp/ppdp2001.html#Schmidt01 https://doi.org/10.1145/773184.773185

David A. Schmidt Induction, Domains, Calculi: Strachey's Contributions to Programming-Language Engineering. 89-101 2000 13 High. Order Symb. Comput. 1/2 db/journals/lisp/lisp13.html#Schmidt00 https://doi.org/10.1023/A:1010066127644

David A. Schmidt A Return to Elegance: The Reapplication of Declarative Notation to Software Design. 360-364 1999 conf/padl/1999 PADL https://doi.org/10.1007/3-540-49201-1_25 db/conf/padl/padl99.html#Schmidt99 Markus Müller-Olm David A. Schmidt Bernhard Steffen Model-Checking: A Tutorial Introduction. 330-354 1999 conf/sas/1999 SAS https://doi.org/10.1007/3-540-48294-6_22 db/conf/sas/sas99.html#Muller-OlmSS99

David A. Schmidt Trace-Based Abstract Interpretation of Operational Semantics. 237-271 1998 10 LISP Symb. Comput. 3 db/journals/lisp/lisp10.html#Schmidt98

Anindya Banerjee 0001 David A. Schmidt Stackability in the Simply-Typed Call-by-Value lambda Calculus. 47-73 1998 31 Sci. Comput. Program. 1 db/journals/scp/scp31.html#BanerjeeS98 https://doi.org/10.1016/S0167-6423(96)00040-8

David A. Schmidt Data Flow Analysis is Model Checking of Abstract Interpretations. 38-48 1998 conf/popl/1998 POPL https://doi.org/10.1145/268946.268950 db/conf/popl/popl98.html#Schmidt98 David A. Schmidt Bernhard Steffen Program Analysis <i>as</i> Model Checking of Abstract Interpretations. 351-380 https://doi.org/10.1007/3-540-49727-7_22 1998 conf/sas/1998 SAS db/conf/sas/sas98.html#SchmidtS98

David A. Schmidt On the Need for a Popular Formal Semantics. 115-116 1997 32 ACM SIGPLAN Notices 1 db/journals/sigplan/sigplan32.html#Schmidt97 https://doi.org/10.1145/251595.251617

Husain Ibraheem David A. Schmidt Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations and "Higher-Order" Derivations. 1997 conf/hoots/1997 HOOTS https://doi.org/10.1016/S1571-0661(05)80692-9 db/journals/entcs/entcs10.html#IbraheemS97 121 David A. Schmidt Programming Language Semantics. 2237-2254 1997 books/crc/tucker1997 The Computer Science and Engineering Handbook db/books/collections/tucker97.html#Schmidt97

David A. Schmidt Programming Language Semantics. 265-267 1996 28 ACM Comput. Surv. 1 db/journals/csur/csur28.html#Schmidt96 https://doi.org/10.1145/234313.234419

Daniel Le Métayer David A. Schmidt Structural Operational Semantics as a Basis for Static Program Analysis. 340-343 1996 28 ACM Comput. Surv. 2 db/journals/csur/csur28.html#MetayerS96 https://doi.org/10.1145/234528.234744

David A. Schmidt On the Need for a Popular Formal Semantics. 175 1996 28 ACM Comput. Surv. 4es db/journals/csur/csur28.html#Schmidt96b https://doi.org/10.1145/242224.242451

David A. Schmidt Abstract Interpretation of Small-Step Semantics. 76-99 1996 conf/lomaps/1996 LOMAPS db/conf/lomaps/lomaps96.html#Schmidt96 https://doi.org/10.1007/3-540-62503-8_4 Radhia Cousot David A. Schmidt Static Analysis, Third International Symposium, SAS'96, Aachen, Germany, September 24-26, 1996, Proceedings SAS Lecture Notes in Computer Science 1145 Springer 1996 3-540-61739-6 https://doi.org/10.1007/3-540-61739-6 db/conf/sas/sas96.html David A. Schmidt Natural-Semantics-Based Abstract Interpretation (Preliminary Version) 1-18 conf/sas/95 SAS 1995 db/conf/sas/sas95.html#Schmidt95 https://doi.org/10.1007/3-540-60360-3_28 David A. Schmidt The structure of typed programming languages. I-XIV, 1-367 MIT Press 1994 Foundations of computing series 978-0-262-19349-8 Anindya Banerjee 0001 David A. Schmidt Stackability in the Simply-Typed Call-by-Value Lambda Calculus. 131-146 1994 conf/sas/94 SAS db/conf/sas/sas94.html#BanerjeeS94 https://doi.org/10.1007/3-540-58485-4_37 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 MFPS Lecture Notes in Computer Science 802 Springer 1994 3-540-58027-1 https://doi.org/10.1007/3-540-58027-1 db/conf/mfps/mfps1993.html

Kyung-Goo Doh David A. Schmidt Action Semantics-Directed Prototyping. 213-233 1993 19 Comput. Lang. 4 db/journals/cl/cl19.html#DohS93 https://doi.org/10.1016/0096-0551(93)90008-O

Anindya Banerjee 0001 David A. Schmidt A Categorical Interpretation of Landin's Correspondence Principle. 587-602 1993 conf/mfps/1993 MFPS db/conf/mfps/mfps1993.html#BanerjeeS93 https://doi.org/10.1007/3-540-58027-1_29 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 PEPM ACM 1993 0-89791-594-1 db/conf/pepm/pepm93.html http://dl.acm.org/citation.cfm?id=154630

Masaaki Mizuno David A. Schmidt A Security Flow Control Algorithm and Its Denotational Semantics Correctness Proof. 727-754 1992 4 Formal Aspects Comput. 6A db/journals/fac/fac4.html#MizunoS92

Kyung-Goo Doh David A. Schmidt Extraction of Strong Typing Laws from Action Semantics Definitions. 151-166 1992 conf/esop/1992 ESOP db/conf/esop/esop92.html#DohS92 https://doi.org/10.1007/3-540-55253-7_9 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 MFPS Lecture Notes in Computer Science 598 Springer 1992 3-540-55511-0 https://doi.org/10.1007/3-540-55511-0 db/conf/mfps/mfps1991.html

Susan Even David A. Schmidt Category-Sorted Algebra-Based Action Semantics. 73-95 1990 77 Theor. Comput. Sci. 1&2 db/journals/tcs/tcs77.html#EvenS90 https://doi.org/10.1016/0304-3975(90)90116-Y

Susan Even David A. Schmidt Type Inference for Action Semantics. 118-133 1990 conf/esop/1990 ESOP db/conf/esop/esop90.html#EvenS90 https://doi.org/10.1007/3-540-52592-0_59 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 MFPS Lecture Notes in Computer Science 442 Springer 1990 3-540-97375-3 https://doi.org/10.1007/BFb0040251 db/conf/mfps/mfps1989.html

David A. Schmidt Detecting Stack-Based Environments in Denotational Definitions. 107-131 1988 11 Sci. Comput. Program. 2 db/journals/scp/scp11.html#Schmidt88 https://doi.org/10.1016/0167-6423(88)90001-9

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 MFPS Lecture Notes in Computer Science 298 Springer 1988 3-540-19020-1 https://doi.org/10.1007/3-540-19020-1 db/conf/mfps/mfps1987.html

David A. Schmidt Detecting Global Variables in Denotational Specifications. 299-310 1985 7 ACM Trans. Program. Lang. Syst. 2 https://doi.org/10.1145/3318.3323 db/journals/toplas/toplas7.html#Schmidt85

Austin Melton David A. Schmidt George E. Strecker Calois Connections and Computer Science Applications. 299-312 1985 conf/ctcs/1985 CTCS db/conf/ctcs/ctcs1985.html#MeltonSS85 https://doi.org/10.1007/3-540-17162-2_130 Austin Melton David A. Schmidt A Topological Framework of cpos Lacking Bottom Elements. 196-204 1985 conf/mfps/1985 Mathematical Foundations of Programming Semantics db/conf/mfps/mfps85.html#MeltonS85 https://doi.org/10.1007/3-540-16816-8_33 David A. Schmidt An implementation from a direct semantics definition. 222-235 1985 conf/pdo/1985 Programs as Data Objects db/conf/pdo/pdo1985.html#Schmidt85 https://doi.org/10.1007/3-540-16446-4_13 David A. Schmidt A Programming Notation for Tactical Reasoning. 445-459 1984 conf/cade/1984 CADE db/conf/cade/cade84.html#Schmidt84 https://doi.org/10.1007/978-0-387-34768-4_26

David A. Schmidt Approximation Properties of Abstract Data Types. 73-94 1983 24 Theor. Comput. Sci. db/journals/tcs/tcs24.html#Schmidt83 https://doi.org/10.1016/0304-3975(83)90131-7

Neil D. Jones David A. Schmidt Compiler generation from denotational semantics. 70-93 1980 conf/cc/1980 Semantics-Directed Compiler Generation db/conf/cc/cc1980.html#JonesS80 https://doi.org/10.1007/3-540-10250-7_19 David A. Schmidt State transition machines for lambda calculus expressions. 415-440 1980 conf/cc/1980 Semantics-Directed Compiler Generation db/conf/cc/cc1980.html#Schmidt80 https://doi.org/10.1007/3-540-10250-7_32 Anindya Banerjee 0001 Brian T. Bennett Randall BerryRandall A. Berry Dirk Beyer 0001 Johannes Brehmer Stephen D. Brookes Hans H. Brunner Radhia Cousot Guido Dietl Kyung-Goo Doh Andreas Dotzler Susan Even Adrian Fiech Andreas Gründinger Gurvan Le Guernic Sumit Gulwani Michael L. Honig Raphael HungerRaphaël Hunger Michael Huth 0001 Husain Ibraheem Radha Jagadeesan Thomas P. Jensen Ranjit Jhala Michael Joham Neil D. Jones Mohammad S. Khan Hyunha Kim Michael G. Main Austin Melton Daniel Le Métayer Michael W. Mislove Masaaki Mizuno Torben Æ. Mogensen Markus Müller-Olm Alexander G. Schwing Changxin Shi Bernhard Steffen George E. Strecker Ivan Hal Sudborough Wolfgang Utschick