Hugo Daniel dos Santos Macedo
AuthID: R-001-K67
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
AUTORES: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLICAÇÃO: 2015, FONTE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, NÚMERO: 2
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
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
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
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
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
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