Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4645
60 Team MembersFilters -> Year: 2026
3061
TÃTULO: Composing Least-change Lenses
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 57
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLICAÇÃO: 2013, FONTE: ECEASST, VOLUME: 57
3062
TÃTULO: Computer Poker Research at LIACC
AUTORES: 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;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.5946
AUTORES: 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;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.5946
3063
TÃTULO: Computing Card Probabilities in Texas Hold'em
AUTORES: Luis Filipe Teofilo ; Luis Paulo Reis ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
AUTORES: Luis Filipe Teofilo ; Luis Paulo Reis ; Henrique Lopes Cardoso ;
PUBLICAÇÃO: 2013, FONTE: 8th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2013 8TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2013)
3064
TÃTULO: Computing card probabilities in Texas Hold'em
AUTORES: Luís F Teófilo; Luís P Reis ; Henrique L Cardoso ;
PUBLICAÇÃO: 2013
AUTORES: Luís F Teófilo; Luís P Reis ; Henrique L Cardoso ;
PUBLICAÇÃO: 2013
3065
TÃTULO: Conclusions
AUTORES: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems, PÁGINAS: 197-200
AUTORES: Pedro C Diniz ; João M P Cardoso ; José Gabriel de F. Coutinho; Zlatko Petrov;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems, PÁGINAS: 197-200
3066
TÃTULO: Conclusions
AUTORES: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PÁGINAS: 197-200
AUTORES: Diniz, PC ; Cardoso, JMP ; De F. Coutinho, JG; Petrov, Z;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PÁGINAS: 197-200
3067
TÃTULO: Construção de Amostras de Dados do Twitter
AUTORES: Tiago Magalhães; Sérgio Nunes ;
PUBLICAÇÃO: 2013
AUTORES: Tiago Magalhães; Sérgio Nunes ;
PUBLICAÇÃO: 2013
3068
TÃTULO: Context-based health information retrieval
AUTORES: Carla Teixeira Lopes ;
PUBLICAÇÃO: 2013, FONTE: SIGIR Forum, VOLUME: 47, NÚMERO: 2, PÁGINAS: 141-142
AUTORES: Carla Teixeira Lopes ;
PUBLICAÇÃO: 2013, FONTE: SIGIR Forum, VOLUME: 47, NÚMERO: 2, PÁGINAS: 141-142
3069
TÃTULO: Controlling a complete hardware synthesis toolchain with LARA aspects
AUTORES: Joao M P Cardoso ; Tiago Carvalho ; Jose G F Coutinho; Ricardo Nobre ; Razvan Nane; Pedro C Diniz ; Zlatko Petrov; Wayne Luk; Koen Bertels;
PUBLICAÇÃO: 2013, FONTE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 37, NÚMERO: 8, PÁGINAS: 1073-1089
AUTORES: Joao M P Cardoso ; Tiago Carvalho ; Jose G F Coutinho; Ricardo Nobre ; Razvan Nane; Pedro C Diniz ; Zlatko Petrov; Wayne Luk; Koen Bertels;
PUBLICAÇÃO: 2013, FONTE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 37, NÚMERO: 8, PÁGINAS: 1073-1089
3070
TÃTULO: Crowd Simulation Modeling Applied to Emergency and Evacuation Simulations using Multi-Agent Systems
AUTORES: João Emílio Almeida; Rosaldo J F Rossetti ; António Leça Coelho;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.4692
AUTORES: João Emílio Almeida; Rosaldo J F Rossetti ; António Leça Coelho;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.4692
3071
TÃTULO: Cues for Scent Intensification in Debugging
AUTORES: Alexandre Perez ; Rui Abreu ;
PUBLICAÇÃO: 2013, FONTE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), PÁGINAS: 120-125
AUTORES: Alexandre Perez ; Rui Abreu ;
PUBLICAÇÃO: 2013, FONTE: IEEE 24th International Symposium on Software Reliability Engineering Workshops (ISSREW) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSREW), PÁGINAS: 120-125
3072
TÃTULO: Data Mining based Methodologies for Cardiac Risk Patterns Identification
AUTORES: Almeidal, VG ; Borba, J; Pereira, T ; Pereira, HC; Cardoso, J ; Correia, C ;
PUBLICAÇÃO: 2013, FONTE: 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) in BIOINFORMATICS 2013: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIOINFORMATICS MODELS, METHODS AND ALGORITHMS, PÁGINAS: 127-133
AUTORES: Almeidal, VG ; Borba, J; Pereira, T ; Pereira, HC; Cardoso, J ; Correia, C ;
PUBLICAÇÃO: 2013, FONTE: 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) in BIOINFORMATICS 2013: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIOINFORMATICS MODELS, METHODS AND ALGORITHMS, PÁGINAS: 127-133
3073
TÃTULO: DATAFLASKS: an epidemic dependable key-value substrate
AUTORES: Maia, F ; Matos, M ; Vilaca, R ; Pereira, J ; Oliveira, R ; Riviere, E;
PUBLICAÇÃO: 2013, FONTE: 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), PÁGINAS: 1-6
AUTORES: Maia, F ; Matos, M ; Vilaca, R ; Pereira, J ; Oliveira, R ; Riviere, E;
PUBLICAÇÃO: 2013, FONTE: 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), PÁGINAS: 1-6
3074
TÃTULO: Datasets of a panoramic view on Metadata Application Profiles of the last decade
AUTORES: Mariana C Malta ; Ana A Baptista;
PUBLICAÇÃO: 2013
AUTORES: Mariana C Malta ; Ana A Baptista;
PUBLICAÇÃO: 2013
3075
TÃTULO: Deadline analysis of AUTOSAR OS periodic tasks in the presence of interrupts
AUTORES: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 165-181
AUTORES: Huang, Y; Ferreira, JF ; He, G; Qin, S; He, J;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 165-181
3076
TÃTULO: Definition of a retrospective health information policy based on (re)use study
AUTORES: Goncalves, F; David, G ;
PUBLICAÇÃO: 2013, FONTE: Handbook of Research on ICTs and Management Systems for Improving Efficiency in Healthcare and Social Care, PÁGINAS: 1130-1155
AUTORES: Goncalves, F; David, G ;
PUBLICAÇÃO: 2013, FONTE: Handbook of Research on ICTs and Management Systems for Improving Efficiency in Healthcare and Social Care, PÁGINAS: 1130-1155
3077
TÃTULO: Deriving Resource Efficient Designs Using the REFLECT Aspect-Oriented Approach
AUTORES: Jose G F Coutinho; Joao M P Cardoso ; Tiago Carvalho ; Ricardo Nobre ; Sujit Bhattacharya; Pedro C Diniz ; Liam Fitzpatrick; Razvan Nane;
PUBLICAÇÃO: 2013, FONTE: 9th International Applied Reconfigurable Computing Symposium (ARC) in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 7806, PÁGINAS: 226-228
AUTORES: Jose G F Coutinho; Joao M P Cardoso ; Tiago Carvalho ; Ricardo Nobre ; Sujit Bhattacharya; Pedro C Diniz ; Liam Fitzpatrick; Razvan Nane;
PUBLICAÇÃO: 2013, FONTE: 9th International Applied Reconfigurable Computing Symposium (ARC) in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 7806, PÁGINAS: 226-228
3078
TÃTULO: Designing an application profile using qualified Dublin core: A case study with fracture mechanics datasets
AUTORES: Castro, JA ; Ribeiro, C ; Da Silva, JR ;
PUBLICAÇÃO: 2013, FONTE: 2013 International Conference on Dublin Core and Metadata Applications: Linking to the Future, DC 2013 in Proceedings of the International Conference on Dublin Core and Metadata Applications, PÁGINAS: 47-52
AUTORES: Castro, JA ; Ribeiro, C ; Da Silva, JR ;
PUBLICAÇÃO: 2013, FONTE: 2013 International Conference on Dublin Core and Metadata Applications: Linking to the Future, DC 2013 in Proceedings of the International Conference on Dublin Core and Metadata Applications, PÁGINAS: 47-52
3079
TÃTULO: Determining language variant in microblog messages
AUTORES: Gustavo Laboreiro; Matko Bosnjak; Luís Sarmento; Eduarda Mendes Rodrigues; Eugénio C. Oliveira ;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, PÁGINAS: 902-907
AUTORES: Gustavo Laboreiro; Matko Bosnjak; Luís Sarmento; Eduarda Mendes Rodrigues; Eugénio C. Oliveira ;
PUBLICAÇÃO: 2013, FONTE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC '13, Coimbra, Portugal, March 18-22, 2013, PÁGINAS: 902-907
3080
TÃTULO: Diagnosing architectural run-time failures
AUTORES: Casanova, P; Garlan, D; Schmerl, B; Abreu, R ;
PUBLICAÇÃO: 2013, FONTE: 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013 in ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, PÁGINAS: 103-112
AUTORES: Casanova, P; Garlan, D; Schmerl, B; Abreu, R ;
PUBLICAÇÃO: 2013, FONTE: 2013 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2013 in ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, PÁGINAS: 103-112
