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 17-36 de um total de 52 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
2008'Galculator': functional prototype of a Galois-connection based proof assistantSilva, Paulo F.; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2009Galois: a language for proofs using galois connections and fork algebrasSilva, Paulo F.; Visser, Joost; Oliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2017Implementing a linear algebra approach to data processingPontes, Rogério; Matos, Miguel Ângelo Marques; Oliveira, José Nuno Fonseca, et al.Artigo em ata de conferênciaAcesso restrito UMinho
2009Influence of domain-specific notation to program understandingKosar, Tomaz; Mernik, Marjan; Crepinsek, Matej, et al.Artigo em ata de conferênciaAcesso aberto
2011Logic training through algorithmic problem solvingFerreira, João Fernando; Mendes, Alexandra; Cunha, Alcino, et al.Artigo em ata de conferênciaAcesso aberto
2010Matrices as arrows! A biproduct approach to typed linear algebraOliveira, José Nuno Fonseca; Macedo, Hugo DanielArtigo em ata de conferênciaAcesso aberto
Set-2015Metaphorisms in programmingOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
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
Mostrar 17-36 de um total de 52 resultados. < anterior   próximo >