High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
Inesc Technology and Science (INESC TEC) :: CS: Computer Science
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
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!
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: 1486
150 Team MembersFilters -> Year: 2024
AUTHORS: Carlos Silva; Paolo Masci; Yi Zhang; Paul L Jones; José Creissac Campos ;
PUBLISHED: 2019, SOURCE: SIGBED Review, VOLUME: 16, ISSUE: 2, PAGES: 24-30
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: 21st International Symposium on Principles and Practice of Declarative Programming (PPDP) in PROCEEDINGS OF THE 21ST INTERNATIONAL SYMPOSIUM ON PRINCIPLES AND PRACTICE OF DECLARATIVE PROGRAMMING (PPDP 2019), PAGES: 11:1-11:15
AUTHORS: Sergey Goncharov; Renato Neves ;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1902.07684
AUTHORS: Silva, RF; Carvalho, P; Rito Lima, S; Álvarez Sabucedo, L; Santos Gago, JM; Silva, JMC ;
PUBLISHED: 2019, SOURCE: World Conference on Information Systems and Technologies, WorldCIST 2019 in Advances in Intelligent Systems and Computing, VOLUME: 931, PAGES: 373-384
AUTHORS: Ricardo F Silva; Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2019, SOURCE: New Knowledge in Information Systems and Technologies - Volume 2, World Conference on Information Systems and Technologies, WorldCIST 2019, Galicia, Spain, 16-19 April, VOLUME: 931, PAGES: 373-384
AUTHORS: Anisa Allahdadi ; Ricardo Morla ;
PUBLISHED: 2019, SOURCE: JOURNAL OF NETWORK AND SYSTEMS MANAGEMENT, VOLUME: 27, ISSUE: 1, PAGES: 3-38
AUTHORS: Bernardo Ferreira; Bernardo Portela ; Tiago Oliveira ; Guilherme Borges ; Henrique Domingos; João Leitão;
PUBLISHED: 2019, SOURCE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PAGES: 103-112
AUTHORS: Luiz F P Southier; Muriel Mazzetto; Dalcimar Casanova; Marco A C Barbosa; Luís Soares Barbosa ; Marcelo Teixeira;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019 in 24th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2019, Zaragoza, Spain, September 10-13, 2019, VOLUME: 2019-September, PAGES: 370-377
AUTHORS: Nuno M Preguiça; Carlos Baquero ; Marc Shapiro;
PUBLISHED: 2019, SOURCE: Encyclopedia of Big Data Technologies.
AUTHORS: Rogério Pontes ; Francisco Maia ; Ricardo Vilaça ; Nuno Machado;
PUBLISHED: 2019, SOURCE: 38th IEEE International Symposium on Reliable Distributed Systems, SRDS 2019 in 38th Symposium on Reliable Distributed Systems, SRDS 2019, Lyon, France, October 1-4, 2019, PAGES: 61-70
AUTHORS: Joao Marco C Silva ; Vitor Fonte ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 348-353
AUTHORS: João Marco C Silva ; Vitor Fonte ;
PUBLISHED: 2019, SOURCE: ICEGOV 2019: 12th International Conference on Theory and Practice of Electronic Governance, Melbourne, VIC, Australia, 3-5 April, 2019, PAGES: 348-353
AUTHORS: Carvalho, NR; Barbosa, LS ;
PUBLISHED: 2019, SOURCE: 12th International Conference on Theory and Practice of Electronic Governance (ICEGOV) in PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THEORY AND PRACTICE OF ELECTRONIC GOVERNANCE (ICEGOV2019), VOLUME: Part F148155, PAGES: 76-79
AUTHORS: Lazaro Costa ; Joao Rocha da Silva ;
PUBLISHED: 2019, SOURCE: 23rd International Conference on Theory and Practice of Digital Libraries (TPDL) in DIGITAL LIBRARIES FOR OPEN KNOWLEDGE, TPDL 2019, VOLUME: 11799, PAGES: 384-387
AUTHORS: José Pereira ; Laura Ricci;
PUBLISHED: 2019, SOURCE: DAIS, VOLUME: 11534
AUTHORS: Manuel Barbosa ; Dario Catalano; Azam Soleimanian; Bogdan Warinschi;
PUBLISHED: 2019, SOURCE: Cryptographers Track at the RSA Conference 2019, CT-RSA 2019 in Topics in Cryptology - CT-RSA 2019 - The Cryptographers' Track at the RSA Conference 2019, San Francisco, CA, USA, March 4-8, 2019, Proceedings, VOLUME: 11405, PAGES: 127-148
AUTHORS: Enes, V ; Almeida, PS ; Baquero, C ; Leitao, J;
PUBLISHED: 2019, SOURCE: IEEE 35th International Conference on Data Engineering (ICDE) in 2019 IEEE 35TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING (ICDE 2019), VOLUME: 2019-April, PAGES: 148-159
AUTHORS: Claudia Brito ; Ana Machado; Antonio Sousa ;
PUBLISHED: 2019, SOURCE: 17th World Congress of Medical and Health Informatics (MEDINFO) in MEDINFO 2019: HEALTH AND WELLBEING E-NETWORKS FOR ALL, VOLUME: 264, PAGES: 55-59
AUTHORS: João Saraiva ; Rui Pereira;
PUBLISHED: 2019, SOURCE: Composability, Comprehensibility and Correctness of Working Software - 8th Summer School, CEFP 2019, Budapest, Hungary, June 17-21, 2019, Revised Selected Papers, VOLUME: 11950, PAGES: 77-97
AUTHORS: Maurice H ter Beek; Annabelle McIver; José N Oliveira ;
PUBLISHED: 2019, SOURCE: Lecture Notes in Computer Science