dblp keys for Horatiu Cirstea

Horatiu Cirstea

Keys

# of data records = 51

homepages/10/6924 journals/corr/abs-2404-16075 conf/ifm/CirsteaM23 conf/kcap/dAquinBCLLZ23 conf/synasc/CirsteaLM23 conf/ppdp/CirsteaLM21 conf/lopstr/CirsteaLM20 journals/corr/abs-2008-02935 conf/ppdp/CirsteaM19 journals/corr/abs-1905-06233 journals/corr/abs-1802-05862 journals/lmcs/CirsteaLM17 journals/corr/CirsteaE17 journals/corr/CirsteaLM17 conf/rta/CirsteaLM15 conf/synasc/BelkhirRNYLZC15 conf/fps/BourdierCJK11 conf/ppdp/BourdierC11 books/hal/Cirstea10 journals/jsc/CirsteaKKM10 conf/ruleml/CirsteaMR09 journals/corr/abs-1001-4427 journals/mscs/CirsteaF08 journals/entcs/CirsteaMO09 journals/lisp/CirsteaFK07 journals/mscs/BaldanBCK07 conf/rta/CirsteaF07 journals/entcs/BaldanBCK08 journals/lisp/BertolissiCK06 journals/entcs/CirsteaFFMS07 journals/entcs/CirsteaHW07 conf/rule/2005 journals/entcs/CirsteaM06 journals/entcs/BertolissiBCK05 journals/entcs/CirsteaFK05 journals/entcs/CirsteaMR05 conf/popl/BartheCKL03 conf/types/CirsteaLW03 journals/entcs/BertolissiCK03 journals/entcs/CirsteaKLW03 journals/entcs/CirsteaKL02 journals/igpl/CirsteaK01 journals/igpl/CirsteaK01a conf/fossacs/CirsteaKL01 conf/padl/Cirstea01 conf/rta/CirsteaKL01 phd/hal/Cirstea00 journals/entcs/CirsteaK00 journals/corr/cs-SC-0011043 conf/asian/CirsteaK98 conf/frocos/CirsteaK98