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 editoras 10816
Í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 58 resultados.
próximo >
Data
Título
Autor(es)
Tipo
Acesso
2018
Abcl: Abc music notation with rich chord support
Almeida, J. J.
Artigo em ata de conferência
Acesso aberto
2022
An internal language for categories enriched over generalised metric spaces
Dahlqvist, Fredrik
;
Neves, Renato Jorge Araújo
Artigo em ata de conferência
Acesso aberto
2017
Applying attribute grammars to teach linguistic rules
Barros, Patrícia Amorim
;
Pereira, Maria João Varanda
;
Henriques, Pedro Rangel
Artigo em ata de conferência
Acesso aberto
2020
BhTSL, behavior trees specification and processing
Oliveira, Miguel
;
Silva, Pedro Mimoso
;
Moura, Pedro
, et al.
Artigo em ata de conferência
Acesso aberto
2016
Building a dictionary using XML technology
Simões, Alberto
;
Almeida, J. J.
;
Salgado, Ana
Artigo em ata de conferência
Acesso aberto
2018
CaVa<sup>DSL</sup>: Virtual learning spaces formal specification
Martini, Ricardo Giuliani
;
Henriques, Pedro Rangel
Artigo em ata de conferência
Acesso aberto
2013
Choosing grammars to support language processing courses
Pereira, Maria João Varanda
;
Oliveira, Nuno Ernesto Salgado
;
Cruz, Daniela Carneiro
, et al.
Artigo em ata de conferência
Acesso aberto
1-Jun-2021
Coinductive proof search for polarized logic with applications to full intuitionistic propositional logic
Espírito Santo, José
;
Matthes, Ralph
;
Pinto, Luís F.
Artigo em ata de conferência
Acesso aberto
2014
Comment-based concept location over system dependency graphs
Pereira, Nuno
;
Pereira, Maria João Varanda
;
Henriques, Pedro Rangel
Artigo em ata de conferência
Acesso aberto
1-Jan-2014
Conclave: Writing programs to understand programs
Carvalho, Nuno Alexandre Ramos
;
Almeida, J. J.
;
Pereira, Maria João Varanda
, et al.
Artigo em ata de conferência
Acesso aberto
2016
Context-free grammars: Exercise generation and probabilistic assessment
Almeida, J. J.
;
Grande, Eliana
;
Smirnov, Georgi
Artigo em ata de conferência
Acesso aberto
2014
Converting ontologies into DSLs
Fonseca, João M. Sousa
;
Pereira, Maria João Varanda
;
Henriques, Pedro Rangel
Artigo em ata de conferência
Acesso aberto
12-Jun-2015
Curry-Howard for sequent calculus at last!
Espírito Santo, José
Artigo em ata de conferência
Acesso aberto
1-Jul-2021
DataGen: JSON/XML Dataset Generator
Santos, Filipa Alves dos
;
Cardoso, Hugo André Coelho
;
Costa, João da Cunha e
, et al.
Artigo em ata de conferência
Acesso aberto
2-Jul-2021
Development of self-diagnosis tests system using a DSL for creating new test suites for integration in a cyber-physical system
Pereira, Ricardo B.
;
Ramalho, José Carlos
;
Brito, Miguel A.
Artigo em ata de conferência
Acesso aberto
2013
Dictionary alignment by rewrite-based entry translation
Simões, Alberto
;
Gómez Guinovart, Xavier
Artigo em ata de conferência
Acesso aberto
2019
Digital collection creator, visualizer and explorer
Martins, Luís F.
;
Araújo, Cristiana
;
Henriques, Pedro Rangel
Artigo em ata de conferência
Acesso aberto
2018
eOS: The exercise operating system
Mendes, Rui
;
Almeida, J. J.
Artigo em ata de conferência
Acesso aberto
2013
A flexible dynamic system for automatic grading of programming exercises
Fonte, Daniela
;
Cruz, Daniela da
;
Gançarski, Alda Lopes
, et al.
Artigo em ata de conferência
Acesso aberto
Jun-2012
Generating flex lexical scanners for perl parse:: Yapp
Simões, Alberto
;
Carvalho, Nuno
;
Almeida, J. J.
Artigo em ata de conferência
Acesso aberto