BibTeX records: Flávio Cruz

download as .bib file

@inproceedings{DBLP:conf/ppopp/CruzRG16,
  author    = {Fl{\'{a}}vio Cruz and
               Ricardo Rocha and
               Seth Copen Goldstein},
  title     = {Declarative coordination of graph-based parallel programs},
  booktitle = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
               Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
               12-16, 2016},
  pages     = {4:1--4:12},
  year      = {2016},
  crossref  = {DBLP:conf/ppopp/2016},
  url       = {http://doi.acm.org/10.1145/2851141.2851153},
  doi       = {10.1145/2851141.2851153},
  timestamp = {Sun, 05 Nov 2017 01:33:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppopp/CruzRG16},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/di/CruzMC15,
  author    = {Fl{\'{a}}vio Cruz and
               Andreas Moser and
               Michael I. Cohen},
  title     = {A scalable file based data store for forensic analysis},
  journal   = {Digital Investigation},
  volume    = {12},
  number    = {Supplement-1},
  pages     = {S90--S101},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.diin.2015.01.016},
  doi       = {10.1016/j.diin.2015.01.016},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/di/CruzMC15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclp/CruzRG15,
  author    = {Fl{\'{a}}vio Cruz and
               Ricardo Rocha and
               Seth Copen Goldstein},
  title     = {Thread-Aware Logic Programming for Data-Driven Parallel Programs},
  booktitle = {Proceedings of the Technical Communications of the 31st International
               Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
               31 - September 4, 2015.},
  year      = {2015},
  crossref  = {DBLP:conf/iclp/2015tc},
  url       = {http://ceur-ws.org/Vol-1433/tc\_50.pdf},
  timestamp = {Wed, 10 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/CruzRG15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/padl/CruzR15,
  author    = {Fl{\'{a}}vio Cruz and
               Ricardo Rocha},
  title     = {On Compiling Linear Logic Programs with Comprehensions, Aggregates
               and Rule Priorities},
  booktitle = {Practical Aspects of Declarative Languages - 17th International Symposium,
               {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  pages     = {34--49},
  year      = {2015},
  crossref  = {DBLP:conf/padl/2015},
  url       = {https://doi.org/10.1007/978-3-319-19686-2\_3},
  doi       = {10.1007/978-3-319-19686-2\_3},
  timestamp = {Wed, 17 May 2017 14:24:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/CruzR15},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CruzRGP14,
  author    = {Fl{\'{a}}vio Cruz and
               Ricardo Rocha and
               Seth Copen Goldstein and
               Frank Pfenning},
  title     = {A Linear Logic Programming Language for Concurrent Programming over
               Graph Structures},
  journal   = {{TPLP}},
  volume    = {14},
  number    = {4-5},
  pages     = {493--507},
  year      = {2014},
  url       = {https://doi.org/10.1017/S1471068414000167},
  doi       = {10.1017/S1471068414000167},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/CruzRGP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ppdp/CruzRG14,
  author    = {Fl{\'{a}}vio Cruz and
               Ricardo Rocha and
               Seth Copen Goldstein},
  title     = {Design and Implementation of a Multithreaded Virtual Machine for Executing
               Linear Logic Programs},
  booktitle = {Proceedings of the 16th International Symposium on Principles and
               Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
               September 8-10, 2014},
  pages     = {43--54},
  year      = {2014},
  crossref  = {DBLP:conf/ppdp/2014},
  url       = {http://doi.acm.org/10.1145/2643135.2643150},
  doi       = {10.1145/2643135.2643150},
  timestamp = {Wed, 10 May 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/CruzRG14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CruzRGP14,
  author    = {Fl{\'{a}}vio Cruz and
               Ricardo Rocha and
               Seth Copen Goldstein and
               Frank Pfenning},
  title     = {A Linear Logic Programming Language for Concurrent Programming over
               Graph Structures},
  journal   = {CoRR},
  volume    = {abs/1405.3556},
  year      = {2014},
  url       = {http://arxiv.org/abs/1405.3556},
  archivePrefix = {arXiv},
  eprint    = {1405.3556},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/CruzRGP14},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tplp/CruzR11,
  author    = {Fl{\'{a}}vio Cruz and
               Ricardo Rocha},
  title     = {Efficient instance retrieval of subgoals for subsumptive tabled evaluation
               of logic programs},
  journal   = {{TPLP}},
  volume    = {11},
  number    = {4-5},
  pages     = {697--712},
  year      = {2011},
  url       = {https://doi.org/10.1017/S1471068411000251},
  doi       = {10.1017/S1471068411000251},
  timestamp = {Fri, 09 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/tplp/CruzR11},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1107-5556,
  author    = {Fl{\'{a}}vio Cruz and
               Ricardo Rocha},
  title     = {Efficient Instance Retrieval of Subgoals for Subsumptive Tabled Evaluation
               of Logic Programs},
  journal   = {CoRR},
  volume    = {abs/1107.5556},
  year      = {2011},
  url       = {http://arxiv.org/abs/1107.5556},
  archivePrefix = {arXiv},
  eprint    = {1107.5556},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1107-5556},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1112-3779,
  author    = {Fl{\'{a}}vio Cruz and
               Ricardo Rocha},
  title     = {Single Time-Stamped Tries for Retroactive Call Subsumption},
  journal   = {CoRR},
  volume    = {abs/1112.3779},
  year      = {2011},
  url       = {http://arxiv.org/abs/1112.3779},
  archivePrefix = {arXiv},
  eprint    = {1112.3779},
  timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/journals/corr/abs-1112-3779},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/CruzR10,
  author    = {Fl{\'{a}}vio Cruz and
               Ricardo Rocha},
  title     = {Retroactive Subsumption-Based Tabled Evaluation of Logic Programs},
  booktitle = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
               2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
  pages     = {130--142},
  year      = {2010},
  crossref  = {DBLP:conf/jelia/2010},
  url       = {https://doi.org/10.1007/978-3-642-15675-5\_13},
  doi       = {10.1007/978-3-642-15675-5\_13},
  timestamp = {Sun, 04 Jun 2017 01:00:00 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/CruzR10},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppopp/2016,
  editor    = {Rafael Asenjo and
               Tim Harris},
  title     = {Proceedings of the 21st {ACM} {SIGPLAN} Symposium on Principles and
               Practice of Parallel Programming, PPoPP 2016, Barcelona, Spain, March
               12-16, 2016},
  publisher = {{ACM}},
  year      = {2016},
  url       = {http://dl.acm.org/citation.cfm?id=2851141},
  isbn      = {978-1-4503-4092-2},
  timestamp = {Sun, 05 Nov 2017 01:33:28 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ppopp/2016},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/iclp/2015tc,
  editor    = {Marina De Vos and
               Thomas Eiter and
               Yuliya Lierler and
               Francesca Toni},
  title     = {Proceedings of the Technical Communications of the 31st International
               Conference on Logic Programming {(ICLP} 2015), Cork, Ireland, August
               31 - September 4, 2015},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {1433},
  publisher = {CEUR-WS.org},
  year      = {2015},
  url       = {http://ceur-ws.org/Vol-1433},
  urn       = {urn:nbn:de:0074-1433-4},
  timestamp = {Mon, 30 May 2016 16:28:37 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/iclp/2015tc},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/padl/2015,
  editor    = {Enrico Pontelli and
               Tran Cao Son},
  title     = {Practical Aspects of Declarative Languages - 17th International Symposium,
               {PADL} 2015, Portland, OR, USA, June 18-19, 2015. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9131},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-19686-2},
  doi       = {10.1007/978-3-319-19686-2},
  isbn      = {978-3-319-19685-5},
  timestamp = {Wed, 17 May 2017 14:24:45 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/padl/2015},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ppdp/2014,
  editor    = {Olaf Chitil and
               Andy King and
               Olivier Danvy},
  title     = {Proceedings of the 16th International Symposium on Principles and
               Practice of Declarative Programming, Kent, Canterbury, United Kingdom,
               September 8-10, 2014},
  publisher = {{ACM}},
  year      = {2014},
  url       = {http://dl.acm.org/citation.cfm?id=2643135},
  isbn      = {978-1-4503-2947-7},
  timestamp = {Wed, 29 Mar 2017 16:45:25 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ppdp/2014},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/jelia/2010,
  editor    = {Tomi Janhunen and
               Ilkka Niemel{\"{a}}},
  title     = {Logics in Artificial Intelligence - 12th European Conference, {JELIA}
               2010, Helsinki, Finland, September 13-15, 2010. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {6341},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-15675-5},
  doi       = {10.1007/978-3-642-15675-5},
  isbn      = {978-3-642-15674-8},
  timestamp = {Thu, 25 May 2017 00:42:51 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/jelia/2010},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier