Percorrer por autor 88 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:  

Mostrar 24-43 de um total de 52 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2023On difunctionsBackhouse, Roland; Oliveira, José Nuno FonsecaArtigoAcesso restrito UMinho
2006Pointfree factorization of operation refinementOliveira, José Nuno Fonseca; Rodrigues, César J.Artigo em ata de conferênciaAcesso aberto
Nov-2011Pointfree foundations for (generic) lossless decompositionOliveira, José Nuno FonsecaRelatórioAcesso aberto
2010Programming from Galois connection : principles and applicationsMu, Shin-Cheng; Oliveira, José Nuno FonsecaRelatórioAcesso aberto
2011Programming from Galois connectionsMu, Shin-Cheng; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2012Programming from Galois connectionsMu, Shin-Cheng; Oliveira, José Nuno FonsecaArtigoAcesso aberto
2022Quantitative relational modelling with QAlloySilva, Pedro; Oliveira, José Nuno Fonseca; Macedo, Nuno, et al.Artigo em ata de conferênciaAcesso aberto
Abr-1990A reification calculus for model-oriented software specificationOliveira, José Nuno FonsecaArtigoAcesso aberto
2008A relational model for confined separation logicWang, Shuling; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2009A single complete relational rule for coalgebraic refinementRodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
Jan-1992Software reification using the SETS calculusOliveira, José Nuno FonsecaArtigoAcesso aberto
2003State-based components made genericOliveira, José Nuno; Barbosa, L. S.ArtigoAcesso aberto
2005Strategic term rewriting and its application to a VDM-SL to SQL conversionAlves, Tiago Miguel Laureano; Silva, P. F.; Visser, Joost, et al.Artigo em ata de conferênciaAcesso aberto
2015A study of risk-aware program transformationMurta, Daniel Rodrigues Pacheco; Oliveira, José Nuno FonsecaArtigoAcesso aberto
2012Towards a linear algebra of programmingOliveira, José Nuno FonsecaArtigoAcesso aberto
2008Transforming data by calculationOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2006Transposing partial components: an exercise on coalgebraic refinementOliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
12-Ago-2022A tribute to José Manuel ValençaOliveira, José Nuno Fonseca; Pinto, Jorge Sousa; Barbosa, L. S., et al.Editorial em revistaAcesso restrito UMinho
2020Type your matrices for great good: a Haskell library of typed matrices and applications (functional pearl)Santos, Armando; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso restrito UMinho
2006Type-safe two-level data transformationCunha, Alcino; Oliveira, José Nuno Fonseca; Visser, JoostArtigo em ata de conferênciaAcesso aberto
Mostrar 24-43 de um total de 52 resultados. < anterior   próximo >