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 136-155 de um total de 155 resultados.
< anterior
Data
Título
Autor(es)
Tipo
Acesso
2018
A taxonomy for planning and designing smart mobility services
Cledou, Guillermina
;
Estevez, Elsa
;
Barbosa, L. S.
Artigo
Acesso aberto
2011
The role of coordination analysis in software integration projects
Rodrigues, Nuno F.
;
Oliveira, Nuno
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2014
The role of logical interpretations on program development
Martins, Manuel A.
;
Madeira, Alexandre
;
Barbosa, L. S.
Artigo
Acesso aberto
2003
Towards a calculus of state-based software components
Barbosa, L. S.
Artigo
Acesso aberto
2007
Towards a coordination model for interactive systems
Barbosa, Marco António
;
Barbosa, L. S.
;
Campos, J. Creissac
Artigo
Acesso aberto
2020
Towards a register-based census in Oman
Al-Lawati, Ali Hussain
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2004
Towards a relational model for component interconnection
Barbosa, Marco António
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2021
Towards a specification theory for fuzzy modal logic
Jain, Manisha
;
Gomes, Leandro
;
Madeira, Alexandre
, et al.
Artigo em ata de conferência
Acesso aberto
2015
Towards an engine for coordination-based architectural reconfigurations
Rodrigues, Flávio Gonçalves
;
Oliveira, Nuno
;
Barbosa, L. S.
Artigo
Acesso aberto
2011
Towards rigorous analysis of open source software
Barbosa, L. S.
;
Henriques, Pedro Rangel
;
Sanchez, Alejandro
Artigo em ata de conferência
Acesso aberto
2010
Towards the introduction of QoS information in a component model
Sun, Meng
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
Abr-2018
Transforming legal documents for visualization and analysis
Carvalho, Nuno Ramos
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2006
Transposing partial components: an exercise on coalgebraic refinement
Oliveira, José Nuno Fonseca
;
Barbosa, L. S.
Artigo
Acesso aberto
12-Ago-2022
A tribute to José Manuel Valença
Oliveira, José Nuno Fonseca
;
Pinto, Jorge Sousa
;
Barbosa, L. S.
, et al.
Editorial em revista
Acesso restrito UMinho
2007
A type-level approach to component prototyping
Barbosa, L. S.
;
Cunha, Jácome Miguel Costa
;
Visser, Joost
Artigo em ata de conferência
Acesso aberto
2009
UML model refactoring as refinement: a coalgebraic perspective
Barbosa, L. S.
;
Meng, Sun
Artigo em ata de conferência
Acesso aberto
2013
Verifying bigraphical models of architectural reconfigurations
Sanchez, Alejandro
;
Barbosa, L. S.
;
Riesco, Daniel
Artigo em ata de conferência
Acesso aberto
2023
Weighted synchronous automata
Gomes, Leandro
;
Madeira, Alexandre
;
Barbosa, L. S.
Artigo
Acesso aberto
2013
When even the interface evolves...
Madeira, Alexandre
;
Neves, Renato
;
Martins, Manuel A.
, et al.
Artigo em ata de conferência
Acesso aberto
2009
Which mathematics for the Information Society?
Ferreira, João Fernando
;
Mendes, Alexandra
;
Backhouse, Roland
, et al.
Artigo em ata de conferência
Acesso aberto