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

AuthID: I-000-0K9


Publications Count: 4655

62 Team Members
Filters -> Year: 2026
3221
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
3222
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
3223
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
3224
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
3225
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
3226
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
3227
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
3228
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
3229
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
3230
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
3231
TITLE: Techniques and Toolset for Conformance Testing against UML Sequence Diagrams
AUTHORS: João Pascoal Faria ; Ana C R Paiva ; Mário Ventura de Castro;
PUBLISHED: 2013, SOURCE: ICTSS, VOLUME: 8254 LNCS, PAGES: 180-195
3232
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
3233
TITLE: The Carousel-EDF Scheduling Algorithm for Multiprocessor Systems
AUTHORS: Sousa, PB ; Souto, P ; Tovar, E ; Bletsas, K;
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
3234
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
3235
TITLE: The Dotted-Board Model: A new MIP model for nesting irregular shapes
AUTHORS: Franklina M B Toledo; Maria Antonia Carravilla ; Cristina Ribeiro ; Jose F Oliveira ; Miguel M Gomes ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, VOLUME: 145, ISSUE: 2, PAGES: 478-487
3236
TITLE: The ICARUS Project - Command, Control and Intelligence (C2I)
AUTHORS: Govindaraj, S; Chintamani, K; Gancet, J; Letier, P; van Lierde, B; Nevatia, Y; De Cubber, G; Serrano, D; Palomares, ME; Bedkowski, J; Armbrust, C; Sanchez, J; Coelho, A ; Orbe, I;
PUBLISHED: 2013, SOURCE: IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR), PAGES: 1-4
3237
TITLE: The Impact of Benevolence in Computational Trust
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLISHED: 2013, SOURCE: AT, VOLUME: 8068 LNAI, PAGES: 210-224
3238
TITLE: The impact of time in link-based Web ranking
AUTHORS: Nunes, S ; Ribeiro, C ; David, G ;
PUBLISHED: 2013, SOURCE: 8th International Conference on Conceptions of Library and Information Science in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 18, ISSUE: 3
3239
TITLE: The LARA language
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Carvalho, T ; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 35-70
3240
TITLE: The MATISSE MATLAB Compiler
AUTHORS: Bispo, J ; Pinto, P ; Nobre, R ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 602-608

Results per Page: 20.
Page 162 of 233. Total results: 4655.