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 30-49 de um total de 52 resultados. < anterior   próximo >
DataTítuloAutor(es)TipoAcesso
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
2012Typed linear algebra for weighted (probabilistic) automataOliveira, José Nuno FonsecaArtigo em ata de conferênciaAcesso aberto
2012Typed linear algebra for weighted (probabilistic) automataOliveira, José NunoArtigo 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
Mostrar 30-49 de um total de 52 resultados. < anterior   próximo >