Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 4625
61 Team MembersFilters -> Year: 2026
3181
TÃTULO: Report from the 8th international conference on the quality of information and communications technology (QUATIC 2012)
AUTORES: João Pascoal Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2013, FONTE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 38, NÚMERO: 1, PÁGINAS: 39-41
AUTORES: João Pascoal Faria ; Ana C R Paiva ;
PUBLICAÇÃO: 2013, FONTE: ACM SIGSOFT Softw. Eng. Notes, VOLUME: 38, NÚMERO: 1, PÁGINAS: 39-41
3182
TÃTULO: Retrieval of Very Large Temporal Datasets for Interactive Tasks
AUTORES: Alexandre Valle de Carvalho ; Marco Amaro Oliveira ; Artur Rocha ;
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: Alexandre Valle de Carvalho ; Marco Amaro Oliveira ; Artur Rocha ;
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)
3183
TÃTULO: Risk assessment through argumentation over contractual data
AUTORES: Pedro Brandao Neto; Ana Paula Rocha ; 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: Pedro Brandao Neto; Ana Paula Rocha ; 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)
3184
TÃTULO: Robust graph traversal: Resiliency techniques for data intensive supercomputing
AUTORES: Hukerikar, S; Diniz, PC ; Lucas, RF;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE High Performance Extreme Computing Conference, HPEC 2013 in 2013 IEEE High Performance Extreme Computing Conference, HPEC 2013
AUTORES: Hukerikar, S; Diniz, PC ; Lucas, RF;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE High Performance Extreme Computing Conference, HPEC 2013 in 2013 IEEE High Performance Extreme Computing Conference, HPEC 2013
3185
TÃTULO: Senior-driven design and development of tablet-based cognitive games
AUTORES: Marques, J; Vasconcelos, A; Teixeira, LF ;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Wearable Micro and Nano Technologies for Personalized Health, pHealth 2013 in Studies in Health Technology and Informatics, VOLUME: 189, PÁGINAS: 133-138
AUTORES: Marques, J; Vasconcelos, A; Teixeira, LF ;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Wearable Micro and Nano Technologies for Personalized Health, pHealth 2013 in Studies in Health Technology and Informatics, VOLUME: 189, PÁGINAS: 133-138
3186
TÃTULO: Ship damage control action simulation using HLA
AUTORES: Martins, PT; Rossetti, RJF ; Brito, AC ;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 90-99
AUTORES: Martins, PT; Rossetti, RJF ; Brito, AC ;
PUBLICAÇÃO: 2013, FONTE: 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, PÁGINAS: 90-99
3187
TÃTULO: Shrinking a database to perform SQL mutation tests using an evolutionary algorithm
AUTORES: Ana Claudia Bastos Loureiro Monção; Celso G Camilo Junior; Leonardo T Queiroz; Cássio L Rodrigues; Plínio de Sá Leitão Júnior; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2013, FONTE: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2013, Cancun, Mexico, June 20-23, 2013, PÁGINAS: 2533-2539
AUTORES: Ana Claudia Bastos Loureiro Monção; Celso G Camilo Junior; Leonardo T Queiroz; Cássio L Rodrigues; Plínio de Sá Leitão Júnior; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2013, FONTE: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2013, Cancun, Mexico, June 20-23, 2013, PÁGINAS: 2533-2539
3188
TÃTULO: Shrinking a Database to Perform SQL Mutation Tests Using an Evolutionary Algorithm
AUTORES: Moncao, ACBL; Camilo, CG; Queiroz, LT; Rodrigues, CL; Leitao, PD; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 2533-2539
AUTORES: Moncao, ACBL; Camilo, CG; Queiroz, LT; Rodrigues, CL; Leitao, PD; VINCENZI, AURI M. R. ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PÁGINAS: 2533-2539
3189
TÃTULO: SIARD Archive Browser - The Components
AUTORES: Arif Ur Rahman; Gabriel David ; Cristina Ribeiro ;
PUBLICAÇÃO: 2013, FONTE: ICADL, VOLUME: 8279 LNCS, PÁGINAS: 188-189
AUTORES: Arif Ur Rahman; Gabriel David ; Cristina Ribeiro ;
PUBLICAÇÃO: 2013, FONTE: ICADL, VOLUME: 8279 LNCS, PÁGINAS: 188-189
3190
TÃTULO: Slicing as a Distributed Systems Primitive
AUTORES: Maia, F ; Matos, M ; Oliveira, R ; Rivière, E;
PUBLICAÇÃO: 2013, FONTE: 6th Latin-American Symposium on Dependable Computing (LADC) in 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PÁGINAS: 124-133
AUTORES: Maia, F ; Matos, M ; Oliveira, R ; Rivière, E;
PUBLICAÇÃO: 2013, FONTE: 6th Latin-American Symposium on Dependable Computing (LADC) in 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PÁGINAS: 124-133
3191
TÃTULO: Space Allocation in the Retail Industry: A Decision Support System Integrating Evolutionary Algorithms and Regression Models
AUTORES: Fábio Pinto; Carlos Soares ;
PUBLICAÇÃO: 2013, FONTE: ECML/PKDD (3), VOLUME: 8190 LNAI, NÚMERO: PART 3, PÁGINAS: 531-546
AUTORES: Fábio Pinto; Carlos Soares ;
PUBLICAÇÃO: 2013, FONTE: ECML/PKDD (3), VOLUME: 8190 LNAI, NÚMERO: PART 3, PÁGINAS: 531-546
3192
TÃTULO: Specifying a Semantic Wiki Ontology through a Collaborative Reconceptualisation Process
AUTORES: Antnio Lucas Soares ; Cristovao Sousa ; Carla Pereira ;
PUBLICAÇÃO: 2013, FONTE: On The Move (OTM) Federated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, VOLUME: 8186, PÁGINAS: 618-627
AUTORES: Antnio Lucas Soares ; Cristovao Sousa ; Carla Pereira ;
PUBLICAÇÃO: 2013, FONTE: On The Move (OTM) Federated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2013 WORKSHOPS, VOLUME: 8186, PÁGINAS: 618-627
3193
TÃTULO: Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation
AUTORES: André C Santos; João M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29, PÁGINAS: 219-234
AUTORES: André C Santos; João M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira;
PUBLICAÇÃO: 2013, FONTE: SLATE, VOLUME: 29, PÁGINAS: 219-234
3194
TÃTULO: Spectrum-based fault localization for diagnosing concurrency faults
AUTORES: Koca, F; Sozer, H; Abreu, R ;
PUBLICAÇÃO: 2013, FONTE: 25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8254 LNCS, PÁGINAS: 239-254
AUTORES: Koca, F; Sozer, H; Abreu, R ;
PUBLICAÇÃO: 2013, FONTE: 25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8254 LNCS, PÁGINAS: 239-254
3195
TÃTULO: Speeding-up poker game abstraction computation: Average rank strength
AUTORES: Teofilo, LF; Reis, LP ; Cardoso, HL ;
PUBLICAÇÃO: 2013, FONTE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-08, PÁGINAS: 56-64
AUTORES: Teofilo, LF; Reis, LP ; Cardoso, HL ;
PUBLICAÇÃO: 2013, FONTE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-08, PÁGINAS: 56-64
3196
TÃTULO: STAlz: Remotely supporting the diagnosis, tracking and rehabilitation of patients with Alzheimer's
AUTORES: Moreira, H; Oliveira, R; Flores, N ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, PÁGINAS: 580-584
AUTORES: Moreira, H; Oliveira, R; Flores, N ;
PUBLICAÇÃO: 2013, FONTE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, PÁGINAS: 580-584
3197
TÃTULO: State of the art on methodologies for the development of a metadata application profile
AUTORES: Malta, MC ; Baptista, AA ;
PUBLICAÇÃO: 2013, FONTE: International Journal of Metadata, Semantics and Ontologies, VOLUME: 8, NÚMERO: 4, PÁGINAS: 332-341
AUTORES: Malta, MC ; Baptista, AA ;
PUBLICAÇÃO: 2013, FONTE: International Journal of Metadata, Semantics and Ontologies, VOLUME: 8, NÚMERO: 4, PÁGINAS: 332-341
3198
TÃTULO: Supporting conceptualisation processes in collaborative networks: a case study on an R&D project
AUTORES: Carla Pereira ; Cristovao Sousa ; Antonio Lucas Soares ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 26, NÚMERO: 11, PÁGINAS: 1066-1086
AUTORES: Carla Pereira ; Cristovao Sousa ; Antonio Lucas Soares ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 26, NÚMERO: 11, PÁGINAS: 1066-1086
3199
TÃTULO: SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine
AUTORES: Marek Zawirski; Annette Bieniusa; Valter Balegas; Sérgio Duarte; Carlos Baquero ; Marc Shapiro; Nuno M Preguiça ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.3107
AUTORES: Marek Zawirski; Annette Bieniusa; Valter Balegas; Sérgio Duarte; Carlos Baquero ; Marc Shapiro; Nuno M Preguiça ;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1310.3107
3200
TÃTULO: Techniques and Toolset for Conformance Testing against UML Sequence Diagrams
AUTORES: João Pascoal Faria ; Ana C R Paiva ; Mário Ventura de Castro;
PUBLICAÇÃO: 2013, FONTE: ICTSS, VOLUME: 8254 LNCS, PÁGINAS: 180-195
AUTORES: João Pascoal Faria ; Ana C R Paiva ; Mário Ventura de Castro;
PUBLICAÇÃO: 2013, FONTE: ICTSS, VOLUME: 8254 LNCS, PÁGINAS: 180-195
