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 Cruz, Daniela da
Subscrever estatísticas do autor Cruz, Daniela da
Í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 9-25 de um total de 25 resultados.
< anterior
Data
Título
Autor(es)
Tipo
Acesso
2010
GamaSlicer : an online laboratory for program verification and analysis
Cruz, Daniela da
;
Henriques, Pedro Rangel
;
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso aberto
2011
GammaPolarSlicer
Areias, Sérgio
;
Cruz, Daniela da
;
Rangel Henriques, Pedro Rangel
, et al.
Artigo
Acesso aberto
2013
GuessXQ, a query-by-example approach for XML querying
Fonte, Daniela
;
Cruz, Daniela da
;
Henriques, Pedro Rangel
, et al.
Artigo em ata de conferência
Acesso restrito UMinho
2013
Interactive verification of safety-critical software
Cruz, Daniela da
;
Henriques, Pedro Rangel
;
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso restrito UMinho
Set-2010
Parser generation in Perl: an overview and available tools
Areias, Hugo
;
Simões, Alberto
;
Henriques, Pedro Rangel
, et al.
Artigo em ata de conferência
Acesso aberto
2011
Parser generation in Perl: crafting an AnTLR back-end
Areias, Hugo
;
Simões, Alberto
;
Henriques, Pedro Rangel
, et al.
Artigo em ata de conferência
Acesso aberto
Abr-2014
Partial correctness and continuous integration in computer supported education
Fonte, Daniela
;
Vilas Boas, Ismael
;
Oliveira, Nuno
, et al.
Artigo em ata de conferência
Acesso aberto
2014
Plagiarism detection: A tool survey and comparison
Martins, Vítor T.
;
Fonte, Daniela
;
Henriques, Pedro Rangel
, et al.
Artigo em ata de conferência
Acesso aberto
2012
Problem domain oriented approach for program comprehension
Pereira, Maria João Tinoco Varanda
;
Marcelo Berón, Mario
;
Cruz, Daniela da
, et al.
Artigo em ata de conferência
Acesso restrito UMinho
2012
Program analysis and evaluation using QUIMERA
Fonte, Daniela
;
Vilas Boas, Ismael
;
Cruz, Daniela da
, et al.
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
2009
A query by example approach for XML querying
Ferreira, Flávio Xavier
;
Cruz, Daniela da
;
Henriques, Pedro Rangel
, et al.
Artigo em ata de conferência
Acesso aberto
2010
Safe integration of annotated components in open source projects
Areias, Sérgio
;
Cruz, Daniela da
;
Henriques, Pedro Rangel
, et al.
Artigo
Acesso aberto
2012
Verification conditions for single-assignment programs
Cruz, Daniela da
;
Frade, M. J.
;
Pinto, Jorge Sousa
Artigo em ata de conferência
Acesso restrito UMinho
21-Out-2011
Verification, slicing, and visualization of programs with contracts
Cruz, Daniela da
Tese de doutoramento
Acesso aberto
2011
A visual inspector for Boogie programs
Coelho, Márcio
;
Cruz, Daniela da
;
Henriques, Pedro Rangel
, et al.
Artigo em ata de conferência
Acesso aberto
2009
Visualization of domain-specific programs' behavior
Oliveira, Nuno
;
Pereira, Maria Joao Varanda
;
Henriques, Pedro Rangel
, et al.
Artigo em ata de conferência
Acesso aberto