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

AuthID: I-000-0K9


Publications Count: 4619

61 Team Members
Filters -> Year: 2026
721
TITLE: Task Model Design and Analysis with Alloy
AUTHORS: Cunha, Alcino ; Macedo, Nuno ; Kang, Eunsuk;
PUBLISHED: 2023, SOURCE: 9th International Conference on Rigorous State-Based Methods (ABZ) in RIGOROUS STATE-BASED METHODS, ABZ 2023, VOLUME: 14010, PAGES: 303-320
722
TITLE: Telephone-based psychological crisis intervention: the Portuguese experience with COVID-19
AUTHORS: Eugénia Ribeiro ; Adriana Sampaio ; Miguel M Gonçalves ; Maria Do Céu Taveira ; Jácome Cunha ; Ângela Maia ; Marlene Matos ; Sónia Gonçalves; Bárbara Figueiredo ; Teresa Freire ; Tércio Soares;
PUBLISHED: 2023, SOURCE: How the COVID-19 Pandemic Transformed the Mental Health Landscape, PAGES: 39-52
723
TITLE: Tenet: A Flexible Framework for Machine-Learning-based Vulnerability Detection
AUTHORS: Pinconschi, Eduard; Reis, Sofia; Zhang, Chi; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina S.; Jia, Limin;
PUBLISHED: 2023, SOURCE: IEEE/ACM 2nd International Conference on AI Engineering - Software Engineering for AI (CAIN) in 2023 IEEE/ACM 2ND INTERNATIONAL CONFERENCE ON AI ENGINEERING - SOFTWARE ENGINEERING FOR AI, CAIN, PAGES: 102-103
724
TITLE: Test case quality: an empirical study on belief and evidence
AUTHORS: Daniel Lucrédio; VINCENZI, AURI M. R. ; Eduardo Santana de Almeida; Iftekhar Ahmed;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2307.06410
725
TITLE: The 2023 wearable photoplethysmography roadmap
AUTHORS: Charlton, Peter H.; Allen, John; Bailon, Raquel; Baker, Stephanie; Behar, Joachim A.; Chen, Fei; Clifford, Gari D.; Clifton, David A.; Davies, Harry J.; Ding, Cheng; Ding, Xiaorong; Dunn, Jessilyn; Elgendi, Mohamed; Ferdoushi, Munia; Franklin, Daniel; Gil, Eduardo; Hassan, Md Farhad; Hernesniemi, Jussi; Hu, Xiao; Ji, Nan; Khan, Yasser; Kontaxis, Spyridon; Korhonen, Ilkka; Kyriacou, Panicos A.; Laguna, Pablo; Lazaro, Jesus; Lee, Chungkeun; Levy, Jeremy; Li, Yumin; Liu, Chengyu; Liu, Jing; Lu, Lei; Mandic, Danilo P.; Marozas, Vaidotas; Mejia Mejia, Elisa; Mukkamala, Ramakrishna; Nitzan, Meir; Pereira, Tania ; Poon, Carmen C. Y.; Ramella Roman, Jessica C.; Saarinen, Harri; Shandhi, Md Mobashir Hasan; Shin, Hangsik; Stansby, Gerard; Tamura, Toshiyo; Vehkaoja, Antti; Wang, Will Ke; Zhang, Yuan Ting; Zhao, Ni; Zheng, Dingchang; Zhu, Tingting; ...More
PUBLISHED: 2023, SOURCE: PHYSIOLOGICAL MEASUREMENT, VOLUME: 44, ISSUE: 11, PAGES: 111001
726
TITLE: The Design of Digital Platform Ecosystem Supporting Circular Economy
AUTHORS: Marantes, Goncalo; Soares, Antonio Lucas ; Silva, Henrique Diogo ;
PUBLISHED: 2023, SOURCE: 24th IFIP WG 5.5 Working Conference on Virtual Enterprises (PRO-VE) in COLLABORATIVE NETWORKS IN DIGITALIZATION AND SOCIETY 5.0, PRO-VE 2023, VOLUME: 688, PAGES: 80-90
727
728
TITLE: The role of kiosks on health services: a systematic review
AUTHORS: Oliveira, Eva; Pacheco, Paulo; Santos, Fatima; Coimbra, Joao; Stamper, John; Coelho, Antonio ; Paredes, Hugo ; Alves, Joana; Rodrigues, Nuno Feixa ;
PUBLISHED: 2023, SOURCE: IEEE 11th International Conference on Serious Games and Applications for Health (SeGAH) in 2023 IEEE 11TH INTERNATIONAL CONFERENCE ON SERIOUS GAMES AND APPLICATIONS FOR HEALTH, SEGAH, PAGES: 1-6
729
TITLE: The Singing Bridge: Sonification of a Stress-Ribbon Footbridge
AUTHORS: Torresan, C; Bernardes, G ; Elsa Caetano ; Restivo, T ;
PUBLISHED: 2023, SOURCE: 11th EAI International Conference on ArtsIT, Interactivity and Game Creation, ArtsIT 2022 in ARTSIT, INTERACTIVITY AND GAME CREATION, ARTSIT 2022, VOLUME: 479, PAGES: 359-373
730
TITLE: The Smelly Eight: An Empirical Study on the Prevalence of Code Smells in Quantum Computing
AUTHORS: Chen, Qihong; Camara, Ruben; Campos, Jose ; Souto, Andre ; Ahmed, Iftekhar;
PUBLISHED: 2023, SOURCE: 45th IEEE/ACM International Conference on Software Engineering (ICSE) in 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, PAGES: 358-370
731
TITLE: Time-limited Bloom Filter
AUTHORS: Rodrigues, Ana; Shtul, Ariel; Baquero, Carlos ; Almeida, Paulo Sergio ;
PUBLISHED: 2023, SOURCE: 38th Annual ACM Symposium on Applied Computing (ACM SAC) in 38TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, SAC 2023, PAGES: 1285-1288
732
TITLE: To Enhance Full-Text Biomedical Document Classification Through Semantic Enrichment
AUTHORS: Carlos Adriano Gonçalves ; Seara S Vieira; Célia Talma Gonçalves ; Lourdes Borrajo; Rui Camacho ; Eva Lorenzo Iglesias;
PUBLISHED: 2023, SOURCE: HAIS, VOLUME: 14001 LNAI, PAGES: 554-565
733
TITLE: Tools for Refactoring to Microservices: A Preliminary Usability Report
AUTHORS: Jonas Fritzsch; Filipe F Correia ; Justus Bogner; Stefan Wagner;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2311.04798
734
TITLE: TouchRay: Towards Low-effort Object Selection at Any Distance in DeskVR
AUTHORS: Monteiro, Joao; Mendes, Daniel ; Rodrigues, Rui ;
PUBLISHED: 2023, SOURCE: 22nd IEEE International Symposium on Mixed and Augmented Reality (ISMAR) in 2023 IEEE INTERNATIONAL SYMPOSIUM ON MIXED AND AUGMENTED REALITY, ISMAR, PAGES: 999-1005
735
TITLE: Towards a Digital Twin Simulation for Cycle Times Analysis in a Cyber-Physical Production System
AUTHORS: Vinicius Barbosa; Rui Pinto ; João Pinheiro; Gil Gonçalves ; Anabela Ribeiro;
PUBLISHED: 2023, SOURCE: SIMULTECH, VOLUME: 1, PAGES: 369-376
736
TITLE: Towards an IDE for Scientific Computational Experiments
AUTHORS: Costa, Lazaro; Barbosa, Susana ; Cunha, Jacome ;
PUBLISHED: 2023, SOURCE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PAGES: 290-292
737
738
TITLE: Towards Concept-based Interpretability of Skin Lesion Diagnosis using Vision-Language Models
AUTHORS: Cristiano Patrício; Luís F Teixeira ; João C Neves;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2311.14339
739
TITLE: Towards Enriched Controllability for Educational Question Generation
AUTHORS: Bernardo Leite; Henrique Lopes Cardoso ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2306.14917
740
TITLE: Towards Enriched Controllability for Educational Question Generation
AUTHORS: Leite, Bernardo; Cardoso, Henrique Lopes ;
PUBLISHED: 2023, SOURCE: 24th International Conference on Artificial Intelligence in Education (AIED) in ARTIFICIAL INTELLIGENCE IN EDUCATION, AIED 2023, VOLUME: 13916, PAGES: 786-791

Results per Page: 20.
Page 37 of 231. Total results: 4619.