dblp keys for Dan R. Ghica

Dan R. Ghica

Keys

# of data records = 89

homepages/g/DanRGhica journals/corr/abs-2406-15882 conf/csl/Alvarez-Picallo23 conf/csl/0002GZ23 conf/fscd/GhicaK23 journals/corr/abs-2302-09631 journals/corr/abs-2305-18945 journals/pacmpl/GhicaLBP22 conf/fscd/Alvarez-Picallo22 journals/corr/abs-2201-10456 journals/programming/CheungGM21 conf/lics/GhicaA21 journals/corr/abs-2107-13433 journals/corr/abs-2102-02363 journals/corr/abs-2006-12868 journals/jlp/GhicaA19 journals/lmcs/MuroyaG19 journals/corr/abs-1907-01257 journals/corr/abs-1908-04291 journals/corr/abs-1910-09579 conf/flops/CheungDGMR18 conf/lics/MuroyaCG18 conf/csl/2018 journals/corr/abs-1803-00427 journals/shonan-reports/GhicaHS18 conf/csl/GhicaJL17 conf/csl/MuroyaG17 journals/corr/abs-1802-06495 journals/corr/abs-1708-02319 journals/corr/GhicaL17 journals/corr/MuroyaG17 journals/corr/GhicaJL17 journals/corr/abs-1710-03984 conf/fmcad/GhicaJ16 conf/csl/GabbayGP15 conf/date/ThomasFCG15 conf/fpga/FlemingTCG15 conf/fpl/FlemingBTCG15 journals/entcs/Ghica15 conf/mfps/2015 conf/esop/GhicaS14 conf/fccm/Aguilar-PelaezB14 conf/icfp/FredrikssonG14 conf/ifl/FredrikssonGW14 journals/apal/AbramskyG13 conf/birthday/Ghica13 conf/lics/FredrikssonG13 journals/corr/abs-1304-4159 journals/corr/GhicaS13 conf/mpc/Ghica12 conf/tgc/FredrikssonG12 journals/corr/abs-1212-3878 journals/entcs/GabbayG12 journals/entcs/GhicaT12 journals/corr/abs-1201-4462 conf/fossacs/GhicaM11 conf/icfp/GhicaSS11 conf/memocode/Ghica11 conf/popl/GhicaS11 journals/apal/GhicaH10 journals/sttt/BakewellDGL10 conf/concur/GhicaM10 journals/entcs/GhicaS10 conf/lics/Ghica09 conf/lics/GhicaB09 conf/tacas/BakewellG09 journals/corr/abs-0907-0749 journals/apal/McCuskerG08 journals/apal/GhicaM08 conf/tacas/BakewellG08 conf/popl/Ghica07 conf/sigsoft/BakewellG07 journals/tcs/GhicaMO06 conf/spin/DimovskiGL06 conf/tacas/GhicaM06 conf/galop/DimovskiGL05 conf/popl/Ghica05 conf/sas/DimovskiGL05 conf/galop/2005 conf/esop/Ghica04 conf/fossacs/GhicaM04 conf/icalp/GhicaMO04 conf/lics/AbramskyGMOS04 conf/tacas/AbramskyGMO04 journals/tcs/GhicaM03 journals/entcs/Ghica01 journals/lisp/TennentG00 conf/icalp/GhicaM00 journals/crossroads/Ghica96