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: 2912

85 Team Members
Filters -> Year: 2025
421
TITLE: Structural Rules and Algebraic Properties of Intersection Types
AUTHORS: Sandra Alves ; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 60-77
422
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
423
424
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
425
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
426
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
427
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
428
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
429
430
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: 19th International Conference on Trust, Privacy and Security in Digital Business, TrustBus 2022 in Trust, Privacy and Security in Digital Business - 19th International Conference, TrustBus 2022, Vienna, Austria, August 24, 2022, Proceedings, VOLUME: 13582, PAGES: 66-80
431
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
432
TITLE: Type Inference for Rank-2 Intersection Types Using Set Unification
AUTHORS: Pedro Ângelo; Mário Florido ;
PUBLISHED: 2022, SOURCE: 19th International Colloquium on Theoretical Aspects of Computing, ICTAC 2022 in Theoretical Aspects of Computing - ICTAC 2022 - 19th International Colloquium, Tbilisi, Georgia, September 27-29, 2022, Proceedings, VOLUME: 13572, PAGES: 462-480
433
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
434
435
TITLE: WebAssembly versus JavaScript: Energy and Runtime Performance
AUTHORS: De Macedo, Joao; Abreu, Rui ; Pereira, Rui ; Saraiva, Joao ;
PUBLISHED: 2022, SOURCE: 8th International Conference on ICT for Sustainability (ICT4S) in 2022 INTERNATIONAL CONFERENCE ON ICT FOR SUSTAINABILITY (ICT4S 2022), PAGES: 24-34
436
TITLE: When software engineering meets quantum computing
AUTHORS: Ali, S; Yue, T; Abreu, R ;
PUBLISHED: 2022, SOURCE: Communications of the ACM, VOLUME: 65, ISSUE: 4, PAGES: 84-88
437
TITLE: Which Technologies are Most Frequently Used by Data Scientists?
AUTHORS: Paula Pereira; João Paulo Fernandes ; Jácome Cunha ;
PUBLISHED: 2022, SOURCE: 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022 in 2022 IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2022, Rome, Italy, September 12-16, 2022, VOLUME: 2022-September, PAGES: 1-5
438
TITLE: YOLOv3: Traffic Signs & Lights Detection and Recognition for Autonomous Driving
AUTHORS: Marques, Rafael; Ribeiro, Tiago; Lopes, Gil ; Ribeiro, A. Fernando ;
PUBLISHED: 2022, SOURCE: 14th International Conference on Agents and Artificial Intelligence (ICAART) in ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, PAGES: 818-826
439
TITLE: "Want to come play with me?" Outlier subgroup discovery on spatio-temporal interactions
AUTHORS: Carolina Centeio Jorge ; Atzmueller, M; Heravi, BM; Gibson, JL; Rossetti, RJF ; de Sa, CR;
PUBLISHED: 2021, SOURCE: EXPERT SYSTEMS, VOLUME: 40, ISSUE: 5
440
TITLE: 6D Localization and Kicking for Humanoid Robotic Soccer
AUTHORS: Abreu, M ; Silva, T; Teixeira, H; Reis, LP ; Lau, N ;
PUBLISHED: 2021, SOURCE: JOURNAL OF INTELLIGENT & ROBOTIC SYSTEMS, VOLUME: 102, ISSUE: 2, PAGES: 30

Results per Page: 20.
Page 22 of 146. Total results: 2912.