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

AuthID: I-000-0K9


Publications Count: 3973

49 Team Members
Filters -> Year: 2025
961
TITLE: Test case generation based on mutations over user execution traces
AUTHORS: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
962
TITLE: The 4-corner model as a synchromodal and digital twin enabler in the transportation sector
AUTHORS: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020 in Proceedings - 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020
963
TITLE: The ADC API: A Web API for the Programmatic Query of the AIRR Data Commons
AUTHORS: Scott Christley; Ademar Aguiar ; George Blanck; Felix Breden; Syed Ahmad Chan Bukhari; Christian E Busse; Jerome Jaglale; Srilakshmy L Harikrishnan; Uri Laserson; Bjoern Peters; Artur Rocha ; Chaim A Schramm; Sarah Taylor; Jason A Vander Heiden; Bojan Zimonja; Corey T Watson; Brian Corrie; Lindsay G Cowell;
PUBLISHED: 2020, SOURCE: Frontiers Big Data, VOLUME: 3, PAGES: 22
964
TITLE: The AgilECo Pattern Language: Physical Environment. Physical Environment
AUTHORS: Daniel Pinho; Ademar Aguiar ;
PUBLISHED: 2020, SOURCE: 2020 European Conference on Pattern Languages of Programs, EuroPLoP 2020 in EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, Virtual Event, Germany, 1-4 July, 2020, PAGES: 30:1-30:9
965
TITLE: THE AUGMENTED REALITY AS A SALES PROMOTION TOOL
AUTHORS: Valle, M; Moutinho, N ; Rodrigues, R ;
PUBLISHED: 2020, SOURCE: 8th International Academic Conference on Strategica - Preparing for Tomorrow, Today in STRATEGICA: PREPARING FOR TOMORROW, TODAY, PAGES: 362-372
966
TITLE: The ProcessPAIR Method for Automated Software Process Performance Analysis
AUTHORS: Raza, M; Faria, JP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 141569-141583
967
TITLE: TIMAIRIS: Autonomous Blank Feeding for Packaging Machines
AUTHORS: Eurico F Pedrosa; Gi Hyun Lim; Filipe Amaral; Artur Pereira; Bernardo Cunha; José Luís Azevedo; Paulo Dias; Ricardo Dias; Luís Paulo Reis ; Nima Shafii; Andrea Tudico; Claudio Mazzotti; Marco Carricato; Simone Badini; Dario Rea; Nuno Lau ;
PUBLISHED: 2020, SOURCE: Bringing Innovative Robotic Technologies from Research Labs to Industrial End-users - The Experience of the European Robotics Challenges, VOLUME: 136, PAGES: 153-186
968
TITLE: TIV.lib: an open-source library for the tonal description of musical audio
AUTHORS: António Ramires; Gilberto Bernardes ; Matthew E P Davies ; Xavier Serra;
PUBLISHED: 2020, SOURCE: CoRR, VOLUME: abs/2008.11529, PAGES: 304-309
969
TITLE: Towards Predicting Pedestrian Paths: Identifying Surroundings from Monocular Video
AUTHORS: José Aleixo Cruz; Rubio, TRPM; Jacob, J ; Daniel Garrido; Henrique Lopes Cardoso ; Daniel Castro Silva ; Rui Rodrigues ;
PUBLISHED: 2020, SOURCE: 21th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2020 in Intelligent Data Engineering and Automated Learning - IDEAL 2020 - 21st International Conference, Guimaraes, Portugal, November 4-6, 2020, Proceedings, Part II, VOLUME: 12490, PAGES: 594-601
970
TITLE: Trends and Innovations in Information Systems and Technologies - Volume 1, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (1), VOLUME: 1159
971
TITLE: Trends and Innovations in Information Systems and Technologies - Volume 2, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (2), VOLUME: 1160
972
TITLE: Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020
AUTHORS: Álvaro Rocha; Hojjat Adeli; Luís Paulo Reis ; Sandra Costanzo; Irena Orovic; Fernando Moreira;
PUBLISHED: 2020, SOURCE: WorldCIST (3), VOLUME: 1161
973
TITLE: Underground Train Tracking using Mobile Phone Accelerometer Data
AUTHORS: Baghoussi, Y; Mendes Moreira, J ; Moniz, N ; Soares, C ;
PUBLISHED: 2020, SOURCE: 23rd IEEE International Conference on Intelligent Transportation Systems (ITSC) in 2020 IEEE 23RD INTERNATIONAL CONFERENCE ON INTELLIGENT TRANSPORTATION SYSTEMS (ITSC), PAGES: 1-6
974
TITLE: Understanding the decisions of CNNs: An in-model approach
AUTHORS: Rio Torto, I ; Fernandes, K; Luis F. Teixeira ;
PUBLISHED: 2020, SOURCE: PATTERN RECOGNITION LETTERS, VOLUME: 133, PAGES: 373-380
975
TITLE: Understanding the Impact of Artificial Intelligence on Services
AUTHORS: Ferreira, P; Teixeira, JG ; Luis F. Teixeira ;
PUBLISHED: 2020, SOURCE: 10th International Conference on Exploring Service Science (IESS) in EXPLORING SERVICE SCIENCE (IESS 2020), VOLUME: 377, PAGES: 202-213
976
TITLE: UnFOOT: Unsupervised Football Analytics Tool
AUTHORS: Coutinho, JC; Moreira, JM ; de Sa, CR;
PUBLISHED: 2020, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML PKDD) in MACHINE LEARNING AND KNOWLEDGE DISCOVERY IN DATABASES, ECML PKDD 2019, PT III, VOLUME: 11908, PAGES: 786-789
977
TITLE: Using autoencoders as a weight initialization method on deep neural networks for disease detection
AUTHORS: Ferreira, MF ; Camacho, R ; Luis F. Teixeira ;
PUBLISHED: 2020, SOURCE: 16th International Conference on Computational Intelligence Methods for Bioinformatics and Biostatistics (CIBB) / Session on Machine Learning in Healthcare Informatics and Medical Biology in BMC MEDICAL INFORMATICS AND DECISION MAKING, VOLUME: 20, ISSUE: 5, PAGES: 141
978
TITLE: Validating Multiple Variants of an Automotive Light System with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ; Chong Liu;
PUBLISHED: 2020, SOURCE: 7th International Conference on Rigorous State-Based Methods, ABZ 2020 in Rigorous State-Based Methods - 7th International Conference, ABZ 2020, Ulm, Germany, May 27-29, 2020, Proceedings, VOLUME: 12071, PAGES: 318-334
979
TITLE: Validating the Hybrid ERTMS/ETCS Level 3 concept with Electrum
AUTHORS: Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2020, SOURCE: Int. J. Softw. Tools Technol. Transf., VOLUME: 22, ISSUE: 3, PAGES: 281-296
980
TITLE: Verification of system-wide safety properties of ROS applications
AUTHORS: Carvalho, R; Cunha, A ; Macedo, N ; Santos, A ;
PUBLISHED: 2020, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) in 2020 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS), PAGES: 7249-7254

Results per Page: 20.
Page 49 of 199. Total results: 3973.