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

AuthID: I-000-0K9


Publications Count: 3965

49 Team Members
Filters -> Year: 2025
1541
TITLE: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
PUBLISHED: 2017, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 30, ISSUE: 4, PAGES: 281-291
1542
TITLE: FEUP at SemEval-2017 Task 5: Predicting Sentiment Polarity and Intensity with Financial Word Embeddings
AUTHORS: Pedro Saleiro; Eduarda Mendes Rodrigues; Carlos Soares ; Eugénio C Oliveira ;
PUBLISHED: 2017, SOURCE: Proceedings of the 11th International Workshop on Semantic Evaluation, SemEval@ACL 2017, Vancouver, Canada, August 3-4, 2017, PAGES: 904-908
1543
TITLE: FEUP at TREC 2017 OpenSearch Track Graph-Based Models for Entity-Oriented
AUTHORS: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLISHED: 2017, SOURCE: Proceedings of The Twenty-Sixth Text REtrieval Conference, TREC 2017, Gaithersburg, Maryland, USA, November 15-17, 2017, VOLUME: Special Publication 500-324
1544
TITLE: FIRST ATTEMPT TOWARDS THE DEVELOPMENT OF TRANSTIBIAL PROSTHESIS
AUTHORS: Joana Alves; Cesar Ferreira; Luis P Reis ; Cristina P Santos; Eurico Seabra; Helder Carvalho;
PUBLISHED: 2017, SOURCE: 7th International Conference on Mechanics and Materials in Design (M2D) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN (M2D2017), PAGES: 1825-1826
1545
1546
TITLE: Foreword to the Special Section on Reconfigurable Computing
AUTHORS: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLISHED: 2017, SOURCE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, ISSUE: 2, PAGES: 103-105
1547
TITLE: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTHORS: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLISHED: 2017, SOURCE: 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering (FormaliSE) in 2017 IEEE/ACM 5TH INTERNATIONAL FME WORKSHOP ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE) PROCEEDINGS, PAGES: 44-50
1548
TITLE: FOSTERING EFFICIENT LEARNING IN THE TECHNICAL FIELD OF ROBOTICS BY CHANGING THE AUTONOMOUS DRIVING COMPETITION OF THE PORTUGUESE ROBOTICS OPEN
AUTHORS: Valter Costa ; Joao Resende ; Patricia Sousa ; Sousa, A. ; Nuno Lau ; Luis Reis ;
PUBLISHED: 2017, SOURCE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PAGES: 7705-7711
1549
TITLE: From Data Sources to Information Sharing in SME Collaborative Networks Supporting Internationalization: A Socio-Semantic Approach
AUTHORS: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLISHED: 2017, SOURCE: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PAGES: 478-490
1550
TITLE: Gamification at Scraim
AUTHORS: Silva, D; Coelho, A ; Duarte, C; Henriques, PC;
PUBLISHED: 2017, SOURCE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PAGES: 141-147
1551
TITLE: Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces
AUTHORS: Nuno M C Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLISHED: 2017, SOURCE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, ISSUE: 1, PAGES: 21-34
1552
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2017, SOURCE: CoRR, VOLUME: abs/1705.03704
1553
1554
TITLE: Graph-Based Entity-Oriented Search: Imitating the Human Process of Seeking and Cross Referencing Information
AUTHORS: Jose Devezas ; Sergio Nunes ;
PUBLISHED: 2017, SOURCE: ERCIM NEWS, VOLUME: 2017, ISSUE: 111, PAGES: 14-15
1555
TITLE: GReSBAS project: A gamified approach to promote more energy efficient behaviours in buildings
AUTHORS: Antonio Barbosa ; Jose Iria ; Fernando Cassola ; Antonio Coelho ; Joao Portela; Kucuk, U; Madureira, AG ; Zehir, MA; Ozdemir, A; Soares, FJ ;
PUBLISHED: 2017, SOURCE: 10th International Conference on Electrical and Electronics Engineering (ELECO) in 2017 10TH INTERNATIONAL CONFERENCE ON ELECTRICAL AND ELECTRONICS ENGINEERING (ELECO), VOLUME: 2018-January, PAGES: 1258-1261
1556
TITLE: Guest Editorial: Advances in Knowledge and Information Software Management
AUTHORS: Maria Jose Sousa ; Pedro Henriques Abreu ; Alvaro Rocha ; Daniel Castro Silva ;
PUBLISHED: 2017, SOURCE: IET SOFTWARE, VOLUME: 11, ISSUE: 3, PAGES: 75-76
1557
TITLE: Helping Programmers Improve the Energy Efficiency of Source Code
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 238-240
1558
TITLE: Helping Software Engineering Students Analyzing their Performance Data Tool Support in an Educational Environment
AUTHORS: Mushtaq Raza ; Joao Pascoal Faria ; Rafael Salazar;
PUBLISHED: 2017, SOURCE: IEEE/ACM 39th International Conference on Software Engineering Companion (ICSE-C) in PROCEEDINGS OF THE 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C 2017), PAGES: 241-243
1559
1560
TITLE: High-performance embedded computing
AUTHORS: João M.P Cardoso ; José Gabriel F Coutinho; Pedro C Diniz;
PUBLISHED: 2017, SOURCE: Embedded Computing for High Performance, PAGES: 17-56

Results per Page: 20.
Page 78 of 199. Total results: 3965.