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

AuthID: I-000-0K9


Publications Count: 4490

56 Team Members
Filters -> Year: 2025
3061
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
3062
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
3063
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
3064
TITLE: Shrinking a database to perform SQL mutation tests using an evolutionary algorithm
AUTHORS: 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. ;
PUBLISHED: 2013, SOURCE: Proceedings of the IEEE Congress on Evolutionary Computation, CEC 2013, Cancun, Mexico, June 20-23, 2013, PAGES: 2533-2539
3065
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, AURI M. R. ;
PUBLISHED: 2013, SOURCE: 2013 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2533-2539
3066
TITLE: SIARD archive browser - The components
AUTHORS: Rahman, AU; David, G ; Ribeiro, C ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Asia-Pacific Digital Libraries, ICADL 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8279 LNCS, PAGES: 188-189
3067
TITLE: Slicing as a Distributed Systems Primitive
AUTHORS: Francisco Maia ; Miguel Matos ; Rui Oliveira ; Etienne Riviere;
PUBLISHED: 2013, SOURCE: 6th Latin-American Symposium on Dependable Computing (LADC) in 2013 SIXTH LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), PAGES: 124-133
3068
TITLE: Space allocation in the retail industry: A decision support system integrating evolutionary algorithms and regression models
AUTHORS: Pinto, F; Soares, C ;
PUBLISHED: 2013, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 531-546
3069
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
3070
TITLE: Specifying adaptations through a DSL with an application to mobile robot navigation
AUTHORS: Santos, AC; Cardoso, JMP ; Diniz, PC ; Ferreira, DR;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29, PAGES: 219-234
3071
TITLE: Spectrum-based fault localization for diagnosing concurrency faults
AUTHORS: Koca, F; Sozer, H; Abreu, R ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 239-254
3072
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
3073
TITLE: STAlz: Remotely supporting the diagnosis, tracking and rehabilitation of patients with Alzheimer's
AUTHORS: Moreira, H; Oliveira, R; Flores, N ;
PUBLISHED: 2013, SOURCE: 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, PAGES: 580-584
3074
TITLE: State of the art on methodologies for the development of a metadata application profile
AUTHORS: Malta, MC ; Baptista, AA ;
PUBLISHED: 2013, SOURCE: International Journal of Metadata, Semantics and Ontologies, VOLUME: 8, ISSUE: 4, PAGES: 332-341
3075
TITLE: Supporting conceptualisation processes in collaborative networks: a case study on an R&D project
AUTHORS: Carla Pereira ; Cristovao Sousa ; Antonio Lucas Soares ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTER INTEGRATED MANUFACTURING, VOLUME: 26, ISSUE: 11, PAGES: 1066-1086
3076
TITLE: SwiftCloud: Fault-Tolerant Geo-Replication Integrated all the Way to the Client Machine
AUTHORS: Marek Zawirski; Annette Bieniusa; Valter Balegas; Sérgio Duarte; Carlos Baquero ; Marc Shapiro; Nuno M. Preguiça ;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1310.3107
3077
TITLE: Techniques and toolset for conformance testing against UML sequence diagrams
AUTHORS: Faria, JP ; Paiva, ACR ; De Castro, MV;
PUBLISHED: 2013, SOURCE: 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, PAGES: 180-195
3078
TITLE: The algorithmics of solitaire-like games
AUTHORS: Roland Backhouse; Wei Chen; Joao F Ferreira ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11, PAGES: 2029-2046
3079
TITLE: The Carousel-EDF Scheduling Algorithm for Multiprocessor Systems
AUTHORS: Paulo Baltarejo Sousa ; Pedro Souto ; Eduardo Tovar ; Konstantinos Bletsas;
PUBLISHED: 2013, SOURCE: IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA) in 2013 IEEE 19TH INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA), PAGES: 12-21
3080
TITLE: The Data Deposit Workflow: Involving Researchers in Timely Dataset Upload and Description
AUTHORS: Cristina Ribeiro ;
PUBLISHED: 2013, SOURCE: IASSIST 2013 - Data Innovation: Increasing Accessibility, Visibility, and Sustainability, Cologne, Germany, May 29-31, 2013

Results per Page: 20.
Page 154 of 225. Total results: 4490.