Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores

AuthID: I-000-18J

External   Internal

Publications Count: 3696

86 Team Members
Filters -> Year: 2026
601
TITLE: Report on women in logic 2020 & 2021
AUTHORS: Sandra Alves ; Sandra Kiefer; Ana Sokolova;
PUBLISHED: 2022, SOURCE: ACM SIGLOG News, VOLUME: 9, ISSUE: 2, PAGES: 31-33
602
TITLE: Robotic Biofeedback for Post-Stroke Gait Rehabilitation: A Scoping Review
AUTHORS: Pinheiro, Cristiana; Figueiredo, Joana; Cerqueira, Joao ; Santos, Cristina P. ;
PUBLISHED: 2022, SOURCE: SENSORS, VOLUME: 22, ISSUE: 19, PAGES: 7197
603
TITLE: SECOM: Towards a convention for security commit messages. towards a convention for security commit messages
AUTHORS: Reis, Sofia; Abreu, Rui ; Erdogmus, Hakan; Pasareanu, Corina;
PUBLISHED: 2022, SOURCE: 19th International Conference on Mining Software Repositories (MSR) in 2022 MINING SOFTWARE REPOSITORIES CONFERENCE (MSR 2022), PAGES: 764-765
604
TITLE: Skill Learning for Long-Horizon Sequential Tasks
AUTHORS: Alves, Joao; Lau, Nuno ; Silva, Filipe;
PUBLISHED: 2022, SOURCE: 21st EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2022, VOLUME: 13566, PAGES: 713-724
605
TITLE: Smart City Drivers and Challenges in Urban-Mobility, Health-Care, and Interdependent Infrastructure Systems
AUTHORS: Amro M Farid; Muhannad Alshareef; Parupkar Singh Badhesha; Chiara Boccaletti; Nelio Alessandro Azevedo Cacho; Claire Isabelle Carlier; Amy Corriveau; Inas Khayal; Barry Liner; Joberto S B Martins; Farokh Rahimi ; Rosaldo Rossett; Wester C H Schoonenberg; Ashlynn Stillwell; Yinhai Wang;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2212.00730, ISSUE: 1, PAGES: 11-16
606
TITLE: Special Issue on Computer Architecture and High-Performance Computing
AUTHORS: Barbosa, Jorge G. ; Drummond, Lucia M. A.; Lefevre, Laurent;
PUBLISHED: 2022, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 168, PAGES: 137-138
607
TITLE: Structural Rules and Algebraic Properties of Intersection Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: ICTAC, VOLUME: 13572 LNCS, PAGES: 60-77
608
TITLE: Structuring Best Practices of Search Engine Optimization for Webpages
AUTHORS: Ribeiro Issa, Riaze Miguel; Marques dos Santos, José Paulo ;
PUBLISHED: 2022, SOURCE: International Conference on Marketing and Technologies (ICMarkTech) in MARKETING AND SMART TECHNOLOGIES, VOL 1, VOLUME: 279, PAGES: 191-209
609
610
TITLE: Syrius: Synthesis of Rules for Intrusion Detectors
AUTHORS: Alcantara, L; Padilha, G; Abreu, R ; d'Amorim, M;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 71, ISSUE: 1, PAGES: 370-381
611
TITLE: Team Bruce Banner at Touché 2022: Argument Retrieval for Controversial Questions
AUTHORS: Bernardo C Moreira; Henrique Lopes Cardoso ; Bruno Martins ; Fábio Goularte;
PUBLISHED: 2022, SOURCE: 2022 Conference and Labs of the Evaluation Forum, CLEF 2022 in Proceedings of the Working Notes of CLEF 2022 - Conference and Labs of the Evaluation Forum, Bologna, Italy, September 5th - to - 8th, 2022., VOLUME: 3180, PAGES: 3055-3063
612
TITLE: The case for blockchain in IoT identity management
AUTHORS: Sousa, PR ; Resende, JS ; Martins, R ; Antunes, L ;
PUBLISHED: 2022, SOURCE: JOURNAL OF ENTERPRISE INFORMATION MANAGEMENT, VOLUME: 35, ISSUE: 6, PAGES: 1477-1505
613
TITLE: The Engineering Implications of Code Maintenance in Practice
AUTHORS: Noah Lee; Rui Abreu ; Mehmet Yatbaz; Hang Qu; Nachiappan Nagappan;
PUBLISHED: 2022, SOURCE: Proceedings - 2022 IEEE International Conference on Software Maintenance and Evolution, ICSME 2022, PAGES: 568-577
614
TITLE: The trade-offs between Fog Processing and Communications in latency-sensitive Vehicular Fog Computing. 220607
AUTHORS: de Mendonca Junior, Francisco Ferreira; Kokkinogenis, Zafeiris ; Dias, Kelvin Lopes; d'Orey, Pedro M. ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2022, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 84, PAGES: 101638
615
616
TITLE: Threat Detection and Mitigation with Honeypots: A Modular Approach for IoT
AUTHORS: Simão Silva; Patrícia R Sousa ; João S Resende ; Luis Filipe Coelho Antunes ;
PUBLISHED: 2022, SOURCE: TrustBus, VOLUME: 13582 LNCS, PAGES: 66-80
617
TITLE: Towards XAI: Interpretable Shallow Neural Network Used to Model HCP's fMRI Motor Paradigm Data
AUTHORS: Dos Santos, Jose Diogo Marques; Marques dos Santos, José Paulo ;
PUBLISHED: 2022, SOURCE: 9th International Work-Conference on Bioinformatics and Biomedical Engineering (IWBBIO) in BIOINFORMATICS AND BIOMEDICAL ENGINEERING, PT II, VOLUME: 13347 LNBI, PAGES: 260-274
618
TITLE: Type Inference for Rank-2 Intersection Types Using Set Unification
AUTHORS: Ângelo, Pedro ; Mário Florido ;
PUBLISHED: 2022, SOURCE: ICTAC, VOLUME: 13572 LNCS, PAGES: 462-480
619
TITLE: Typed SLD-Resolution: Dynamic Typing for Logic Programming
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 32nd International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2022), VOLUME: 13474, PAGES: 123-141
620
TITLE: Understanding the Key Performance Indicators for Business Intelligence Maturity in the Healthcare Sector
AUTHORS: Silva, J; Gonçalves, CT ; Félix, C ;
PUBLISHED: 2022, SOURCE: International Conference on Tourism, Technology and Systems, ICOTTS 2021 in Smart Innovation, Systems and Technologies, VOLUME: 293, PAGES: 435-445

Results per Page: 20.
Page 31 of 185. Total results: 3696.