Departamento de Ciências dos Computadores (DCC)
Department of Computer Science

Universidade do Porto (UP) :: Faculdade de Ciências (FCUP)

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

43 Team Members
Filters -> Year: 2025
301
TÍTULO: Can we Communicate? Using Dynamic Logic to Verify Team Automata
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
INDEXADO EM: Scopus DBLP
302
TÍTULO: Classifying the content of social media images to support cultural ecosystem service assessments using deep learning models  Full Text
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
INDEXADO EM: Scopus WOS Unpaywall
303
TÍTULO: Combining Multiple Data Sources to Predict IUCN Conservation Status of Reptiles
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
304
TÍTULO: Computing equilibria for integer programming games  Full Text
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
305
TÍTULO: Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. Invited Paper
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
306
TÍTULO: Data Type Inference for Logic Programming
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
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
307
TÍTULO: Data-Driven Predictive Maintenance  Full Text
AUTORES: Gama, Joao ; Ribeiro, Rita P. ; Veloso, Bruno ;
PUBLICAÇÃO: 2022, FONTE: IEEE INTELLIGENT SYSTEMS, VOLUME: 37, NÚMERO: 4, PÁGINAS: 27-29
INDEXADO EM: WOS DBLP CrossRef: 9
308
TÍTULO: Deep Reinforcement Learning for Crowdshipping Last-Mile Delivery with Endogenous Uncertainty  Full Text
AUTORES: Silva, Marco ; Pedroso, Joao Pedro ;
PUBLICAÇÃO: 2022, FONTE: MATHEMATICS, VOLUME: 10, NÚMERO: 20, PÁGINAS: 3902
INDEXADO EM: Scopus WOS CrossRef: 5
309
TÍTULO: Deploying Decentralized, Privacy-Preserving Proximity Tracing PDF  Full Text
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; Nigel P Smart; Aysajan Abidin; Seda F Gürses; Michael Veale; Cas Cremers; Michael Backes; Nils Ole Tippenhauer; Reuben Binns; Ciro Cattuto; Alain Barrat; Dario Fiore; Manuel Barbosa ; Rui Oliveira ; José Pereira ; ...Mais
PUBLICAÇÃO: 2022, FONTE: COMMUNICATIONS OF THE ACM, VOLUME: 65, NÚMERO: 9, PÁGINAS: 48-57
INDEXADO EM: Scopus WOS DBLP arXiv
310
TÍTULO: Design and Development of an Intelligent Clinical Decision Support System Applied to the Evaluation of Breast Cancer Risk
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
INDEXADO EM: Scopus WOS CrossRef: 25
311
TÍTULO: Detection of COVID-19 in Point of Care Lung Ultrasound
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
INDEXADO EM: Scopus DBLP CrossRef: 2
312
TÍTULO: Development of a Screening Method for Sulfamethoxazole in Environmental Water by Digital Colorimetry Using a Mobile Device
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
INDEXADO EM: Scopus WOS CrossRef: 4 Unpaywall
313
TÍTULO: Differential Gene Expression Analysis of the Most Relevant Genes for Lung Cancer Prediction and Sub-type Classification
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
INDEXADO EM: Scopus WOS DBLP CrossRef
314
TÍTULO: Digital Forensics for the Detection of Deepfake Image Manipulations
AUTORES: Ferreira, Sara; Antunes, Mario ; Manuel E. Correia ;
PUBLICAÇÃO: 2022, FONTE: ERCIM NEWS, VOLUME: 2022, NÚMERO: 129, PÁGINAS: 13-14
INDEXADO EM: WOS DBLP
315
TÍTULO: Do Top Higher Education Institutions' Social Media Communication Differ Depending on Their Rank?
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
INDEXADO EM: Scopus DBLP CrossRef Unpaywall
316
TÍTULO: Effect of User Expectation on Mobile App Privacy: A Field Study
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
INDEXADO EM: Scopus WOS CrossRef: 2
317
TÍTULO: Empirical Evaluation of the Performance of Electric Vehicles for Taxi Operation
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
INDEXADO EM: Scopus WOS DBLP CrossRef
318
TÍTULO: Enhancing User Privacy in Mobile Devices Through Prediction of Privacy Preferences
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
INDEXADO EM: Scopus WOS CrossRef: 4
319
TÍTULO: Exceedance Probability Forecasting via Regression for Significant Wave Height Forecasting
AUTORES: Vítor Cerqueira ; Luís Torgo ;
PUBLICAÇÃO: 2022, FONTE: CoRR, VOLUME: abs/2206.09821
INDEXADO EM: DBLP
320
TÍTULO: Explainable Deep Learning for Non-Invasive Detection of Pulmonary Artery Hypertension from Heart Sounds
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
INDEXADO EM: Scopus DBLP CrossRef

Results per Page: 20.
Página 16 de 133. Total de resultados: 2644.