Остановите войну!
for scientists:
default search action
dblp keys for Rajeev Alur
- > Home > Persons > Rajeev Alur
Rajeev Alur
Keys
# of data records = 346
homepages/a/RAlur conf/aaai/LiHLZZDVAN24 conf/nsdi/ZhangKPAA024 journals/pacmpl/ThakkarSPANR23 journals/pacmpl/KallasZAAL23 journals/pacmpl/AlurSW23 journals/pvldb/NaikTSAN23 conf/cav/AlurBJPST23 conf/icml/JothimuruganHBA23 conf/nips/XueA023 journals/corr/abs-2302-02984 journals/corr/abs-2305-17115 journals/corr/abs-2307-05902 journals/corr/abs-2311-16169 journals/dagstuhl-reports/AlurBFMW23 journals/fmsd/AlurDLS22 conf/birthday/AlurBBJ22 conf/cav/JothimuruganBBA22 conf/cdc/XueLRHPA22 conf/cidr/StanfordKA22 conf/ppopp/KallasNSA22 conf/tacas/ShiWAL22 journals/corr/abs-2204-00846 journals/corr/abs-2206-03348 journals/corr/abs-2206-03482 journals/corr/abs-2209-05448 journals/fmsd/AlurF21 journals/tecs/IvanovCWAPL21 journals/tecs/IvanovJHVAB21 conf/aistats/JothimuruganBA21 conf/cav/IvanovCWAPL21 conf/nips/JothimuruganBBA21 conf/pldi/ThakkarNSANR21 conf/pods/AlurHIKMNSTX21 conf/tacas/ShiLLA21 journals/corr/abs-2104-04512 journals/corr/abs-2106-13906 journals/corr/abs-2110-06303 journals/corr/abs-2111-00272 journals/pacmpl/KallasNSA20 journals/tcs/AlurFMRS20 conf/hybrid/IvanovCWAPL20 conf/lics/AlurCJK20 conf/memocode/NguyenMWSLA20 journals/corr/abs-2007-03704 journals/corr/abs-2008-09293 journals/corr/abs-2010-06135 journals/corr/abs-2010-15638 journals/pacmpl/AlurMS19 conf/hybrid/IvanovWAPL19 conf/memocode/NguyenMWSLA19 conf/nips/JothimuruganAB19 conf/pldi/MamourasSAIT19 series/lncs/AlurGHLM19 journals/corr/abs-1902-04064 journals/corr/abs-1904-07146 journals/corr/abs-1910-11309 journals/cacm/AlurSFS18 journals/iandc/AlurMT18 journals/pieee/AbbasAMMR18 journals/ton/YuanLAVCAL18 conf/birthday/AlurMST18 conf/cpsweek/AbbasAMMR18 conf/pldi/LeeHAN18 conf/sas/AlurDS18 reference/mc/AlurBE18 journals/corr/abs-1807-03865 journals/corr/abs-1809-10503 journals/corr/abs-1811-01828 journals/jacm/AlurD17 journals/sigact/AlurT17 journals/tecs/AlurFMT17 conf/birthday/AlurMU17 conf/cav/AlurDLS17 conf/icalp/AlurMS17 conf/pldi/MamourasRAIK17 conf/sigcomm/YuanLMMAL17 conf/tacas/AlurRU17 journals/corr/abs-1711-11438 series/natosec/AlurM17 conf/cav/AlurMT16 conf/csl/AlurFKS16 conf/esop/AlurFR16 conf/hybrid/AlurMT16 conf/lata/AlurF16 journals/corr/AlurFSS16a journals/corr/AlurBDFFHLNMPRS16 journals/eatcs/DAntoniWWA15 journals/siglog/AlurHV15 journals/tochi/DAntoniKAG0H15 conf/cav/AlurCR15 conf/cav/AlurRSTU15 conf/conext/YuanLAL15 conf/memocode/Alur15 conf/popl/AlurDR15 conf/tacas/AlurMT15 journals/corr/AlurFSS16 series/natosec/AlurBDF0JKMMRSSSSTU15 journals/corr/AlurRSTU15 journals/corr/AlurCR15 journals/sttt/JiangPAM14 conf/cav/DAntoniA14 conf/csl/AlurFR14 conf/emsoft/AlurS14 conf/hotnets/YuanAL14 conf/hvc/AlurMRSTU14 journals/corr/AlurFR14 journals/corr/AlurMRSTU14 journals/cacm/Alur13 conf/fmcad/AlurBJMRSSSTU13 conf/fmcad/AlurMT13 conf/fmcad/YuanWAL13 conf/forte/ThakkarKA13 conf/hicons/PajicBWAMMPSTWL13 conf/hybrid/AlurFMT13 conf/icalp/AlurR13 conf/ijcai/AlurDGKV13 conf/lata/AlurKTY13 conf/lics/AlurDDRY13 conf/lics/AlurDT13 conf/memocode/Alur13 conf/pldi/UdupaRDMMA13 journals/corr/abs-1302-0745 journals/corr/abs-1304-7029 journals/corr/AlurMT13 journals/fmsd/GrumbergVSA12 journals/fmsd/VardiHAK12 journals/tecs/NghiemPAG12 journals/tocl/AlurCW12 conf/cav/Mador-HaimMSMAOAMSW12 conf/hybrid/AlurTW12 conf/icalp/AlurD12 conf/lics/AlurFT12 conf/tacas/JiangPMAM12 journals/tac/AlurDJPW11 journals/toplas/AlurCM11 conf/dac/Mador-HaimAM11 conf/emsoft/AlurT11 conf/emsoft/Alur11 conf/formats/Alur11 conf/icalp/AlurD11 conf/popl/AlurC11 conf/wollic/Alur11 journals/corr/abs-1104-2599 journals/corr/abs-1111-0670 journals/tsmc/NamA10 conf/cav/Mador-HaimAM10 conf/cav/CernyRZCA10 conf/fsttcs/AlurC10 conf/sigsoft/KanadeARR10 conf/vmcai/AlurC10 journals/corr/abs-1007-4958 journals/jacm/AlurM09 conf/case/DInnocenzoWAIJP09 conf/cav/CernyA09 conf/cav/KanadeAIRSS09 conf/cdc/WeissDAJP09 conf/csl/AlurCW09 conf/fossacs/Alur09 conf/fossacs/AlurDMW09 conf/hybrid/WeissFAA09 conf/rtas/AlurDJPW09 journals/fmsd/AlurP08 journals/fmsd/NamMA08 journals/lmcs/AlurABEIL08 conf/amast/Alur08 conf/cav/AlurKW08 conf/emsoft/AlurKRS08 conf/emsoft/AlurW08 conf/rtas/AlurW08 conf/spin/Alur08 journals/corr/abs-0811-0537 journals/jcss/AlurC07 conf/csr/Alur07 conf/hybrid/BernadskyA07 conf/hybrid/WeissA07 conf/lics/AlurABEIL07 conf/pldi/BurckhardtAM07 conf/pods/Alur07 conf/spin/ChaudhuriA07 conf/tacas/AlurCC07 journals/jlp/AlurGLS06 journals/tcs/AlurTM06 journals/tcs/AlurDI06 journals/tecs/AlurDI06 conf/atva/NamA06 conf/cav/AlurCM06 conf/cav/BurckhardtAM06 conf/dlt/AlurM06 conf/emsoft/NghiemPAG06 conf/fsttcs/AlurC06 conf/hybrid/AlurB06 conf/icalp/AlurCZ06 conf/memocode/Alur06 conf/popl/AlurCM06 journals/fmsd/AlurMP05 journals/sttt/AlurMN05 journals/tcs/AlurEY05 journals/tecs/AlurL05 journals/toplas/AlurBEGRY05 conf/cav/AlurMN05 conf/concur/Alur05 conf/hybrid/AlurTM05 conf/icalp/AlurKMV05 conf/popl/AlurCMN05 conf/rtas/AlurC05 conf/rtss/YazarelGPA05 conf/tacas/AlurCEM05 conf/vmcai/BurckhardtAM05 conf/vstte/Alur05 journals/fmsd/AlurKT04 journals/sttt/AlurAGLLNPAZ04 journals/tcs/AlurTP04 journals/tocl/AlurT04 journals/toplas/AlurG04 conf/atva/Alur04 conf/emsoft/McDougallAG04 conf/fmcad/YangA04 conf/formats/BernadskySA04 conf/icalp/AlurBM04 conf/sfm/AlurM04 conf/stoc/AlurM04 conf/tacas/AlurEM04 conf/cav/2004 conf/hybrid/2004 journals/pieee/AlurDEHIKMPS03 journals/tse/AlurEY03 conf/birthday/Alur03 conf/cav/AlurTM03 conf/concur/AlurCEGY03 conf/concur/AlurTM03 conf/hybrid/AlurDI03 conf/lctrts/AlurIKLS03 conf/tacas/AlurDI03 conf/tacas/AlurTM03 journals/entcs/MadhusudanNA03 conf/emsoft/2003 journals/cse/AlurBKMPRS02 journals/ijrr/FierroDSEKOPTHALGS02 journals/jacm/AlurHK02 conf/cases/GoodloeMGA02 conf/cav/AlurMY02 conf/hipc/AlurBIKRSSW02 conf/hybrid/AlurDI02 journals/fmsd/AlurBHQR01 journals/iandc/AlurH01 journals/tocl/AlurETP01 journals/toplas/AlurY01 conf/cav/AlurW01 conf/cav/AlurEY01 conf/charme/MollerA01 conf/emsoft/AlurDEFHIKLMPS01 conf/hybrid/AlurBI01 conf/hybrid/AlurGLS01 conf/hybrid/AlurTP01 conf/icalp/AlurEY01 conf/icse/AlurAGHKKMMW01 conf/kbse/AlurG01 conf/lics/AlurT01 journals/iandc/AlurMP00 journals/pieee/AlurHLP00 journals/sigsoft/Alur00 conf/cav/AlurGM00 conf/concur/Alur00 conf/fmcad/AlurGW00 conf/hybrid/AlurGHKL00 conf/icse/AlurEY00 conf/iser/AlurDEFGHKLLOPSST00 conf/popl/AlurG00 journals/fmsd/AlurH99 journals/fmsd/AlurH99a journals/fmsd/AlurH99b journals/ipl/AlurP99 journals/tcs/AlurFH99 conf/cav/Alur99 conf/concur/AlurAHM99 conf/concur/AlurW99 conf/concur/AlurY99 conf/fm/AlurEKKL99 conf/hybrid/AlurKT99 conf/icalp/AlurTEP99 conf/icalp/AlurKY99 journals/toplas/AlurH98 conf/cav/AlurHMQRT98 conf/concur/AlurHKV98 conf/europar/MalonyA98 conf/fsttcs/Alur98 conf/icalp/AlurMP98 conf/rtss/AlurKV98 conf/sigsoft/AlurY98 conf/tacas/AlurHR98 journals/fmsd/AlurCH97 journals/siamcomp/AlurAT97 journals/sttt/AlurH97 conf/cav/AlurBHQR97 conf/compos/AlurHK97 conf/concur/AlurH97 conf/focs/AlurHK97 conf/icse/AlurJKO97 journals/csur/Alur96 journals/dc/AlurT96 journals/iandc/AlurT96 journals/jacm/AlurFH96 journals/stp/AlurHP96 journals/tse/AlurHH96 conf/concur/TasiranAKB96 conf/lics/AlurH96 conf/lics/AlurMP96 conf/tacas/AlurHP96 conf/cav/1996 conf/hybrid/1995 journals/iandc/AlurIKY95 journals/tcs/AlurCHHHNOSY95 conf/cav/AlurH95 conf/hybrid/AlurK95 conf/lics/AlurPP95 conf/stoc/AlurCY95 journals/jacm/AlurH94 journals/tcs/AlurD94 conf/cav/AlurFH94 conf/concur/AlurCH94 conf/lics/AlurH94 conf/podc/AlurT94 conf/stoc/AlurAT94 journals/iandc/AlurCD93 journals/iandc/AlurH93 conf/cav/AlurCH93 conf/rtss/AlurHH93 conf/spdp/AlurT93 conf/stoc/AlurHV93 conf/cav/AlurIKY92 conf/concur/AlurCHDW92 conf/focs/AlurH92 conf/hybrid/AlurCHH92 conf/rtss/AlurT92 conf/rtss/AlurCDHW92 phd/us/Alur91 conf/icalp/AlurCD91 conf/podc/AlurFH91 conf/rex/AlurCD91 conf/rex/AlurD91 conf/rex/AlurH91 conf/icalp/AlurD90 conf/lics/AlurH90 conf/lics/AlurCD90 conf/focs/AlurH89
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-04-25 02:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint