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

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
External   Internal

Update Citation

No data about last update.
Rules:
 This actions updates publications citations of every team member.
 Only validated by team members publications are included.
 Only the current year team is included in this action.>
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a month!

Update PrePrints

No data about last update.
Rules:
 This actions updates all pre print publications of the group/institution.
 Only validated by current year team members publications are included.
 The action is executed in the background, thus the results are NOT immediate.
 This actions can be executed only once a day!

Publications Count: 3700

86 Team Members
Filters -> Year: 2026
981
TÍTULO: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTORES: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLICAÇÃO: 2020, FONTE: IFL, PÁGINAS: 104-114
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
982
TÍTULO: Revocation Mechanisms for Academic Certificates Stored on a Blockchain
AUTORES: Vidal, FR; Gouveia, F; Christophe Soares ;
PUBLICAÇÃO: 2020, FONTE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
INDEXADO EM: Scopus WOS CrossRef: 10
983
TÍTULO: Robot 2019: Fourth Iberian Robotics Conference. Advances in Robotics, Volume 2
AUTORES: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLICAÇÃO: 2020, FONTE: Advances in Intelligent Systems and Computing
INDEXADO EM: CrossRef Openlibrary
984
TÍTULO: Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 1, Porto, Portugal, 20-22 November, 2019
AUTORES: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLICAÇÃO: 2020, FONTE: ROBOT (1), VOLUME: 1092
INDEXADO EM: DBLP
985
TÍTULO: Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 2, Porto, Portugal, 20-22 November, 2019
AUTORES: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLICAÇÃO: 2020, FONTE: ROBOT (2), VOLUME: 1093
INDEXADO EM: DBLP
986
TÍTULO: Serious Pervasive Games
AUTORES: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; Maria van Zeller ; Liliana Santos; António Augusto de Sousa ;
PUBLICAÇÃO: 2020, FONTE: Frontiers Comput. Sci., VOLUME: 2, PÁGINAS: 30
INDEXADO EM: DBLP CrossRef: 12 Handle
987
TÍTULO: Simulating a Three-Lane Roundabout Using SUMO
AUTORES: Leite, B; Azevedo, P; Leixo, R; Rossetti, RJF ;
PUBLICAÇÃO: 2020, FONTE: 3rd European-Alliance-for-Innovation (EAI) International Conference on Intelligent Transport Systems (INTSYS) in INTELLIGENT TRANSPORT SYSTEMS, VOLUME: 310, PÁGINAS: 18-31
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
988
TÍTULO: Simulating collective decision-making for autonomous vehicles coordination enabled by vehicular networks: A computational social choice perspective  Full Text
AUTORES: Teixeira, M; d'Orey, PM ; Kokkinogenis, Z ;
PUBLICAÇÃO: 2020, FONTE: SIMULATION MODELLING PRACTICE AND THEORY, VOLUME: 98, PÁGINAS: 101983
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
989
TÍTULO: Simulation of Gamification Elements to Promote Carpooling in a Closed Community
AUTORES: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2020, FONTE: ISC2, PÁGINAS: 1-7
INDEXADO EM: Scopus DBLP CrossRef: 1
990
TÍTULO: Smart Data Visualisation as a Stepping Stone for Industry 4.0-a Case Study in Investment Casting Industry
AUTORES: Cruz, AB; Sousa, A ; Cardoso, A; Valente, B; Reis, A ;
PUBLICAÇÃO: 2020, FONTE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PÁGINAS: 657-668
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
991
TÍTULO: Smart Vest for Real-Time Postural Biofeedback and Ergonomic Risk Assessment
AUTORES: Cerqueira, SM; Da Silva, AF; Santos, CP ;
PUBLICAÇÃO: 2020, FONTE: IEEE ACCESS, VOLUME: 8, PÁGINAS: 107583-107592
INDEXADO EM: Scopus WOS CrossRef: 35
992
TÍTULO: SmartBugs. a framework to analyze solidity smart contracts
AUTORES: João F Ferreira ; Pedro Cruz; Thomas Durieux; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering
INDEXADO EM: CrossRef: 1
993
TÍTULO: SmartBugs: A Framework to Analyze Solidity Smart Contracts
AUTORES: Ferreira, JF; Cruz, P; Durieux, T; Abreu, R ;
PUBLICAÇÃO: 2020, FONTE: 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) in 2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), PÁGINAS: 1349-1352
INDEXADO EM: Scopus WOS DBLP
994
TÍTULO: SmartGC: a software architecture for garbage collection in smart cities
AUTORES: Ramalho, MS; Rossetti, RJF ; Cacho, N; Souza, A;
PUBLICAÇÃO: 2020, FONTE: INTERNATIONAL JOURNAL OF BIO-INSPIRED COMPUTATION, VOLUME: 16, NÚMERO: 2, PÁGINAS: 79-93
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
995
TÍTULO: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications  Full Text
AUTORES: Arabnejad, H; Bispo, J ; Cardoso, JMP ; Barbosa, JG ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, NÚMERO: 9, PÁGINAS: 6753-6785
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
996
TÍTULO: SPELLing out energy leaks: Aiding developers locate energy inefficient code  Full Text
AUTORES: Pereira, R ; Carçao, T; Couto, M ; Cunha, J ; Fernandes, JP ; Saraiva, J ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PÁGINAS: 110463
INDEXADO EM: Scopus WOS DBLP CrossRef: 28
997
TÍTULO: Step changes in the intertrial interval in the midsession reversal task: Predicting pigeons' performance with the learning-to-time model  Full Text
AUTORES: Soares, C; Santos, C ; Machado, A; Vasconcelos, M;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF THE EXPERIMENTAL ANALYSIS OF BEHAVIOR, VOLUME: 114, NÚMERO: 3, PÁGINAS: 337-353
INDEXADO EM: Scopus WOS CrossRef: 2
998
TÍTULO: Stress among Portuguese Medical Students: the EuStress Solution  Full Text
AUTORES: Silva, E ; Aguiar, J; Reis, LP ; Sá, JOE; Gonçalves, J ; Carvalho, V;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, NÚMERO: 2, PÁGINAS: 45
INDEXADO EM: Scopus WOS DBLP CrossRef: 33
999
TÍTULO: Teaching Mobile Robotics Using the Autonomous Driving Simulator of the Portuguese Robotics Open
AUTORES: Valter Costa ; Cebola, P; Tavares, P; Morais, V ; Sousa, A ;
PUBLICAÇÃO: 2020, FONTE: 4th Iberian Robotics Conference (Robot) - Advances in Robotics in FOURTH IBERIAN ROBOTICS CONFERENCE: ADVANCES IN ROBOTICS, ROBOT 2019, VOL 1, VOLUME: 1092, PÁGINAS: 455-466
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1000
TÍTULO: Test case generation based on mutations over user execution traces  Full Text
AUTORES: Paiva, ACR ; André Restivo ; Almeida, S;
PUBLICAÇÃO: 2020, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, NÚMERO: 3, PÁGINAS: 1173-1186
INDEXADO EM: Scopus WOS DBLP CrossRef: 12

Results per Page: 20.
Página 50 de 185. Total de resultados: 3700.