Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática

AuthID: I-000-0K9


Publications Count: 4615

61 Team Members
Filters -> Year: 2026
3041
TITLE: Composing Classes <i>Roles Vs Traits</i>
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
3042
TITLE: Composing Least-change Lenses
AUTHORS: Nuno Macedo ; Hugo Pacheco ; Alcino Cunha ; José Nuno Oliveira ;
PUBLISHED: 2013, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 57
3043
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 M Ferreira Calado; Pedro Mendes; Nuno Cruz; Vitor Pereira; Nuno Passos;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1301.5946
3044
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)
3045
3046
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
3047
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
3048
TITLE: Construção de Amostras de Dados do Twitter
AUTHORS: Tiago Magalhães; Sérgio Nunes ;
PUBLISHED: 2013
3049
TITLE: Context-based health information retrieval
AUTHORS: Carla Teixeira Lopes ;
PUBLISHED: 2013, SOURCE: SIGIR Forum, VOLUME: 47, ISSUE: 2, PAGES: 141-142
3050
TITLE: Controlling a complete hardware synthesis toolchain with LARA aspects
AUTHORS: Cardoso, JMP ; Carvalho, T ; Coutinho, JGF; Nobre, R ; Nane, R; Diniz, PC ; Petrov, Z; Luk, W; Bertels, K;
PUBLISHED: 2013, SOURCE: MICROPROCESSORS AND MICROSYSTEMS, VOLUME: 37, ISSUE: 8, PAGES: 1073-1089
3051
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
3052
TITLE: Cues for Scent Intensification in Debugging
AUTHORS: Perez, A ; Abreu, R ;
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
3053
TITLE: Data Mining based Methodologies for Cardiac Risk Patterns Identification
AUTHORS: Almeidal, VG ; Borba, J; Pereira, T ; Pereira, HC; Cardoso, J ; Correia, C ;
PUBLISHED: 2013, SOURCE: 4th International Conference on Bioinformatics Models, Methods and Algorithms (BIOINFORMATICS) in BIOINFORMATICS 2013: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON BIOINFORMATICS MODELS, METHODS AND ALGORITHMS, PAGES: 127-133
3054
TITLE: DATAFLASKS: an epidemic dependable key-value substrate
AUTHORS: Maia, F ; Matos, M ; Vilaça, R ; Pereira, J ; Oliveira, R ; Rivière, 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
3055
3056
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
3057
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
3058
TITLE: Deriving Resource Efficient Designs Using the REFLECT Aspect-Oriented Approach
AUTHORS: Coutinho, JGF; Cardoso, JMP ; Carvalho, T ; Nobre, R ; Bhattacharya, S; Diniz, PC ; Fitzpatrick, L; Nane, R;
PUBLISHED: 2013, SOURCE: 9th International Applied Reconfigurable Computing Symposium (ARC) in RECONFIGURABLE COMPUTING: ARCHITECTURES, TOOLS AND APPLICATIONS, VOLUME: 7806, PAGES: 226-228
3059
3060
TITLE: Determining language variant in microblog messages
AUTHORS: Gustavo Laboreiro; Matko Bosnjak; Luís Sarmento; Eduarda Mendes Rodrigues; Eugénio C Oliveira ;
PUBLISHED: 2013, SOURCE: SAC, PAGES: 902-907

Results per Page: 20.
Page 153 of 231. Total results: 4615.