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

AuthID: I-000-0K9


Publications Count: 4732

62 Team Members
Filters -> Year: 2026
3301
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
3302
TÍTULO: Spectrum-Based Fault Localization for Diagnosing Concurrency Faults
AUTORES: Feyzullah Koca; Hasan Sözer; Rui Abreu ;
PUBLICAÇÃO: 2013, FONTE: ICTSS, VOLUME: 8254 LNCS, PÁGINAS: 239-254
3303
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
3304
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
3305
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
3306
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
3307
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
3308
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
3309
TÍTULO: The algorithmics of solitaire-like games
AUTORES: Roland Backhouse; Wei Chen; Joao F Ferreira ;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 11, PÁGINAS: 2029-2046
3310
TÍTULO: The Carousel-EDF Scheduling Algorithm for Multiprocessor Systems
AUTORES: Sousa, PB ; Souto, P ; Tovar, E ; Bletsas, K;
PUBLICAÇÃO: 2013, FONTE: 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), PÁGINAS: 12-21
3311
3312
TÍTULO: The Dotted-Board Model: A new MIP model for nesting irregular shapes
AUTORES: Franklina M B Toledo; Maria Antonia Carravilla ; Cristina Ribeiro ; Jose F Oliveira ; Miguel M Gomes ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, VOLUME: 145, NÚMERO: 2, PÁGINAS: 478-487
3313
TÍTULO: The ICARUS Project - Command, Control and Intelligence (C2I)
AUTORES: 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;
PUBLICAÇÃO: 2013, FONTE: IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR), PÁGINAS: 1-4
3314
TÍTULO: The Impact of Benevolence in Computational Trust
AUTORES: Joana Urbano ; Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2013, FONTE: AT, VOLUME: 8068 LNAI, PÁGINAS: 210-224
3315
TÍTULO: The impact of time in link-based Web ranking
AUTORES: Nunes, S ; Ribeiro, C ; David, G ;
PUBLICAÇÃO: 2013, FONTE: 8th International Conference on Conceptions of Library and Information Science in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 18, NÚMERO: 3
3316
TÍTULO: The LARA language
AUTORES: Cardoso, JMP ; De F. Coutinho, JG; Carvalho, T ; Diniz, PC ;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PÁGINAS: 35-70
3317
TÍTULO: The MATISSE MATLAB Compiler
AUTORES: Bispo, J ; Pinto, P ; Nobre, R ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
PUBLICAÇÃO: 2013, FONTE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PÁGINAS: 602-608
3318
TÍTULO: The REFLECT design-flow
AUTORES: Cardoso, JMP ; De F. Coutinho, JG; Nane, R; Sima, VM; Olivier, B; Carvalho, T ; Nobre, R; Diniz, PC ; Petrov, Z; Bertels, K; Gonçalves, F; Van Someren, H; Hübner, M; Constantinides, G; Luk, W; Becker, J; Krátký, K; Bhattacharya, S; Alves, JC ; Ferreira, JC ;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PÁGINAS: 13-34
3319
TÍTULO: Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators
AUTORES: Friedrich Steimann; Marcus Frenkel; Rui Abreu ;
PUBLICAÇÃO: 2013, FONTE: ISSTA, PÁGINAS: 314-324
3320
TÍTULO: Topic 8: Distributed Systems and Algorithms - (Introduction). (Introduction)
AUTORES: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLICAÇÃO: 2013, FONTE: Euro-Par, VOLUME: 8097 LNCS, PÁGINAS: 367-368

Results per Page: 20.
Página 166 de 237. Total de resultados: 4732.