Browse Wiki & Semantic Web

Jump to: navigation, search
Https://dblp.org/pid/p/RuzicaPiskac
  This page has no properties.
hide properties that link here 
  No properties link to this page.
 
https://dblp.org/pid/p/RuzicaPiskac
https://dblp.org/rdf/schema#affiliation Yale University, Department of Computer Science, New Haven, CT, USA
https://dblp.org/rdf/schema#authorOf https://dblp.org/rec/journals/tches/ErataXPS24 + , https://dblp.org/rec/conf/cslaw/JudsonECAKSP24 + , https://dblp.org/rec/journals/corr/abs-2401-15869 + , https://dblp.org/rec/journals/pacmmod/DingWYZXCPL23 + , https://dblp.org/rec/journals/tecs/ErataYGYSPS23 + , https://dblp.org/rec/conf/ccs/SangLJCAWPS23 + , https://dblp.org/rec/conf/eurosp/ErataPMS23 + , https://dblp.org/rec/conf/ijcai/CordobaJABSSPK23 + , https://dblp.org/rec/conf/vecos/BjornerJCGSPK23 + , https://dblp.org/rec/journals/corr/abs-2304-02102 + , https://dblp.org/rec/journals/corr/abs-2305-05731 + , https://dblp.org/rec/journals/corr/abs-2307-01532 + , https://dblp.org/rec/journals/corr/abs-2311-07377 + , https://dblp.org/rec/journals/dagstuhl-reports/CitoPSZS23 + , https://dblp.org/rec/journals/dagstuhl-reports/KonighoferKPVC23 + , https://dblp.org/rec/journals/iacr/LuoWSTPR23 + , https://dblp.org/rec/journals/iacr/SangLJCAWPS23 + , https://dblp.org/rec/journals/iacr/LuickKAHPPTWL23 + , https://dblp.org/rec/journals/pacmpl/KolesarPH22 + , https://dblp.org/rec/conf/ccs/LuoAHPTW22 + , https://dblp.org/rec/conf/issta/ZhangMKPL22 + , https://dblp.org/rec/conf/kbse/0002LKSP22 + , https://dblp.org/rec/conf/pldi/ChoiFPS22 + , https://dblp.org/rec/conf/uss/LuoJAPW22 + , https://dblp.org/rec/conf/wcre/SantolucitoZZCP22 + , https://dblp.org/rec/journals/corr/abs-2201-11433 + , https://dblp.org/rec/journals/corr/abs-2202-02729 + , https://dblp.org/rec/journals/corr/abs-2206-01848 + , https://dblp.org/rec/journals/corr/abs-2209-14876 + , https://dblp.org/rec/journals/iacr/LuoAHPTW22 + , https://dblp.org/rec/journals/pacmpl/ZhangPZX21 + , https://dblp.org/rec/conf/infocom/ChengLZAPX21 + , https://dblp.org/rec/conf/nsdi/CampbellHSCLRHP21 + , https://dblp.org/rec/conf/tacas/LepillerPSS21 + , https://dblp.org/rec/journals/corr/abs-2111-11904 + , https://dblp.org/rec/journals/iacr/LuoJAPW21 + , https://dblp.org/rec/journals/fmsd/HallahanZP20 + , https://dblp.org/rec/conf/aaai/MortonHSPS20 + , https://dblp.org/rec/conf/cade/Piskac20 + , https://dblp.org/rec/conf/nsdi/ZhaiCPBTSZ20 + , https://dblp.org/rec/conf/oopsla/ShoemakerPS20 + , https://dblp.org/rec/conf/sigcse/SantolucitoP20 + , https://dblp.org/rec/conf/vmcai/LevatichBPS20 + , https://dblp.org/rec/conf/wpes/JudsonLAP20 + , https://dblp.org/rec/journals/corr/abs-2002-02884 + , https://dblp.org/rec/journals/corr/abs-2010-06631 + , https://dblp.org/rec/conf/cav/Finkbeiner0PS19 + , https://dblp.org/rec/conf/chi/SantolucitoHP19 + , https://dblp.org/rec/conf/haskell/HallahanXP19 + , https://dblp.org/rec/conf/haskell/Finkbeiner0PS19 + , https://dblp.org/rec/conf/pldi/HallahanXBJP19 + , https://dblp.org/rec/journals/corr/abs-1903-08571 + , https://dblp.org/rec/journals/corr/abs-1905-09825 + , https://dblp.org/rec/conf/icfp/SantolucitoRLP18 + , https://dblp.org/rec/conf/oopsla/SantolucitoGWP18 + , https://dblp.org/rec/conf/sas/Piskac18 + , https://dblp.org/rec/journals/corr/abs-1803-10383 + , https://dblp.org/rec/journals/corr/abs-1805-04473 + , https://dblp.org/rec/journals/pacmpl/SantolucitoZDSP17 + , https://dblp.org/rec/journals/pacmpl/ZhaiPGLW17 + , https://dblp.org/rec/conf/cpsweek/Finkbeiner0PS17 + , https://dblp.org/rec/conf/fmcad/HallahanZP17 + , https://dblp.org/rec/journals/corr/abs-1712-00246 + , https://dblp.org/rec/conf/cav/SantolucitoZP16 + , https://dblp.org/rec/conf/cav/ReinkingP15 + , https://dblp.org/rec/conf/icse/GulwaniMNP15 + , https://dblp.org/rec/conf/se/GveroKKP15 + , https://dblp.org/rec/conf/synasc/Piskac15 + , https://dblp.org/rec/conf/cav/PiskacWZ14 + , https://dblp.org/rec/conf/fmcad/Piskac14 + , https://dblp.org/rec/conf/tacas/PiskacWZ14 + , https://dblp.org/rec/journals/sttt/KuncakMPS13 + , https://dblp.org/rec/conf/birthday/HillenbrandPWW13 + , https://dblp.org/rec/conf/cav/KloosMNP13 + , https://dblp.org/rec/conf/cav/PiskacWZ13 + , https://dblp.org/rec/conf/pldi/GveroKKP13 + , https://dblp.org/rec/journals/corr/abs-1301-7321 + , https://dblp.org/rec/journals/cacm/KuncakMPS12 + , https://dblp.org/rec/phd/ch/Piskac11 + , https://dblp.org/rec/conf/cav/GveroKP11 + , https://dblp.org/rec/conf/vmcai/PiskacW11 + , https://dblp.org/rec/journals/jar/PiskacMB10 + , https://dblp.org/rec/conf/cade/PiskacK10 + , https://dblp.org/rec/conf/cav/KuncakMPS10 + , https://dblp.org/rec/conf/csl/KuncakPS10 + , https://dblp.org/rec/conf/pldi/KuncakMPS10 + , https://dblp.org/rec/conf/vmcai/KuncakPSW10 + , https://dblp.org/rec/conf/vmcai/YessenovPK10 + , https://dblp.org/rec/conf/frocos/WiesPK09 + , https://dblp.org/rec/conf/cav/PiskacK08 + , https://dblp.org/rec/conf/csl/PiskacK08 + , https://dblp.org/rec/conf/vmcai/PiskacK08 + , https://dblp.org/rec/conf/sefm/NivelleP05 +
https://dblp.org/rdf/schema#coCreatorWith https://dblp.org/pid/62/6761 + , https://dblp.org/pid/b/MBalakrishnan + , https://dblp.org/pid/351/1466 + , https://dblp.org/pid/51/912 + , https://dblp.org/pid/242/4523 + , https://dblp.org/pid/204/3711 + , https://dblp.org/pid/291/4579 + , https://dblp.org/pid/364/4744 + , https://dblp.org/pid/139/2429 + , https://dblp.org/pid/348/5896 + , https://dblp.org/pid/59/146-1 + , https://dblp.org/pid/31/6601-1 + , https://dblp.org/pid/150/4548 + , https://dblp.org/pid/309/3329 + , https://dblp.org/pid/150/6416 + , https://dblp.org/pid/320/0091 + , https://dblp.org/pid/207/6542 + , https://dblp.org/pid/69/2960 + , https://dblp.org/pid/251/1861 + , https://dblp.org/pid/347/1511 + , https://dblp.org/pid/72/2839 + , https://dblp.org/pid/151/2203 + , https://dblp.org/pid/73/4443 + , https://dblp.org/pid/15/3253 + , https://dblp.org/pid/44/4521 + , https://dblp.org/pid/234/4412 + , https://dblp.org/pid/155/8148 + , https://dblp.org/pid/g/SumitGulwani + , https://dblp.org/pid/15/2242 + , https://dblp.org/pid/208/7435 + , https://dblp.org/pid/h/FrankvanHarmelen + , https://dblp.org/pid/38/7508 + , https://dblp.org/pid/56/3463 + , https://dblp.org/pid/43/4308 + , https://dblp.org/pid/47/4244 + , https://dblp.org/pid/281/0124 + , https://dblp.org/pid/274/7817 + , https://dblp.org/pid/168/3721 + , https://dblp.org/pid/80/8313-1 + , https://dblp.org/pid/56/7908 + , https://dblp.org/pid/322/0412 + , https://dblp.org/pid/117/3735 + , https://dblp.org/pid/87/2250 + , https://dblp.org/pid/142/1671 + , https://dblp.org/pid/k/ViktorKuncak + , https://dblp.org/pid/129/1282 + , https://dblp.org/pid/32/2903 + , https://dblp.org/pid/207/6555 + , https://dblp.org/pid/38/2945 + , https://dblp.org/pid/00/2651-2 + , https://dblp.org/pid/l/InsupLee + , https://dblp.org/pid/15/5471 + , https://dblp.org/pid/192/8674 + , https://dblp.org/pid/256/4523 + , https://dblp.org/pid/124/3254 + , https://dblp.org/pid/79/572-1 + , https://dblp.org/pid/20/5913 + , https://dblp.org/pid/231/5127 + , https://dblp.org/pid/362/6434 + , https://dblp.org/pid/26/848 + , https://dblp.org/pid/71/1981 + , https://dblp.org/pid/33/9991 + , https://dblp.org/pid/33/8166 + , https://dblp.org/pid/133/7331 + , https://dblp.org/pid/m/AloysiusKMok + , https://dblp.org/pid/258/1051 + , https://dblp.org/pid/d/LeonardoMdeMoura + , https://dblp.org/pid/09/1276 + , https://dblp.org/pid/125/2180 + , https://dblp.org/pid/98/1099 + , https://dblp.org/pid/00/2904 + , https://dblp.org/pid/291/4843 + , https://dblp.org/pid/07/5590-1 + , https://dblp.org/pid/165/2692 + , https://dblp.org/pid/231/5129 + , https://dblp.org/pid/79/5611 + , https://dblp.org/pid/251/2043 + , https://dblp.org/pid/115/9332 + , https://dblp.org/pid/41/7506 + , https://dblp.org/pid/312/5758 + , https://dblp.org/pid/s/ZhongShao + , https://dblp.org/pid/05/4796 + , https://dblp.org/pid/228/5537 + , https://dblp.org/pid/207/6540 + , https://dblp.org/pid/285/6153 + , https://dblp.org/pid/92/128 + , https://dblp.org/pid/258/1002 + , https://dblp.org/pid/188/8039 + , https://dblp.org/pid/66/9641 + , https://dblp.org/pid/251/2056 + , https://dblp.org/pid/31/4030 + , https://dblp.org/pid/70/5472 + , https://dblp.org/pid/49/6828 + , https://dblp.org/pid/291/3952 + , https://dblp.org/pid/21/7729 + , https://dblp.org/pid/66/8277 + , https://dblp.org/pid/37/913 + , https://dblp.org/pid/288/2654 + , https://dblp.org/pid/223/0237 + , https://dblp.org/pid/t/EranTromer + , https://dblp.org/pid/202/2503 + , https://dblp.org/pid/211/8137 + , https://dblp.org/pid/v/AndreiVoronkov + , https://dblp.org/pid/w/UweWaldmann + , https://dblp.org/pid/08/5760 + , https://dblp.org/pid/49/67 + , https://dblp.org/pid/150/9413 + , https://dblp.org/pid/50/9117 + , https://dblp.org/pid/42/5299 + , https://dblp.org/pid/251/1580 + , https://dblp.org/pid/234/4339 + , https://dblp.org/pid/23/5398 + , https://dblp.org/pid/77/7791 + , https://dblp.org/pid/226/4112 + , https://dblp.org/pid/90/7566 + , https://dblp.org/pid/363/9160 + , https://dblp.org/pid/242/4544 + , https://dblp.org/pid/y/YangRichardYang + , https://dblp.org/pid/322/1431 + , https://dblp.org/pid/66/6609 + , https://dblp.org/pid/128/5339 + , https://dblp.org/pid/202/7585 + , https://dblp.org/pid/68/6471 + , https://dblp.org/pid/23/7560 + , https://dblp.org/pid/24/4857 + , https://dblp.org/pid/130/9903 + , https://dblp.org/pid/38/1392-2 + , https://dblp.org/pid/150/3481 + , https://dblp.org/pid/30/338-2 + , https://dblp.org/pid/z/NingZhong + , https://dblp.org/pid/64/4129 + , https://dblp.org/pid/77/3616 +
https://dblp.org/rdf/schema#creatorName Ruzica Piskac
https://dblp.org/rdf/schema#editorOf https://dblp.org/rec/conf/lpar/2023 + , https://dblp.org/rec/conf/vmcai/2019 + , https://dblp.org/rec/conf/vstte/2018 + , https://dblp.org/rec/conf/cade/2016smt + , https://dblp.org/rec/conf/fmcad/2016 + , https://dblp.org/rec/journals/corr/PiskacD16 + , https://dblp.org/rec/conf/semweb/2007nfrsw +
https://dblp.org/rdf/schema#homepage https://www.cs.yale.edu/homes/piskac/ +
https://dblp.org/rdf/schema#orcid https://orcid.org/0000-0002-3267-0776 +
https://dblp.org/rdf/schema#primaryAffiliation Yale University, Department of Computer Science, New Haven, CT, USA
https://dblp.org/rdf/schema#primaryCreatorName Ruzica Piskac
https://dblp.org/rdf/schema#primaryHomepage https://www.cs.yale.edu/homes/piskac/ +
https://dblp.org/rdf/schema#webpage https://scholar.google.com/citations?user=71RQt3sAAAAJ +
owl:sameAs https://orcid.org/0000-0002-3267-0776 +
rdf:type https://dblp.org/rdf/schema#Creator + , https://dblp.org/rdf/schema#Person +
rdfs:label Ruzica Piskac
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-2Fp-2FRuzicaPiskac"