Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: David A. Schmidt
@article{DBLP:journals/itl/SchmidtKB20,
author = {David A. Schmidt and
Mohammad S. Khan and
Brian T. Bennett},
title = {Spline-based intrusion detection for {VANET} utilizing knot flow classification},
journal = {Internet Technol. Lett.},
volume = {3},
number = {3},
year = {2020},
url = {https://doi.org/10.1002/itl2.155},
doi = {10.1002/ITL2.155},
timestamp = {Tue, 16 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/itl/SchmidtKB20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1903-08018,
author = {David A. Schmidt and
Mohammad S. Khan and
Brian T. Bennett},
title = {Spline Based Intrusion Detection in Vehicular Ad Hoc Networks {(VANET)}},
journal = {CoRR},
volume = {abs/1903.08018},
year = {2019},
url = {http://arxiv.org/abs/1903.08018},
eprinttype = {arXiv},
eprint = {1903.08018},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1903-08018.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:reference/mc/BeyerGS18,
author = {Dirk Beyer and
Sumit Gulwani and
David A. Schmidt},
editor = {Edmund M. Clarke and
Thomas A. Henzinger and
Helmut Veith and
Roderick Bloem},
title = {Combining Model Checking and Data-Flow Analysis},
booktitle = {Handbook of Model Checking},
pages = {493--540},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-10575-8\_16},
doi = {10.1007/978-3-319-10575-8\_16},
timestamp = {Mon, 03 Jan 2022 22:13:30 +0100},
biburl = {https://dblp.org/rec/reference/mc/BeyerGS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Schmidt16,
author = {David A. Schmidt},
editor = {Christian W. Probst and
Chris Hankin and
Ren{\'{e}} Rydhof Hansen},
title = {Guards, Failure, and Partiality: Dijkstra's Guarded-Command Language
Formulated Topologically},
booktitle = {Semantics, Logics, and Calculi - Essays Dedicated to Hanne Riis Nielson
and Flemming Nielson on the Occasion of Their 60th Birthdays},
series = {Lecture Notes in Computer Science},
volume = {9560},
pages = {252--271},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-27810-0\_13},
doi = {10.1007/978-3-319-27810-0\_13},
timestamp = {Tue, 21 Mar 2023 20:58:42 +0100},
biburl = {https://dblp.org/rec/conf/birthday/Schmidt16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/chb/Schmidt14,
author = {David A. Schmidt},
editor = {Teofilo F. Gonzalez and
Jorge Diaz{-}Herrera and
Allen Tucker},
title = {Programming Language Semantics},
booktitle = {Computing Handbook, Third Edition: Computer Science and Software Engineering},
pages = {69: 1--19},
publisher = {{CRC} Press},
year = {2014},
timestamp = {Tue, 17 Jun 2014 14:00:46 +0200},
biburl = {https://dblp.org/rec/books/crc/chb/Schmidt14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/SchmidtSBHU13,
author = {David A. Schmidt and
Changxin Shi and
Randall A. Berry and
Michael L. Honig and
Wolfgang Utschick},
title = {Comparison of Distributed Beamforming Algorithms for {MIMO} Interference
Networks},
journal = {{IEEE} Trans. Signal Process.},
volume = {61},
number = {13},
pages = {3476--3489},
year = {2013},
url = {https://doi.org/10.1109/TSP.2013.2257761},
doi = {10.1109/TSP.2013.2257761},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsp/SchmidtSBHU13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KimDS13,
author = {Hyunha Kim and
Kyung{-}Goo Doh and
David A. Schmidt},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Static Validation of Dynamically Generated {HTML} Documents Based
on Abstract Parsing and Semantic Processing},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {194--214},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_12},
doi = {10.1007/978-3-642-38856-9\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/KimDS13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Schmidt12,
author = {David A. Schmidt},
title = {Inverse-limit and topological aspects of abstract interpretation},
journal = {Theor. Comput. Sci.},
volume = {430},
pages = {23--42},
year = {2012},
url = {https://doi.org/10.1016/j.tcs.2012.01.002},
doi = {10.1016/J.TCS.2012.01.002},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Schmidt12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DohKS11,
author = {Kyung{-}Goo Doh and
Hyunha Kim and
David A. Schmidt},
editor = {Gul Agha and
Olivier Danvy and
Jos{\'{e}} Meseguer},
title = {Abstract LR-Parsing},
booktitle = {Formal Modeling: Actors, Open Systems, Biological Systems - Essays
Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday},
series = {Lecture Notes in Computer Science},
volume = {7000},
pages = {90--109},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24933-4\_6},
doi = {10.1007/978-3-642-24933-4\_6},
timestamp = {Thu, 21 Sep 2023 09:08:34 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DohKS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iswcs/SchmidtU11,
author = {David A. Schmidt and
Wolfgang Utschick},
title = {Algorithms for improper single-stream {MIMO} interference networks},
booktitle = {8th International Symposium on Wireless Communication Systems, {ISWCS}
2011, Aachen, Germany, November 6-9, 2011},
pages = {251--255},
publisher = {{IEEE}},
year = {2011},
url = {https://doi.org/10.1109/ISWCS.2011.6125349},
doi = {10.1109/ISWCS.2011.6125349},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iswcs/SchmidtU11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2011,
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4},
doi = {10.1007/978-3-642-18275-4},
isbn = {978-3-642-18274-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/2011.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/allerton/SchmidtUH10,
author = {David A. Schmidt and
Wolfgang Utschick and
Michael L. Honig},
title = {Beamforming techniques for single-beam {MIMO} interference networks},
booktitle = {48th Annual Allerton Conference on Communication, Control, and Computing,
Allerton 2010, Monticello, IL, USA, September 29 - October 1, 2020},
pages = {1182--1187},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ALLERTON.2010.5707048},
doi = {10.1109/ALLERTON.2010.5707048},
timestamp = {Sun, 17 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/allerton/SchmidtUH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/globecom/SchmidtUH10,
author = {David A. Schmidt and
Wolfgang Utschick and
Michael L. Honig},
title = {Large System Performance of Interference Alignment in Single-Beam
{MIMO} Networks},
booktitle = {Proceedings of the Global Communications Conference, 2010. {GLOBECOM}
2010, 6-10 December 2010, Miami, Florida, {USA}},
pages = {1--6},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/GLOCOM.2010.5684032},
doi = {10.1109/GLOCOM.2010.5684032},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/globecom/SchmidtUH10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsa/DotzlerSDU10,
author = {Andreas Dotzler and
David A. Schmidt and
Guido Dietl and
Wolfgang Utschick},
title = {Gradient projection based interference alignment for the {MIMO} {X}
channel},
booktitle = {2010 International {ITG} Workshop on Smart Antennas, {WSA} 2010, February
23-24, Bremen, Germany},
pages = {355--360},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/WSA.2010.5456418},
doi = {10.1109/WSA.2010.5456418},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsa/DotzlerSDU10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/spm/SchmidtSBHU09,
author = {David A. Schmidt and
Changxin Shi and
Randall A. Berry and
Michael L. Honig and
Wolfgang Utschick},
title = {Distributed resource allocation schemes},
journal = {{IEEE} Signal Process. Mag.},
volume = {26},
number = {5},
pages = {53--63},
year = {2009},
url = {https://doi.org/10.1109/MSRP.2009.933371},
doi = {10.1109/MSRP.2009.933371},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/spm/SchmidtSBHU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/DohS09,
author = {Kyung{-}Goo Doh and
David A. Schmidt},
editor = {Jens Palsberg},
title = {An Action Semantics Based on Two Combinators},
booktitle = {Semantics and Algebraic Specification, Essays Dedicated to Peter D.
Mosses on the Occasion of His 60th Birthday},
series = {Lecture Notes in Computer Science},
volume = {5700},
pages = {274--296},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04164-8\_14},
doi = {10.1007/978-3-642-04164-8\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/DohS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/ShiSBHU09,
author = {Changxin Shi and
David A. Schmidt and
Randall A. Berry and
Michael L. Honig and
Wolfgang Utschick},
title = {Distributed Interference Pricing for the {MIMO} Interference Channel},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2009, Dresden, Germany, 14-18 June 2009},
pages = {1--5},
publisher = {{IEEE}},
year = {2009},
url = {https://doi.org/10.1109/ICC.2009.5198927},
doi = {10.1109/ICC.2009.5198927},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/ShiSBHU09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/DohKS09,
author = {Kyung{-}Goo Doh and
Hyunha Kim and
David A. Schmidt},
editor = {Jens Palsberg and
Zhendong Su},
title = {Abstract Parsing: Static Analysis of Dynamically Generated String
Output Using LR-Parsing Technology},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {256--272},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_18},
doi = {10.1007/978-3-642-03237-0\_18},
timestamp = {Thu, 02 Dec 2021 11:46:17 +0100},
biburl = {https://dblp.org/rec/conf/sas/DohKS09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Schmidt09,
author = {David A. Schmidt},
editor = {Jens Palsberg and
Zhendong Su},
title = {Abstract Interpretation from a Topological Perspective},
booktitle = {Static Analysis, 16th International Symposium, {SAS} 2009, Los Angeles,
CA, USA, August 9-11, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5673},
pages = {293--308},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-03237-0\_20},
doi = {10.1007/978-3-642-03237-0\_20},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/Schmidt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schmidt09,
author = {David A. Schmidt},
editor = {Samson Abramsky and
Michael W. Mislove and
Catuscia Palamidessi},
title = {Abstract Interpretation From a Denotational-semantics Perspective},
booktitle = {Proceedings of the 25th Conference on Mathematical Foundations of
Programming Semantics, {MFPS} 2009, Oxford, UK, April 3-7, 2009},
series = {Electronic Notes in Theoretical Computer Science},
volume = {249},
pages = {19--37},
publisher = {Elsevier},
year = {2009},
url = {https://doi.org/10.1016/j.entcs.2009.07.082},
doi = {10.1016/J.ENTCS.2009.07.082},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schmidt09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ett/SchmidtJU08,
author = {David A. Schmidt and
Michael Joham and
Wolfgang Utschick},
title = {Information Theory Minimum mean square error vector precoding},
journal = {Eur. Trans. Telecommun.},
volume = {19},
number = {3},
pages = {219--231},
year = {2008},
url = {https://doi.org/10.1002/ett.1192},
doi = {10.1002/ETT.1192},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ett/SchmidtJU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acssc/HungerSJ08,
author = {Rapha{\"{e}}l Hunger and
David A. Schmidt and
Michael Joham},
title = {A combinatorial approach to maximizing the sum rate in the {MIMO}
{BC} with linear precoding},
booktitle = {42nd Asilomar Conference on Signals, Systems and Computers, {ACSSC}
2008, Pacific Grove, CA, USA, October 26-29, 2008},
pages = {316--320},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ACSSC.2008.5074416},
doi = {10.1109/ACSSC.2008.5074416},
timestamp = {Thu, 05 Jan 2023 10:07:58 +0100},
biburl = {https://dblp.org/rec/conf/acssc/HungerSJ08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/JohamBHSU08,
author = {Michael Joham and
Hans H. Brunner and
Raphael Hunger and
David A. Schmidt and
Wolfgang Utschick},
title = {Point-to-point {MIMO} {MMSE} vector precoding and thp achieving capacity},
booktitle = {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}},
pages = {2925--2928},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/ICASSP.2008.4518262},
doi = {10.1109/ICASSP.2008.4518262},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/JohamBHSU08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/Schmidt08,
author = {David A. Schmidt},
editor = {Francesco Logozzo and
Doron A. Peled and
Lenore D. Zuck},
title = {Internal and External Logics of Abstract Interpretations},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 9th International
Conference, {VMCAI} 2008, San Francisco, USA, January 7-9, 2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4905},
pages = {263--278},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-78163-9\_23},
doi = {10.1007/978-3-540-78163-9\_23},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/Schmidt08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsa/SchmidtGUH08,
author = {David A. Schmidt and
Andreas Gr{\"{u}}ndinger and
Wolfgang Utschick and
Michael L. Honig},
title = {Distributed precoder optimization for interfering {MISO} channels},
booktitle = {2008 International {ITG} Workshop on Smart Antennas, {WSA} 2008, February
26-27, Darmstadt, Germany},
pages = {285--290},
publisher = {{IEEE}},
year = {2008},
url = {https://doi.org/10.1109/WSA.2008.4475571},
doi = {10.1109/WSA.2008.4475571},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wsa/SchmidtGUH08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Schmidt07,
author = {David A. Schmidt},
title = {State-transition machines for lambda-calculus expressions},
journal = {High. Order Symb. Comput.},
volume = {20},
number = {3},
pages = {319--332},
year = {2007},
url = {https://doi.org/10.1007/s10990-007-9012-2},
doi = {10.1007/S10990-007-9012-2},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Schmidt07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Schmidt07a,
author = {David A. Schmidt},
title = {State-transition machines, revisited},
journal = {High. Order Symb. Comput.},
volume = {20},
number = {3},
pages = {333--335},
year = {2007},
url = {https://doi.org/10.1007/s10990-007-9017-x},
doi = {10.1007/S10990-007-9017-X},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Schmidt07a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Schmidt07,
author = {David A. Schmidt},
title = {A calculus of logical relations for over- and underapproximating static
analyses},
journal = {Sci. Comput. Program.},
volume = {64},
number = {1},
pages = {29--53},
year = {2007},
url = {https://doi.org/10.1016/j.scico.2006.03.008},
doi = {10.1016/J.SCICO.2006.03.008},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Schmidt07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tsp/JohamSBU07,
author = {Michael Joham and
David A. Schmidt and
Johannes Brehmer and
Wolfgang Utschick},
title = {Finite-Length {MMSE} Tomlinson-Harashima Precoding for Frequency Selective
Vector Channels},
journal = {{IEEE} Trans. Signal Process.},
volume = {55},
number = {6-2},
pages = {3073--3088},
year = {2007},
url = {https://doi.org/10.1109/TSP.2007.893954},
doi = {10.1109/TSP.2007.893954},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tsp/JohamSBU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icc/HungerSJSU07,
author = {Raphael Hunger and
David A. Schmidt and
Michael Joham and
Alexander G. Schwing and
Wolfgang Utschick},
title = {Design of Single-Group Multicasting-Beamformers},
booktitle = {Proceedings of {IEEE} International Conference on Communications,
{ICC} 2007, Glasgow, Scotland, UK, 24-28 June 2007},
pages = {2499--2505},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ICC.2007.413},
doi = {10.1109/ICC.2007.413},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icc/HungerSJSU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isit/HungerSU07,
author = {Raphael Hunger and
David A. Schmidt and
Wolfgang Utschick},
title = {Sum-Capacity and {MMSE} for the {MIMO} Broadcast Channel without Eigenvalue
Decompositions},
booktitle = {{IEEE} International Symposium on Information Theory, {ISIT} 2007,
Nice, France, June 24-29, 2007},
pages = {776--780},
publisher = {{IEEE}},
year = {2007},
url = {https://doi.org/10.1109/ISIT.2007.4557107},
doi = {10.1109/ISIT.2007.4557107},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isit/HungerSU07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Schmidt07,
author = {David A. Schmidt},
editor = {Marcelo Fiore},
title = {Extracting Program Logics From Abstract Interpretations Defined by
Logical Relations},
booktitle = {Proceedings of the 23rd Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2007, New Orleans, LA, USA, April
11-14, 2007},
series = {Electronic Notes in Theoretical Computer Science},
volume = {173},
pages = {339--356},
publisher = {Elsevier},
year = {2007},
url = {https://doi.org/10.1016/j.entcs.2007.02.042},
doi = {10.1016/J.ENTCS.2007.02.042},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Schmidt07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Schmidt06,
author = {David A. Schmidt},
editor = {Naoki Kobayashi},
title = {Comparing Completeness Properties of Static Analyses and Their Logics},
booktitle = {Programming Languages and Systems, 4th Asian Symposium, {APLAS} 2006,
Sydney, Australia, November 8-10, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4279},
pages = {183--199},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11924661\_12},
doi = {10.1007/11924661\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Schmidt06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/asian/GuernicBJS06,
author = {Gurvan Le Guernic and
Anindya Banerjee and
Thomas P. Jensen and
David A. Schmidt},
editor = {Mitsu Okada and
Ichiro Satoh},
title = {Automata-Based Confidentiality Monitoring},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {4435},
pages = {75--89},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/978-3-540-77505-8\_7},
doi = {10.1007/978-3-540-77505-8\_7},
timestamp = {Sun, 25 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/asian/GuernicBJS06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/HungerUSJ06,
author = {Raphael Hunger and
Wolfgang Utschick and
David A. Schmidt and
Michael Joham},
title = {Alternating Optimization for {MMSE} Broadcast Precoding},
booktitle = {2006 {IEEE} International Conference on Acoustics Speech and Signal
Processing, {ICASSP} 2006, Toulouse, France, May 14-19, 2006},
pages = {757--760},
publisher = {{IEEE}},
year = {2006},
url = {https://doi.org/10.1109/ICASSP.2006.1661079},
doi = {10.1109/ICASSP.2006.1661079},
timestamp = {Mon, 22 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icassp/HungerUSJ06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Schmidt06,
author = {David A. Schmidt},
editor = {Kwangkeun Yi},
title = {Underapproximating Predicate Transformers},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {127--143},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_9},
doi = {10.1007/11823230\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Schmidt06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pimrc/SchmidtJU05,
author = {David A. Schmidt and
Michael Joham and
Wolfgang Utschick},
title = {Minimum Mean Square Error Vector Precoding},
booktitle = {Proceedings of the {IEEE} 16th International Symposium on Personal,
Indoor and Mobile Radio Communications, Berlin, Germany, September
11-14, 2005},
pages = {107--111},
publisher = {{IEEE}},
year = {2005},
url = {https://doi.org/10.1109/PIMRC.2005.1651408},
doi = {10.1109/PIMRC.2005.1651408},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/pimrc/SchmidtJU05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/HuthJS04,
author = {Michael Huth and
Radha Jagadeesan and
David A. Schmidt},
title = {A domain equation for refinement of partial systems},
journal = {Math. Struct. Comput. Sci.},
volume = {14},
number = {4},
pages = {469--505},
year = {2004},
url = {https://doi.org/10.1017/S0960129504004268},
doi = {10.1017/S0960129504004268},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/HuthJS04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Schmidt04,
author = {David A. Schmidt},
editor = {Roberto Giacobazzi},
title = {Closed and Logical Relations for Over- and Under-Approximation of
Powersets},
booktitle = {Static Analysis, 11th International Symposium, {SAS} 2004, Verona,
Italy, August 26-28, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3148},
pages = {22--37},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27864-1\_5},
doi = {10.1007/978-3-540-27864-1\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Schmidt04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/esop/2004,
editor = {David A. Schmidt},
title = {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},
series = {Lecture Notes in Computer Science},
volume = {2986},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b96702},
doi = {10.1007/B96702},
isbn = {3-540-21313-9},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/2004.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FiechS02,
author = {Adrian Fiech and
David A. Schmidt},
title = {Polymorphic lambda calculus and subtyping},
journal = {Theor. Comput. Sci.},
volume = {278},
number = {1-2},
pages = {111--140},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(00)00333-9},
doi = {10.1016/S0304-3975(00)00333-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FiechS02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Schmidt02,
author = {David A. Schmidt},
editor = {Torben {\AE}. Mogensen and
David A. Schmidt and
Ivan Hal Sudborough},
title = {Structure-Preserving Binary Relations for Program Abstraction},
booktitle = {The Essence of Computation, Complexity, Analysis, Transformation.
Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
series = {Lecture Notes in Computer Science},
volume = {2566},
pages = {245--268},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36377-7\_12},
doi = {10.1007/3-540-36377-7\_12},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Schmidt02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/birthday/2002jones,
editor = {Torben {\AE}. Mogensen and
David A. Schmidt and
Ivan Hal Sudborough},
title = {The Essence of Computation, Complexity, Analysis, Transformation.
Essays Dedicated to Neil D. Jones [on occasion of his 60th birthday]},
series = {Lecture Notes in Computer Science},
volume = {2566},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36377-7},
doi = {10.1007/3-540-36377-7},
isbn = {3-540-00326-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2002jones.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/HuthJS01,
author = {Michael Huth and
Radha Jagadeesan and
David A. Schmidt},
editor = {David Sands},
title = {Modal Transition Systems: {A} Foundation for Three-Valued Program
Analysis},
booktitle = {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},
series = {Lecture Notes in Computer Science},
volume = {2028},
pages = {155--169},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-45309-1\_11},
doi = {10.1007/3-540-45309-1\_11},
timestamp = {Mon, 11 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/HuthJS01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/Schmidt01,
author = {David A. Schmidt},
title = {Should {UML} Be Used for Declarative Programming?},
booktitle = {Proceedings of the 3rd international {ACM} {SIGPLAN} conference on
Principles and practice of declarative programming, September 5-7,
2001, Florence, Italy},
pages = {1--3},
publisher = {{ACM}},
year = {2001},
url = {https://doi.org/10.1145/773184.773185},
doi = {10.1145/773184.773185},
timestamp = {Tue, 06 Nov 2018 16:57:25 +0100},
biburl = {https://dblp.org/rec/conf/ppdp/Schmidt01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Schmidt00,
author = {David A. Schmidt},
title = {Induction, Domains, Calculi: Strachey's Contributions to Programming-Language
Engineering},
journal = {High. Order Symb. Comput.},
volume = {13},
number = {1/2},
pages = {89--101},
year = {2000},
url = {https://doi.org/10.1023/A:1010066127644},
doi = {10.1023/A:1010066127644},
timestamp = {Thu, 05 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lisp/Schmidt00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/Schmidt99,
author = {David A. Schmidt},
editor = {Gopal Gupta},
title = {A Return to Elegance: The Reapplication of Declarative Notation to
Software Design},
booktitle = {Practical Aspects of Declarative Languages, First International Workshop,
{PADL} '99, San Antonio, Texas, USA, January 18-19, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1551},
pages = {360--364},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49201-1\_25},
doi = {10.1007/3-540-49201-1\_25},
timestamp = {Wed, 26 Oct 2022 11:14:38 +0200},
biburl = {https://dblp.org/rec/conf/padl/Schmidt99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Muller-OlmSS99,
author = {Markus M{\"{u}}ller{-}Olm and
David A. Schmidt and
Bernhard Steffen},
editor = {Agostino Cortesi and
Gilberto Fil{\'{e}}},
title = {Model-Checking: {A} Tutorial Introduction},
booktitle = {Static Analysis, 6th International Symposium, {SAS} '99, Venice, Italy,
September 22-24, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1694},
pages = {330--354},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48294-6\_22},
doi = {10.1007/3-540-48294-6\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Muller-OlmSS99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lisp/Schmidt98,
author = {David A. Schmidt},
title = {Trace-Based Abstract Interpretation of Operational Semantics},
journal = {{LISP} Symb. Comput.},
volume = {10},
number = {3},
pages = {237--271},
year = {1998},
timestamp = {Thu, 21 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lisp/Schmidt98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/BanerjeeS98,
author = {Anindya Banerjee and
David A. Schmidt},
title = {Stackability in the Simply-Typed Call-by-Value lambda Calculus},
journal = {Sci. Comput. Program.},
volume = {31},
number = {1},
pages = {47--73},
year = {1998},
url = {https://doi.org/10.1016/S0167-6423(96)00040-8},
doi = {10.1016/S0167-6423(96)00040-8},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/BanerjeeS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/Schmidt98,
author = {David A. Schmidt},
editor = {David B. MacQueen and
Luca Cardelli},
title = {Data Flow Analysis is Model Checking of Abstract Interpretations},
booktitle = {{POPL} '98, Proceedings of the 25th {ACM} {SIGPLAN-SIGACT} Symposium
on Principles of Programming Languages, San Diego, CA, USA, January
19-21, 1998},
pages = {38--48},
publisher = {{ACM}},
year = {1998},
url = {https://doi.org/10.1145/268946.268950},
doi = {10.1145/268946.268950},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/popl/Schmidt98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/SchmidtS98,
author = {David A. Schmidt and
Bernhard Steffen},
editor = {Giorgio Levi},
title = {Program Analysis \emph{as} Model Checking of Abstract Interpretations},
booktitle = {Static Analysis, 5th International Symposium, {SAS} '98, Pisa, Italy,
September 14-16, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1503},
pages = {351--380},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49727-7\_22},
doi = {10.1007/3-540-49727-7\_22},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/SchmidtS98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigplan/Schmidt97,
author = {David A. Schmidt},
title = {On the Need for a Popular Formal Semantics},
journal = {{ACM} {SIGPLAN} Notices},
volume = {32},
number = {1},
pages = {115--116},
year = {1997},
url = {https://doi.org/10.1145/251595.251617},
doi = {10.1145/251595.251617},
timestamp = {Tue, 26 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/sigplan/Schmidt97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/IbraheemS97,
author = {Husain Ibraheem and
David A. Schmidt},
editor = {Andrew D. Gordon and
Andrew M. Pitts and
Carolyn L. Talcott},
title = {Adapting Big-Step Semantics to Small-Step Style: Coinductive Interpretations
and "Higher-Order" Derivations},
booktitle = {Second Workshop on Higher-Order Operational Techniques in Semantics,
{HOOTS} 1997, Stanford, CA, USA, December 8-12, 1997},
series = {Electronic Notes in Theoretical Computer Science},
volume = {10},
pages = {121},
publisher = {Elsevier},
year = {1997},
url = {https://doi.org/10.1016/S1571-0661(05)80692-9},
doi = {10.1016/S1571-0661(05)80692-9},
timestamp = {Fri, 11 Nov 2022 13:29:29 +0100},
biburl = {https://dblp.org/rec/journals/entcs/IbraheemS97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/crc/tucker97/Schmidt97,
author = {David A. Schmidt},
editor = {Allen B. Tucker},
title = {Programming Language Semantics},
booktitle = {The Computer Science and Engineering Handbook},
pages = {2237--2254},
publisher = {{CRC} Press},
year = {1997},
timestamp = {Sun, 09 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/crc/tucker97/Schmidt97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Schmidt96,
author = {David A. Schmidt},
title = {Programming Language Semantics},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {1},
pages = {265--267},
year = {1996},
url = {https://doi.org/10.1145/234313.234419},
doi = {10.1145/234313.234419},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Schmidt96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/MetayerS96,
author = {Daniel Le M{\'{e}}tayer and
David A. Schmidt},
title = {Structural Operational Semantics as a Basis for Static Program Analysis},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {2},
pages = {340--343},
year = {1996},
url = {https://doi.org/10.1145/234528.234744},
doi = {10.1145/234528.234744},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/MetayerS96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csur/Schmidt96b,
author = {David A. Schmidt},
title = {On the Need for a Popular Formal Semantics},
journal = {{ACM} Comput. Surv.},
volume = {28},
number = {4es},
pages = {175},
year = {1996},
url = {https://doi.org/10.1145/242224.242451},
doi = {10.1145/242224.242451},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csur/Schmidt96b.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lomaps/Schmidt96,
author = {David A. Schmidt},
editor = {Mads Dam},
title = {Abstract Interpretation of Small-Step Semantics},
booktitle = {Analysis and Verification of Multiple-Agent Languages, 5th {LOMAPS}
Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {1192},
pages = {76--99},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-62503-8\_4},
doi = {10.1007/3-540-62503-8\_4},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/lomaps/Schmidt96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/sas/1996,
editor = {Radhia Cousot and
David A. Schmidt},
title = {Static Analysis, Third International Symposium, SAS'96, Aachen, Germany,
September 24-26, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1145},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61739-6},
doi = {10.1007/3-540-61739-6},
isbn = {3-540-61739-6},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sas/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Schmidt95,
author = {David A. Schmidt},
editor = {Alan Mycroft},
title = {Natural-Semantics-Based Abstract Interpretation (Preliminary Version)},
booktitle = {Static Analysis, Second International Symposium, SAS'95, Glasgow,
UK, September 25-27, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {983},
pages = {1--18},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/3-540-60360-3\_28},
doi = {10.1007/3-540-60360-3\_28},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Schmidt95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/daglib/0080791,
author = {David A. Schmidt},
title = {The structure of typed programming languages},
series = {Foundations of computing series},
publisher = {{MIT} Press},
year = {1994},
isbn = {978-0-262-19349-8},
timestamp = {Fri, 29 Apr 2011 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/daglib/0080791.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/BanerjeeS94,
author = {Anindya Banerjee and
David A. Schmidt},
editor = {Baudouin Le Charlier},
title = {Stackability in the Simply-Typed Call-by-Value Lambda Calculus},
booktitle = {Static Analysis, First International Static Analysis Symposium, SAS'94,
Namur, Belgium, September 28-30, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {864},
pages = {131--146},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58485-4\_37},
doi = {10.1007/3-540-58485-4\_37},
timestamp = {Mon, 12 Aug 2019 15:36:13 +0200},
biburl = {https://dblp.org/rec/conf/sas/BanerjeeS94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1993,
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58027-1},
doi = {10.1007/3-540-58027-1},
isbn = {3-540-58027-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/DohS93,
author = {Kyung{-}Goo Doh and
David A. Schmidt},
title = {Action Semantics-Directed Prototyping},
journal = {Comput. Lang.},
volume = {19},
number = {4},
pages = {213--233},
year = {1993},
url = {https://doi.org/10.1016/0096-0551(93)90008-O},
doi = {10.1016/0096-0551(93)90008-O},
timestamp = {Thu, 18 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cl/DohS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/BanerjeeS93,
author = {Anindya Banerjee and
David A. Schmidt},
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {A Categorical Interpretation of Landin's Correspondence Principle},
booktitle = {Mathematical Foundations of Programming Semantics, 9th International
Conference, New Orleans, LA, USA, April 7-10, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {802},
pages = {587--602},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-58027-1\_29},
doi = {10.1007/3-540-58027-1\_29},
timestamp = {Tue, 14 May 2019 10:00:55 +0200},
biburl = {https://dblp.org/rec/conf/mfps/BanerjeeS93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/pepm/1993,
editor = {David A. Schmidt},
title = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, PEPM'93, Copenhagen, Denmark,
June 14-16, 1993},
publisher = {{ACM}},
year = {1993},
url = {http://dl.acm.org/citation.cfm?id=154630},
isbn = {0-89791-594-1},
timestamp = {Tue, 22 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/pepm/1993.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/MizunoS92,
author = {Masaaki Mizuno and
David A. Schmidt},
title = {A Security Flow Control Algorithm and Its Denotational Semantics Correctness
Proof},
journal = {Formal Aspects Comput.},
volume = {4},
number = {6A},
pages = {727--754},
year = {1992},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/fac/MizunoS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/DohS92,
author = {Kyung{-}Goo Doh and
David A. Schmidt},
editor = {Bernd Krieg{-}Br{\"{u}}ckner},
title = {Extraction of Strong Typing Laws from Action Semantics Definitions},
booktitle = {{ESOP} '92, 4th European Symposium on Programming, Rennes, France,
February 26-28, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {582},
pages = {151--166},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55253-7\_9},
doi = {10.1007/3-540-55253-7\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/DohS92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1991,
editor = {Stephen D. Brookes and
Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Mathematical Foundations of Programming Semantics, 7th International
Conference, Pittsburgh, PA, USA, March 25-28, 1991, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {598},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/3-540-55511-0},
doi = {10.1007/3-540-55511-0},
isbn = {3-540-55511-0},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/1991.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EvenS90,
author = {Susan Even and
David A. Schmidt},
title = {Category-Sorted Algebra-Based Action Semantics},
journal = {Theor. Comput. Sci.},
volume = {77},
number = {1{\&}2},
pages = {73--95},
year = {1990},
url = {https://doi.org/10.1016/0304-3975(90)90116-Y},
doi = {10.1016/0304-3975(90)90116-Y},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EvenS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/EvenS90,
author = {Susan Even and
David A. Schmidt},
editor = {Neil D. Jones},
title = {Type Inference for Action Semantics},
booktitle = {ESOP'90, 3rd European Symposium on Programming, Copenhagen, Denmark,
May 15-18, 1990, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {432},
pages = {118--133},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/3-540-52592-0\_59},
doi = {10.1007/3-540-52592-0\_59},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/EvenS90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1989,
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Mathematical Foundations of Programming Semantics, 5th International
Conference, Tulane University, New Orleans, Louisiana, USA, March
29 - April 1, 1989, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {442},
publisher = {Springer},
year = {1990},
url = {https://doi.org/10.1007/BFb0040251},
doi = {10.1007/BFB0040251},
isbn = {3-540-97375-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/1989.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/Schmidt88,
author = {David A. Schmidt},
title = {Detecting Stack-Based Environments in Denotational Definitions},
journal = {Sci. Comput. Program.},
volume = {11},
number = {2},
pages = {107--131},
year = {1988},
url = {https://doi.org/10.1016/0167-6423(88)90001-9},
doi = {10.1016/0167-6423(88)90001-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/Schmidt88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfps/1987,
editor = {Michael G. Main and
Austin Melton and
Michael W. Mislove and
David A. Schmidt},
title = {Mathematical Foundations of Programming Language Semantics, 3rd Workshop,
Tulane University, New Orleans, Louisiana, USA, April 8-10, 1987,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {298},
publisher = {Springer},
year = {1988},
url = {https://doi.org/10.1007/3-540-19020-1},
doi = {10.1007/3-540-19020-1},
isbn = {3-540-19020-1},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfps/1987.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/toplas/Schmidt85,
author = {David A. Schmidt},
title = {Detecting Global Variables in Denotational Specifications},
journal = {{ACM} Trans. Program. Lang. Syst.},
volume = {7},
number = {2},
pages = {299--310},
year = {1985},
url = {https://doi.org/10.1145/3318.3323},
doi = {10.1145/3318.3323},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/toplas/Schmidt85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ctcs/MeltonSS85,
author = {Austin Melton and
David A. Schmidt and
George E. Strecker},
editor = {David H. Pitt and
Samson Abramsky and
Axel Poign{\'{e}} and
David E. Rydeheard},
title = {Calois Connections and Computer Science Applications},
booktitle = {Category Theory and Computer Programming, Tutorial and Workshop, Guildford,
UK, September 16-20, 1985 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {240},
pages = {299--312},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-17162-2\_130},
doi = {10.1007/3-540-17162-2\_130},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/ctcs/MeltonSS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfps/MeltonS85,
author = {Austin Melton and
David A. Schmidt},
editor = {Austin Melton},
title = {A Topological Framework of cpos Lacking Bottom Elements},
booktitle = {Mathematical Foundations of Programming Semantics, International Conference,
Manhattan, Kansas, USA, April 11-12, 1985, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {239},
pages = {196--204},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16816-8\_33},
doi = {10.1007/3-540-16816-8\_33},
timestamp = {Fri, 17 Jul 2020 16:12:48 +0200},
biburl = {https://dblp.org/rec/conf/mfps/MeltonS85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pdo/Schmidt85,
author = {David A. Schmidt},
editor = {Harald Ganzinger and
Neil D. Jones},
title = {An implementation from a direct semantics definition},
booktitle = {Programs as Data Objects, Proceedings of a Workshop, Copenhagen, Denmark,
October 17-19, 1985},
series = {Lecture Notes in Computer Science},
volume = {217},
pages = {222--235},
publisher = {Springer},
year = {1985},
url = {https://doi.org/10.1007/3-540-16446-4\_13},
doi = {10.1007/3-540-16446-4\_13},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/pdo/Schmidt85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cade/Schmidt84,
author = {David A. Schmidt},
editor = {Robert E. Shostak},
title = {A Programming Notation for Tactical Reasoning},
booktitle = {7th International Conference on Automated Deduction, Napa, California,
USA, May 14-16, 1984, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {170},
pages = {445--459},
publisher = {Springer},
year = {1984},
url = {https://doi.org/10.1007/978-0-387-34768-4\_26},
doi = {10.1007/978-0-387-34768-4\_26},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/cade/Schmidt84.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Schmidt83,
author = {David A. Schmidt},
title = {Approximation Properties of Abstract Data Types},
journal = {Theor. Comput. Sci.},
volume = {24},
pages = {73--94},
year = {1983},
url = {https://doi.org/10.1016/0304-3975(83)90131-7},
doi = {10.1016/0304-3975(83)90131-7},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/Schmidt83.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/JonesS80,
author = {Neil D. Jones and
David A. Schmidt},
editor = {Neil D. Jones},
title = {Compiler generation from denotational semantics},
booktitle = {Semantics-Directed Compiler Generation, Proceedings of a Workshop,
Aarhus, Denmark, January 14-18, 1980},
series = {Lecture Notes in Computer Science},
volume = {94},
pages = {70--93},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10250-7\_19},
doi = {10.1007/3-540-10250-7\_19},
timestamp = {Fri, 17 Jul 2020 16:12:47 +0200},
biburl = {https://dblp.org/rec/conf/cc/JonesS80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cc/Schmidt80,
author = {David A. Schmidt},
editor = {Neil D. Jones},
title = {State transition machines for lambda calculus expressions},
booktitle = {Semantics-Directed Compiler Generation, Proceedings of a Workshop,
Aarhus, Denmark, January 14-18, 1980},
series = {Lecture Notes in Computer Science},
volume = {94},
pages = {415--440},
publisher = {Springer},
year = {1980},
url = {https://doi.org/10.1007/3-540-10250-7\_32},
doi = {10.1007/3-540-10250-7\_32},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cc/Schmidt80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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.
last updated on 2024-04-25 02:36 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:
