Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/pid/85/3688
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/pid/85/3688
https://dblp.org/rdf/schema#affiliation The University of Texas, Austin, TX, USA , Stanford University, USA
https://dblp.org/rdf/schema#authorOf https://dblp.org/rec/journals/pacmpl/PattonRMBD24 + , https://dblp.org/rec/journals/pacmpl/PailoorWD24 + , https://dblp.org/rec/journals/ral/XinZRWHDB24 + , https://dblp.org/rec/conf/chi/BarnabyCWD24 + , https://dblp.org/rec/conf/se/CitoDM024 + , https://dblp.org/rec/journals/corr/abs-2401-10464 + , https://dblp.org/rec/journals/corr/abs-2403-16689 + , https://dblp.org/rec/journals/corr/abs-2404-04743 + , https://dblp.org/rec/journals/iacr/OzdemirPBFBD24 + , https://dblp.org/rec/journals/pacmpl/ZhangMSD23 + , https://dblp.org/rec/journals/pacmpl/FeserDS23 + , https://dblp.org/rec/journals/pacmpl/ChenBDDD23 + , https://dblp.org/rec/journals/pacmpl/BarnabyCSD23 + , https://dblp.org/rec/journals/pacmpl/PailoorCWRGMCG023 + , https://dblp.org/rec/conf/eurosys/LeBlancPEDBC23 + , https://dblp.org/rec/conf/iclr/AndersonCD23 + , https://dblp.org/rec/conf/iclr/WeiDD23 + , https://dblp.org/rec/conf/nips/YeCDD23 + , https://dblp.org/rec/journals/corr/abs-2303-01440 + , https://dblp.org/rec/journals/corr/abs-2303-09564 + , https://dblp.org/rec/journals/corr/abs-2304-03253 + , https://dblp.org/rec/journals/corr/abs-2305-03129 + , https://dblp.org/rec/journals/corr/abs-2305-09656 + , https://dblp.org/rec/journals/corr/abs-2305-10401 + , https://dblp.org/rec/journals/corr/abs-2305-18584 + , https://dblp.org/rec/journals/corr/abs-2312-07813 + , https://dblp.org/rec/journals/iacr/WenSCFPCDF23 + , https://dblp.org/rec/journals/iacr/PailoorCWRGMCGFD23 + , https://dblp.org/rec/journals/iacr/LiuKLTWSPMDF23 + , https://dblp.org/rec/journals/pacmpl/FerlesSKBD22 + , https://dblp.org/rec/journals/pacmpl/MarianoCFDD22 + , https://dblp.org/rec/journals/pacmpl/ChenPBCWDD22 + , https://dblp.org/rec/journals/pacmpl/ChenWGDFD22 + , https://dblp.org/rec/journals/pacmpl/MiltnerNBCD22 + , https://dblp.org/rec/journals/pacmpl/TanMLDF22 + , https://dblp.org/rec/conf/cidr/HulsebosGGDGD22 + , https://dblp.org/rec/conf/icse/CitoDMC22 + , https://dblp.org/rec/conf/iros/WeiHDB22 + , https://dblp.org/rec/conf/kbse/LiuCTD022 + , https://dblp.org/rec/journals/corr/abs-2203-00783 + , https://dblp.org/rec/journals/corr/abs-2203-01299 + , https://dblp.org/rec/journals/corr/abs-2203-09452 + , https://dblp.org/rec/journals/corr/abs-2204-06066 + , https://dblp.org/rec/journals/corr/abs-2206-06164 + , https://dblp.org/rec/journals/corr/abs-2209-01081 + , https://dblp.org/rec/journals/corr/abs-2209-14148 + , https://dblp.org/rec/journals/pacmpl/ZhangXSD21 + , https://dblp.org/rec/journals/pacmpl/FerlesSD21 + , https://dblp.org/rec/conf/chi/WangFBDCK21 + , https://dblp.org/rec/conf/emnlp/YeCDD21 + , https://dblp.org/rec/conf/iros/WeiLCDB21 + , https://dblp.org/rec/conf/pldi/ChenL0DBD21 + , https://dblp.org/rec/conf/pldi/Pailoor00D21 + , https://dblp.org/rec/conf/sigsoft/ZhangFEPD21 + , https://dblp.org/rec/conf/sigsoft/CitoD0M021 + , https://dblp.org/rec/conf/sp/StephensFMLD21 + , https://dblp.org/rec/journals/corr/abs-2102-01024 + , https://dblp.org/rec/journals/corr/abs-2104-06588 + , https://dblp.org/rec/journals/corr/abs-2104-07162 + , https://dblp.org/rec/journals/corr/abs-2107-06253 + , https://dblp.org/rec/journals/corr/abs-2109-05173 + , https://dblp.org/rec/journals/corr/abs-2110-00677 + , https://dblp.org/rec/journals/corr/abs-2111-05711 + , https://dblp.org/rec/journals/pacmpl/Pailoor0SD20 + , https://dblp.org/rec/journals/pacmpl/WangFBCD20 + , https://dblp.org/rec/journals/pvldb/WangSCPD20 + , https://dblp.org/rec/journals/sigops/FerlesGDS20 + , https://dblp.org/rec/journals/tacl/YeCWDD20 + , https://dblp.org/rec/conf/acl/YeCDD20 + , https://dblp.org/rec/conf/cav/GeffenNDWT20 + , https://dblp.org/rec/conf/cav/ChenWBDF20 + , https://dblp.org/rec/conf/iclr/WeiGDD20 + , https://dblp.org/rec/conf/kbse/MarianoCFLD20 + , https://dblp.org/rec/conf/nips/AndersonVDC20 + , https://dblp.org/rec/conf/pldi/Chen0YDD20 + , https://dblp.org/rec/journals/corr/abs-2003-01331 + , https://dblp.org/rec/journals/corr/abs-2005-00663 + , https://dblp.org/rec/journals/corr/abs-2005-02161 + , https://dblp.org/rec/journals/corr/abs-2009-12612 + , https://dblp.org/rec/journals/corr/abs-2010-01678 + , https://dblp.org/rec/journals/corr/abs-2010-09652 + , https://dblp.org/rec/journals/pacmpl/ChenWFBD19 + , https://dblp.org/rec/journals/pvldb/MartinsCCFD19 + , https://dblp.org/rec/conf/dbpl/Dillig19 + , https://dblp.org/rec/conf/oopsla/Dillig19 + , https://dblp.org/rec/conf/pldi/0001DSD19 + , https://dblp.org/rec/conf/pldi/AndersonPDC19 + , https://dblp.org/rec/conf/vstte/0001LCPDBNF19 + , https://dblp.org/rec/journals/corr/abs-1904-05498 + , https://dblp.org/rec/journals/corr/abs-1904-09959 + , https://dblp.org/rec/journals/corr/abs-1908-03316 + , https://dblp.org/rec/journals/corr/abs-1908-05848 + , https://dblp.org/rec/journals/corr/abs-1911-09668 + , https://dblp.org/rec/journals/pacmpl/0001WD18 + , https://dblp.org/rec/journals/pacmpl/SousaDL18 + , https://dblp.org/rec/journals/pacmpl/0001DLC18 + , https://dblp.org/rec/journals/pacmpl/WangDS18 + , https://dblp.org/rec/journals/pvldb/YaghmazadehWD18 + , https://dblp.org/rec/conf/cav/WangADM18 + , https://dblp.org/rec/conf/pldi/FerlesGDS18 + , https://dblp.org/rec/conf/pldi/FengMBD18 + , https://dblp.org/rec/conf/sigsoft/WeiCFFD18 + , https://dblp.org/rec/journals/corr/abs-1802-06551 + , https://dblp.org/rec/journals/corr/abs-1804-02503 + , https://dblp.org/rec/journals/corr/abs-1804-04152 + , https://dblp.org/rec/journals/corr/abs-1809-02283 + , https://dblp.org/rec/journals/corr/abs-1812-08829 + , https://dblp.org/rec/journals/pacmpl/WangDS17 + , https://dblp.org/rec/journals/pacmpl/Yaghmazadeh0DD17 + , https://dblp.org/rec/journals/sttt/DilligDLMS17 + , https://dblp.org/rec/conf/ccs/ChenFD17 + , https://dblp.org/rec/conf/kbse/ChenODL17 + , https://dblp.org/rec/conf/ndss/FengBMDA17 + , https://dblp.org/rec/conf/pldi/FengMGDC17 + , https://dblp.org/rec/conf/popl/FengM0DR17 + , https://dblp.org/rec/conf/sigsoft/FerlesWCD17 + , https://dblp.org/rec/conf/tacas/WustholzOHD17 + , https://dblp.org/rec/journals/corr/WustholzOHD17 + , https://dblp.org/rec/journals/corr/Yaghmazadeh0DD17 + , https://dblp.org/rec/journals/corr/FerlesWCD17 + , https://dblp.org/rec/journals/corr/WangDS17 + , https://dblp.org/rec/journals/corr/abs-1710-07660 + , https://dblp.org/rec/journals/corr/abs-1710-07740 + , https://dblp.org/rec/journals/corr/abs-1711-04001 + , https://dblp.org/rec/conf/pldi/SousaD16 + , https://dblp.org/rec/conf/pldi/YaghmazadehKDC16 + , https://dblp.org/rec/conf/popl/AlbarghouthiDG16 + , https://dblp.org/rec/conf/sigsoft/0001FMKDR16 + , https://dblp.org/rec/journals/corr/FengBMDA16 + , https://dblp.org/rec/journals/corr/WangFMKDR16 + , https://dblp.org/rec/journals/corr/FengMGDC16 + , https://dblp.org/rec/conf/aplas/FengWDD15 + , https://dblp.org/rec/conf/ccs/OlivoDL15 + , https://dblp.org/rec/conf/fmcad/Dillig15 + , https://dblp.org/rec/conf/oopsla/FengWDL15 + , https://dblp.org/rec/conf/pldi/FeserCD15 + , https://dblp.org/rec/conf/pldi/OlivoDL15 + , https://dblp.org/rec/conf/cav/DilligDC14 + , https://dblp.org/rec/conf/pldi/SousaDVDG14 + , https://dblp.org/rec/conf/sigsoft/FengDAA14 + , https://dblp.org/rec/conf/sigsoft/FengADA14 + , https://dblp.org/rec/conf/aplas/ZhuDD13 + , https://dblp.org/rec/conf/cav/DilligD13 + , https://dblp.org/rec/conf/oopsla/DilligDLM13 + , https://dblp.org/rec/conf/tacas/LiDDMS13 + , https://dblp.org/rec/conf/cav/DilligDMA12 + , https://dblp.org/rec/conf/pldi/DilligDA12 + , https://dblp.org/rec/phd/us/Dillig11a + , https://dblp.org/rec/journals/fmsd/DilligDA11 + , https://dblp.org/rec/conf/cav/SharmaDDA11 + , https://dblp.org/rec/conf/pldi/DilligDAS11 + , https://dblp.org/rec/conf/popl/DilligDA11 + , https://dblp.org/rec/journals/cacm/DilligDA10 + , https://dblp.org/rec/conf/esop/DilligDA10 + , https://dblp.org/rec/conf/oopsla/DilligDA10 + , https://dblp.org/rec/conf/sas/DilligDA10 + , https://dblp.org/rec/conf/cav/DilligDA09 + , https://dblp.org/rec/conf/iwmm/DilligDYC08 + , https://dblp.org/rec/conf/pldi/DilligDA08 + , https://dblp.org/rec/conf/paste/AikenBDDHH07 + , https://dblp.org/rec/conf/pldi/DilligDA07 +
https://dblp.org/rdf/schema#coCreatorWith https://dblp.org/pid/a/AAiken + , https://dblp.org/pid/a/AdityaAkella + , https://dblp.org/pid/90/8295 + , https://dblp.org/pid/95/5667 + , https://dblp.org/pid/53/6132-3 + , https://dblp.org/pid/132/8480 + , https://dblp.org/pid/01/7458 + , https://dblp.org/pid/251/2036 + , https://dblp.org/pid/b/ClarkWBarrett + , https://dblp.org/pid/49/8682 + , https://dblp.org/pid/21/11275 + , https://dblp.org/pid/84/73 + , https://dblp.org/pid/20/1858 + , https://dblp.org/pid/260/5569 + , https://dblp.org/pid/142/3208 + , https://dblp.org/pid/297/4512 + , https://dblp.org/pid/69/5474 + , https://dblp.org/pid/c/SatishChandra + , https://dblp.org/pid/341/2214 + , https://dblp.org/pid/37/6100 + , https://dblp.org/pid/99/6879 + , https://dblp.org/pid/42/1159 + , https://dblp.org/pid/247/1177 + , https://dblp.org/pid/00/6472 + , https://dblp.org/pid/05/4034 + , https://dblp.org/pid/16/4915 + , https://dblp.org/pid/07/10563 + , https://dblp.org/pid/05/7730 + , https://dblp.org/pid/76/4622 + , https://dblp.org/pid/150/6416 + , https://dblp.org/pid/c/WilliamRCook + , https://dblp.org/pid/259/9978 + , https://dblp.org/pid/74/20 + , https://dblp.org/pid/26/6661 + , https://dblp.org/pid/19/5000 + , https://dblp.org/pid/89/7354 + , https://dblp.org/pid/69/7968 + , https://dblp.org/pid/283/1267 + , https://dblp.org/pid/346/2209 + , https://dblp.org/pid/e/MDErnst + , https://dblp.org/pid/30/4550-1 + , https://dblp.org/pid/202/1679 + , https://dblp.org/pid/163/3156 + , https://dblp.org/pid/348/5903 + , https://dblp.org/pid/279/9957 + , https://dblp.org/pid/264/7385 + , https://dblp.org/pid/190/7037 + , https://dblp.org/pid/70/3800 + , https://dblp.org/pid/g/BrightenGodfrey + , https://dblp.org/pid/264/2642 + , https://dblp.org/pid/g/PTGroth + , https://dblp.org/pid/348/5881 + , https://dblp.org/pid/44/3532 + , https://dblp.org/pid/32/2230 + , https://dblp.org/pid/89/1170 + , https://dblp.org/pid/h/MarijnHeule + , https://dblp.org/pid/210/9803 + , https://dblp.org/pid/323/2391 + , https://dblp.org/pid/226/5745 + , https://dblp.org/pid/47/4244 + , https://dblp.org/pid/185/0893 + , https://dblp.org/pid/115/6369 + , https://dblp.org/pid/33/6749-2 + , https://dblp.org/pid/184/0314-1 + , https://dblp.org/pid/00/7027 + , https://dblp.org/pid/181/2345 + , https://dblp.org/pid/348/5699 + , https://dblp.org/pid/130/7700 + , https://dblp.org/pid/32/2903 + , https://dblp.org/pid/290/1672 + , https://dblp.org/pid/261/5084 + , https://dblp.org/pid/70/1211-2 + , https://dblp.org/pid/222/9566 + , https://dblp.org/pid/65/1026 + , https://dblp.org/pid/348/6074 + , https://dblp.org/pid/74/6169 + , https://dblp.org/pid/251/2041 + , https://dblp.org/pid/14/8296 + , https://dblp.org/pid/m/KennethLMcMillan + , https://dblp.org/pid/207/7834 + , https://dblp.org/pid/296/4038 + , https://dblp.org/pid/361/2528 + , https://dblp.org/pid/32/6870 + , https://dblp.org/pid/65/7449 + , https://dblp.org/pid/89/1427 + , https://dblp.org/pid/194/6735 + , https://dblp.org/pid/227/6448 + , https://dblp.org/pid/86/7184 + , https://dblp.org/pid/200/3122 + , https://dblp.org/pid/224/9387 + , https://dblp.org/pid/p/JPalsberg + , https://dblp.org/pid/94/1243 + , https://dblp.org/pid/294/9168 + , https://dblp.org/pid/175/0261 + , https://dblp.org/pid/299/8757 + , https://dblp.org/pid/276/7566 + , https://dblp.org/pid/220/1284 + , https://dblp.org/pid/239/5902 + , https://dblp.org/pid/r/StevenPReiss + , https://dblp.org/pid/r/TWReps + , https://dblp.org/pid/280/4920 + , https://dblp.org/pid/46/991 + , https://dblp.org/pid/s/SSagiv + , https://dblp.org/pid/78/7445 + , https://dblp.org/pid/317/2218 + , https://dblp.org/pid/260/9039 + , https://dblp.org/pid/35/1061 + , https://dblp.org/pid/239/4961 + , https://dblp.org/pid/259/0632 + , https://dblp.org/pid/22/846-1 + , https://dblp.org/pid/36/4172 + , https://dblp.org/pid/25/7056 + , https://dblp.org/pid/s/YSmaragdakis + , https://dblp.org/pid/95/6919 + , https://dblp.org/pid/123/7772 + , https://dblp.org/pid/196/8839 + , https://dblp.org/pid/65/2709 + , https://dblp.org/pid/303/4686 + , https://dblp.org/pid/88/1444 + , https://dblp.org/pid/55/1457 + , https://dblp.org/pid/01/1084-1 + , https://dblp.org/pid/00/6362 + , https://dblp.org/pid/94/9817 + , https://dblp.org/pid/254/2620 + , https://dblp.org/pid/71/4292 + , https://dblp.org/pid/86/8795 + , https://dblp.org/pid/08/5760-5 + , https://dblp.org/pid/68/1277-6 + , https://dblp.org/pid/133/3844 + , https://dblp.org/pid/52/10722 + , https://dblp.org/pid/228/5746 + , https://dblp.org/pid/271/1209 + , https://dblp.org/pid/28/9798 + , https://dblp.org/pid/341/5979 + , https://dblp.org/pid/78/10373-1 + , https://dblp.org/pid/154/0870 + , https://dblp.org/pid/54/5133 + , https://dblp.org/pid/61/8175 + , https://dblp.org/pid/56/8549 + , https://dblp.org/pid/24/5631 + , https://dblp.org/pid/19/5112 + , https://dblp.org/pid/341/5245 + , https://dblp.org/pid/27/686 +
https://dblp.org/rdf/schema#creatorName Isil Dillig
https://dblp.org/rdf/schema#editorOf https://dblp.org/rec/conf/pldi/2022 + , https://dblp.org/rec/conf/pldi/2021maps + , https://dblp.org/rec/conf/cav/2019-1 + , https://dblp.org/rec/conf/cav/2019-2 + , https://dblp.org/rec/conf/vmcai/2018 +
https://dblp.org/rdf/schema#homepage http://www.cs.utexas.edu/~isil/ + , http://utopia.cs.utexas.edu/ +
https://dblp.org/rdf/schema#orcid https://orcid.org/0000-0001-8006-1230 +
https://dblp.org/rdf/schema#primaryAffiliation The University of Texas, Austin, TX, USA
https://dblp.org/rdf/schema#primaryCreatorName Isil Dillig
https://dblp.org/rdf/schema#primaryHomepage http://www.cs.utexas.edu/~isil/ +
https://dblp.org/rdf/schema#webpage https://dl.acm.org/profile/81331491247 +
owl:sameAs https://orcid.org/0000-0001-8006-1230 +
rdf:type https://dblp.org/rdf/schema#Creator + , https://dblp.org/rdf/schema#Person +
rdfs:label Isil Dillig
hide properties that link here 
  This page has no properties.
 

 

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