Follow
Umberto Souza da Costa
Umberto Souza da Costa
Verified email at dimap.ufrn.br - Homepage
Title
Cited by
Cited by
Year
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
232018
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
192018
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
152000
Variable Ordering of BDDs with Parallel Genetic Algorithms.
US da Costa, D Déharbe, AM Moreira
PDPTA, 2000
132000
LL-based query answering over RDF databases
CM Medeiros, MA Musicante, US Costa
Journal of Computer Languages 51, 75-87, 2019
112019
Automatic refinement of service compositions
US Costa, MH Ferrari, MA Musicante, S Robert
International Conference on Web Engineering, 400-407, 2013
112013
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
102009
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
92001
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
82016
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
72014
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
52020
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
52016
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
52014
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
52012
Querying graph databases using context-free grammars
CM Medeiros, MA Musicante, US Costa
Journal of Computer Languages 68, 101089, 2022
32022
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
32021
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
32020
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
32005
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
22017
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
22013
The system can't perform the operation now. Try again later.
Articles 1–20