High-Assurance Software Laboratory (HASLab)
Laboratório de Software Confiável
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.
Publications Count: 1241112 Team Members
Filters -> Year: 2020
AUTHORS: Zilhao, L; Ricardo Morla ; Ana Aguiar ;
SOURCE: 19th IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks (WoWMoM) in 2018 IEEE 19TH INTERNATIONAL SYMPOSIUM ON A WORLD OF WIRELESS, MOBILE AND MULTIMEDIA NETWORKS (WOWMOM), PAGES: 14-19, PUBLISHED: 2018
AUTHORS: Daniel Figueiredo; Manuel A Martins; Luís Soares Barbosa ;
SOURCE: It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, VOLUME: 10865, PAGES: 57-67, PUBLISHED: 2018
AUTHORS: Sergey Goncharov; Julian Jakob; Renato Neves ;
SOURCE: 29th International Conference on Concurrency Theory, CONCUR 2018 in 29th International Conference on Concurrency Theory, CONCUR 2018, September 4-7, 2018, Beijing, China, VOLUME: 118, PAGES: 22:1-22:17, PUBLISHED: 2018
AUTHORS: Guillermina Cledou ; Elsa Estevez; Luis Soares Barbosa ;
SOURCE: GOVERNMENT INFORMATION QUARTERLY, VOLUME: 35, ISSUE: 1, PAGES: 61-76, PUBLISHED: 2018
AUTHORS: Rei, J; Brito, C ; Sousa, A ;
SOURCE: 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018 in Proceedings - 4th IEEE International Conference on Collaboration and Internet Computing, CIC 2018, PAGES: 405-411, PUBLISHED: 2018
AUTHORS: Rolf Hennicker; Alexandre Madeira ; Martin Wirsing;
SOURCE: Conference on European Theory and Practice of Software (ETAPS) in THEORETICAL COMPUTER SCIENCE, VOLUME: 741, PAGES: 32-43, PUBLISHED: 2018
AUTHORS: Carlos Pereira; João Cardoso; Ana Aguiar ; Ricardo Morla ;
SOURCE: J. Reliable Intelligent Environments, VOLUME: 4, ISSUE: 1, PAGES: 25-37, PUBLISHED: 2018
AUTHORS: Guilherme Borges; Henrique Domingos; Bernardo Ferreira; João Leitão; Tiago Oliveira; Bernardo Portela ;
SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2018, PAGES: 588, PUBLISHED: 2018
AUTHORS: Shoker, A ;
SOURCE: 37th ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC) in PODC'18: PROCEEDINGS OF THE 2018 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING, PAGES: 269-271, PUBLISHED: 2018
AUTHORS: Luís Paulo Santos ; Luís Nuno Barbosa; Diogo Aires Bessa; Lúcia Pereira Martins; Luís Soares Barbosa ;
SOURCE: 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018 in Proceedings of the 11th International Conference on Theory and Practice of Electronic Governance, ICEGOV 2018, Galway, Ireland, April 04-06, 2018, PAGES: 118-126, PUBLISHED: 2018
AUTHORS: Fredrik Dahlqvist; Renato Neves ;
SOURCE: CoRR, VOLUME: abs/1804.04145, PUBLISHED: 2018
AUTHORS: David R Teixeira; Joao Marco C Silva ; Solange Rito Lima;
SOURCE: 26th International Conference on Software, Telecommunications and Computer Networks (SoftCOM) in 2018 26TH INTERNATIONAL CONFERENCE ON SOFTWARE, TELECOMMUNICATIONS AND COMPUTER NETWORKS (SOFTCOM), PAGES: 164-169, PUBLISHED: 2018
AUTHORS: Claudio Rebelo de Sa; Wouter Duivesteijn; Paulo Azevedo ; Alipio Mario Jorge ; Carlos Soares ; Arno Knobbe;
SOURCE: MACHINE LEARNING, VOLUME: 107, ISSUE: 11, PAGES: 1775-1807, PUBLISHED: 2018
AUTHORS: Alexandre Madeira ; Mário Benevides;
SOURCE: DALI@TABLEAUX, VOLUME: 10669, PUBLISHED: 2018