| Efficient evaluation of context-free path queries for graph databases CM Medeiros, MA Musicante, US Costa Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 1230-1237, 2018 | 26 | 2018 |
| A bottom-up algorithm for answering context-free path queries in graph databases FC Santos, US Costa, MA Musicante Web Engineering: 18th International Conference, ICWE 2018, Cáceres, Spain …, 2018 | 20 | 2018 |
| Variable Ordering of BDDs with Parallel Genetic Algorithms. US da Costa, D Déharbe, AM Moreira PDPTA, 2000 | 15 | 2000 |
| A cache-based parallel genetic algorithm for the bdd variable ordering problem US Costa, AM Moreira, D Déharbe Proc. of SBAC-PAD, 99-104, 2000 | 15 | 2000 |
| LL-based query answering over RDF databases CM Medeiros, MA Musicante, US Costa Journal of Computer Languages 51, 75-87, 2019 | 13 | 2019 |
| Automatic refinement of service compositions US Costa, MH Ferrari, MA Musicante, S Robert International Conference on Web Engineering, 400-407, 2013 | 11 | 2013 |
| Specification and runtime verification of java card programs US da Costa, AM Moreira, MA Musicante, PAS Neto Electronic Notes in Theoretical Computer Science 240, 61-78, 2009 | 10 | 2009 |
| Designing service-based applications in the presence of non-functional properties: A mapping study PAS Neto, G Vargas-Solar, US da Costa, MA Musicante Information and Software Technology 69, 84-105, 2016 | 9 | 2016 |
| Advances in BDD reduction using parallel genetic algorithm U Costa, D Deharbe, A Moreira Proceedings of the 10 th International Workshop on Logic Synthesis (IWLS), 2001 | 9 | 2001 |
| Standard matching-choice expressions for defining path queries in graph databases C Medeiros, U Costa, M Musicante European Conference on Advances in Databases and Information Systems, 97-108, 2021 | 7 | 2021 |
| Supporting non-functional requirements in services software development process: an mdd approach V de Castro, MA Musicante, US da Costa, PA de Souza Neto, ... SOFSEM 2014: Theory and Practice of Computer Science: 40th International …, 2014 | 7 | 2014 |
| An algorithm for context-free path queries over graph databases CM Medeiros, MA Musicante, US Costa Proceedings of the 24th Brazilian Symposium on Context-Oriented Programming …, 2020 | 6 | 2020 |
| Preference-driven refinement of service compositions C Ba, U Costa, M Halfeld-Ferrari, R Ferre, MA Musicante, V Peralta, ... Proceedings of CLOSER 2014 International Conference on Cloud Computing and …, 2014 | 6 | 2014 |
| Querying graph databases using context-free grammars CM Medeiros, MA Musicante, US Costa Journal of Computer Languages 68, 101089, 2022 | 5 | 2022 |
| Experiments on service composition refinement on the basis of preference-driven recommendation C Ba, T Cerqueira, U Costa, MH Ferrari, MA Musicante, S Robert International Journal of Web and Grid Services 12 (2), 182-214, 2016 | 5 | 2016 |
| JCML: A specification language for the runtime verification of Java Card programs US da Costa, AM Moreira, MA Musicante, PAS Neto Science of computer programming 77 (4), 533-550, 2012 | 5 | 2012 |
| Recursive expressions for SPARQL property paths C Medeiros, U Costa, S Grigorev, MA Musicante ADBIS, TPDL and EDA 2020 Common Workshops and Doctoral Consortium …, 2020 | 4 | 2020 |
| Explicit-symbolic modelling for formal verification U Costa, S Campos, N Vieira, D Déharbe Electronic Notes in Theoretical Computer Science 130, 301-321, 2005 | 4 | 2005 |
| Specification and Verification of a MPI Implementation for a MP-SoC US Da Costa, IS de Medeiros Júnior, MVM Oliveira Theoretical Aspects of Computing–ICTAC 2010: 7th International Colloquium …, 2010 | 3 | 2010 |
| Automating systematic mappings, adding quality to quantity R Motz, G Vargas-Solar, US Da Costa, JA Espinosa-Oviedo, ... 2017 IEEE/ACM 39th International Conference on Software Engineering …, 2017 | 2 | 2017 |
