Departamento de Engenharia Informática (DEI)
Department of Informatics Engineering
AuthID: I-000-0K9 Publications Count: 3966
49 Team MembersFilters -> Year: 2025
2581
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
2582
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
2583
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
2584
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
2585
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
2586
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
2587
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
2588
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
2589
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
2590
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
2591
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
2592
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
2593
TÃTULO: Topic 8: Distributed Systems and Algorithms - (Introduction)
AUTORES: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PÁGINAS: 367-368
AUTORES: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PÁGINAS: 367-368
2594
TÃTULO: Towards a Framework for Pedestrian Simulation for Intermodal Interfaces
AUTORES: Joao Emilio Almeida; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2013, FONTE: UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation (EMS) in UKSIM-AMSS SEVENTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2013), PÁGINAS: 335-340
AUTORES: Joao Emilio Almeida; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2013, FONTE: UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation (EMS) in UKSIM-AMSS SEVENTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2013), PÁGINAS: 335-340
2595
TÃTULO: Towards a serious games evacuation simulator
AUTORES: João Ribeiro; João Emílio Almeida; Rosaldo J F Rossetti ; António Coelho ; António Leça Coelho;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.3827
AUTORES: João Ribeiro; João Emílio Almeida; Rosaldo J F Rossetti ; António Coelho ; António Leça Coelho;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.3827
2596
TÃTULO: Transparent runtime migration of loop-based traces of processor instructions to reconfigurable processing units
AUTORES: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLICAÇÃO: 2013, FONTE: International Journal of Reconfigurable Computing, VOLUME: 2013, PÁGINAS: 1-20
AUTORES: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLICAÇÃO: 2013, FONTE: International Journal of Reconfigurable Computing, VOLUME: 2013, PÁGINAS: 1-20
2597
TÃTULO: Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems
AUTORES: Joao Bispo ; Nuno Paulino ; Joao M P Cardoso ; Joao C Ferreira ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, NÚMERO: 3, PÁGINAS: 1625-1634
AUTORES: Joao Bispo ; Nuno Paulino ; Joao M P Cardoso ; Joao C Ferreira ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, NÚMERO: 3, PÁGINAS: 1625-1634
2598
TÃTULO: Understanding Sequential Decisions via Inverse Reinforcement Learning
AUTORES: Siyuan Y Liu; Miguel Araujo ; Emma Brunskill; Rosaldo Rossetti ; Joao Barros ; Ramayya Krishnan;
PUBLICAÇÃO: 2013, FONTE: IEEE 14th International Conference on Mobile Data Management (MDM) in 2013 IEEE 14TH INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT (MDM 2013), VOL 1, VOLUME: 1, PÁGINAS: 177-186
AUTORES: Siyuan Y Liu; Miguel Araujo ; Emma Brunskill; Rosaldo Rossetti ; Joao Barros ; Ramayya Krishnan;
PUBLICAÇÃO: 2013, FONTE: IEEE 14th International Conference on Mobile Data Management (MDM) in 2013 IEEE 14TH INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT (MDM 2013), VOL 1, VOLUME: 1, PÁGINAS: 177-186
2599
TÃTULO: UPBox and DataNotes: a collaborative data management environment for the long tail of research data
AUTORES: João Rocha da Silva ; José Pedro Barbosa; Mariana Gouveia; João Correia Lopes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2013, FONTE: Proceedings of the 10th International Conference on Digital Preservation, iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013
AUTORES: João Rocha da Silva ; José Pedro Barbosa; Mariana Gouveia; João Correia Lopes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2013, FONTE: Proceedings of the 10th International Conference on Digital Preservation, iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013
2600
TÃTULO: UPBox e DataNotes: um ambiente de suporte à gestão colaborativa de dados científicos
AUTORES: João Rocha da Silva ; Cristina Ribeiro ; João Correia Lopes ;
PUBLICAÇÃO: 2013, FONTE: InCID: Revista de Ciência da Informação e Documentação - InCID: Rev. Ci. Inf. Doc., VOLUME: 4, NÚMERO: 2, PÁGINAS: 95
AUTORES: João Rocha da Silva ; Cristina Ribeiro ; João Correia Lopes ;
PUBLICAÇÃO: 2013, FONTE: InCID: Revista de Ciência da Informação e Documentação - InCID: Rev. Ci. Inf. Doc., VOLUME: 4, NÚMERO: 2, PÁGINAS: 95