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

AuthID: I-000-0K9


Publications Count: 3973

49 Team Members
Filters -> Year: 2025
1541
TÍTULO: Enriching Mental Health Mobile Assessment and Intervention with Situation Awareness
AUTORES: Ariel Soares Teles; Artur Rocha ; Francisco Jose D E da Silva e Silva; Joao Correia Lopes ; Donal O'Sullivan; Pepijn Van de Ven; Markus Endler;
PUBLICAÇÃO: 2017, FONTE: SENSORS, VOLUME: 17, NÚMERO: 1, PÁGINAS: 127
1542
TÍTULO: Erratum to: Processing Time Reduction: an Application in Living Human High-Resolution Diffusion Magnetic Resonance Imaging Data
AUTORES: Nicolás F Lori; Agustín Ibáñez; Rui Lavrador; Lucia Fonseca; Carlos Santos; Rui Travasso; Artur Pereira; Rosaldo Rossetti ; Nuno Sousa; Victor Alves;
PUBLICAÇÃO: 2017, FONTE: J. Medical Syst., VOLUME: 41, NÚMERO: 3, PÁGINAS: 41:1
1543
TÍTULO: Evaluating and improving fault localization
AUTORES: Pearson, S; Campos, J ; Just, R; Fraser, G; Abreu, R ; Ernst, MD; Pang, D; Keller, B;
PUBLICAÇÃO: 2017, FONTE: 39th IEEE/ACM International Conference on Software Engineering (ICSE) in 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), PÁGINAS: 609-620
1544
TÍTULO: Evaluation of Stanford NER for extraction of assembly information from instruction manuals
AUTORES: Carlos M Costa ; Germano Veiga ; Sousa, A. ; Sérgio Nunes ;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017 in 2017 IEEE International Conference on Autonomous Robot Systems and Competitions, ICARSC 2017, Coimbra, Portugal, April 26-28, 2017, PÁGINAS: 302-309
1545
TÍTULO: EvoSuite at the SBST 2017 Tool Competition
AUTORES: Gordon Fraser; Jose Miguel Rojas; Jose Campos ; Andrea Arcuri;
PUBLICAÇÃO: 2017, FONTE: 2017 IEEE/ACM 10th International Workshop on Search-Based Software Testing (SBST)
1546
TÍTULO: Exploiting Partial Knowledge for Efficient Model Analysis
AUTORES: Nuno Macedo ; Alcino Cunha ; Eduardo Pessoa;
PUBLICAÇÃO: 2017, FONTE: 15th International Conference on Automated Technology for Verification and Analysis, ATVA 2017 in Automated Technology for Verification and Analysis - 15th International Symposium, ATVA 2017, Pune, India, October 3-6, 2017, Proceedings, VOLUME: 10482, PÁGINAS: 344-362
1547
TÍTULO: Expressing and Applying C plus plus Code Transformations for the HDF5 API Through a DSL
AUTORES: Golasowski, M; Bispo, J ; Martinovic, J; Slaninova, K; Cardoso, JMP ;
PUBLICAÇÃO: 2017, FONTE: 16th IFIP TC8 International Conference on Computer Information Systems and Industrial Management (CISIM) in COMPUTER INFORMATION SYSTEMS AND INDUSTRIAL MANAGEMENT (CISIM 2017), VOLUME: 10244, PÁGINAS: 303-314
1548
TÍTULO: Fault-tolerant aggregation: Flow-Updating meets Mass-Distribution
AUTORES: Paulo Sergio Almeida ; Carlos Baquero ; Martin Farach Colton; Paulo Jesus; Miguel A Mosteiro;
PUBLICAÇÃO: 2017, FONTE: DISTRIBUTED COMPUTING, VOLUME: 30, NÚMERO: 4, PÁGINAS: 281-291
1549
TÍTULO: FEUP at SemEval-2017 Task 5: Predicting Sentiment Polarity and Intensity with Financial Word Embeddings
AUTORES: Pedro Saleiro; Eduarda Mendes Rodrigues; Carlos Soares ; Eugénio C Oliveira ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of the 11th International Workshop on Semantic Evaluation, SemEval@ACL 2017, Vancouver, Canada, August 3-4, 2017, PÁGINAS: 904-908
1550
TÍTULO: FEUP at TREC 2017 OpenSearch Track Graph-Based Models for Entity-Oriented
AUTORES: José Luís Devezas ; Carla Teixeira Lopes ; Sérgio Nunes ;
PUBLICAÇÃO: 2017, FONTE: Proceedings of The Twenty-Sixth Text REtrieval Conference, TREC 2017, Gaithersburg, Maryland, USA, November 15-17, 2017, VOLUME: Special Publication 500-324
1551
TÍTULO: FIRST ATTEMPT TOWARDS THE DEVELOPMENT OF TRANSTIBIAL PROSTHESIS
AUTORES: Joana Alves; Cesar Ferreira; Luis P Reis ; Cristina P Santos; Eurico Seabra; Helder Carvalho;
PUBLICAÇÃO: 2017, FONTE: 7th International Conference on Mechanics and Materials in Design (M2D) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON MECHANICS AND MATERIALS IN DESIGN (M2D2017), PÁGINAS: 1825-1826
1552
TÍTULO: Foreword to the special issue of the 18th IEEE international conference on computational science and engineering (CSE2015). Editorial
AUTORES: Christian Plessl; Guojing J Cong; Joao M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, VOLUME: 29, NÚMERO: 7
1553
TÍTULO: Foreword to the Special Section on Reconfigurable Computing
AUTORES: Steven Derrien; Kubilay Atasu; Joao M P Cardoso ; Juergen Becker;
PUBLICAÇÃO: 2017, FONTE: JOURNAL OF SIGNAL PROCESSING SYSTEMS FOR SIGNAL IMAGE AND VIDEO TECHNOLOGY, VOLUME: 88, NÚMERO: 2, PÁGINAS: 103-105
1554
TÍTULO: Formal Verification of ROS-based Robotic Applications using Timed-Automata
AUTORES: Raju Halder; Jose Proenca ; Nuno Macedo ; Andre Santos;
PUBLICAÇÃO: 2017, FONTE: 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, PÁGINAS: 44-50
1555
TÍTULO: FOSTERING EFFICIENT LEARNING IN THE TECHNICAL FIELD OF ROBOTICS BY CHANGING THE AUTONOMOUS DRIVING COMPETITION OF THE PORTUGUESE ROBOTICS OPEN
AUTORES: Valter Costa ; Joao Resende ; Patricia Sousa ; Sousa, A. ; Nuno Lau ; Luis Reis ;
PUBLICAÇÃO: 2017, FONTE: 10th Annual International Conference of Education, Research and Innovation (ICERI) in 10TH INTERNATIONAL CONFERENCE OF EDUCATION, RESEARCH AND INNOVATION (ICERI2017), PÁGINAS: 7705-7711
1556
TÍTULO: From Data Sources to Information Sharing in SME Collaborative Networks Supporting Internationalization: A Socio-Semantic Approach
AUTORES: Costa, E ; Soares, AL ; de Sousa, JP;
PUBLICAÇÃO: 2017, FONTE: 18th IFIP WG 5.5 Working Conference on Virtual Enterprises, PRO-VE 2017 in COLLABORATION IN A DATA-RICH WORLD, VOLUME: 506, PÁGINAS: 478-490
1557
TÍTULO: Gamification at Scraim
AUTORES: Silva, D; Coelho, A ; Duarte, C; Henriques, PC;
PUBLICAÇÃO: 2017, FONTE: 6th EAI International Conference on Serious Games, Interaction and Simulation (SGAMES) in SERIOUS GAMES, INTERACTION AND SIMULATION, VOLUME: 176, PÁGINAS: 141-147
1558
TÍTULO: Generation of Customized Accelerators for Loop Pipelining of Binary Instruction Traces
AUTORES: Nuno M C Paulino ; Joao Canas Ferreira ; Joao M P Cardoso ;
PUBLICAÇÃO: 2017, FONTE: IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, VOLUME: 25, NÚMERO: 1, PÁGINAS: 21-34
1559
TÍTULO: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTORES: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLICAÇÃO: 2017, FONTE: CoRR, VOLUME: abs/1705.03704
1560

Results per Page: 20.
Página 78 de 199. Total de resultados: 3973.