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

AuthID: I-000-0K9


Publications Count: 4715

62 Team Members
Filters -> Year: 2026
2041
TÍTULO: Towards Verified Handwritten Calculational Proofs
AUTORES: Mendes, A ; Ferreira, JF;
PUBLICAÇÃO: 2018, FONTE: 9th International Conference on Interactive Theorem Proving (ITP) Held as Part of the Federated Logic Conference (FloC) in INTERACTIVE THEOREM PROVING, ITP 2018, VOLUME: 10895, PÁGINAS: 432-440
2042
TÍTULO: Traffic Simulation of Lane-Merging of Autonomous Vehicles in the Context of Platooning
AUTORES: Gil Domingues; João Cabral; João Mota; Pedro Pontes; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2018, FONTE: ISC2, PÁGINAS: 1-6
2043
TÍTULO: Transactions on Computational Collective Intelligence XXVIII
AUTORES: Nguyen, NT; Duval, B; van den Herik, J; Kowalczyk, R ; Loiseau, S; Filipe, J;
PUBLICAÇÃO: 2018, FONTE: 6th International Conference on Agents and Artificial Intelligence, ICAART 2014 in Trans. Computational Collective Intelligence, VOLUME: 10780
2044
TÍTULO: Trends and Advances in Information Systems and Technologies. Volume 1
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLICAÇÃO: 2018, FONTE: Advances in Intelligent Systems and Computing
2045
TÍTULO: Trends and Advances in Information Systems and Technologies. Volume 3
AUTORES: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLICAÇÃO: 2018
2046
TÍTULO: Trends and Advances in Information Systems and Technologies - Volume 1 [WorldCIST'18, Naples, Italy, March 27-29, 2018]
AUTORES: Álvaro Rocha ; Ana Maria Ramalho Correia; Hojjat Adeli; Luís Paulo Reis ; Marcelo Mendonça Teixeira;
PUBLICAÇÃO: 2018, FONTE: WorldCIST (1), VOLUME: 745
2047
TÍTULO: Trends and Advances in Information Systems and Technologies - Volume 2 [WorldCIST'18, Naples, Italy, March 27-29, 2018]
AUTORES: Álvaro Rocha ; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLICAÇÃO: 2018, FONTE: WorldCIST (2), VOLUME: 746
2048
TÍTULO: Trends and Advances in Information Systems and Technologies - Volume 3 [WorldCIST'18, Naples, Italy, March 27-29, 2018]. Volume 1
AUTORES: Álvaro Rocha ; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo;
PUBLICAÇÃO: 2018, FONTE: WorldCIST (3), VOLUME: 747
2049
TÍTULO: Unsupervised Domain Adaptation for Human Activity Recognition
AUTORES: Paulo Barbosa; Kemilly Dearo Garcia; João Mendes Moreira ; André C P L F de Carvalho;
PUBLICAÇÃO: 2018, FONTE: 19th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2018 in Intelligent Data Engineering and Automated Learning - IDEAL 2018 - 19th International Conference, Madrid, Spain, November 21-23, 2018, Proceedings, Part I, VOLUME: 11314, PÁGINAS: 623-630
2050
TÍTULO: Updating a Robust Optimization Model for Improving Bus Schedules
AUTORES: Yassine Baghoussi ; Joao Mendes Moreira ; Michael T M Emmerich;
PUBLICAÇÃO: 2018, FONTE: 10th International Conference on Communication Systems and Networks (COMSNETS) in 2018 10TH INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS & NETWORKS (COMSNETS), VOLUME: 2018-January, PÁGINAS: 619-624
2051
TÍTULO: Using Automatic Refactoring to Improve Energy Efficiency of Android Apps
AUTORES: Luis Cruz; Rui Abreu ;
PUBLICAÇÃO: 2018, FONTE: 21st Ibero-American Conference on Software Engineering, CIbSE 2018 in Proceedings of the XXI Iberoamerican Conference on Software Engineering, Bogota, Colombia, April 23-27, 2018., PÁGINAS: 163-176
2052
TÍTULO: Using Metalearning for Parameter Tuning in Neural Networks
AUTORES: Catarina Felix ; Carlos Soares ; Alipio Jorge ; Hugo Ferreira ;
PUBLICAÇÃO: 2018, FONTE: 6th ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VipIMAGE) in VIPIMAGE 2017, VOLUME: 27, PÁGINAS: 1081-1090
2053
TÍTULO: Using multi-relational data mining to discriminate blended therapy efficiency on patients based on log data
AUTORES: Artur Rocha ; Rui Camacho ; Jeroen Ruwaard; Heleen Riper;
PUBLICAÇÃO: 2018, FONTE: 9th Scientific Meeting of the International-Society-for-Research-on-Internet-Interventions (ISRII) in INTERNET INTERVENTIONS-THE APPLICATION OF INFORMATION TECHNOLOGY IN MENTAL AND BEHAVIOURAL HEALTH, VOLUME: 12, PÁGINAS: 176-180
2054
TÍTULO: Validating the Hybrid ERTMS/ETCS Level 3 Concept with Electrum
AUTORES: Cunha, A ; Macedo, N ;
PUBLICAÇÃO: 2018, FONTE: ABSTRACT STATE MACHINES, ALLOY, B, TLA, VDM, AND Z, ABZ 2018, VOLUME: 10817, PÁGINAS: 307-321
2055
TÍTULO: Validation of a knee angle measurement system based on imus
AUTORES: Nuno Ferrete Ribeiro; César Ferreira; Luis Paulo Reis ; Hélder Silva; Pedro Macedo; Luís Rocha; Cristina P Santos ;
PUBLICAÇÃO: 2018, FONTE: Human-Centric Robotics- Proceedings of the 20th International Conference on Climbing and Walking Robots and the Support Technologies for Mobile Machines, CLAWAR 2017, PÁGINAS: 645-652
2056
TÍTULO: Validation of a metadata application profile domain model
AUTORES: Malta, MC ; Baptista, AA ; Bermúdez Sabel, H; González Blanco, E;
PUBLICAÇÃO: 2018, FONTE: 2018 International Conference on Dublin Core and Metadata Applications, DCMI 2018 in Proceedings of the International Conference on Dublin Core and Metadata Applications, VOLUME: 2018-September, PÁGINAS: 65-75
2057
TÍTULO: Variações sobre espaço #6
AUTORES: Filipe Lopes; Gilberto Bernardes ; Clara Cardoso;
PUBLICAÇÃO: 2018, FONTE: 4th International Conference on Live Interfaces: Inspiration, Performance, Emancipation
2058
TÍTULO: VIRTUAL REALITY AND JOURNALISM A gateway to conceptualizing immersive journalism. A gateway to conceptualizing immersive journalism
AUTORES: Reis, AB; Coelho, AFVCC ;
PUBLICAÇÃO: 2018, FONTE: 6th Biennial Future of Journalism Conference in DIGITAL JOURNALISM, VOLUME: 6, NÚMERO: 8, PÁGINAS: 1090-1100
2059
TÍTULO: Welcome to Engineering: Gender Equality in Learning and Integration among First Year Students
AUTORES: Manuel Torres ; Sara Ferreira ; Armando Sousa ; Luciano Moreira ; Raquel Torres;
PUBLICAÇÃO: 2018, FONTE: INTERNATIONAL JOURNAL OF ENGINEERING EDUCATION, VOLUME: 34, NÚMERO: 1, PÁGINAS: 45-55
2060
TÍTULO: What influences software startups to use lean startup?
AUTORES: Jorge Melegati ;
PUBLICAÇÃO: 2018, FONTE: Proceedings of the 19th International Conference on Agile Software Development, XP 2019, Companion, Porto, Portugal, May 21-25, 2018, VOLUME: Part F147763, PÁGINAS: 46:1-46:3

Results per Page: 20.
Página 103 de 236. Total de resultados: 4715.