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 33-52 de um total de 52 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
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
2012Typed linear algebra for weighted (probabilistic) automataOliveira, José NunoArtigo em ata de conferênciaAcesso aberto
2012Typed linear algebra for weighted (probabilistic) automataOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2013Typing linear algebra : a biproduct-oriented approachMacedo, Hugo Daniel; Oliveira, José Nuno FonsecaArtigoAcesso aberto
2014Unfuzzying fuzzy parsingCarvalho, Pedro; Oliveira, Nuno; Henriques, Pedro RangelArtigo em ata de conferênciaAcesso aberto
23-Out-2022Verification of railway network models with EVERESTMartins, João; Fonseca, José M.; Costa, Rafael, et al.Artigo em ata de conferênciaAcesso aberto
2009Visualization of domain-specific programs' behaviorOliveira, Nuno; Pereira, Maria Joao Varanda; Henriques, Pedro Rangel, et al.Artigo em ata de conferênciaAcesso aberto
2013Weighted automata as coalgebras in categories of matricesOliveira, José Nuno FonsecaArtigoAcesso aberto
2023Why Adjunctions Matter—A Functional Programmer PerspectiveOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso restrito UMinho
2011WIKI::SCORE: a collaborative environment for music transcription and publishingAlmeida, J. J.; Carvalho, Nuno Ramos; Oliveira, José Nuno FonsecaArtigoAcesso aberto
Mostrar 33-52 de um total de 52 resultados. < anterior