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 | 24 | 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 | 19 | 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 | 11 | 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 |
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 |
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 |
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 | 5 | 2021 |
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 | 5 | 2020 |
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 |
Querying graph databases using context-free grammars CM Medeiros, MA Musicante, US Costa Journal of Computer Languages 68, 101089, 2022 | 3 | 2022 |
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 | 3 | 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 | 3 | 2005 |
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 |
Evaluating the propagation of exceptions in the service oriented architecture in. net JAM de Lima, ES de Sousa Neto, JS de Lima, NAA Cacho, ... 2013 VII Brazilian Symposium on Software Components, Architectures and Reuse …, 2013 | 2 | 2013 |