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

85 Team Members
Filters -> Year: 2026
841
TÍTULO: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTORES: Bruno Lima ; João Pascoal Faria ;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2004.04616
INDEXADO EM: DBLP
842
TÍTULO: DCO Analyzer: Local Controllability and Observability Analysis and Enforcement of Distributed Test Scenarios
AUTORES: Lima, B ; Faria, JP ;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: COMPANION PROCEEDINGS (ICSE-COMPANION 2020), PÁGINAS: 97-100
INDEXADO EM: Scopus WOS DBLP
843
TÍTULO: Delegated RingCT: faster anonymous transactions
AUTORES: Rui Morais; Paul Andrew Crocker ; Simão Melo de Sousa ;
PUBLICAÇÃO: 2020, FONTE: IACR Cryptol. ePrint Arch., VOLUME: 2020, PÁGINAS: 1521
INDEXADO EM: DBLP
844
TÍTULO: Deployment of a Smart and Predictive Maintenance System in an Industrial Case Study
AUTORES: Alves, F; Badikyan, H; Moreira, AHJ; Azevedo, J; Moreira, PM ; Romero, L; Leitao, P;
PUBLICAÇÃO: 2020, FONTE: IEEE 29th International Symposium on Industrial Electronics (ISIE) in 2020 IEEE 29TH INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE), PÁGINAS: 493-498
INDEXADO EM: WOS DBLP
845
TÍTULO: Deployment of a Smart and Predictive Maintenance System in an Industrial Case Study
AUTORES: Alves, F; Badikyan, H; Antonio Moreira, HJ; Azevedo, J; Moreira, PM ; Romero, L; Leitao, P ;
PUBLICAÇÃO: 2020, FONTE: 29th IEEE International Symposium on Industrial Electronics, ISIE 2020 in IEEE International Symposium on Industrial Electronics, VOLUME: 2020-June, PÁGINAS: 493-498
INDEXADO EM: Scopus CrossRef: 31 Handle
846
TÍTULO: Detecting and Solving Tube Entanglement in Bin Picking Operations
AUTORES: Goncalo Leao ; Carlos M Costa ; Armando Sousa ; Germano Veiga ;
PUBLICAÇÃO: 2020, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 10, NÚMERO: 7, PÁGINAS: 2264
INDEXADO EM: Scopus WOS CrossRef: 22
847
TÍTULO: Determining Microservice Boundaries: A Case Study Using Static and Dynamic Software Analysis
AUTORES: Matias, T; Correia, FF ; Fritzsch, J; Bogner, J; Ferreira, HS ; André Restivo ;
PUBLICAÇÃO: 2020, FONTE: 14th European Conference on Software Architecture (ECSA) in SOFTWARE ARCHITECTURE (ECSA 2020), VOLUME: 12292, PÁGINAS: 315-332
INDEXADO EM: Scopus WOS DBLP CrossRef: 14
848
TÍTULO: Development of an AlphaBot2 Simulator for RPi Camera and Infrared Sensors
AUTORES: Rafael, A; Santos, C; Duque, D; Fernandes, S ; Sousa, A ; Reis, LP ;
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: 502-514
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
849
TÍTULO: Diagnosing Software Faults Using Multiverse Analysis
AUTORES: Prantik Chatterjee; Abhijit Chatterjee; José Campos ; Rui Abreu ; Subhajit Roy;
PUBLICAÇÃO: 2020, FONTE: 29th International Joint Conference on Artificial Intelligence, IJCAI 2020 in Proceedings of the Twenty-Ninth International Joint Conference on Artificial Intelligence, IJCAI 2020 [scheduled for July 2020, Yokohama, Japan, postponed due to the Corona pandemic]., VOLUME: 2021-January, PÁGINAS: 1629-1635
INDEXADO EM: Scopus DBLP CrossRef: 2
850
TÍTULO: Driverless Wheelchair for Patient's On-Demand Transportation in Hospital Environment
AUTORES: Andre Baltazar ; Marcelo R Petry ; Manuel F Silva ; Antonio Paulo Moreira ;
PUBLICAÇÃO: 2020, FONTE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2020), PÁGINAS: 158-163
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
851
TÍTULO: Editorial: Special issue on Simulation in Transportation
AUTORES: Harrison, G; Bivona, E; Rossetti, R ;
PUBLICAÇÃO: 2020, FONTE: JOURNAL OF SIMULATION, VOLUME: 14, NÚMERO: 4, PÁGINAS: 239-241
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
852
TÍTULO: Emotional Contagion Modeled Through the Empathy Quotient: an Epidemiological Analogy Towards Social Sustainability
AUTORES: Filipa Ivars Silva; Rosaldo J F Rossetti ;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Smart Cities Conference, ISC2 2020 in IEEE International Smart Cities Conference, ISC2 2020, Piscataway, NJ, USA, September 28 - October 1, 2020, PÁGINAS: 1-8
INDEXADO EM: Scopus DBLP CrossRef: 1
853
TÍTULO: Empirical review of automated analysis tools on 47, 587 Ethereum smart contracts PDF
AUTORES: Thomas Durieux; João F Ferreira; Rui Abreu ; Pedro Cruz;
PUBLICAÇÃO: 2020, FONTE: ICSE '20: 42nd International Conference on Software Engineering, Seoul, South Korea, 27 June - 19 July, 2020, PÁGINAS: 530-541
INDEXADO EM: DBLP arXiv
854
TÍTULO: Empirical Review of Automated Analysis Tools on 47,587 Ethereum Smart Contracts PDF
AUTORES: Durieux, T; Ferreira, JF; Abreu, R ; Cruz, P;
PUBLICAÇÃO: 2020, FONTE: 42nd ACM/IEEE International Conference on Software Engineering - Companion Proceedings (ICSE-Companion) in 2020 ACM/IEEE 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE 2020), PÁGINAS: 530-541
INDEXADO EM: Scopus WOS arXiv CrossRef: 30
855
TÍTULO: Empirical Study of Restarted and Flaky Builds on Travis CI PDF
AUTORES: Thomas Durieux; Claire Le Goues; Michael Hilton; Rui Abreu ;
PUBLICAÇÃO: 2020, FONTE: 17th IEEE/ACM International Conference on Mining Software Repositories, MSR 2020, co-located with the 42nd International Conference on Software Engineering. ICSE 2020 in CoRR, VOLUME: abs/2003.11772, PÁGINAS: 254-264
INDEXADO EM: Scopus DBLP arXiv CrossRef
856
TÍTULO: Empowering Users Through a Privacy Middleware Watchdog
AUTORES: Sousa, PR ; Martins, R ; Antunes, L ;
PUBLICAÇÃO: 2020, FONTE: 17th International Conference on Trust, Privacy and Security in Digital Business (TrustBus) in TRUST, PRIVACY AND SECURITY IN DIGITAL BUSINESS, TRUSTBUS 2020, VOLUME: 12395, PÁGINAS: 156-170
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
857
TÍTULO: End User Involvement in the Big Data Based Service Development Process
AUTORES: Carreira, R ;
PUBLICAÇÃO: 2020, FONTE: International Conference on Marketing and Technologies, ICMarkTech 2019 in Smart Innovation, Systems and Technologies, VOLUME: 167, PÁGINAS: 321-329
INDEXADO EM: Scopus CrossRef
858
TÍTULO: Energy Refactorings for Android in the Large and in the Wild
AUTORES: Marco Couto ; Joao Saraiva ; Joao Paulo Fernandes ;
PUBLICAÇÃO: 2020, FONTE: 27th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER) in PROCEEDINGS OF THE 2020 IEEE 27TH INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION, AND REENGINEERING (SANER '20), PÁGINAS: 217-228
INDEXADO EM: Scopus WOS DBLP CrossRef: 22
859
TÍTULO: EVL: A Typed Higher-order Functional Language for Events
AUTORES: Alves, S ; Fernandez, M; Ramos, M ;
PUBLICAÇÃO: 2020, FONTE: 15th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, VOLUME: 351, PÁGINAS: 3-23
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
860
TÍTULO: Evolution of Odometry Calibration Methods for Ground Mobile Robots
AUTORES: Sousa, RB ; Petry, MR ; Moreira, AP ;
PUBLICAÇÃO: 2020, FONTE: IEEE International Conference on Autonomous Robot Systems and Competitions (ICARSC) in 2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMOUS ROBOT SYSTEMS AND COMPETITIONS (ICARSC 2020), PÁGINAS: 294-299
INDEXADO EM: Scopus WOS DBLP CrossRef: 22

Results per Page: 20.
Página 43 de 185. Total de resultados: 3689.