Skip navigation
tequery
Página principal
Percorrer por
Comunidades
& Coleções
Percorrer por:
Títulos
Autores
Autores UMinho
Orientadores
Editores
Assuntos
Áreas do conhecimento
Datas de publicação
Tipos de documento
Tipos de acesso
Editoras
Revistas
Ajudas
Sobre o RepositóriUM
FAQs
Utilização geral
Auto-Arquivo
Copyright
português
francês
espanhol
inglês
Entrar
Área Pessoal
Subscrição de estatísticas
Serviço de alertas
Editar conta
Percorrer por autor 683
Subscrever estatísticas do autor Autor
Índice:
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
ou inserir as letras iniciais:
Ordenar por:
título
data de publicação
data de depósito
tipo de documento
tipo de acesso
Em ordem:
ascendente
descendente
Resultados/Página:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Autores/Registo:
todos
1
3
5
10
15
20
25
30
35
40
45
50
Mostrar 1-20 de um total de 155 resultados.
próximo >
Data
Título
Autor(es)
Tipo
Acesso
2017
Administrative burden reduction over time: Literature review, trends and gap analysis
Nielsen, Morten Meyerhoff
;
Carvalho, Nuno Alexandre Ramos
;
Veiga, Linda Gonçalves
, et al.
Artigo em ata de conferência
Acesso aberto
26-Out-2016
An enhanced model for stochastic coordination
Oliveira, Nuno Ernesto Salgado
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2008
An exercise on transition systems
Ribeiro, Paula R.
;
Barbosa, L. S.
;
Wang, Shuling
Artigo
Acesso aberto
2014
An institution for Alloy and its translation to second-order logic
Neves, Renato
;
Madeira, Alexandre
;
Martins, Manuel A.
, et al.
Capítulo de livro
Acesso aberto
2007
An orchestrator for dynamic interconnection of software components
Barbosa, L. S.
;
Barbosa, Marco António
Artigo
Acesso aberto
2012
Analysing tactics in architectural patterns
Sanchez, Alejandro
;
Aguiar, Ademar
;
Barbosa, L. S.
, et al.
Artigo em ata de conferência
Acesso aberto
2016
Applying the 3C Model to FLOSS communities
Fernandes, Sara Santos
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2005
Architectural prototyping: from ccs to .net
Rodrigues, Nuno F.
;
Barbosa, L. S.
Artigo
Acesso aberto
2012
Bigraphical modelling of architectural patterns
Sanchez, Alejandro
;
Barbosa, L. S.
;
Riesco, Daniel
Artigo em ata de conferência
Acesso aberto
2013
Bisimilarity and refinement for hybrid(ised) logics
Madeira, Alexandre
;
Martins, Manuel M.
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2013
Boilerplates for reconfigurable systems: a language and its semantics
Madeira, Alexandre
;
Martins, Manuel A.
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2010
Bringing class diagrams to life
Barbosa, L. S.
;
Sun, Meng
Artigo
Acesso aberto
2008
Calculating invariants as coreflexive bisimulations
Barbosa, L. S.
;
Oliveira, José Nuno Fonseca
;
Silva, Alexandra
Artigo em ata de conferência
Acesso aberto
Dez-2012
A calculus for generic, QoS-aware component composition
Barbosa, L. S.
;
Meng, Sun
Artigo
Acesso aberto
2005
Camila revival: VDM meets haskell
Visser, Joost
;
Oliveira, José Nuno Fonseca
;
Barbosa, L. S.
, et al.
Artigo em ata de conferência
Acesso aberto
1997
CAMILA: formal software engineering supported by functional programming
Almeida, José João
;
Barbosa, L. S.
;
Neves, F. L.
, et al.
Artigo em ata de conferência
Acesso aberto
1997
CAMILA: prototyping and refinement of constructive specifications
Almeida, José João
;
Barbosa, L. S.
;
Neves, F. L.
, et al.
Artigo em ata de conferência
Acesso aberto
2023
Capturing Qubit decoherence through paraconsistent transition systems
Barbosa, L. S.
;
Madeira, Alexandre
Artigo em ata de conferência
Acesso aberto
2010
Certification of open-source software : a role for formal methods?
Barbosa, L. S.
;
Cerone, Antonio
;
Petrenko, Alexander
, et al.
Artigo
Acesso aberto
Set-2017
Certification of workflows in a component-based cloud of high performance computing services
de Oliveira Dantas, Allberson B.
;
de Carvalho Junior, F. Heron
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto