Departamento de Ciências dos Computadores (DCC)
Department of 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: 2644
43 Team MembersFilters -> Year: 2025
AUTORES: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença ;
PUBLICAÇÃO: 2022, FONTE: 25th International Symposium on Formal Methods, FM 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14000 LNCS, PÁGINAS: 122-141
AUTORES: Cardoso, Ana Sofia; Renna, Francesco ; Moreno Llorca, Ricardo; Alcaraz Segura, Domingo; Tabik, Siham; Ladle, Richard J.; Sofia Vaz, Ana;
PUBLICAÇÃO: 2022, FONTE: ECOSYSTEM SERVICES, VOLUME: 54
AUTORES: Soares, Nadia; Goncalves, Joao F.; Vasconcelos, Raquel ; Ribeiro, Rita P. ;
PUBLICAÇÃO: 2022, FONTE: 20th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XX, IDA 2022, VOLUME: 13205, PÁGINAS: 302-314
AUTORES: Carvalho, Margarida; Lodi, Andrea; Pedroso, Joao P. ;
PUBLICAÇÃO: 2022, FONTE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 303, NÚMERO: 3, PÁGINAS: 1057-1070
AUTORES: Bauer, Thomas; Agirre, Joseba A.; Fuercho, David; Herzner, Wolfgang; Hruska, Bob; Karaca, Mustafa; Pereira, David; Proenca, Jose ; Schlick, Rupert; Sicher, Robert; Smrcka, Ales; Yayan, Ugur; Sangchoolie, Behrooz;
PUBLICAÇÃO: 2022, FONTE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227, PÁGINAS: 368-382
AUTORES: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLICAÇÃO: 2022, FONTE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290, PÁGINAS: 16-37
AUTORES: Gama, Joao ; Ribeiro, Rita P. ; Veloso, Bruno ;
PUBLICAÇÃO: 2022, FONTE: IEEE INTELLIGENT SYSTEMS, VOLUME: 37, NÚMERO: 4, PÁGINAS: 27-29
AUTORES: Silva, Marco ; Pedroso, Joao Pedro ;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICS, VOLUME: 10, NÚMERO: 20, PÁGINAS: 3902
AUTORES: Carmela Troncoso; Mathias Payer; Jean Pierre Hubaux; Marcel Salathé; James R Larus; Edouard Bugnion; Wouter Lueks; Theresa Stadler; Apostolos Pyrgelis; Daniele Antonioli; Ludovic Barman; Sylvain Chatel; Kenneth G Paterson; Srdjan Capkun; David A Basin; Jan Beutel; Dennis Jackson; Marc Roeschlin; Patrick Leu; Bart Preneel; ...Mais
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 9, PÁGINAS: 48-57
AUTORES: Casal Guisande, M; Comesana Campos, A; Dutra, I ; Cerqueiro Pequeno, J; Bouza Rodriguez, JB;
PUBLICAÇÃO: 2022, FONTE: JOURNAL OF PERSONALIZED MEDICINE, VOLUME: 12, NÚMERO: 2, PÁGINAS: 169
AUTORES: Joana Maximino; Miguel T Coimbra ; João Pedrosa ;
PUBLICAÇÃO: 2022, FONTE: 44th Annual International Conference of the IEEE Engineering in Medicine & Biology Society, EMBC 2022, Glasgow, Scotland, United Kingdom, July 11-15, 2022, VOLUME: 2022-July, PÁGINAS: 1527-1530
AUTORES: Peixoto, PS; Carvalho, PH; Machado, A; Barreiros, L; Bordalo, AA; Oliveira, HP ; Segundo, MA ;
PUBLICAÇÃO: 2022, FONTE: CHEMOSENSORS, VOLUME: 10, NÚMERO: 1, PÁGINAS: 25
AUTORES: Ramos, Bernardo; Pereira, Tania ; Silva, Francisco ; Costa, Jose Luis; Oliveira, Helder P. ;
PUBLICAÇÃO: 2022, FONTE: 10th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2022), VOLUME: 13256, PÁGINAS: 182-191
AUTORES: Ferreira, Sara; Antunes, Mario ; Manuel E. Correia ;
PUBLICAÇÃO: 2022, FONTE: ERCIM NEWS, VOLUME: 2022, NÚMERO: 129, PÁGINAS: 13-14
AUTORES: Álvaro Figueira ; Lirielly Vitorugo Nascimento;
PUBLICAÇÃO: 2022, FONTE: 18th International Conference on Web Information Systems and Technologies, WEBIST 2022 in Proceedings of the 18th International Conference on Web Information Systems and Technologies, WEBIST 2022, Valletta, Malta, October 25-27, 2022., VOLUME: 2022-October, PÁGINAS: 355-362
AUTORES: Mendes, Ricardo; Brandao, Andre; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLICAÇÃO: 2022, FONTE: 20th IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom) in 2022 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM), PÁGINAS: 207-214
AUTORES: Neves, Joao; Loureiro, Ana; d'Orey, Pedro M. ; Migueis, Vera ; Álvaro Costa ; Ferreira, Michel ;
PUBLICAÇÃO: 2022, FONTE: IEEE 95th Vehicular Technology Conference: (VTC-Spring) in 2022 IEEE 95TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2022-SPRING), VOLUME: 2022-June, PÁGINAS: 1-6
AUTORES: Mendes, Ricardo; Cunha, Mariana ; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLICAÇÃO: 2022, FONTE: 27th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY - ESORICS 2022, PT I, VOLUME: 13554, PÁGINAS: 153-172
AUTORES: Vítor Cerqueira ; Luís Torgo ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2206.09821
AUTORES: Alex Gaudio ; Miguel T Coimbra ; Aurélio Campilho ; Asim Smailagic; Samuel E Schmidt; Francesco Renna ;
PUBLICAÇÃO: 2022, FONTE: 2022 Computing in Cardiology, CinC 2022 in Computing in Cardiology, CinC 2022, Tampere, Finland, September 4-7, 2022, VOLUME: 2022-September, PÁGINAS: 1-4