Hugo Daniel dos Santos Macedo
AuthID: R-001-K67
1
TITLE: The Data Cube as a Typed Linear Algebra Operator
AUTHORS: Oliveira, JN ; Macedo, HD;
PUBLISHED: 2017, SOURCE: 16th International Symposium on Database Programming Languages (DBPL) in PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), VOLUME: Part F130653
AUTHORS: Oliveira, JN ; Macedo, HD;
PUBLISHED: 2017, SOURCE: 16th International Symposium on Database Programming Languages (DBPL) in PROCEEDINGS OF THE 16TH INTERNATIONAL SYMPOSIUM ON DATABASE PROGRAMMING LANGUAGES (DBPL 2017), VOLUME: Part F130653
INDEXED IN: 
Scopus 
WOS
Scopus WOS2
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
3
TITLE: Typing linear algebra: A biproduct-oriented approach Full Text
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11
AUTHORS: Hugo Daniel Macedo; Jose Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11
4
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
5
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
Scopus WOS6
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
CrossRef7
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
