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

83 Team Members
Filters -> Year: 2024
521
TITLE: Reinforcement Learning in Navigation and Cooperative Mapping
AUTHORS: Cruz, JA; Cardoso, HL ; Reis, LP ; Sousa, A ;
PUBLISHED: 2020, SOURCE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2020), PAGES: 200-205
INDEXED IN: Scopus WOS DBLP CrossRef: 1
522
TITLE: Resource Analysis for Lazy Evaluation with Polynomial Potential
AUTHORS: Sara Moreira; Pedro B Vasconcelos ; Mário Florido ;
PUBLISHED: 2020, SOURCE: IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages, Virtual Event / Canterbury, UK, September 2-4, 2020, PAGES: 104-114
INDEXED IN: Scopus DBLP CrossRef Unpaywall
523
TITLE: Revocation Mechanisms for Academic Certificates Stored on a Blockchain
AUTHORS: Vidal, FR; Gouveia, F; Christophe Soares ;
PUBLISHED: 2020, SOURCE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
INDEXED IN: Scopus WOS CrossRef: 10
524
TITLE: Robot 2019: Fourth Iberian Robotics Conference. Advances in Robotics, Volume 2
AUTHORS: Manuel F Silva ; José Luís Lima; Luís Paulo Reis ; Alberto Sanfeliu; Danilo Tardioli;
PUBLISHED: 2020, SOURCE: Advances in Intelligent Systems and Computing
INDEXED IN: CrossRef Openlibrary
525
TITLE: Robot 2019: Fourth Iberian Robotics Conference - Advances in Robotics, Volume 1, 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 (1), VOLUME: 1092
INDEXED IN: DBLP
526
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
INDEXED IN: DBLP
527
TITLE: Serious Pervasive Games
AUTHORS: António Coelho ; Rui Rodrigues ; Rui Nóbrega; Jacob, J ; Leonel Morgado ; Pedro Cardoso; van Zeller, Maria ; Liliana Santos; António Augusto de Sousa ;
PUBLISHED: 2020, SOURCE: Frontiers Comput. Sci., VOLUME: 2, PAGES: 30
INDEXED IN: DBLP CrossRef: 11
528
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
INDEXED IN: Scopus WOS DBLP CrossRef
529
530
TITLE: Simulation of Gamification Elements to Promote Carpooling in a Closed Community
AUTHORS: Bruno Miguel Pinto; Rosaldo J F Rossetti ;
PUBLISHED: 2020, SOURCE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PAGES: 1-7
INDEXED IN: Scopus DBLP CrossRef
531
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
532
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
INDEXED IN: CrossRef: 1
533
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
INDEXED IN: Scopus WOS DBLP
534
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
INDEXED IN: Scopus WOS DBLP CrossRef
535
TITLE: Source-to-source compilation targeting OpenMP-based automatic parallelization of C applications  Full Text
AUTHORS: Hamid Arabnejad; Joao Bispo ; Joao M P Cardoso ; Jorge G Barbosa ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 76, ISSUE: 9, PAGES: 6753-6785
INDEXED IN: Scopus WOS DBLP CrossRef: 4
536
TITLE: SPELLing out energy leaks: Aiding developers locate energy inefficient code  Full Text
AUTHORS: Rui Pereira ; Tiago Carcao; Marco Couto ; Jacome Cunha ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2020, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 161, PAGES: 110463
INDEXED IN: Scopus WOS DBLP CrossRef: 11
537
TITLE: Stress among Portuguese Medical Students: the EuStress Solution  Full Text
AUTHORS: Silva, E ; Aguiar, J; Reis, LP ; Sa, JOE; Goncalves, J; Carvalho, V;
PUBLISHED: 2020, SOURCE: JOURNAL OF MEDICAL SYSTEMS, VOLUME: 44, ISSUE: 2, PAGES: 45
INDEXED IN: Scopus WOS DBLP CrossRef: 10
538
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
539
TITLE: Test case generation based on mutations over user execution traces  Full Text
AUTHORS: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLISHED: 2020, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, ISSUE: 3, PAGES: 1173-1186
INDEXED IN: Scopus WOS DBLP CrossRef: 5
540
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: 2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference)., VOLUME: 84, PAGES: 4:1-4:12
INDEXED IN: Scopus DBLP

Results per Page: 20.
Página 27 de 146. Total de resultados: 2901.