Hugo Daniel dos Santos Macedo
AuthID: R-001-K67
1
TITLE: A linear algebra approach to OLAP Full Text
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2015, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2015, SOURCE: FORMAL ASPECTS OF COMPUTING, VOLUME: 27, ISSUE: 2
2
TITLE: Towards linear algebras of components
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 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
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2012, SOURCE: 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
TITLE: Matrices as Arrows! A Biproduct Approach to Typed Linear Algebra
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120
INDEXED IN: Scopus WOS
4
TITLE: Matrices as Arrows!
AUTHORS: Hugo Daniel Macedo; José Nuno Oliveira;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science - Mathematics of Program Construction
AUTHORS: Hugo Daniel Macedo; José Nuno Oliveira;
PUBLISHED: 2010, SOURCE: Lecture Notes in Computer Science - Mathematics of Program Construction
INDEXED IN: CrossRef
5
TITLE: Incremental development of a distributed real-time model of a cardiac pacing system using VDM
AUTHORS: Hugo Daniel Macedo; Peter Gorm Larsen; John Fitzgerald;
PUBLISHED: 2008, SOURCE: 15th International Symposium on Formal Methods in FM 2008: FORMAL METHODS, PROCEEDINGS, VOLUME: 5014
AUTHORS: Hugo Daniel Macedo; Peter Gorm Larsen; John Fitzgerald;
PUBLISHED: 2008, SOURCE: 15th International Symposium on Formal Methods in FM 2008: FORMAL METHODS, PROCEEDINGS, VOLUME: 5014