CS: Computer Science
CS: Computer Science
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.
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: 8274
531 Team MembersFilters -> Year: 2024
AUTORES: Dovier, Agostino; Formisano, Andrea; Gupta, Gopal; Hermenegildo, Manuel, V; Pontelli, Enrico; Rocha, Ricardo ;
PUBLICAÇÃO: 2022, FONTE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, NÚMERO: 6, PÁGINAS: 905-973
AUTORES: Macedo, Nuno ; Brunel, Julien; Chemouil, David; Cunha, Alcino ;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF AUTOMATED REASONING, VOLUME: 66, NÚMERO: 4, PÁGINAS: 861-904
AUTORES: João Santos; Filipe F Correia ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2203.13871
AUTORES: Pinto, Pedro; Bispo, Joao ; Cardoso, Joao ; Barbosa, Jorge Gomes ; Gadioli, Davide; Palermo, Gianluca; Martinovic, Jan; Golasowski, Martin; Slaninova, Katerina; Cmar, Radim; Silvano, Cristina;
PUBLICAÇÃO: 2022, FONTE: IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, VOLUME: 48, NÚMERO: 3, PÁGINAS: 732-754
AUTORES: Costa, Leandro; Ribeiro, Antonio Nestor ;
PUBLICAÇÃO: 2022, FONTE: 21st International Conference on Intelligent Systems Design and Applications (ISDA) in INTELLIGENT SYSTEMS DESIGN AND APPLICATIONS, ISDA 2021, VOLUME: 418, PÁGINAS: 165-176
AUTORES: Veloso, B ; Leal, F; Malheiro, B ;
PUBLICAÇÃO: 2022, FONTE: 15th International Conference on Information Technology and Applications, ICITA 2021 in Lecture Notes in Networks and Systems, VOLUME: 350, PÁGINAS: 707-717
AUTORES: José Diogo; Henrique São Mamede ;
PUBLICAÇÃO: 2022, FONTE: Revista de Ciências da Computação
AUTORES: Pedro Ramos Brandao; Henrique S Mamede ;
PUBLICAÇÃO: 2022, FONTE: Journal of Mathematical & Computer Applications, PÁGINAS: 1-4
AUTORES: Baquero, C ;
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 3, PÁGINAS: 10-11
AUTORES: Losada, Nieves; Jorge, Filipa; Teixeira, Mario Sergio; Sousa, Nuno; Melo, Miguel ; Bessa, Maximino ;
PUBLICAÇÃO: 2022, FONTE: International Conference on Marketing and Technologies (ICMarkTech) in MARKETING AND SMART TECHNOLOGIES, VOL 1, VOLUME: 279, PÁGINAS: 585-594
AUTORES: Meira, Deolinda; Azevedo, Ana; Castro, Conceicao; Tome, Brizida; Rodrigues, Ana Claudia; Bernardino, Susana; Martinho, Ana Luisa; Malta, Mariana Curado ; Pinto, Agostinho Sousa; Coutinho, Bruno; Vasconcelos, Paulo; Fernandes, Tiago Pimenta; Bandeira, Ana Maria; Rocha, Ana Paula; Silva, Marlene; Gomes, Mafalda;
PUBLICAÇÃO: 2022, FONTE: CIRIEC-ESPANA REVISTA DE ECONOMIA PUBLICA SOCIAL Y COOPERATIVA, VOLUME: 104, NÚMERO: 104, PÁGINAS: 233-266
AUTORES: Jakub Swacha; Filip Miernik; Marzena Sylwia Ignasiak; Raffaele Montella; Ciro Giuseppe De Vita; Gennaro Mellone; Ricardo Queirós ; José Carlos Paiva ; José Paulo Leal ; Sokol Kosta;
PUBLICAÇÃO: 2022, FONTE: Information Systems Development: Artificial Intelligence for Information Systems Development and Operations (ISD2022 Proceedings), Cluj-Napoca, Romania, 31 August - 2 September 2022.
AUTORES: Daniela Lopes; Pedro Medeiros; Jin Dong Dong; Diogo Barradas; Bernardo Portela ; João Vinagre ; Bernardo Ferreira; Nicolas Christin; Nuno Santos;
PUBLICAÇÃO: 2022, FONTE: Proceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security, CCS 2022, Los Angeles, CA, USA, November 7-11, 2022, PÁGINAS: 3399-3401
AUTORES: Baptista, Jose ; Faria, Pedro; Canizes, Bruno; Pinto, Tiago ;
PUBLICAÇÃO: 2022, FONTE: ENERGIES, VOLUME: 15, NÚMERO: 9, PÁGINAS: 3195
AUTORES: Daniel Jorge Ferreira; Henrique São Mamede ;
PUBLICAÇÃO: 2022, FONTE: ARIS2 - Advanced Research on Information Systems Security, VOLUME: 2, NÚMERO: 2, PÁGINAS: 50-63
AUTORES: Brandao, Andre; Mendes, Ricardo; Vilela, Joao P. ;
PUBLICAÇÃO: 2022, FONTE: ACM Conference on Data and Application Security and Privacy (CODASPY) in CODASPY'22: PROCEEDINGS OF THE TWELVETH ACM CONFERENCE ON DATA AND APPLICATION SECURITY AND PRIVACY, PÁGINAS: 89-100
AUTORES: Sant'Ana, Beatriz; Veloso, Bruno ; Gama, Joao ;
PUBLICAÇÃO: 2022, FONTE: 5th International Conference on Energy and Environment - bringing together Economics and Engineering (ICEE) in TECHNOLOGIES, MARKETS AND POLICIES: BRINGING TOGETHER ECONOMICS AND ENGINEERING, PÁGINAS: 416-421
AUTORES: Ribeiro, P ; Silva, F ; Mendes, JF ; Laureano, R ;
PUBLICAÇÃO: 2022, FONTE: 7th International Conference and School of Network Science, NetSci-X 2022 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 13197 LNCS
AUTORES: Ricardo Campos ; Alípio M Jorge ; Adam Jatowt; Sumit Bhatia; Marina Litvak; Conceição Rocha; João Paulo Cordeiro;
PUBLICAÇÃO: 2022, FONTE: CEUR Workshop Proceedings, VOLUME: 3117