Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4732
62 Team MembersFilters -> Year: 2026
3161
TÃTULO: Composing Least-change Lenses
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLICAÇÃO: 2013, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 57
AUTORES: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLICAÇÃO: 2013, FONTE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 57
3162
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 M Ferreira Calado; Pedro Mendes; Nuno Alexandre 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 M Ferreira Calado; Pedro Mendes; Nuno Alexandre Cruz; Vitor Pereira; Nuno Passos;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1301.5946
3163
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
3164
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)
3165
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
3166
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
3167
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
3168
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
3169
TÃTULO: Controlling a complete hardware synthesis toolchain with LARA aspects
AUTORES: Cardoso, JMP ; Carvalho, T ; Coutinho, JGF; Nobre, R ; Nane, R; Diniz, PC ; Petrov, Z; Luk, W; Bertels, K;
PUBLICAÇÃO: 2013, FONTE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 37, NÚMERO: 8, PÁGINAS: 1073-1089
AUTORES: Cardoso, JMP ; Carvalho, T ; Coutinho, JGF; Nobre, R ; Nane, R; Diniz, PC ; Petrov, Z; Luk, W; Bertels, K;
PUBLICAÇÃO: 2013, FONTE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 37, NÚMERO: 8, PÁGINAS: 1073-1089
3170
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 ; Fábio Aguiar; Eugénio Oliveira ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.4692, PÁGINAS: 149-161
AUTORES: João Emílio Almeida; Rosaldo J F Rossetti ; Fábio Aguiar; Eugénio Oliveira ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.4692, PÁGINAS: 149-161
3171
TÃTULO: Cues for Scent Intensification in Debugging
AUTORES: Perez, A ; Abreu, R ;
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: Perez, A ; Abreu, R ;
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
3172
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
3173
TÃTULO: DATAFLASKS: an epidemic dependable key-value substrate
AUTORES: Maia, F ; Matos, M ; Vilaça, R ; Pereira, J ; Oliveira, R ; Rivière, 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 ; Vilaça, R ; Pereira, J ; Oliveira, R ; Rivière, 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
3174
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
3175
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
3176
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
3177
TÃTULO: Deriving Resource Efficient Designs Using the REFLECT Aspect-Oriented Approach
AUTORES: Coutinho, JGF; Cardoso, JMP ; Carvalho, T ; Nobre, R ; Bhattacharya, S; Diniz, PC ; Fitzpatrick, L; Nane, R;
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: Coutinho, JGF; Cardoso, JMP ; Carvalho, T ; Nobre, R ; Bhattacharya, S; Diniz, PC ; Fitzpatrick, L; Nane, R;
PUBLICAÇÃO: 2013, FONTE: 9th International Applied Reconfigurable Computing Symposium (ARC) in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 7806, PÁGINAS: 226-228
3178
TÃTULO: Designing an Application Profile Using Qualified Dublin Core: A Case Study with Fracture Mechanics Datasets
AUTORES: João Aguiar Castro ; Cristina Ribeiro ; João Rocha da Silva ;
PUBLICAÇÃO: 2013, FONTE: Dublin Core Conference, PÁGINAS: 47-52
AUTORES: João Aguiar Castro ; Cristina Ribeiro ; João Rocha da Silva ;
PUBLICAÇÃO: 2013, FONTE: Dublin Core Conference, PÁGINAS: 47-52
3179
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: SAC, PÁGINAS: 902-907
AUTORES: Gustavo Laboreiro; Matko Bosnjak; Luís Sarmento; Eduarda Mendes Rodrigues; Eugénio C Oliveira ;
PUBLICAÇÃO: 2013, FONTE: SAC, PÁGINAS: 902-907
3180
TÃTULO: Diagnosing architectural run-time failures
AUTORES: Paulo Casanova; David Garlan; Bradley R Schmerl; Rui Abreu ;
PUBLICAÇÃO: 2013, FONTE: SEAMS, PÁGINAS: 103-112
AUTORES: Paulo Casanova; David Garlan; Bradley R Schmerl; Rui Abreu ;
PUBLICAÇÃO: 2013, FONTE: SEAMS, PÁGINAS: 103-112