Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 
Publications Count: 4462
56 Team MembersFilters -> Year: 2025
3041
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
3042
TÃTULO: Specifying adaptations through a DSL with an application to mobile robot navigation
AUTORES: Santos, AC; Cardoso, JMP ; Diniz, PC ; Ferreira, DR;
PUBLICAÇÃO: 2013, FONTE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29, PÁGINAS: 219-234
AUTORES: Santos, AC; Cardoso, JMP ; Diniz, PC ; Ferreira, DR;
PUBLICAÇÃO: 2013, FONTE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29, PÁGINAS: 219-234
3043
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
3044
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
3045
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
3046
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
3047
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
3048
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
3049
TÃTULO: Techniques and toolset for conformance testing against UML sequence diagrams
AUTORES: Faria, JP ; Paiva, ACR ; De Castro, MV;
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: 180-195
AUTORES: Faria, JP ; Paiva, ACR ; De Castro, MV;
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: 180-195
3050
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
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
3051
TÃTULO: The Carousel-EDF Scheduling Algorithm for Multiprocessor Systems
AUTORES: Paulo Baltarejo Sousa ; Pedro Souto ; Eduardo Tovar ; Konstantinos Bletsas;
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
AUTORES: Paulo Baltarejo Sousa ; Pedro Souto ; Eduardo Tovar ; Konstantinos Bletsas;
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
3052
TÃTULO: The Data Deposit Workflow: Involving Researchers in Timely Dataset Upload and Description
AUTORES: Cristina Ribeiro ;
PUBLICAÇÃO: 2013, FONTE: IASSIST 2013 - Data Innovation: Increasing Accessibility, Visibility, and Sustainability, Cologne, Germany, May 29-31, 2013
AUTORES: Cristina Ribeiro ;
PUBLICAÇÃO: 2013, FONTE: IASSIST 2013 - Data Innovation: Increasing Accessibility, Visibility, and Sustainability, Cologne, Germany, May 29-31, 2013
3053
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
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
3054
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
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
3055
TÃTULO: The impact of benevolence in computational trust
AUTORES: Urbano, J ; Rocha, AP ; Oliveira, E ;
PUBLICAÇÃO: 2013, FONTE: 2nd International Conference on Agreement Technologies, AT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8068 LNAI, PÁGINAS: 210-224
AUTORES: Urbano, J ; Rocha, AP ; Oliveira, E ;
PUBLICAÇÃO: 2013, FONTE: 2nd International Conference on Agreement Technologies, AT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8068 LNAI, PÁGINAS: 210-224
3056
TÃTULO: The impact of time in link-based Web ranking
AUTORES: Sergio Nunes ; Cristina Ribeiro ; Gabriel David ;
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
AUTORES: Sergio Nunes ; Cristina Ribeiro ; Gabriel David ;
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
3057
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
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
3058
TÃTULO: The MATISSE MATLAB Compiler
AUTORES: Joao Bispo ; Pedro Pinto ; Ricardo Nobre ; Tiago Carvalho ; Joao M P Cardoso ; Pedro C Diniz ;
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
AUTORES: Joao Bispo ; Pedro Pinto ; Ricardo Nobre ; Tiago Carvalho ; Joao M P Cardoso ; Pedro C Diniz ;
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
3059
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
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
3060
TÃTULO: Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators
AUTORES: Steimann, F; Frenkel, M; Abreu, R ;
PUBLICAÇÃO: 2013, FONTE: 22nd International Symposium on Software Testing and Analysis, ISSTA 2013 in 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings, PÁGINAS: 314-324
AUTORES: Steimann, F; Frenkel, M; Abreu, R ;
PUBLICAÇÃO: 2013, FONTE: 22nd International Symposium on Software Testing and Analysis, ISSTA 2013 in 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings, PÁGINAS: 314-324