Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/pid/d/DavidLDill
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/pid/d/DavidLDill
https://dblp.org/rdf/schema#affiliation Stanford University, Department of Computer Science, CA, USA
https://dblp.org/rdf/schema#authorOf https://dblp.org/rec/journals/jar/ShengNRZDGPQBT23 + , https://dblp.org/rec/journals/fmsd/KatzBDJK22 + , https://dblp.org/rec/conf/cade/ShengNRZDGPQBT22 + , https://dblp.org/rec/conf/tacas/DillGPQXZ22 + , https://dblp.org/rec/journals/corr/abs-2205-08095 + , https://dblp.org/rec/journals/corr/abs-2110-08362 + , https://dblp.org/rec/conf/cav/ZhongCQGBPZBD20 + , https://dblp.org/rec/journals/corr/abs-2004-05106 + , https://dblp.org/rec/conf/cav/KatzHIJLLSTWZDK19 + , https://dblp.org/rec/conf/iclr/SelsamLBLMD19 + , https://dblp.org/rec/journals/corr/abs-1802-03685 + , https://dblp.org/rec/conf/cav/KatzBDJK17 + , https://dblp.org/rec/conf/icml/SelsamLD17 + , https://dblp.org/rec/journals/corr/abs-1709-02802 + , https://dblp.org/rec/journals/corr/KatzBDJK17 + , https://dblp.org/rec/journals/corr/SelsamLD17 + , https://dblp.org/rec/journals/corr/abs-1709-10207 + , https://dblp.org/rec/journals/nar/LaskerSMMDMS16 + , https://dblp.org/rec/conf/hldvt/SinhaD16 + , https://dblp.org/rec/journals/bmcsb/ZhangKD15 + , https://dblp.org/rec/conf/cav/Dill12 + , https://dblp.org/rec/conf/uss/LazarusDE11 + , https://dblp.org/rec/conf/vmcai/Dill11 + , https://dblp.org/rec/journals/pnas/SahooSBIWPD10 + , https://dblp.org/rec/conf/cgo/LindermanHDMN10 + , https://dblp.org/rec/journals/cacm/DillC08 + , https://dblp.org/rec/journals/tissec/CadarGPDE08 + , https://dblp.org/rec/conf/atva/Dill08 + , https://dblp.org/rec/conf/fmcad/SmithD08 + , https://dblp.org/rec/conf/spin/Dill08 + , https://dblp.org/rec/conf/cav/GaneshD07 + , https://dblp.org/rec/journals/tcsb/TalcottD06 + , https://dblp.org/rec/conf/cav/Dill06 + , https://dblp.org/rec/conf/ccs/CadarGPDE06 + , https://dblp.org/rec/conf/fmcad/Abu-HaimedDB06 + , https://dblp.org/rec/conf/atva/SahooJID05 + , https://dblp.org/rec/conf/charme/SahooJIDE05 + , https://dblp.org/rec/conf/dac/SahooJIDE05 + , https://dblp.org/rec/conf/recomb/DillKGTLL05 + , https://dblp.org/rec/conf/spin/MusuvathiD05 + , https://dblp.org/rec/journals/cacm/VoraABCDJJLRSY04 + , https://dblp.org/rec/journals/ieeesp/DillR04 + , https://dblp.org/rec/conf/cav/ChangBD04 + , https://dblp.org/rec/conf/fmcad/SahooIJSNDE04 + , https://dblp.org/rec/conf/memocode/Dill04 + , https://dblp.org/rec/journals/entcs/BerezinBSCGD05 + , https://dblp.org/rec/journals/cacm/DillSS03 + , https://dblp.org/rec/conf/cav/Abu-HaimedBD03 + , https://dblp.org/rec/conf/charme/Abu-HaimedBD03 + , https://dblp.org/rec/conf/cmsb/DillL03 + , https://dblp.org/rec/conf/emsoft/SanchezSSZDM03 + , https://dblp.org/rec/conf/tacas/BerezinGD03 + , https://dblp.org/rec/journals/dt/ShimizuD02 + , https://dblp.org/rec/journals/fmsd/JonesSD02 + , https://dblp.org/rec/conf/cade/StumpD02 + , https://dblp.org/rec/conf/cav/BarrettDS02 + , https://dblp.org/rec/conf/cav/StumpBD02 + , https://dblp.org/rec/conf/dac/DillJRBFFRSW02 + , https://dblp.org/rec/conf/dac/ShimizuD02 + , https://dblp.org/rec/conf/fmcad/DasD02 + , https://dblp.org/rec/conf/fmcad/GaneshBD02 + , https://dblp.org/rec/conf/frocos/BarrettDS02 + , https://dblp.org/rec/conf/osdi/MusuvathiPCED02 + , https://dblp.org/rec/conf/sigopsE/MusuvathiCDE02 + , https://dblp.org/rec/journals/entcs/StumpBD02 + , https://dblp.org/rec/journals/fmsd/SternD01 + , https://dblp.org/rec/conf/charme/ShimizuDC01 + , https://dblp.org/rec/conf/isca/LieCED01 + , https://dblp.org/rec/conf/lics/StumpBDL01 + , https://dblp.org/rec/conf/lics/DasD01 + , https://dblp.org/rec/journals/tcad/ParkDD00 + , https://dblp.org/rec/conf/cade/BarrettDS00 + , https://dblp.org/rec/conf/dac/WilsonD00 + , https://dblp.org/rec/conf/fmcad/ShimizuDH00 + , https://dblp.org/rec/conf/fmcad/WilsonDB00 + , https://dblp.org/rec/conf/fmsp/Dill00 + , https://dblp.org/rec/conf/iccad/GovindarajuD00 + , https://dblp.org/rec/conf/issta/Dill00 + , https://dblp.org/rec/conf/kbse/ParkSSD00 + , https://dblp.org/rec/journals/fmsd/IpD99 + , https://dblp.org/rec/journals/tc/ParkD99 + , https://dblp.org/rec/journals/tcad/YunD99 + , https://dblp.org/rec/journals/tcad/YunD99a + , https://dblp.org/rec/journals/tcad/ChakrabortyYD99 + , https://dblp.org/rec/conf/cav/Dill99 + , https://dblp.org/rec/conf/cav/DasDP99 + , https://dblp.org/rec/conf/dac/GovindarajuDB99 + , https://dblp.org/rec/conf/iccad/SentovichDT99 + , https://dblp.org/rec/journals/entcs/GovindarajuD99 + , https://dblp.org/rec/journals/mst/ParkD98 + , https://dblp.org/rec/journals/tcad/YunLDD98 + , https://dblp.org/rec/conf/cav/SkakkebaekJD98 + , https://dblp.org/rec/conf/cav/SternD98 + , https://dblp.org/rec/conf/cicc/ChakrabortyYD98 + , https://dblp.org/rec/conf/dac/Dill98 + , https://dblp.org/rec/conf/dac/GovindarajuDHH98 + , https://dblp.org/rec/conf/dac/BarrettDL98 + , https://dblp.org/rec/conf/dac/YangD98 + , https://dblp.org/rec/conf/fmcad/JonesSD98 + , https://dblp.org/rec/conf/fmcad/SuDS98 + , https://dblp.org/rec/conf/fmsp/ParkSHCD98 + , https://dblp.org/rec/conf/ftrtft/ParkSD98 + , https://dblp.org/rec/conf/iccad/GovindarajuD98 + , https://dblp.org/rec/conf/async/ChakrabortyDCY97 + , https://dblp.org/rec/conf/async/ChakrabortyD97 + , https://dblp.org/rec/conf/cav/SternD97 + , https://dblp.org/rec/conf/forte/ParkDD97 + , https://dblp.org/rec/conf/iccad/ChakrabortyD97 + , https://dblp.org/rec/journals/computer/BowenBDGGHHHJJLPRWZ96 + , https://dblp.org/rec/journals/fmsd/IpD96 + , https://dblp.org/rec/conf/cav/IpD96 + , https://dblp.org/rec/conf/cav/ParkD96 + , https://dblp.org/rec/conf/cav/Dill96 + , https://dblp.org/rec/conf/dac/IpD96 + , https://dblp.org/rec/conf/fmcad/JonesSD96 + , https://dblp.org/rec/conf/fmcad/BarrettDL96 + , https://dblp.org/rec/conf/fmcad/SuDB96 + , https://dblp.org/rec/conf/forte/SternD96 + , https://dblp.org/rec/conf/spaa/ParkD96 + , https://dblp.org/rec/journals/tcad/NowickD95 + , https://dblp.org/rec/conf/cav/DillW95 + , https://dblp.org/rec/conf/charme/SternD95 + , https://dblp.org/rec/conf/charme/SternD95a + , https://dblp.org/rec/conf/iccad/JonesDB95 + , https://dblp.org/rec/conf/iccd/YunD95 + , https://dblp.org/rec/conf/isca/HoYHD95 + , https://dblp.org/rec/conf/spaa/ParkD95 + , https://dblp.org/rec/journals/tcad/BurchCLMD94 + , https://dblp.org/rec/journals/tcs/AlurD94 + , https://dblp.org/rec/journals/vlsisp/DeanDH94 + , https://dblp.org/rec/conf/cav/BurchD94 + , https://dblp.org/rec/conf/concur/Dill94 + , https://dblp.org/rec/conf/dac/HuYD94 + , https://dblp.org/rec/conf/iccad/YunLDD94 + , https://dblp.org/rec/journals/iandc/AlurCD93 + , https://dblp.org/rec/journals/integration/NowickDDH93 + , https://dblp.org/rec/conf/cav/HuD93 + , https://dblp.org/rec/conf/chdl/IpD93 + , https://dblp.org/rec/conf/dac/SiegelMD93 + , https://dblp.org/rec/conf/dac/HuD93 + , https://dblp.org/rec/conf/iccad/YunD93 + , https://dblp.org/rec/conf/iccad/BurchDWM93 + , https://dblp.org/rec/conf/iccd/IpD93 + , https://dblp.org/rec/journals/fmsd/DillNS92 + , https://dblp.org/rec/journals/iandc/BurchCMDH92 + , https://dblp.org/rec/conf/cav/HuDDY92 + , https://dblp.org/rec/conf/cav/CourcoubetisDCT92 + , https://dblp.org/rec/conf/concur/AlurCHDW92 + , https://dblp.org/rec/conf/iccad/YunD92 + , https://dblp.org/rec/conf/iccad/NowickD92 + , https://dblp.org/rec/conf/iccd/McMillanD92 + , https://dblp.org/rec/conf/iccd/NowickYD92 + , https://dblp.org/rec/conf/iccd/YunDN92 + , https://dblp.org/rec/conf/iccd/DillDHY92 + , https://dblp.org/rec/conf/rtss/AlurCDHW92 + , https://dblp.org/rec/conf/cav/DillHW91 + , https://dblp.org/rec/conf/icalp/AlurCD91 + , https://dblp.org/rec/conf/iccad/NowickD91 + , https://dblp.org/rec/conf/iccd/DeanDH91 + , https://dblp.org/rec/conf/iccd/NowickD91 + , https://dblp.org/rec/conf/rex/AlurCD91 + , https://dblp.org/rec/conf/rex/AlurD91 + , https://dblp.org/rec/conf/cav/Wong-ToiD90 + , https://dblp.org/rec/conf/cav/LoewensteinD90 + , https://dblp.org/rec/conf/dac/BurchCMD90 + , https://dblp.org/rec/conf/dimacs/Wong-ToiD90 + , https://dblp.org/rec/conf/dimacs/LoewensteinD90 + , https://dblp.org/rec/conf/icalp/AlurD90 + , https://dblp.org/rec/conf/iccd/LoewensteinD90 + , https://dblp.org/rec/conf/lics/AlurCD90 + , https://dblp.org/rec/conf/lics/BurchCMDH90 + , https://dblp.org/rec/books/daglib/0066917 + , https://dblp.org/rec/conf/avmfss/Dill89 + , https://dblp.org/rec/conf/iccad/NowickD89 + , https://dblp.org/rec/conf/iccd/DillNS89 + , https://dblp.org/rec/conf/msiw/Dill89 + , https://dblp.org/rec/journals/tc/BrowneCDM86 +
https://dblp.org/rdf/schema#coCreatorWith https://dblp.org/pid/91/6114 + , https://dblp.org/pid/a/BenAdida + , https://dblp.org/pid/a/RAlur + , https://dblp.org/pid/b/ClarkWBarrett + , https://dblp.org/pid/05/2504 + , https://dblp.org/pid/78/40 + , https://dblp.org/pid/60/1236 + , https://dblp.org/pid/244/7179 + , https://dblp.org/pid/86/8008 + , https://dblp.org/pid/b/JonathanPBowen + , https://dblp.org/pid/14/5897 + , https://dblp.org/pid/b/REBryant + , https://dblp.org/pid/31/6570 + , https://dblp.org/pid/161/0070 + , https://dblp.org/pid/84/1003 + , https://dblp.org/pid/68/1506 + , https://dblp.org/pid/86/4141 + , https://dblp.org/pid/145/1806 + , https://dblp.org/pid/64/1368 + , https://dblp.org/pid/34/4525 + , https://dblp.org/pid/15/947 + , https://dblp.org/pid/01/625 + , https://dblp.org/pid/79/54 + , https://dblp.org/pid/c/DavidChaum + , https://dblp.org/pid/239/0135 + , https://dblp.org/pid/c/MarshaChechik + , https://dblp.org/pid/53/3446 + , https://dblp.org/pid/47/3904 + , https://dblp.org/pid/c/EdmundMClarke + , https://dblp.org/pid/35/5376 + , https://dblp.org/pid/12/5250 + , https://dblp.org/pid/41/6125 + , https://dblp.org/pid/95/716 + , https://dblp.org/pid/14/3973 + , https://dblp.org/pid/81/3779 + , https://dblp.org/pid/e/EAllenEmerson + , https://dblp.org/pid/e/DREngler + , https://dblp.org/pid/54/4499 + , https://dblp.org/pid/25/1812 + , https://dblp.org/pid/85/2948 + , https://dblp.org/pid/30/5503 + , https://dblp.org/pid/g/VijayGanesh + , https://dblp.org/pid/23/4277 + , https://dblp.org/pid/04/6262 + , https://dblp.org/pid/g/DavidGries + , https://dblp.org/pid/g/WolfgangGrieskamp + , https://dblp.org/pid/44/3532 + , https://dblp.org/pid/01/680 + , https://dblp.org/pid/21/3097 + , https://dblp.org/pid/68/654 + , https://dblp.org/pid/h/MichaelGHinchey + , https://dblp.org/pid/12/8025 + , https://dblp.org/pid/82/6933 + , https://dblp.org/pid/77/2073 + , https://dblp.org/pid/h/MarkHorowitz + , https://dblp.org/pid/01/2712 + , https://dblp.org/pid/244/8209 + , https://dblp.org/pid/51/6113 + , https://dblp.org/pid/220/3264 + , https://dblp.org/pid/244/7155 + , https://dblp.org/pid/47/2168 + , https://dblp.org/pid/16/3548 + , https://dblp.org/pid/80/1906-1 + , https://dblp.org/pid/91/2397 + , https://dblp.org/pid/70/3595 + , https://dblp.org/pid/21/5579 + , https://dblp.org/pid/j/CliffBJones + , https://dblp.org/pid/88/6555 + , https://dblp.org/pid/49/2226 + , https://dblp.org/pid/195/5867 + , https://dblp.org/pid/23/10321 + , https://dblp.org/pid/53/4670 + , https://dblp.org/pid/34/2029 + , https://dblp.org/pid/k/TadayoshiKohno + , https://dblp.org/pid/129/1571 + , https://dblp.org/pid/29/5918 + , https://dblp.org/pid/195/5988 + , https://dblp.org/pid/15/2117 + , https://dblp.org/pid/20/2917 + , https://dblp.org/pid/180/3521 + , https://dblp.org/pid/17/4555 + , https://dblp.org/pid/44/4886 + , https://dblp.org/pid/04/1701 + , https://dblp.org/pid/l/DavidLie + , https://dblp.org/pid/127/9695 + , https://dblp.org/pid/l/BillLin + , https://dblp.org/pid/l/PatrickLincoln + , https://dblp.org/pid/40/1732 + , https://dblp.org/pid/24/1390 + , https://dblp.org/pid/25/1925 + , https://dblp.org/pid/05/4538 + , https://dblp.org/pid/m/ZoharManna + , https://dblp.org/pid/175/1861 + , https://dblp.org/pid/93/931 + , https://dblp.org/pid/m/KennethLMcMillan + , https://dblp.org/pid/175/1913 + , https://dblp.org/pid/m/TeresaHYMeng + , https://dblp.org/pid/d/GDeMicheli + , https://dblp.org/pid/m/BhubaneswarMishra + , https://dblp.org/pid/m/JohnCMitchell + , https://dblp.org/pid/d/LeonardoMdeMoura + , https://dblp.org/pid/95/6578 + , https://dblp.org/pid/40/5793 + , https://dblp.org/pid/31/5532 + , https://dblp.org/pid/131/4231 + , https://dblp.org/pid/84/595 + , https://dblp.org/pid/155/8122 + , https://dblp.org/pid/93/1686 + , https://dblp.org/pid/02/8785 + , https://dblp.org/pid/68/3940 + , https://dblp.org/pid/p/DLParnas + , https://dblp.org/pid/97/3220 + , https://dblp.org/pid/42/4498 + , https://dblp.org/pid/q/ShazQadeer + , https://dblp.org/pid/71/4328 + , https://dblp.org/pid/17/2521 + , https://dblp.org/pid/41/9861 + , https://dblp.org/pid/r/ADRubin + , https://dblp.org/pid/02/3378 + , https://dblp.org/pid/33/1086 + , https://dblp.org/pid/38/1858 + , https://dblp.org/pid/82/1542 + , https://dblp.org/pid/s/BruceSchneier + , https://dblp.org/pid/175/2176 + , https://dblp.org/pid/58/1751 + , https://dblp.org/pid/232/2441 + , https://dblp.org/pid/144/7831 + , https://dblp.org/pid/s/EllenSentovich + , https://dblp.org/pid/147/1126-3 + , https://dblp.org/pid/09/3031 + , https://dblp.org/pid/175/1896 + , https://dblp.org/pid/262/6232 + , https://dblp.org/pid/19/4507 + , https://dblp.org/pid/94/1645 + , https://dblp.org/pid/11/3289 + , https://dblp.org/pid/s/BarbaraBSimons + , https://dblp.org/pid/57/1643 + , https://dblp.org/pid/s/HennyBSipma + , https://dblp.org/pid/54/6413 + , https://dblp.org/pid/27/1642 + , https://dblp.org/pid/34/1657 + , https://dblp.org/pid/46/1435 + , https://dblp.org/pid/13/4349 + , https://dblp.org/pid/64/6094 + , https://dblp.org/pid/46/656 + , https://dblp.org/pid/19/1447 + , https://dblp.org/pid/t/CarolynLTalcott + , https://dblp.org/pid/88/1444 + , https://dblp.org/pid/218/7437 + , https://dblp.org/pid/37/4921 + , https://dblp.org/pid/73/5848 + , https://dblp.org/pid/p/PLVora + , https://dblp.org/pid/244/7205 + , https://dblp.org/pid/92/709 + , https://dblp.org/pid/72/6864 + , https://dblp.org/pid/w/JeannetteMWing + , https://dblp.org/pid/01/4692 + , https://dblp.org/pid/78/1240 + , https://dblp.org/pid/195/8725-1 + , https://dblp.org/pid/75/4287 + , https://dblp.org/pid/69/5635 + , https://dblp.org/pid/79/4575 + , https://dblp.org/pid/02/2774 + , https://dblp.org/pid/y/MotiYung + , https://dblp.org/pid/z/PamelaZave + , https://dblp.org/pid/147/5994 + , https://dblp.org/pid/06/5919-1 + , https://dblp.org/pid/169/5574 + , https://dblp.org/pid/269/9589 + , https://dblp.org/pid/147/6088 +
https://dblp.org/rdf/schema#creatorName David L. Dill
https://dblp.org/rdf/schema#creatorNote award (2004): EFF Pioneer Award
https://dblp.org/rdf/schema#editorOf https://dblp.org/rec/conf/uss/2008evt + , https://dblp.org/rec/conf/cav/1994 +
https://dblp.org/rdf/schema#homepage http://verify.stanford.edu/dill +
https://dblp.org/rdf/schema#primaryAffiliation Stanford University, Department of Computer Science, CA, USA
https://dblp.org/rdf/schema#primaryCreatorName David L. Dill
https://dblp.org/rdf/schema#primaryHomepage http://verify.stanford.edu/dill +
https://dblp.org/rdf/schema#webpage https://scholar.google.com/citations?user=uy8T6BYAAAAJ + , https://dl.acm.org/profile/81100342748 + , https://mathscinet.ams.org/mathscinet/MRAuthorID/58085 + , https://mathgenealogy.org/id.php?id=50263 +
https://dblp.org/rdf/schema#wikidata http://www.wikidata.org/entity/Q41187382 +
https://dblp.org/rdf/schema#wikipedia https://en.wikipedia.org/wiki/David_L._Dill +
owl:sameAs http://www.wikidata.org/entity/Q41187382 + , https://id.loc.gov/authorities/names/n88268956 +
rdf:type https://dblp.org/rdf/schema#Creator + , https://dblp.org/rdf/schema#Person +
rdfs:label David L. Dill
hide properties that link here 
  This page has no properties.
 

 

Enter the name of the page to start semantic browsing from.
Retrieved from "http://b-kaempgen.de/index.php/Special:BrowseSW/https:-2F-2Fdblp.org-2Fpid-2Fd-2FDavidLDill"