1
TÍTULO: A linear algebra approach to OLAP  Full Text
AUTORES: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLICAÇÃO: 2015, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 14
2
TÍTULO: Towards linear algebras of components
AUTORES: Macedo, HD; Oliveira, JN ;
PUBLICAÇÃO: 2012, FONTE: 7th International Workshop on Formal Aspects of Component Software, FACS 2010 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 6921 LNCS
INDEXADO EM: Scopus CrossRef: 3
3
TÍTULO: Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
AUTORES: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLICAÇÃO: 2010, FONTE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120
INDEXADO EM: Scopus WOS
4
TÍTULO: Matrices as Arrows!
AUTORES: Hugo Daniel Macedo; José Nuno Oliveira;
PUBLICAÇÃO: 2010, FONTE: Lecture Notes in Computer Science - Mathematics of Program Construction
INDEXADO EM: CrossRef
5
TÍTULO: Incremental development of a distributed real-time model of a cardiac pacing system using VDM
AUTORES: Hugo Daniel Macedo; Peter Gorm Larsen; John Fitzgerald;
PUBLICAÇÃO: 2008, FONTE: 15th International Symposium on Formal Methods in FM 2008: FORMAL METHODS, PROCEEDINGS, VOLUME: 5014
INDEXADO EM: Scopus WOS CrossRef