![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Umberto Souza da Costa
Person information
Refine list
![note](https://dblp1.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2005
- [b1]Umberto Souza da Costa:
Um verificador de modelos explícito-simbólico. Federal University of Minas Gerais, Brazil, 2005
Journal Articles
- 2022
- [j7]Ciro M. Medeiros
, Martin A. Musicante, Umberto Souza da Costa:
Querying graph databases using context-free grammars. J. Comput. Lang. 68: 101089 (2022) - 2020
- [j6]Rafael Ferreira Toledo, Umberto Souza da Costa, Martin A. Musicante, Genoveva Vargas-Solar
:
Self-healing of web service compositions: a specification rewriting approach. Int. J. Web Grid Serv. 16(2): 172-199 (2020) - 2019
- [j5]Ciro M. Medeiros
, Martin A. Musicante, Umberto Souza da Costa:
LL-based query answering over RDF databases. J. Comput. Lang. 51: 75-87 (2019) - 2018
- [j4]Khalid Belhajjame, Valeria de Castro, Javier-Alfonso Espinosa-Oviedo, Martin A. Musicante, Umberto Souza da Costa, Plácido A. Souza Neto, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini:
πSOD-M: building SOC applications in the presence of non-functional requirements. Int. J. Web Grid Serv. 14(4): 400-431 (2018) - 2016
- [j3]Cheikh Ba, Thiago Cerqueira, Umberto Souza da Costa, Mirian Halfeld Ferrari Alves
, Martin A. Musicante
, Sophie Robert:
Experiments on service composition refinement on the basis of preference-driven recommendation. Int. J. Web Grid Serv. 12(2): 182-214 (2016) - [j2]Plácido A. Souza Neto, Genoveva Vargas-Solar
, Umberto Souza da Costa, Martin A. Musicante
:
Designing service-based applications in the presence of non-functional properties: A mapping study. Inf. Softw. Technol. 69: 84-105 (2016) - 2012
- [j1]Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante
, Plácido A. Souza Neto:
JCML: A specification language for the runtime verification of Java Card programs. Sci. Comput. Program. 77(4): 533-550 (2012)
Conference and Workshop Papers
- 2022
- [c17]Umberto Souza da Costa, Javier-Alfonso Espinosa-Oviedo, Martin A. Musicante, Genoveva Vargas-Solar, José-Luis Zechinelli-Martini:
Using Provenance in Data Analytics for Seismology: Challenges and Directions. ADBIS (Short Papers) 2022: 311-322 - 2021
- [c16]Ciro M. Medeiros
, Umberto Souza da Costa, Martin A. Musicante:
Standard Matching-Choice Expressions for Defining Path Queries in Graph Databases. ADBIS (Short Papers) 2021: 97-108 - [c15]Aderson Farias do Nascimento, Martin A. Musicante, Umberto Souza da Costa, Bruno M. Carvalho, Marcus Alexandre Nunes, Genoveva Vargas-Solar:
Data Centred Intelligent Geosciences: Research Agenda and Opportunities Position Paper. ICSOC Workshops 2021: 244-251 - 2020
- [c14]Ciro M. Medeiros
, Umberto Souza da Costa, Semyon V. Grigorev, Martin A. Musicante:
Recursive Expressions for SPARQL Property Paths. ADBIS/TPDL/EDA Workshops 2020: 72-84 - [c13]Ciro M. Medeiros
, Martin A. Musicante, Umberto Souza da Costa:
An Algorithm for Context-Free Path Queries over Graph Databases. SBLP 2020: 40-47 - 2018
- [c12]Fred C. Santos, Umberto Souza da Costa, Martin A. Musicante
:
A Bottom-Up Algorithm for Answering Context-Free Path Queries in Graph Databases. ICWE 2018: 225-233 - [c11]Ciro M. Medeiros
, Martin A. Musicante
, Umberto Souza da Costa:
Efficient evaluation of context-free path queries for graph databases. SAC 2018: 1230-1237 - 2017
- [c10]Regina Motz
, Genoveva Vargas-Solar
, Umberto Souza da Costa, Javier-Alfonso Espinosa-Oviedo
, Martin A. Musicante
, José-Luis Zechinelli-Martini
, Alberto Pardo:
Automating systematic mappings, adding quality to quantity: poster. ICSE (Companion Volume) 2017: 167-168 - 2015
- [c9]Márcio A. Macêdo, Daniel A. S. Carvalho, Martin A. Musicante
, Alberto Pardo, Umberto Souza da Costa:
An abstract machine for integrating heterogeneous web applications. AICCSA 2015: 1-8 - 2014
- [c8]Cheikh Ba, Umberto Souza da Costa, Mírian Halfeld Ferrari, Rémy Ferré, Martin A. Musicante
, Verónika Peralta, Sophie Robert:
Preference-driven Refinement of Service Compositions. CLOSER 2014: 268-275 - [c7]Valeria de Castro
, Martin A. Musicante
, Umberto Souza da Costa, Plácido A. Souza Neto, Genoveva Vargas-Solar
:
Supporting Non-functional Requirements in Services Software Development Process: An MDD Approach. SOFSEM 2014: 199-210 - 2013
- [c6]Umberto Souza da Costa, Mirian Halfeld Ferrari Alves
, Martin A. Musicante
, Sophie Robert:
Automatic Refinement of Service Compositions. ICWE 2013: 400-407 - [c5]Jose Alex Medeiros de Lima, Eliezio Soares de Sousa Neto
, Jose Sueney de Lima, Nelio Alessandro Azevedo Cacho, Roberta de Souza Coelho, Umberto Souza da Costa:
Evaluating the Propagation of Exceptions in the Service Oriented Architecture in .NET. SBCARS 2013: 30-38 - 2010
- [c4]Umberto Souza da Costa, Ivan Soares de Medeiros Júnior, Marcel Vinícius Medeiros Oliveira:
Specification and Verification of a MPI Implementation for a MP-SoC. ICTAC 2010: 168-183 - 2008
- [c3]Umberto Souza da Costa, Anamaria Martins Moreira, Martin A. Musicante
, Plácido A. Souza Neto:
Specification and Runtime Verification of Java Card Programs. SBMF 2008: 61-78 - 2004
- [c2]Umberto Souza da Costa, Sérgio Vale Aguiar Campos, Newton Vieira, David Déharbe
:
Explicit-Symbolic Modelling for Formal Verification. SBMF 2004: 301-321 - 2000
- [c1]Umberto Souza da Costa, David Déharbe, Anamaria Martins Moreira:
Variable Ordering of BDDs with Parallel Genetic Algorithms. PDPTA 2000
Informal and Other Publications
- 2022
- [i2]Aderson Farias do Nascimento, Martin A. Musicante, Umberto Souza da Costa, Bruno M. Carvalho, Marcus Alexandre Nunes, Genoveva Vargas-Solar:
Data Centred Intelligent Geosciences: Research Agenda and Opportunities, Position Paper. CoRR abs/2209.02384 (2022) - 2020
- [i1]Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa:
An Algorithm for Context-Free Path Queries over Graph Databases. CoRR abs/2004.03477 (2020)
Coauthor Index
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-24 23:06 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint