dblp keys for Shin-ya Katsumata

Shin-ya Katsumata

Keys

# of data records = 74

homepages/00/5408 journals/jlap/HasuoOESCK24 journals/mscs/0001K23 journals/corr/abs-2309-08822 journals/jlap/NishizawaKK22 journals/mscs/AguirreKK22 journals/ngc/KomoridaKHKHEH22 journals/pacmpl/KatsumataMUW22 journals/pacmpl/KammarKS22 conf/cav/KoriUKSH22 conf/lfcs/MotouraK22 journals/corr/abs-2203-14261 journals/corr/abs-2206-05716 journals/logcom/SprungerKDH21 journals/pacmpl/AguirreBGGKS21 conf/concur/KoriHK21 conf/esop/GaboardiKOS21 conf/fossacs/FukiharaK21 conf/lics/KomoridaKKRH21 conf/nfm/KobayashiSHCIK21 conf/tap/Eberhart0KKKHI21 journals/corr/abs-2101-01502 journals/corr/abs-2105-04817 journals/corr/abs-2105-10164 journals/corr/abs-2107-01155 journals/corr/abs-2107-10948 journals/corr/abs-2108-07509 conf/RelMiCS/NishizawaKK20 conf/lics/KatsumataRU20 conf/mfps/AguirreK20 conf/tacas/KolcakDHKS020 journals/corr/abs-2007-11235 conf/fossacs/WissmannDKH19 conf/hybrid/KolcakHDKSY19 conf/lics/AmorimGHK19 conf/lics/KomoridaKHKH19 conf/lics/SatoBGHK19 conf/lics/SprungerK19 journals/corr/abs-1903-00153 journals/corr/abs-1903-01093 journals/corr/abs-1907-09634 journals/corr/abs-1912-13477 journals/lmcs/KatsumataSU18 conf/cmcs/SprungerKDH18 conf/fossacs/Katsumata18 journals/corr/abs-1807-05091 journals/corr/abs-1809-09278 journals/corr/abs-1810-07972 journals/corr/abs-1811-12294 conf/popl/AmorimGHKC17 journals/corr/AmorimGHKC17 journals/corr/abs-1710-09010 journals/shonan-reports/GaboardiK17 journals/shonan-reports/KatsumataPR17 conf/fossacs/FujiiKM16 conf/icfp/GaboardiKOBU16 conf/calco/KatsumataS15 conf/popl/Katsumata14 journals/iandc/Katsumata13 conf/fossacs/KatsumataS13 journals/corr/abs-1210-3116 conf/icalp/Katsumata11 conf/aplas/Katsumata10 journals/jfp/KatsumataN08 conf/csl/Katsumata08 conf/icalp/Katsumata08 conf/icfp/KatsumataN06 phd/ethos/Katsumata05 conf/csl/Katsumata05 conf/icalp/Katsumata04 conf/mfcs/HannayKS03 conf/wadt/Katsumata02 conf/esop/KatsumataO01 conf/wcre/MycroftOK01

a service of  Schloss Dagstuhl - Leibniz Center for Informatics

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.