dblp keys for Elaine Pimentel

# of data records = 70

homepages/53/5809 journals/jlap/OlartePR23 conf/calco/PimentelP23 journals/corr/abs-2308-05537 conf/csl/2023 journals/corr/abs-2306-03656 journals/corr/abs-2307-03059 journals/apal/MarinMPV22 journals/mscs/XavierOP22 conf/cade/BlaisdellKKPS22 conf/wollic/2022 journals/corr/abs-2204-02076 journals/corr/abs-2204-02199 journals/logcom/DalmonteLOP21 journals/synthese/PimentelPP21 conf/fscd/PimentelON21 conf/wollic/MarinPPS21 journals/corr/abs-2107-07376 journals/corr/abs-2101-03113 conf/dali/MarinPPS20 conf/lfcs/DalmonteLOP20 conf/lsfa/OlartePX20 journals/corr/abs-2005-14325 journals/corr/abs-2006-05436 journals/mscs/ChaudhuriDOP19 journals/tocl/LellmannP19 conf/tableaux/PimentelRL19 conf/tableaux/LangOPF19 journals/corr/abs-1906-11742 journals/siglog/NalonSPM18 journals/tplp/OlartePR18 conf/wollic/Pimentel18 conf/wrla/OlartePR18 journals/corr/abs-1904-06850 journals/corr/abs-1802-04695 journals/corr/abs-1802-04704 journals/tcs/OlarteP17 journals/tcs/NigamOP17 conf/lpar/LellmannOP17 journals/corr/LellmannP17 journals/logcom/NigamPR16 journals/entcs/CiabattoniLOP17 journals/entcs/DespeyrouxOP17 journals/corr/DespeyrouxOP16 journals/tcs/OlartePN15 conf/lpar/LellmannP15 journals/entcs/PimentelNN16 journals/tplp/PimentelON14 journals/entcs/OlarteP15 conf/imla/2013 journals/corr/PimentelON14 journals/tcs/MillerP13 conf/concur/NigamOP13 journals/entcs/PaivaBNP14 journals/entcs/OlarteNP14 journals/fuin/PimentelRR12 conf/ppdp/OlartePRC12 journals/tcs/PaoliniPR11 journals/tcs/Ayala-RinconPK11 journals/corr/abs-1203-5423 journals/entcs/NigamPR11 journals/corr/abs-1101-4104 conf/lsfa/2008 journals/entcs/HorizontePB09 conf/fossacs/PaoliniPR06 conf/lpar/PimentelM05 journals/entcs/PaoliniPR05 journals/entcs/QueirozPF03 conf/wollic/2003 conf/tableaux/MillerP02