Остановите войну!
for scientists:
default search action
dblp keys for David L. Dill
- > Home > Persons > David L. Dill
David L. Dill
Keys
# of data records = 180
homepages/d/DavidLDill journals/jar/ShengNRZDGPQBT23 journals/fmsd/KatzBDJK22 conf/cade/ShengNRZDGPQBT22 conf/tacas/DillGPQXZ22 journals/corr/abs-2205-08095 journals/corr/abs-2110-08362 conf/cav/ZhongCQGBPZBD20 journals/corr/abs-2004-05106 conf/cav/KatzHIJLLSTWZDK19 conf/iclr/SelsamLBLMD19 journals/corr/abs-1802-03685 conf/cav/KatzBDJK17 conf/icml/SelsamLD17 journals/corr/abs-1709-02802 journals/corr/KatzBDJK17 journals/corr/SelsamLD17 journals/corr/abs-1709-10207 journals/nar/LaskerSMMDMS16 conf/hldvt/SinhaD16 journals/bmcsb/ZhangKD15 conf/cav/Dill12 conf/uss/LazarusDE11 conf/vmcai/Dill11 journals/pnas/SahooSBIWPD10 conf/cgo/LindermanHDMN10 journals/cacm/DillC08 journals/tissec/CadarGPDE08 conf/atva/Dill08 conf/fmcad/SmithD08 conf/spin/Dill08 conf/uss/2008evt conf/cav/GaneshD07 journals/tcsb/TalcottD06 conf/cav/Dill06 conf/ccs/CadarGPDE06 conf/fmcad/Abu-HaimedDB06 conf/atva/SahooJID05 conf/charme/SahooJIDE05 conf/dac/SahooJIDE05 conf/recomb/DillKGTLL05 conf/spin/MusuvathiD05 journals/cacm/VoraABCDJJLRSY04 journals/ieeesp/DillR04 conf/cav/ChangBD04 conf/fmcad/SahooIJSNDE04 conf/memocode/Dill04 journals/entcs/BerezinBSCGD05 journals/cacm/DillSS03 conf/cav/Abu-HaimedBD03 conf/charme/Abu-HaimedBD03 conf/cmsb/DillL03 conf/emsoft/SanchezSSZDM03 conf/tacas/BerezinGD03 journals/dt/ShimizuD02 journals/fmsd/JonesSD02 conf/cade/StumpD02 conf/cav/BarrettDS02 conf/cav/StumpBD02 conf/dac/DillJRBFFRSW02 conf/dac/ShimizuD02 conf/fmcad/DasD02 conf/fmcad/GaneshBD02 conf/frocos/BarrettDS02 conf/osdi/MusuvathiPCED02 conf/sigopsE/MusuvathiCDE02 journals/entcs/StumpBD02 journals/fmsd/SternD01 conf/charme/ShimizuDC01 conf/isca/LieCED01 conf/lics/StumpBDL01 conf/lics/DasD01 journals/tcad/ParkDD00 conf/cade/BarrettDS00 conf/dac/WilsonD00 conf/fmcad/ShimizuDH00 conf/fmcad/WilsonDB00 conf/fmsp/Dill00 conf/iccad/GovindarajuD00 conf/issta/Dill00 conf/kbse/ParkSSD00 journals/fmsd/IpD99 journals/tc/ParkD99 journals/tcad/YunD99 journals/tcad/YunD99a journals/tcad/ChakrabortyYD99 conf/cav/Dill99 conf/cav/DasDP99 conf/dac/GovindarajuDB99 conf/iccad/SentovichDT99 journals/entcs/GovindarajuD99 journals/mst/ParkD98 journals/tcad/YunLDD98 conf/cav/SkakkebaekJD98 conf/cav/SternD98 conf/cicc/ChakrabortyYD98 conf/dac/Dill98 conf/dac/GovindarajuDHH98 conf/dac/BarrettDL98 conf/dac/YangD98 conf/fmcad/JonesSD98 conf/fmcad/SuDS98 conf/fmsp/ParkSHCD98 conf/ftrtft/ParkSD98 conf/iccad/GovindarajuD98 conf/async/ChakrabortyDCY97 conf/async/ChakrabortyD97 conf/cav/SternD97 conf/forte/ParkDD97 conf/iccad/ChakrabortyD97 journals/computer/BowenBDGGHHHJJLPRWZ96 journals/fmsd/IpD96 conf/cav/IpD96 conf/cav/ParkD96 conf/cav/Dill96 conf/dac/IpD96 conf/fmcad/JonesSD96 conf/fmcad/BarrettDL96 conf/fmcad/SuDB96 conf/forte/SternD96 conf/spaa/ParkD96 journals/tcad/NowickD95 conf/cav/DillW95 conf/charme/SternD95 conf/charme/SternD95a conf/iccad/JonesDB95 conf/iccd/YunD95 conf/isca/HoYHD95 conf/spaa/ParkD95 journals/tcad/BurchCLMD94 journals/tcs/AlurD94 journals/vlsisp/DeanDH94 conf/cav/BurchD94 conf/concur/Dill94 conf/dac/HuYD94 conf/iccad/YunLDD94 conf/cav/1994 journals/iandc/AlurCD93 journals/integration/NowickDDH93 conf/cav/HuD93 conf/chdl/IpD93 conf/dac/SiegelMD93 conf/dac/HuD93 conf/iccad/YunD93 conf/iccad/BurchDWM93 conf/iccd/IpD93 journals/fmsd/DillNS92 journals/iandc/BurchCMDH92 conf/cav/HuDDY92 conf/cav/CourcoubetisDCT92 conf/concur/AlurCHDW92 conf/iccad/YunD92 conf/iccad/NowickD92 conf/iccd/McMillanD92 conf/iccd/NowickYD92 conf/iccd/YunDN92 conf/iccd/DillDHY92 conf/rtss/AlurCDHW92 conf/cav/DillHW91 conf/icalp/AlurCD91 conf/iccad/NowickD91 conf/iccd/DeanDH91 conf/iccd/NowickD91 conf/rex/AlurCD91 conf/rex/AlurD91 conf/cav/Wong-ToiD90 conf/cav/LoewensteinD90 conf/dac/BurchCMD90 conf/dimacs/Wong-ToiD90 conf/dimacs/LoewensteinD90 conf/icalp/AlurD90 conf/iccd/LoewensteinD90 conf/lics/AlurCD90 conf/lics/BurchCMDH90 books/daglib/0066917 conf/avmfss/Dill89 conf/iccad/NowickD89 conf/iccd/DillNS89 conf/msiw/Dill89 journals/tc/BrowneCDM86
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-05-02 21:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint