Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9 Publications Count: 4728
62 Team MembersFilters -> Year: 2026
3281
TITLE: Reconfigurable Computing: Architectures, Tools and Applications - 9th International Symposium, ARC 2013, Los Angeles, CA, USA, March 25-27, 2013. Proceedings
AUTHORS: Philip Brisk; José Gabriel F. Coutinho; Pedro C. Diniz ;
PUBLISHED: 2013, SOURCE: ARC, VOLUME: 7806
AUTHORS: Philip Brisk; José Gabriel F. Coutinho; Pedro C. Diniz ;
PUBLISHED: 2013, SOURCE: ARC, VOLUME: 7806
3282
TITLE: Refactoring to static roles
AUTHORS: F.S. Barbosa; Ademar Aguiar ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Software Engineering Advances (ICSEA 2012)
AUTHORS: F.S. Barbosa; Ademar Aguiar ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Software Engineering Advances (ICSEA 2012)
3283
TITLE: Regulated MAS: Social Perspective
AUTHORS: Pablo Noriega; Amit K Chopra; Nicoletta Fornara; Henrique Lopes Cardoso ; Munindar P Singh;
PUBLISHED: 2013, SOURCE: Normative Multi-Agent Systems, PAGES: 93-133
AUTHORS: Pablo Noriega; Amit K Chopra; Nicoletta Fornara; Henrique Lopes Cardoso ; Munindar P Singh;
PUBLISHED: 2013, SOURCE: Normative Multi-Agent Systems, PAGES: 93-133
3284
TITLE: Related Work
AUTHORS: João M P Cardoso ; José Gabriel de F. Coutinho; Pedro C Diniz;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 181-195
AUTHORS: João M P Cardoso ; José Gabriel de F. Coutinho; Pedro C Diniz;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems, PAGES: 181-195
3285
TITLE: Related work
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 181-195
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 181-195
3286
TITLE: Removing Code Duplication with Roles
AUTHORS: Fernando Sérgio Barbosa; Ademar Aguiar ;
PUBLISHED: 2013, SOURCE: SoMeT, PAGES: 37-42
AUTHORS: Fernando Sérgio Barbosa; Ademar Aguiar ;
PUBLISHED: 2013, SOURCE: SoMeT, PAGES: 37-42
3287
TITLE: Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)
AUTHORS: João Pascoal Faria ; Ana C R Paiva ;
PUBLISHED: 2013, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 38, ISSUE: 1, PAGES: 39-41
AUTHORS: João Pascoal Faria ; Ana C R Paiva ;
PUBLISHED: 2013, SOURCE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 38, ISSUE: 1, PAGES: 39-41
3288
TITLE: Retrieval of Very Large Temporal Datasets for Interactive Tasks
AUTHORS: Alexandre Valle de Carvalho ; Marco Amaro Oliveira ; Artur Rocha ;
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: Alexandre Valle de Carvalho ; Marco Amaro Oliveira ; Artur Rocha ;
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)
3289
TITLE: Risk assessment through argumentation over contractual data
AUTHORS: Pedro Brandao Neto; Ana Paula Rocha ; 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: Pedro Brandao Neto; Ana Paula Rocha ; 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)
3290
TITLE: Robust graph traversal: Resiliency techniques for data intensive supercomputing
AUTHORS: Hukerikar, S; Diniz, PC ; Lucas, RF;
PUBLISHED: 2013, SOURCE: 2013 IEEE High Performance Extreme Computing Conference, HPEC 2013 in 2013 IEEE High Performance Extreme Computing Conference, HPEC 2013
AUTHORS: Hukerikar, S; Diniz, PC ; Lucas, RF;
PUBLISHED: 2013, SOURCE: 2013 IEEE High Performance Extreme Computing Conference, HPEC 2013 in 2013 IEEE High Performance Extreme Computing Conference, HPEC 2013
3291
TITLE: Senior-driven design and development of tablet-based cognitive games
AUTHORS: Marques, J; Vasconcelos, A; Teixeira, LF ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Wearable Micro and Nano Technologies for Personalized Health, pHealth 2013 in Studies in Health Technology and Informatics, VOLUME: 189, PAGES: 133-138
AUTHORS: Marques, J; Vasconcelos, A; Teixeira, LF ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Wearable Micro and Nano Technologies for Personalized Health, pHealth 2013 in Studies in Health Technology and Informatics, VOLUME: 189, PAGES: 133-138
3292
TITLE: Ship damage control action simulation using HLA
AUTHORS: Martins, PT; Rossetti, RJF ; Brito, AC ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2013, Held at the 10th International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013 in 15th Int. Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2013, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013, PAGES: 90-99
AUTHORS: Martins, PT; Rossetti, RJF ; Brito, AC ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2013, Held at the 10th International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013 in 15th Int. Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2013, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013, PAGES: 90-99
3293
TITLE: Shrinking a Database to Perform SQL Mutation Tests Using an Evolutionary Algorithm
AUTHORS: Moncao, ACBL; Camilo, CG; Queiroz, LT; Rodrigues, CL; Leitao, PD; Vincenzi, AMR ;
PUBLISHED: 2013, SOURCE: 2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2533-2539
AUTHORS: Moncao, ACBL; Camilo, CG; Queiroz, LT; Rodrigues, CL; Leitao, PD; Vincenzi, AMR ;
PUBLISHED: 2013, SOURCE: 2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2533-2539
3294
TITLE: SIARD Archive Browser - The Components
AUTHORS: Arif Ur Rahman; Gabriel David ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: ICADL, VOLUME: 8279 LNCS, PAGES: 188-189
AUTHORS: Arif Ur Rahman; Gabriel David ; Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: ICADL, VOLUME: 8279 LNCS, PAGES: 188-189
3295
TITLE: Slicing as a Distributed Systems Primitive
AUTHORS: Maia, F ; Matos, M ; Oliveira, R ; Rivière, E;
PUBLISHED: 2013, SOURCE: 6th Latin-American Symposium on Dependable Computing (LADC) in 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PAGES: 124-133
AUTHORS: Maia, F ; Matos, M ; Oliveira, R ; Rivière, E;
PUBLISHED: 2013, SOURCE: 6th Latin-American Symposium on Dependable Computing (LADC) in 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PAGES: 124-133
3296
TITLE: Space Allocation in the Retail Industry: A Decision Support System Integrating Evolutionary Algorithms and Regression Models
AUTHORS: Fábio Pinto; Carlos Soares ;
PUBLISHED: 2013, SOURCE: ECML/PKDD (3), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 531-546
AUTHORS: Fábio Pinto; Carlos Soares ;
PUBLISHED: 2013, SOURCE: ECML/PKDD (3), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 531-546
3297
TITLE: Specifying a Semantic Wiki Ontology through a Collaborative Reconceptualisation Process
AUTHORS: Antnio Lucas Soares ; Cristovao Sousa ; Carla Pereira ;
PUBLISHED: 2013, SOURCE: On The Move (OTM) Federated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, VOLUME: 8186, PAGES: 618-627
AUTHORS: Antnio Lucas Soares ; Cristovao Sousa ; Carla Pereira ;
PUBLISHED: 2013, SOURCE: On The Move (OTM) Federated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, VOLUME: 8186, PAGES: 618-627
3298
TITLE: Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation
AUTHORS: André C Santos; João M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29, PAGES: 219-234
AUTHORS: André C Santos; João M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29, PAGES: 219-234
3299
TITLE: Spectrum-Based Fault Localization for Diagnosing Concurrency Faults
AUTHORS: Feyzullah Koca; Hasan Sözer; Rui Abreu ;
PUBLISHED: 2013, SOURCE: ICTSS, VOLUME: 8254 LNCS, PAGES: 239-254
AUTHORS: Feyzullah Koca; Hasan Sözer; Rui Abreu ;
PUBLISHED: 2013, SOURCE: ICTSS, VOLUME: 8254 LNCS, PAGES: 239-254
3300
TITLE: Speeding-up poker game abstraction computation: Average rank strength
AUTHORS: Teofilo, LF; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-08, PAGES: 56-64
AUTHORS: Teofilo, LF; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-08, PAGES: 56-64
