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
981
TITLE: Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 2, Porto, Portugal, 20-22 November, 2019
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: ROBOT (2), VOLUME: 1093
982
TITLE: Serious Pervasive Games
AUTHORS: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; Maria van Zeller ; Liliana Santos; António Augusto de Sousa ;
PUBLISHED: 2020, SOURCE: Frontiers Comput. Sci., VOLUME: 2, PAGES: 30
983
TITLE: Simulating a Three-Lane Roundabout Using SUMO
AUTHORS: Leite, B; Azevedo, P; Leixo, R; Rossetti, RJF ;
PUBLISHED: 2020, SOURCE: 3rd European-Alliance-for-Innovation (EAI) International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 310, PAGES: 18-31
984
TITLE: Simulating collective decision-making for autonomous vehicles coordination enabled by vehicular networks: A computational social choice perspective
AUTHORS: Teixeira, M; d'Orey, PM ; Kokkinogenis, Z ;
PUBLISHED: 2020, SOURCE: SIMULATION MODELLING PRACTICE AND THEORY, VOLUME: 98, PAGES: 101983
985
TITLE: Simulation of Gamification Elements to Promote Carpooling in a Closed Community
AUTHORS: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: ISC2, PAGES: 1-7
986
TITLE: Smart Data Visualisation as a Stepping Stone for Industry 4.0-a Case Study in Investment Casting Industry
AUTHORS: Cruz, AB; Sousa, A ; Cardoso, A; Valente, B; Reis, A ;
PUBLISHED: 2020, SOURCE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PAGES: 657-668
987
TITLE: Smart Vest for Real-Time Postural Biofeedback and Ergonomic Risk Assessment
AUTHORS: Cerqueira, SM; Da Silva, AF; Santos, CP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 107583-107592
988
TITLE: SmartBugs. a framework to analyze solidity smart contracts
AUTHORS: João F Ferreira ; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLISHED: 2020, SOURCE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
989
TITLE: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTHORS: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLISHED: 2020, SOURCE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), PAGES: 1349-1352
990
TITLE: SmartGC: a software architecture for garbage collection in smart cities
AUTHORS: Ramalho, MS; Rossetti, RJF ; Cacho, N; Souza, A;
PUBLISHED: 2020, SOURCE: INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION, VOLUME: 16, ISSUE: 2, PAGES: 79-93
991
TITLE: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications
AUTHORS: Arabnejad, H; Bispo, J ; Cardoso, JMP ; Barbosa, JG ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
992
TITLE: SPELLing out energy leaks: Aiding developers locate energy inefficient code
AUTHORS: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
993
TITLE: Step changes in the intertrial interval in the midsession reversal task: Predicting pigeons' performance with the learning-to-time model
AUTHORS: Soares, C; Santos, C ; Machado, A; Vasconcelos, M;
PUBLISHED: 2020, SOURCE: JOURNAL OF THE EXPERIMENTAL ANALYSIS OF BEHAVIOR, VOLUME: 114, ISSUE: 3, PAGES: 337-353
994
TITLE: Stress among Portuguese Medical Students: the EuStress Solution
AUTHORS: Silva, E ; Aguiar, J; Reis, LP ; Sá, JOE; Gonçalves, J ; Carvalho, V;
PUBLISHED: 2020, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, ISSUE: 2, PAGES: 45
995
TITLE: Teaching Mobile Robotics Using the Autonomous Driving Simulator of the Portuguese Robotics Open
AUTHORS: Valter Costa ; Cebola, P; Tavares, P; Morais, V ; Sousa, A ;
PUBLISHED: 2020, SOURCE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PAGES: 455-466
996
TITLE: Test case generation based on mutations over user execution traces
AUTHORS: Paiva, ACR ; André Restivo ; Almeida, S;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
997
TITLE: Tezla, an Intermediate Representation for Static Analysis of Michelson Smart Contracts
AUTHORS: João Santos Reis; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLISHED: 2020, SOURCE: FMBC@CAV, VOLUME: 84, PAGES: 4:1-4:12
998
TITLE: The (self)learning of QDAS [A (Auto)aprendizagem de QDAS]
AUTHORS: Costa, AP ; Freitas, F;
PUBLISHED: 2020, SOURCE: RISTI - Revista Iberica de Sistemas e Tecnologias de Informacao, VOLUME: 2020, ISSUE: 38
999
TITLE: THE IMPACT OF VOLUNTEERING AND THE ACQUISITION OF SKILLS THROUGH PRACTICE
AUTHORS: Sara Oliveira; Mafalda Fernandes; Ana Carneiro; Marta Brandão; Francisco Campos; Rui Carreira ;
PUBLISHED: 2020, SOURCE: ICERI Proceedings - ICERI2020 Proceedings
1000
TITLE: THE STATE OF ART REGARDING SCIENTISTS, OUTREACH AND EVOLUTION: A SYSTEMATIC LITERATURE REVIEW DESIGN
AUTHORS: Susana Ambrósio; Ashby, B; António Pedro Costa ; Cecilia Guerra ; Ana Santos; James Williams; Inmaculada Yruela;
PUBLISHED: 2020, SOURCE: ICERI Proceedings - ICERI2020 Proceedings

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