iBet uBet web content aggregator. Adding the entire web to your favor.

Link to original content: https://dblp.org/pid/72/214.html

dblp: Umberto Souza da Costa

default search action

combined dblp search
author search
venue search
publication search

ask others

Umberto Souza da Costa

> Home > Persons

Person information

SPARQL queries

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2022
[j7]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/MedeirosMC22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/MedeirosMC22
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa:
Querying graph databases using context-free grammars. J. Comput. Lang. 68: 101089 (2022)
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/adbis/CostaEMVZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbis/CostaEMVZ22
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
[i2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2209-02384
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2209-02384
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)
2021
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/adbis/MedeirosCM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbis/MedeirosCM21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icsoc/NascimentoMCCNV21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icsoc/NascimentoMCCNV21
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
[j6]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/ToledoCMV20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/ToledoCMV20
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)
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/adbis/MedeirosCGM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adbis/MedeirosCGM20
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sblp/MedeirosMC20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sblp/MedeirosMC20
Ciro M. Medeiros, Martin A. Musicante, Umberto Souza da Costa:
An Algorithm for Context-Free Path Queries over Graph Databases. SBLP 2020: 40-47
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2004-03477
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2004-03477
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)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2019
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/vlc/MedeirosMC19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/vlc/MedeirosMC19
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]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/BelhajjameCEMCN18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/BelhajjameCEMCN18
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)
[c12]
- view
  authority control:
- export record
  dblp key:
  - conf/icwe/SantosCM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwe/SantosCM18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sac/MedeirosMC18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sac/MedeirosMC18
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icse/MotzVCEMZP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icse/MotzVCEMZP17
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
2016
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijwgs/BaCCAMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijwgs/BaCCAMR16
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]
- view
  authority control:
- export record
  dblp key:
  - journals/infsof/NetoVCM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/infsof/NetoVCM16
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)
2015
[c9]
- view
  authority control:
- export record
  dblp key:
  - conf/aiccsa/MacedoCMPC15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aiccsa/MacedoCMPC15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/closer/BaCFFMPR14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/closer/BaCFFMPR14
Cheikh Ba, Umberto Souza da Costa, Mírian Halfeld Ferrari, Rémy Ferré, Martin A. Musicante, Verónika Peralta, Sophie Robert:
Preference-driven Reﬁnement of Service Compositions. CLOSER 2014: 268-275
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sofsem/CastroMCNV14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sofsem/CastroMCNV14
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/icwe/CostaAMR13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icwe/CostaAMR13
Umberto Souza da Costa, Mirian Halfeld Ferrari Alves, Martin A. Musicante, Sophie Robert:
Automatic Refinement of Service Compositions. ICWE 2013: 400-407
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/sbcars/LimaNLCCC13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sbcars/LimaNLCCC13
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
2012
[j1]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/scp/CostaMMN12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/CostaMMN12
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)
2010
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/ictac/CostaJO10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictac/CostaJO10
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

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2008
[c3]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CostaMMN09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CostaMMN09
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
2005
[b1]
- view
- export record
  dblp key:
  - phd/ndltd/Costa05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/phd/ndltd/Costa05
Umberto Souza da Costa:
Um verificador de modelos explícito-simbólico. Federal University of Minas Gerais, Brazil, 2005
2004
[c2]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/CostaCVD05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CostaCVD05
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]
- no documents available
  - no references & citations available
- export record
  dblp key:
  - conf/pdpta/CostaDM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pdpta/CostaDM00
Umberto Souza da Costa, David Déharbe, Anamaria Martins Moreira:
Variable Ordering of BDDs with Parallel Genetic Algorithms. PDPTA 2000

Coauthor Index

see FAQ

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.