dblp keys for Oleg Sokolsky

Oleg Sokolsky

Keys

# of data records = 269

homepages/31/4030 conf/chase/JiLYWKWNHMEDSL23 conf/icaa2/LuRCSL23 conf/icaa2/KaurJRSL23 conf/iccps/KaurS0YJRS023 conf/iccps/YangDJS023 conf/iccps/JiYCWKLWNHMEDS023 conf/icmu/JiYCEMHWDNSGNSHL23 conf/iotdi/JiCS023 conf/nfm/CleavelandS0R23 conf/rtas/ZhangSLLCKSL23 journals/corr/abs-2301-11330 journals/corr/abs-2302-09656 journals/corr/abs-2302-10341 journals/corr/abs-2302-11019 journals/corr/abs-2304-02813 journals/corr/abs-2304-12508 journals/corr/abs-2308-14815 journals/corr/abs-2311-03477 journals/corr/abs-2311-07377 journals/health/PughRBDSLW22 conf/aaai/KaurJRPDSL22 conf/acssc/WatsonPPSWL22 conf/amcc/SridharSLW22 conf/birthday/LinIWSL22 conf/iccps/RuchkinCILCSL22 conf/iccps/CleavelandRSL22 conf/kdd/LiJDSL22 conf/rtss/LiuZLSKSL22 conf/vtc/GuptaCGKSL22 journals/corr/abs-2201-02331 journals/corr/abs-2205-08650 journals/corr/abs-2205-10798 journals/corr/abs-2206-06496 journals/corr/abs-2207-11769 journals/corr/abs-2210-07531 journals/scp/LarsenSW21 journals/tecs/ZhangLKCSL21 conf/birthday/RuchkinCSL21 conf/chase/PughRBDSLW21 conf/rtns/LiXL0GPLS21 conf/vtc/GuptaCGKSL21 conf/wsc/IsmaielRSLS21 journals/corr/abs-2103-12628 journals/corr/abs-2106-02078 journals/corr/abs-2108-06380 journals/corr/abs-2111-03781 journals/corr/abs-2111-03782 journals/tcad/RuchkinSWHL20 conf/memocode/NguyenMWSLA20 conf/safecomp/KaurICSL20 conf/atva/2020 journals/tcps/KimFSL19 conf/birthday/ZhangKLS19 conf/cpsweek/IvanovWSL19 conf/memocode/NguyenMWSLA19 conf/rv/KannanKLS019 conf/rv/ZhangELS19 conf/tacas/ParkPSL19 conf/birthday/2019smolka journals/corr/abs-1902-04064 journals/computer/SokolskyB18 journals/pieee/WeimerICRSL18 journals/tcns/SoudbakhshPAS18 conf/IEEEcloud/GangadharanSLKL18 conf/hybrid/RoohiKWSL18 conf/iccps/KongXWSL18 conf/iotdi/NguyenIPSWL18 conf/isola/ZhangELS18 conf/isorc/IvanovNWSL18 conf/isorc/GolombGCSL18 conf/rtas/LiXLLGPLS18 conf/setta/ZhangWGEPLS18 journals/corr/abs-1806-08810 journals/jlp/ParkLSHACK17 conf/embc/WangLMSL17 conf/isorc/KimGSLL17 conf/rv/ZhangWLS17 conf/tacas/ParkPSL17 journals/corr/abs-1710-03393 conf/setta/2017 journals/jcse/ChenSWL16 conf/amcc/BezzoWDSSL16 conf/chase/NguyenAIHPSWWHL16 conf/hase/DuanRHSL16 conf/rtcsa/GangadharanKSKL16 conf/rv/ZhangGS16 conf/tacas/ParkPLS16 journals/corr/SokolskyZLM16 journals/corr/GosslerS16 journals/rts/XuPSXLGL15 journals/scp/HuguesS15 journals/tpds/HeiDLLS15 conf/IEEEcloud/XiLLGXPLS15 conf/adhs/ChenOWSL15 conf/date/KimFPSL15 conf/emsoft/PajicPLPS15 conf/ichi/ChenFRPSL15 conf/ichi/WeimerSL15 conf/kbse/YouRHKKS15 conf/memocode/WhalenRGMSHL15 conf/nfm/MengPSWL15 conf/rtss/KimFSL15 conf/rv/WangGGSL15 conf/safecomp/DuanRHSL15 conf/safecomp/KingFPCSHL15 conf/safecomp/Venkatasubramanian15 journals/tecs/PajicJLSM14 journals/tii/PajicMSAGL14 conf/amcc/WeimerBPSL14 conf/cpsna/WeimerSBL14 conf/emsoft/XiXLPGSL14 conf/fhies/DuanRHASL14 conf/fhies/MurugesanHWRKDK14 conf/hase/VenkatasubramanianVSL14 conf/iccps/MurugesanSRWHL14 conf/iccps/PajicWBTSLP14 conf/iros/BezzoWPSPL14 conf/mcps/FengKCAPBSL14 journals/sj/ChangVWKLLS13 conf/cases/KimPSL13 conf/ciss/WeimerBPPSL13 conf/cpsna/KingFSL13 conf/emsoft/ErnstS13 conf/fhies/DubeMTLCS13 conf/fhies/KingFSL13 conf/hicons/PajicBWAMMPSTWL13 conf/hicons/WangAISL13 conf/iccps/SoudbakhshPSLA13 conf/iccps/KimLPS13 conf/iccps/PajicMBWSPTL13 conf/pst/ChangGHILSV13 conf/rtas/PhanXLLS13 conf/rtss/XuPLSXLG13 conf/rv/WangAKGSL13 conf/safecomp/MasciACLST13 conf/emsoft/2013 journals/fmsd/SokolskyR12 journals/ieeesp/VenkatasubramanianVSL12 journals/ieeesp/VassermanVSL12 journals/pieee/LeeSCHJKKMPRV12 journals/sttt/SokolskyHL12 journals/tcs/PhilippouLS12 conf/ihi/AsareCVKKSLLM12 conf/nfm/AyoubKLS12 conf/rsp/KimPLS12 conf/rtas/LeeXCPGLLS12 conf/rtas/PajicJLSM12 conf/safecomp/AyoubKLS12 journals/dagstuhl-reports/FeilerHS12 journals/jlp/DineshJLS11 journals/sigbed/LeePCSL11 journals/sigbed/PhanLERCLS11 conf/cases/PhanLS11 conf/ceas/WestCVSL11 conf/ecbs/Sokolsky11 conf/ecows/ChangVWKSKL11 conf/embc/ArneyVSL11 conf/emsoft/KimASLJZJ11 conf/emsoft/SokolskyLH11 conf/icse/MurphyRKCIKLSCO11 conf/rtas/ChenPLLS11 conf/rtas/PhanLS11 conf/rv/WangASL11 conf/trust/ChangVWKLSL11 conf/wh/AsareCVKSLLM11 journals/logcom/SokolskyT10 conf/dac/LeeS10 conf/ecrts/PhanLS10 conf/formats/PhilippouLSC10 conf/iccps/ArneyPGLMS10 conf/icse/KingALSHP10 conf/ihi/KingRACMGHKSTTPSL10 conf/isola/JeeLS10 conf/rtcsa/JeeWKLSL10 conf/wh/KingRCSASLMP10 conf/dagstuhl/2010P10451 conf/monterey/2008 conf/rv/2010 conf/dagstuhl/HavelundLSSW10 conf/dagstuhl/HavelundLSSW10a journals/computer/BlazeKLSSKL09 conf/adaEurope/SokolskyLC09 conf/eurosec/WestACPBKLSS09 conf/hotnets/WangJLLSB09 conf/padl/WangBLS09 conf/rtcsa/EaswaranLSV09 conf/rv/ZhouSLL09 conf/seus/ChinnapongseLSWJ09 conf/deon/DineshJLS08 conf/monterey/SokolskyC08 conf/rv/DineshJLS08 conf/dagstuhl/2007P7011 journals/ijseke/MondragonGRMS07 journals/jcss/GillS07 journals/jlp/LeePS07 journals/tc/FischmeisterSL07 conf/isorc/EaswaranLSS07 conf/monterey/DineshJLS07 conf/rv/SammapunLSR07 conf/monterey/2006 conf/rv/2007 reference/crc/PhilippouS07 conf/dagstuhl/FinkbeinerHRS07 conf/dagstuhl/FinkbeinerHRS07a conf/dagstuhl/SokolskySRL07 journals/jlp/AlurGLS06 journals/sigbed/HatcliffLS06 conf/emsoft/EaswaranSSL06 conf/hybrid/KratzSPL06 conf/ipps/SokolskyLC06 conf/rtas/FischmeisterSL06 conf/tacas/SokolskyKL06 conf/euc/2006w conf/dagstuhl/BattBEFHHKMMNSU06 journals/sigbed/SokolskyA05 conf/rtcsa/SammapunLS05 conf/scam/HongLS05 conf/seke/MondragonGMS05 conf/words/GatesRGOS05 journals/entcs/EaswaranKS06 journals/entcs/SokolskySLK06 journals/entcs/LeePS06 journals/fmsd/KimVKLS04 journals/sigbed/LeeS04 conf/iri/TanKSL04 conf/iri/TanSL04 conf/netgames/DeLapKLSSLT04 conf/wstfeus/Sokolsky04 journals/entcs/SammapunELS05 journals/pieee/AlurDEHIKMPS03 conf/icse/HongCLSU03 conf/lctrts/AlurIKLS03 conf/tacas/SokolskyPLC03 journals/entcs/SokolskyV03 conf/rv/2003 journals/scp/KwakLS02 journals/tse/BhargavanGKLOSV02 conf/hipc/AlurBIKRSSW02 conf/rissef/LeePS02 conf/tacas/HongLSU02 journals/entcs/KimKLSV02 journals/entcs/KimLSSS02 journals/ipl/PhilippouSLCS01 conf/emsoft/AlurDEFHIKLMPS01 conf/forte/LeeCKPS01 conf/hybrid/AlurGLS01 journals/entcs/KimKLSV01 books/el/01/CleavelandS01 conf/concur/PhilippouLS00 conf/issta/BhargavanGKLOSV00 journals/ansoft/SokolskyLB99 conf/amia/SilvermanSTWLKCQS99 conf/ecrts/KimVBKLS99 conf/pdpta/LeeKKSV99 conf/tacas/DongDRRRSSSW99 conf/words/SokolskyKKLV99 conf/concur/PhilippouCLSS98 conf/rtas/SokolskyYLKZ98 conf/rtss/KwakLPCS98 journals/entcs/KwakLS99 conf/hase/LeeS97 conf/cav/CleavelandLSS96 conf/cav/ClarkeBLXS96 conf/tacas/CleavelandLSS96 conf/cav/SokolskyS95 conf/cav/SokolskyS94 conf/dimacs/CleavelandGLSSZ94 conf/lics/ZhangSS94

a service of  Schloss Dagstuhl - Leibniz Center for Informatics