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 Martins, Manuel A.
Subscrever estatísticas do autor Martins, Manuel A.
Í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 12-27 de um total de 27 resultados.
< anterior
Data
Título
Autor(es)
Tipo
Acesso
2014
Introducing hierarquical hybrid logic
Madeira, Alexandre
;
Neves, Renato Jorge Araújo
;
Barbosa, L. S.
, et al.
Artigo em ata de conferência
Acesso aberto
2015
A Logic for robotics?
Madeira, Alexandre
;
Neves, Renato
;
Martins, Manuel A.
, et al.
Artigo em ata de conferência
Acesso aberto
2018
A logic for the stepwise development of reactive systems
Madeira, Alexandre Leite Castro
;
Barbosa, Luís S.
;
Hennicker, Rolf
, et al.
Artigo
Acesso aberto
2016
A method for rigorous design of reconfigurable systems
Madeira, Alexandre Leite Castro
;
Neves, Renato Jorge Araújo
;
Barbosa, L. S.
, et al.
Artigo
Acesso aberto
2011
Models as arrows: the role of dialgebras
Martins, Manuel A.
;
Madeira, A.
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
Abr-2018
A note on reactive transitions and Reo connectors
Figueiredo, Daniel
;
Martins, Manuel A.
;
Barbosa, L. S.
Capítulo de livro
Acesso aberto
2011
On requirements engineering for reactive systems: a formal methodology
Madeira, A.
;
Faria, José Miguel
;
Martins, Manuel A.
, et al.
Artigo em ata de conferência
Acesso aberto
2016
Proof theory for hybrid(ised) logics
Neves, Renato
;
Madeira, Alexandre
;
Martins, Manuel A.
, et al.
Artigo
Acesso aberto
2011
Reasoning about complex requirements in a uniform setting
Martins, Manuel A.
;
Madeira, A.
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2009
Refinement by interpretation in a general setting
Martins, Manuel A.
;
Madeira, A.
;
Barbosa, L. S.
Artigo
Acesso aberto
2011
Refinement by interpretation in φ-institutions
Rodrigues, César J.
;
Martins, Manuel A.
;
Madeira, A.
, et al.
Artigo em ata de conferência
Acesso aberto
2015
Refinement in hybridised institutions
Madeira, Alexandre Leite Castro
;
Martins, Manuel A.
;
Barbosa, L. S.
, et al.
Artigo
Acesso aberto
2009
Refinement via interpretation
Martins, Manuel A.
;
Madeira, A.
;
Barbosa, L. S.
Artigo em ata de conferência
Acesso aberto
2016
Reuse and integration of specification logics: the hybridisation perspective
Barbosa, L. S.
;
Martins, Manuel A.
;
Madeira, Alexandre Leite Castro
, et al.
Capítulo de livro
Acesso aberto
2014
The role of logical interpretations on program development
Martins, Manuel A.
;
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