Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4442
56 Team MembersFilters -> Year: 2025
2881
TITLE: Comparing Two Class Composition Approaches
AUTHORS: Fernando Barbosa; Ademar Aguiar ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2013, VOLUME: 417, PAGES: 94-109
AUTHORS: Fernando Barbosa; Ademar Aguiar ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, ENASE 2013, VOLUME: 417, PAGES: 94-109
2882
TITLE: Compilation and synthesis for embedded reconfigurable systems: An aspect-oriented approach. An Aspect-Oriented Approach
AUTHORS: Cardoso, JMP ; Diniz, PC ; De Figueiredo Coutinho, JG; Petrov, ZM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 1-203
AUTHORS: Cardoso, JMP ; Diniz, PC ; De Figueiredo Coutinho, JG; Petrov, ZM;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 1-203
2883
TITLE: Complexity Metrics for ClassSheet Models
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2, PAGES: 459-474
AUTHORS: Cunha, J ; Fernandes, JP ; Mendes, J ; Saraiva, J ;
PUBLISHED: 2013, SOURCE: 13th International Conference on Computational Science and Its Applications (ICCSA) in COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2013, PT II, VOLUME: 7972, ISSUE: PART 2, PAGES: 459-474
2884
TITLE: Composing Classes Roles Vs Traits
AUTHORS: Barbosa, F; Aguiar, A ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 63-73
AUTHORS: Barbosa, F; Aguiar, A ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in ENASE: PROCEEDINGS OF THE 8TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING, PAGES: 63-73
2885
TITLE: Composing Least-change Lenses
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 57
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: ECEASST, VOLUME: 57
2886
TITLE: Computer Poker Research at LIACC
AUTHORS: Luís Filipe Teófilo; Luís Paulo Reis ; Henrique Lopes Cardoso ; Dinis Félix; Rui Sêca; João Ferreira Ferreira Calado; Pedro Mendes; Nuno Cruz; Vitor Pereira; Nuno Passos;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.5946
AUTHORS: Luís Filipe Teófilo; Luís Paulo Reis ; Henrique Lopes Cardoso ; Dinis Félix; Rui Sêca; João Ferreira Ferreira Calado; Pedro Mendes; Nuno Cruz; Vitor Pereira; Nuno Passos;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.5946
2887
TITLE: Computing Card Probabilities in Texas Hold'em
AUTHORS: Luis Filipe Teofilo ; Luis Paulo Reis ; Henrique Lopes Cardoso ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTHORS: Luis Filipe Teofilo ; Luis Paulo Reis ; Henrique Lopes Cardoso ;
PUBLISHED: 2013, SOURCE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
2888
TITLE: Computing card probabilities in Texas Hold'em
AUTHORS: Luís F Teófilo; Luís P Reis ; Henrique L Cardoso ;
PUBLISHED: 2013
AUTHORS: Luís F Teófilo; Luís P Reis ; Henrique L Cardoso ;
PUBLISHED: 2013
2889
TITLE: Conclusions
AUTHORS: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 197-200
AUTHORS: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 197-200
2890
TITLE: Conclusions
AUTHORS: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 197-200
AUTHORS: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 197-200
2891
TITLE: Construção de Amostras de Dados do Twitter
AUTHORS: Tiago Magalhães; Sérgio Nunes ;
PUBLISHED: 2013
AUTHORS: Tiago Magalhães; Sérgio Nunes ;
PUBLISHED: 2013
2892
2893
TITLE: Context-based health information retrieval
AUTHORS: Carla Teixeira Lopes ;
PUBLISHED: 2013, SOURCE: SIGIR Forum, VOLUME: 47, ISSUE: 2, PAGES: 141-142
AUTHORS: Carla Teixeira Lopes ;
PUBLISHED: 2013, SOURCE: SIGIR Forum, VOLUME: 47, ISSUE: 2, PAGES: 141-142
2894
TITLE: Controlling a complete hardware synthesis toolchain with LARA aspects
AUTHORS: Joao M P Cardoso ; Tiago Carvalho ; Jose G F Coutinho; Ricardo Nobre ; Razvan Nane; Pedro C Diniz ; Zlatko Petrov; Wayne Luk; Koen Bertels;
PUBLISHED: 2013, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 37, ISSUE: 8, PAGES: 1073-1089
AUTHORS: Joao M P Cardoso ; Tiago Carvalho ; Jose G F Coutinho; Ricardo Nobre ; Razvan Nane; Pedro C Diniz ; Zlatko Petrov; Wayne Luk; Koen Bertels;
PUBLISHED: 2013, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 37, ISSUE: 8, PAGES: 1073-1089
2895
TITLE: Crowd Simulation Modeling Applied to Emergency and Evacuation Simulations using Multi-Agent Systems
AUTHORS: João Emílio Almeida; Rosaldo J F Rossetti ; António Leça Coelho;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.4692
AUTHORS: João Emílio Almeida; Rosaldo J F Rossetti ; António Leça Coelho;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.4692
2896
TITLE: Cues for Scent Intensification in Debugging
AUTHORS: Alexandre Perez ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), PAGES: 120-125
AUTHORS: Alexandre Perez ; Rui Abreu ;
PUBLISHED: 2013, SOURCE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), PAGES: 120-125
2897
TITLE: DATAFLASKS: an epidemic dependable key-value substrate
AUTHORS: Maia, F ; Matos, M ; Vilaca, R ; Pereira, J ; Oliveira, R ; Riviere, E;
PUBLISHED: 2013, SOURCE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PAGES: 1-6
AUTHORS: Maia, F ; Matos, M ; Vilaca, R ; Pereira, J ; Oliveira, R ; Riviere, E;
PUBLISHED: 2013, SOURCE: 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) in 2013 43RD ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS (DSN), PAGES: 1-6
2898
TITLE: Datasets of a panoramic view on Metadata Application Profiles of the last decade
AUTHORS: Mariana C Malta ; Ana A Baptista;
PUBLISHED: 2013
AUTHORS: Mariana C Malta ; Ana A Baptista;
PUBLISHED: 2013
2899
TITLE: Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
AUTHORS: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLISHED: 2013, SOURCE: 15th International Conference on Formal Engineering Methods, ICFEM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8144 LNCS, PAGES: 165-181
AUTHORS: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLISHED: 2013, SOURCE: 15th International Conference on Formal Engineering Methods, ICFEM 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8144 LNCS, PAGES: 165-181
2900
TITLE: Definition of a retrospective health information policy based on (re)use study
AUTHORS: Goncalves, F; David, G ;
PUBLISHED: 2013, SOURCE: Handbook of Research on ICTs and Management Systems for Improving Efficiency in Healthcare and Social Care, PAGES: 1130-1155
AUTHORS: Goncalves, F; David, G ;
PUBLISHED: 2013, SOURCE: Handbook of Research on ICTs and Management Systems for Improving Efficiency in Healthcare and Social Care, PAGES: 1130-1155