Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
Publications Actions
Publications at Authenticus Institutional Profile
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.
External
Internal
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!
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!
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!
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: 2727
43 Team MembersFilters -> Year: 2025
381
TITLE: Blockchain-based Device Identity Management with Consensus Authentication for IoT Devices
AUTHORS: Munkenyi Mukhandi; Francisco Damiao; Jorge Granjal; Joao P Vilela ;
PUBLISHED: 2022, SOURCE: Proceedings - IEEE Consumer Communications and Networking Conference, CCNC, PAGES: 433-436
AUTHORS: Munkenyi Mukhandi; Francisco Damiao; Jorge Granjal; Joao P Vilela ;
PUBLISHED: 2022, SOURCE: Proceedings - IEEE Consumer Communications and Networking Conference, CCNC, PAGES: 433-436
382
TITLE: Boolean Searchable Symmetric Encryption With Filters on Trusted Hardware Full Text
AUTHORS: Ferreira, B; Portela, B ; Oliveira, T ; Borges, G ; Domingos, H; Leitao, J;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, ISSUE: 2, PAGES: 1307-1319
AUTHORS: Ferreira, B; Portela, B ; Oliveira, T ; Borges, G ; Domingos, H; Leitao, J;
PUBLISHED: 2022, SOURCE: IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, VOLUME: 19, ISSUE: 2, PAGES: 1307-1319
383
TITLE: Branching Pomsets for Choreographies
AUTHORS: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLISHED: 2022, SOURCE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365, PAGES: 37-52
AUTHORS: Luc Edixhoven; Sung Shik Jongmans; José Proença ; Guillermina Cledou ;
PUBLISHED: 2022, SOURCE: Proceedings 15th Interaction and Concurrency Experience, ICE 2022, Lucca, Italy, 17th June 2022., VOLUME: 365, PAGES: 37-52
INDEXED IN: 
DBLP
DBLP384
TITLE: Can Multi-channel Heart Sounds Analysis improve Murmur Detection?
AUTHORS: Nogueira, Marcelo ; Oliveira, Jorge ; Ferreira, Carlos Gomes ; Coimbra, Miguel T. ; Jorge, Alipio M. ;
PUBLISHED: 2022, SOURCE: 4th IEEE-EMBS International Conference on Wearable and Implantable Body Sensor Networks (BSN) / 18th IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2022 IEEE-EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS (BHI) JOINTLY ORGANISED WITH THE IEEE-EMBS INTERNATIONAL CONFERENCE ON WEARABLE AND IMPLANTABLE BODY SENSOR NETWORKS (BSN'22), PAGES: 1-4
AUTHORS: Nogueira, Marcelo ; Oliveira, Jorge ; Ferreira, Carlos Gomes ; Coimbra, Miguel T. ; Jorge, Alipio M. ;
PUBLISHED: 2022, SOURCE: 4th IEEE-EMBS International Conference on Wearable and Implantable Body Sensor Networks (BSN) / 18th IEEE-EMBS International Conference on Biomedical and Health Informatics (BHI) in 2022 IEEE-EMBS INTERNATIONAL CONFERENCE ON BIOMEDICAL AND HEALTH INFORMATICS (BHI) JOINTLY ORGANISED WITH THE IEEE-EMBS INTERNATIONAL CONFERENCE ON WEARABLE AND IMPLANTABLE BODY SENSOR NETWORKS (BSN'22), PAGES: 1-4
385
TITLE: Can we Communicate? Using Dynamic Logic to Verify Team Automata
AUTHORS: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 122-141
AUTHORS: Maurice H ter Beek; Guillermina Cledou; Rolf Hennicker; José Proença ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 122-141
INDEXED IN: 
Scopus DBLP
Scopus DBLP386
TITLE: Classifying the content of social media images to support cultural ecosystem service assessments using deep learning models Full Text
AUTHORS: Cardoso, Ana Sofia; Renna, Francesco ; Moreno Llorca, Ricardo; Alcaraz Segura, Domingo; Tabik, Siham; Ladle, Richard J.; Sofia Vaz, Ana;
PUBLISHED: 2022, SOURCE: ECOSYSTEM SERVICES, VOLUME: 54
AUTHORS: Cardoso, Ana Sofia; Renna, Francesco ; Moreno Llorca, Ricardo; Alcaraz Segura, Domingo; Tabik, Siham; Ladle, Richard J.; Sofia Vaz, Ana;
PUBLISHED: 2022, SOURCE: ECOSYSTEM SERVICES, VOLUME: 54
INDEXED IN: Scopus 
WOS 
Unpaywall
Scopus WOS Unpaywall387
TITLE: Combining Multiple Data Sources to Predict IUCN Conservation Status of Reptiles
AUTHORS: Soares, Nadia; Goncalves, Joao F.; Vasconcelos, Raquel ; Ribeiro, Rita P. ;
PUBLISHED: 2022, SOURCE: 20th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XX, IDA 2022, VOLUME: 13205, PAGES: 302-314
AUTHORS: Soares, Nadia; Goncalves, Joao F.; Vasconcelos, Raquel ; Ribeiro, Rita P. ;
PUBLISHED: 2022, SOURCE: 20th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XX, IDA 2022, VOLUME: 13205, PAGES: 302-314
388
TITLE: Computing equilibria for integer programming games Full Text
AUTHORS: Carvalho, Margarida; Lodi, Andrea; Pedroso, Joao P. ;
PUBLISHED: 2022, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 303, ISSUE: 3, PAGES: 1057-1070
AUTHORS: Carvalho, Margarida; Lodi, Andrea; Pedroso, Joao P. ;
PUBLISHED: 2022, SOURCE: EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, VOLUME: 303, ISSUE: 3, PAGES: 1057-1070
389
TITLE: Cross-domain Modelling of Verification and Validation Workflows in the Large Scale European Research Project VALU3S Invited Paper. Invited Paper
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227, PAGES: 368-382
AUTHORS: 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;
PUBLISHED: 2022, SOURCE: 21st International Conference on Embedded Computer Systems - Architectures, Modeling, and Simulation (SAMOS) in EMBEDDED COMPUTER SYSTEMS: ARCHITECTURES, MODELING, AND SIMULATION, SAMOS 2021, VOLUME: 13227, PAGES: 368-382
390
TITLE: Data Type Inference for Logic Programming
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290, PAGES: 16-37
AUTHORS: Barbosa, Joao ; Florido, Mario ; Costa, Vitor Santos ;
PUBLISHED: 2022, SOURCE: 31st International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR) in LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2021), VOLUME: 13290, PAGES: 16-37
391
TITLE: Data-Driven Predictive Maintenance Full Text
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Veloso, Bruno ;
PUBLISHED: 2022, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 37, ISSUE: 4, PAGES: 27-29
AUTHORS: Gama, Joao ; Ribeiro, Rita P. ; Veloso, Bruno ;
PUBLISHED: 2022, SOURCE: IEEE INTELLIGENT SYSTEMS, VOLUME: 37, ISSUE: 4, PAGES: 27-29
392
TITLE: Deep Reinforcement Learning for Crowdshipping Last-Mile Delivery with Endogenous Uncertainty Full Text
AUTHORS: Silva, Marco ; Pedroso, Joao Pedro ;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 20, PAGES: 3902
AUTHORS: Silva, Marco ; Pedroso, Joao Pedro ;
PUBLISHED: 2022, SOURCE: MATHEMATICS, VOLUME: 10, ISSUE: 20, PAGES: 3902
393
TITLE: Deploying Decentralized, Privacy-Preserving Proximity Tracing PDF Full Text
AUTHORS: 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; ...More
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 65, ISSUE: 9, PAGES: 48-57
AUTHORS: 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; ...More
PUBLISHED: 2022, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 65, ISSUE: 9, PAGES: 48-57
394
TITLE: Design and Development of an Intelligent Clinical Decision Support System Applied to the Evaluation of Breast Cancer Risk
AUTHORS: Casal Guisande, M; Comesana Campos, A; Dutra, I ; Cerqueiro Pequeno, J; Bouza Rodriguez, JB;
PUBLISHED: 2022, SOURCE: JOURNAL OF PERSONALIZED MEDICINE, VOLUME: 12, ISSUE: 2, PAGES: 169
AUTHORS: Casal Guisande, M; Comesana Campos, A; Dutra, I ; Cerqueiro Pequeno, J; Bouza Rodriguez, JB;
PUBLISHED: 2022, SOURCE: JOURNAL OF PERSONALIZED MEDICINE, VOLUME: 12, ISSUE: 2, PAGES: 169
395
TITLE: Detection of COVID-19 in Point of Care Lung Ultrasound
AUTHORS: Joana Maximino; Miguel T Coimbra ; João Pedrosa ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 1527-1530
AUTHORS: Joana Maximino; Miguel T Coimbra ; João Pedrosa ;
PUBLISHED: 2022, SOURCE: 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, PAGES: 1527-1530
396
TITLE: Development of a Screening Method for Sulfamethoxazole in Environmental Water by Digital Colorimetry Using a Mobile Device
AUTHORS: Peixoto, PS; Carvalho, PH; Machado, A; Barreiros, L; Bordalo, AA ; Oliveira, HP ; Segundo, MA ;
PUBLISHED: 2022, SOURCE: CHEMOSENSORS, VOLUME: 10, ISSUE: 1, PAGES: 25
AUTHORS: Peixoto, PS; Carvalho, PH; Machado, A; Barreiros, L; Bordalo, AA ; Oliveira, HP ; Segundo, MA ;
PUBLISHED: 2022, SOURCE: CHEMOSENSORS, VOLUME: 10, ISSUE: 1, PAGES: 25
397
TITLE: Differential Gene Expression Analysis of the Most Relevant Genes for Lung Cancer Prediction and Sub-type Classification
AUTHORS: Ramos, Bernardo; Pereira, Tania ; Silva, Francisco ; Costa, Jose Luis; Oliveira, Helder P. ;
PUBLISHED: 2022, SOURCE: 10th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2022), VOLUME: 13256, PAGES: 182-191
AUTHORS: Ramos, Bernardo; Pereira, Tania ; Silva, Francisco ; Costa, Jose Luis; Oliveira, Helder P. ;
PUBLISHED: 2022, SOURCE: 10th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS (IBPRIA 2022), VOLUME: 13256, PAGES: 182-191
398
TITLE: Digital Forensics for the Detection of Deepfake Image Manipulations
AUTHORS: Ferreira, Sara; Antunes, Mario ; Correia, Manuel E. ;
PUBLISHED: 2022, SOURCE: ERCIM NEWS, VOLUME: 2022, ISSUE: 129, PAGES: 13-14
AUTHORS: Ferreira, Sara; Antunes, Mario ; Correia, Manuel E. ;
PUBLISHED: 2022, SOURCE: ERCIM NEWS, VOLUME: 2022, ISSUE: 129, PAGES: 13-14
INDEXED IN: WOS DBLP
WOS DBLP399
TITLE: Do Top Higher Education Institutions' Social Media Communication Differ Depending on Their Rank?
AUTHORS: Álvaro Figueira ; Lirielly Vitorugo Nascimento;
PUBLISHED: 2022, SOURCE: 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, PAGES: 355-362
AUTHORS: Álvaro Figueira ; Lirielly Vitorugo Nascimento;
PUBLISHED: 2022, SOURCE: 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, PAGES: 355-362
400
TITLE: Effect of User Expectation on Mobile App Privacy: A Field Study
AUTHORS: Mendes, Ricardo; Brandao, Andre; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLISHED: 2022, SOURCE: 20th IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom) in 2022 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM), PAGES: 207-214
AUTHORS: Mendes, Ricardo; Brandao, Andre; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLISHED: 2022, SOURCE: 20th IEEE International Conference on Pervasive Computing and Communications (IEEE PerCom) in 2022 IEEE INTERNATIONAL CONFERENCE ON PERVASIVE COMPUTING AND COMMUNICATIONS (PERCOM), PAGES: 207-214
