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 13-32 de um total de 52 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
1998"Explosive" programming controlled by calculationOliveira, José Nuno FonsecaRelatórioAcesso aberto
2009Extended static checking by calculation using the pointfree transformOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2005From algebras to objects: generation and compositionCruz, A. Miguel; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigoAcesso aberto
Mai-2012Functions as types or the "Hoare logic" of functional dependenciesOliveira, José Nuno FonsecaArtigoAcesso aberto
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
Mostrar 13-32 de um total de 52 resultados. < anterior   próximo >