ZZZjournals.bib

@comment{{This file has been generated by bib2bib 1.99}}

@comment{{Command line: /Users/damiano/bin/bib2bib -c butype="article" -ob ZZZjournals.bib --remove pdf papers.bib}}

@article{jlamp18,
  author = {Damiano Zanardini},
  title = {Field-sensitive sharing},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  volume = {95},
  pages = {103--127},
  doi = {10.1016/j.jlamp.2017.10.005},
  year = {2018},
  month = {February},
  issn = {2352-2208},
  publisher = {Elsevier},
  butype = {article},
  jcr = {Impact Factor 0.634 in 2017; T2, Q2 (8/20 in LOGIC)},
  jcr = {Impact Factor Y.YYY in 2018; TY, QY (Y/YY in LOGIC)}
}

@article{tocl17,
  author = {Isabella Mastroeni and Damiano Zanardini},
  title = {Abstract {P}rogram {S}licing: an {A}bstract {I}nterpretation-based approach to {P}rogram {S}licing},
  journal = {ACM Transactions on Computational Logic},
  issn = {1529-3785},
  volume = {18},
  number = {1},
  pages = {1--58},
  year = {2017},
  month = {April},
  doi = {10.1145/3029052},
  publisher = {ACM Press, New York},
  jcr = {Impact Factor 0.731 in 2017; T2, Q2 (7/20 in LOGIC)},
  butype = {article}
}

@article{neurocomputing17,
  author = {Jaime Andr\'es Rinc\'on and Fernando de la Prieta and Damiano Zanardini and Vicente Juli\'an and Carlos Carrascosa},
  title = {Influencing over people with a social emotional model},
  journal = {Neurocomputing},
  volume = {231},
  pages = {47--54},
  year = {2017},
  month = {March},
  doi = {10.1016/j.neucom.2016.03.107},
  jcr = {Impact Factor 3.317 in 2016; T1, Q1 (24/133 in COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE)},
  butype = {article}
}

@article{jlamp16,
  author = {Damiano Zanardini and Elvira Albert and Karina Villela},
  title = {Resource-{U}sage-{A}ware {C}onfiguration in {S}oftware {P}roduct {L}ines},
  journal = {Journal of Logical and Algebraic Methods in Programming},
  volume = {85},
  number = {1},
  pages = {173--199},
  year = {2016},
  month = {January},
  doi = {10.1016/j.jlamp.2015.08.003},
  issn = {2352-2208},
  publisher = {Elsevier},
  butype = {article},
  jcr = {Impact Factor 0.636 in 2015; T1, Q1 (5/22 in LOGIC)},
  jcr = {Impact Factor 0.692 in 2016; T2, Q2 (8/21 in LOGIC)},
  note = {Formal Methods for Software Product Line Engineering}
}

@article{tocl14,
  author = {Damiano Zanardini and Samir Genaim},
  title = {Inference of {F}ield-{S}ensitive {R}eachability and {C}yclicity},
  journal = {ACM Transactions on Computational Logic},
  year = {2014},
  volume = {15},
  number = {4/33},
  pages = {1--41},
  month = {September},
  issn = {1529-3785},
  doi = {10.1145/2629478},
  publisher = {ACM Press, New York},
  jcr = {Impact Factor 0.618 in 2014; T1, Q2 (6/21 in LOGIC)},
  butype = {article}
}

@article{tcs13,
  author = {Samir Genaim and Damiano Zanardini},
  title = {Reachability-based {A}cyclicity {A}nalysis by {A}bstract {I}nterpretation},
  journal = {Theoretical Computer Science},
  year = {2013},
  month = {February},
  volume = {474},
  number = {0},
  pages = {60--79},
  issn = {0304-3975},
  doi = {10.1016/j.tcs.2012.12.018},
  publisher = {Elsevier},
  jcr = {Impact Factor 0.516 in 2013; T3, Q3 (76/102 in COMPUTER SCIENCE, THEORY & METHODS)},
  butype = {article}
}

@article{tcs12,
  author = {Elvira Albert and Puri Arenas and Samir Genaim and Germ\'an Puebla and Damiano Zanardini},
  title = {Cost {A}nalysis of {O}bject-{O}riented {B}ytecode {P}rograms},
  journal = {Theoretical Computer Science},
  volume = {413},
  number = {1},
  pages = {142--159},
  year = {2012},
  month = {January},
  issn = {0304-3975},
  doi = {10.1016/j.tcs.2011.07.009},
  publisher = {Elsevier},
  jcr = {Impact Factor 0.489 in 2012; T3, Q4 (78/100 in COMPUTER SCIENCE, THEORY & METHODS)},
  butype = {article}
}

@article{ngc12,
  author = {Damiano Zanardini},
  title = {Class-level {N}on-{I}nterference},
  journal = {New Generation Computing},
  volume = {30},
  number = {2-3},
  year = {2012},
  month = {June},
  issn = {0288-3635},
  doi = {10.1007/s00354-012-0207-7},
  publisher = {Springer-Verlag, Berlin},
  pages = {241--270},
  jcr = {Impact Factor 0.795 in 2012; T2, Q2 (49/100 in COMPUTER SCIENCE, THEORY & METHODS)},
  butype = {article}
}

@article{lctes11j,
  author = {Elvira Albert and Puri Arenas and Samir Genaim and Damiano Zanardini},
  title = {Task-{L}evel {A}nalysis for a {L}anguage with async-finish {P}arallelism},
  journal = {ACM SIGPLAN Notices},
  volume = {46},
  number = {5},
  month = {May},
  year = {2011},
  issn = {0362-1340},
  doi = {10.1145/1967677.1967681},
  pages = {21--30},
  publisher = {ACM Press, New York},
  butype = {article}
}

This file was generated by bibtex2html 1.99.