dblp keys for Javier Esparza

Javier Esparza

Keys

# of data records = 308

homepages/e/JEsparza journals/jcss/CzernerGHE24 journals/lmcs/BlondinE24 journals/corr/abs-2401-14996 journals/dc/CzernerEL23 journals/lmcs/BalasubramanianER23 conf/cav/CouillardCEM23 conf/concur/GuttenbergRE23 conf/icalp/EsparzaG23 journals/corr/abs-2303-03292 journals/corr/abs-2304-08872 journals/corr/abs-2305-11813 journals/corr/abs-2310-12613 journals/fuin/EsparzaRW22 journals/sttt/EsparzaKRS22 conf/birthday/EsparzaRS22 conf/concur/EsparzaRW22 conf/fossacs/BlondinE22 conf/sand/CzernerGHE22 journals/corr/abs-2202-11601 journals/corr/abs-2205-03060 journals/corr/abs-2209-02767 journals/dc/EsparzaJRW21 journals/eatcs/Esparza21 journals/eatcs/EsparzaZ21 journals/fmsd/BlondinEJM21 journals/siglog/Esparza21 conf/apn/EsparzaRW21 conf/concur/EsparzaKKW21 conf/fossacs/Balasubramanian21 conf/fsttcs/Esparza21 conf/podc/CzernerE21 conf/podc/CzernerGHE21 conf/rp/Esparza21 conf/wia/Esparza21 journals/corr/abs-2108-09101 books/ems/21/EsparzaKV21 journals/corr/abs-2102-11619 journals/corr/abs-2102-11630 journals/corr/abs-2103-10280 journals/corr/abs-2108-13449 journals/jacm/EsparzaKS20 conf/atva/Balasubramanian20 conf/atva/EsparzaHJM20 conf/cav/BlondinEH0M20 conf/concur/EsparzaR20 conf/concur/RaskinWE20 conf/lics/SickertE20 conf/stacs/BlondinEGHJ20 conf/tacas/BozgaEISW20 conf/mfcs/2020 journals/corr/abs-2002-07672 journals/corr/abs-2005-00472 journals/corr/abs-2005-03555 journals/corr/abs-2007-03291 journals/corr/abs-2007-06248 journals/corr/abs-2007-07638 journals/corr/abs-2010-08347 journals/corr/abs-2010-09471 journals/acta/DeselEH19 conf/apn/EsparzaRW19 conf/concur/BlondinEJ19 conf/tacas/MeyerEO19 books/sp/19/Esparza19 conf/atva/2019 journals/corr/abs-1902-01668 journals/corr/abs-1902-03025 journals/corr/abs-1910-04600 journals/corr/abs-1912-06578 journals/acta/EsparzaT18 journals/eatcs/EiterEPPS18 journals/lmcs/EsparzaKMW18 conf/cav/BlondinEJ18 conf/concur/EsparzaGMW18 conf/concur/BlondinEK18 conf/lics/BlondinEJK18 conf/lics/EsparzaKS18 conf/stacs/BlondinEJ18 conf/tacas/MeyerEV18 reference/mc/AlurBE18 journals/corr/abs-1801-00742 journals/corr/abs-1802-08064 journals/corr/abs-1805-00748 journals/corr/abs-1807-00331 journals/corr/abs-1807-06071 journals/corr/abs-1811-06961 journals/dagstuhl-reports/EsparzaFMR18 journals/acta/EsparzaGLM17 journals/fmsd/Durand-Gasselin17 journals/pe/EsparzaHS17 journals/tecs/SaarikiviLKHE17 conf/csr/Esparza17 conf/lics/EsparzaMW17 conf/podc/BlondinEJM17 conf/tacas/EsparzaKRS17 conf/time/Esparza17 conf/fossacs/2017 journals/corr/EsparzaKRS17 journals/corr/BlondinJEM17 journals/corr/EsparzaKMW17 journals/corr/EsparzaMW17 journals/corr/abs-1712-05278 journals/fmsd/EsparzaKS16 journals/ipl/BestE16 journals/jacm/EsparzaGM16 journals/topnoc/DeselE16 conf/cav/SickertEJK16 conf/concur/EsparzaKMW16 conf/fase/EsparzaH16 conf/fsttcs/EsparzaGLM16 conf/qest/EsparzaHS16 series/natosec/Esparza16 series/natosec/45 journals/corr/EsparzaH16 journals/corr/EsparzaHS16 journals/corr/DeselEH16 journals/ijfcs/EsparzaLS15 conf/acsd/LeonSKHE15 conf/apn/DeselE15 conf/apn/EsparzaD15 conf/cav/Durand-Gasselin15 conf/concur/EsparzaGLM15 conf/fmcad/EsparzaM15 conf/vmcai/SahaEJMT15 journals/corr/EsparzaT15 journals/corr/Durand-Gasselin15 journals/afp/EsparzaLNNSS14 journals/toplas/EsparzaGP14 conf/cav/EsparzaK14 conf/cav/EsparzaLMMN14 conf/concur/Esparza14 conf/eacl/SchlundLE14 conf/fossacs/EsparzaD14 conf/lata/EsparzaLS14 conf/stacs/Esparza14 conf/vmcai/JezequelE14 conf/wia/EsparzaLS14 conf/icalp/2014-1 conf/icalp/2014-2 journals/corr/EsparzaK14 journals/corr/EsparzaD14 journals/corr/Esparza14 journals/corr/EsparzaH14 journals/dagstuhl-reports/EsparzaFMO14 journals/fmsd/BrazdilEKK13 journals/ipl/EsparzaGK13 conf/cav/EsparzaGM13 conf/cav/EsparzaLNNSS13 conf/concur/EsparzaD13 conf/fsttcs/EsparzaJS13 journals/corr/abs-1304-1185 journals/corr/EsparzaD13 journals/corr/EsparzaJS13 journals/iandc/BrazdilEKL12 conf/acsd/EsparzaK12 conf/atva/GaiserKE12 conf/cav/KretinskyE12 conf/cav/EsparzaGK12 conf/lics/EsparzaGM12 books/ws/automata2012/EsparzaK12 journals/corr/abs-1201-3194 journals/corr/abs-1204-2932 journals/corr/abs-1204-5057 journals/fuin/EsparzaLS11 journals/ipl/EsparzaGKL11 journals/tcs/EsparzaKL11 conf/calco/EsparzaL11 conf/popl/EsparzaG11 conf/sas/EsparzaG11 books/cu/11/EMS2011 journals/corr/abs-1106-1364 journals/jacm/EsparzaKL10 journals/siamcomp/EsparzaKL10 conf/apn/EsparzaLS10 conf/fmics/KernE10 conf/gg/Esparza10 conf/gg/KonigE10 conf/icalp/BrazdilEKL10 conf/spin/Esparza10 conf/stacs/EsparzaGK10 conf/vmcai/Esparza10 series/natosec/EsparzaL10 conf/tacas/2010 series/natosec/25 journals/corr/abs-1001-0340 journals/corr/abs-1004-4286 journals/corr/abs-1006-3825 journals/cca/EsparzaGK09 conf/cira/ChengKBEC09 conf/dsrt/ChengBEK09 conf/fics/EsparzaKL09 conf/fsttcs/BrazdilEK09 conf/mfcs/Esparza09 journals/corr/abs-0905-3946 journals/corr/abs-0905-3951 journals/corr/abs-0912-4226 series/eatcs/EsparzaH08 journals/fuin/EsparzaJM08 journals/jsat/EsparzaKS08 journals/sttt/EsparzaKS08 conf/dlt/EsparzaKL08 conf/icalp/EsparzaKL08 conf/icalp/EsparzaGKS08 conf/ifipTCS/EsparzaKL08 conf/spin/SuwimonteerabuthES08 conf/stacs/EsparzaKL08 conf/tacas/BouajjaniESS08 journals/corr/abs-0802-2856 conf/cav/SuwimonteerabuthBSE07 conf/dlt/EsparzaKL07 conf/stacs/EsparzaKL07 conf/stoc/KieferLE07 journals/lmcs/KuceraEM06 conf/acsd/EsparzaJM06 conf/atva/SuwimonteerabuthSE06 conf/atva/DelzannoES06 conf/ershov/BestEWW06 conf/rta/BouajjaniE06 conf/tacas/EsparzaKS06 conf/dagstuhl/BouajjaniESS06 conf/focs/BrazdilEK05 conf/fsttcs/BouajjaniESS05 conf/lics/EsparzaKM05 conf/sas/EsparzaGS05 conf/tacas/SchwoonE05 conf/tacas/SuwimonteerabuthSE05 journals/corr/abs-cs-0508003 journals/fuin/Esparza04 conf/fsttcs/EsparzaE04 conf/lics/EsparzaKM04 journals/entcs/BouajjaniET05 journals/iandc/EsparzaKS03 journals/ijfcs/BouajjaniET03 journals/logcom/KuceraE03 conf/acsd/Esparza03 conf/apn/SchroterSE03 conf/concur/StefanescuEM03 conf/dlt/Esparza03 conf/popl/BouajjaniET03 conf/tacas/EsparzaM03 journals/fmsd/EsparzaRV02 conf/birthday/Esparza02 conf/sas/Esparza02 conf/apn/2002 journals/fuin/EsparzaS01 conf/cav/EsparzaS01 conf/charme/EsparzaS01 conf/ppdp/Esparza01 conf/spin/EsparzaH01 conf/tacs/EsparzaKS01 books/ws/phaunRS01/BurkartE01 journals/eatcs/EsparzaRS00 journals/fmsd/EsparzaM00 journals/ipl/BouajjaniEFMRWW00 conf/cav/EsparzaHRS00 conf/icalp/EsparzaH00 conf/mfcs/NietoE00 conf/movep/Esparza00 conf/popl/EsparzaP00 journals/jcss/JanarEM99 conf/concur/EsparzaR99 conf/concur/RocklE99 conf/csl/DelzannoEP99 conf/csl/KuceraE99 conf/fossacs/EsparzaK99 conf/lics/EsparzaFM99 journals/tcs/Esparza98 journals/acta/Esparza97 journals/eatcs/BurkartE97 journals/fuin/Esparza97 conf/apn/EsparzaM97 conf/birthday/EsparzaR97 conf/concur/BouajjaniEM97 journals/tcs/EsparzaB96 conf/ac/Esparza96 conf/amast/MelzerRE96 conf/esop/MelzerE96 conf/icalp/BradfieldEM96 conf/icalp/JancarE96 conf/tacas/EsparzaRV96 journals/entcs/BurkartE96 journals/jcss/DeselE95 journals/tcs/ChengEP95 conf/cav/EsparzaK95 conf/fct/Esparza95 journals/eatcs/EsparzaN94 journals/eik/EsparzaN94 journals/iandc/Esparza94 journals/scp/Esparza94 conf/caap/Esparza94 conf/concur/KoutnyEB94 journals/tcs/DeselE93 conf/apn/DeselE93 conf/fsttcs/ChengEP93 conf/stacs/BestDE93 conf/tapsoft/Esparza93 conf/wg/EsparzaS93 journals/ipl/Esparza92 journals/tcs/BestDE92 journals/tcs/EsparzaS92 conf/concur/EsparzaS91 conf/csl/BestE91 conf/stacs/DeselE91 conf/apn/EsparzaS90 conf/concur/Esparza90 tr/tum/TUM-I-9023 conf/apn/EsparzaS89 conf/apn/EsparzaS89a

a service of  Schloss Dagstuhl - Leibniz Center for Informatics