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 1936
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 41-60 de um total de 77 resultados.
< anterior
próximo >
Data
Título
Autor(es)
Tipo
Acesso
2004
Making the point-free calculus less pointless
Cunha, Alcino
;
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso aberto
2010
Model-checking temporal properties of real-time HTL programs
Carvalho, André Ribeiro de
;
Carvalho, Joel
;
Pinto, Jorge Sousa
, et al.
Artigo em ata de conferência
Acesso aberto
Set-2015
Monitoring for a decidable fragment of MTL-∫
Pedro, André Matos
;
Pereira, David
;
Pinho, Luís Miguel
, et al.
Artigo em ata de conferência
Acesso aberto
2001
Parallel evaluation of interaction nets with MPINE
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso aberto
2001
Parallel implementation models for the lambda-calculus using the geometry of interaction
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso aberto
2004
Point-free program transformation
Cunha, Alcino
;
Pinto, Jorge Sousa
Relatório
Acesso aberto
2005
Point-free program transformation
Cunha, Alcino
;
Pinto, Jorge Sousa
Artigo
Acesso aberto
2010
Program verification in SPARK and ACSL : a comparative case study
Brito, Eduardo
;
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso aberto
2008
Properties preservation during transformation
Cruz, Daniela da
;
Pinto, Jorge Sousa
;
Henriques, Pedro Rangel
Artigo em ata de conferência
Acesso aberto
Dez-2020
Real-time MTL with durations as SMT with applications to schedulability analysis
Pedro, André de Matos
;
Leucker, Martin
;
Pereira, David
, et al.
Artigo em ata de conferência
Acesso aberto
Mai-2005
Recursion patterns and time-analysis
Barbosa, Manuel
;
Cunha, Alcino
;
Pinto, Jorge Sousa
Artigo
Acesso aberto
2018
Runtime verification of autopilot systems using a fragment of MTL-∫
Matos Pedro, André
;
Pinto, Jorge Sousa
;
Pereira, David
, et al.
Artigo
Acesso restrito UMinho
2010
Safe integration of annotated components in open source projects
Areias, Sérgio
;
Cruz, Daniela da
;
Henriques, Pedro Rangel
, et al.
Artigo
Acesso aberto
2017
SMT-based schedulability analysis using RMTL-∫
Pedro, André Matos
;
Pereira, David
;
Pinho, Luís Miguel
, et al.
Artigo
Acesso restrito UMinho
2013
SPARK-BMC: checking SPARK code for bugs
Lourenço, Cláudio
;
Miraldo, Victor Cacciari
;
Frade, M. J.
, et al.
Resumo em ata de conferência
Acesso aberto
2015
Studying verification conditions for imperative programs
Lourenço, Cláudio Filipe Belo Silva
;
Lamraoui, Si-Mohamed
;
Nakajima, Shin
, et al.
Artigo
Acesso aberto
2020
Testing for race conditions in distributed systems via smt solving
Pereira, João Carlos
;
Machado, Nuno
;
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso aberto
2008
Token-passing nets for functional languages
Almeida, José Bacelar
;
Pinto, Jorge Sousa
;
Vilaça, Miguel
Artigo
Acesso aberto
2008
A tool for programming with interaction nets
Almeida, José Bacelar
;
Pinto, Jorge Sousa
;
Vilaça, Miguel
Artigo
Acesso aberto
2013
Towards a mostly-automated prover for bit-vector arithmetic
Abal, Iago
;
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso restrito UMinho