default search action
dblp keys for Oleg Sokolsky
- > Home > Persons > Oleg Sokolsky
Oleg Sokolsky
Keys
# of data records = 277
homepages/31/4030 journals/csur/LuZLSSKL24 conf/chase/ParkPSLYKDBS024 conf/chi/JiYEMCHCWNHDS024 conf/iccps/LuCSLR24 conf/l4dc/LinJDCS024 conf/sigsoft/0002MPLK0S024 journals/corr/abs-2404-04472 journals/corr/abs-2407-07982 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
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-08-19 21:41 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint