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: 2700
43 Team MembersFilters -> Year: 2025
361
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
362
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
363
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
364
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
365
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
366
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
367
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
368
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
369
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
370
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
371
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 DBLP372
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
373
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
374
TITLE: Empirical Evaluation of the Performance of Electric Vehicles for Taxi Operation
AUTHORS: Neves, Joao; Loureiro, Ana; d'Orey, Pedro M. ; Migueis, Vera ; Álvaro Costa ; Ferreira, Michel ;
PUBLISHED: 2022, SOURCE: IEEE 95th Vehicular Technology Conference: (VTC-Spring) in 2022 IEEE 95TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2022-SPRING), VOLUME: 2022-June, PAGES: 1-6
AUTHORS: Neves, Joao; Loureiro, Ana; d'Orey, Pedro M. ; Migueis, Vera ; Álvaro Costa ; Ferreira, Michel ;
PUBLISHED: 2022, SOURCE: IEEE 95th Vehicular Technology Conference: (VTC-Spring) in 2022 IEEE 95TH VEHICULAR TECHNOLOGY CONFERENCE (VTC2022-SPRING), VOLUME: 2022-June, PAGES: 1-6
375
TITLE: Enhancing User Privacy in Mobile Devices Through Prediction of Privacy Preferences
AUTHORS: Mendes, Ricardo; Cunha, Mariana ; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLISHED: 2022, SOURCE: 27th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY - ESORICS 2022, PT I, VOLUME: 13554, PAGES: 153-172
AUTHORS: Mendes, Ricardo; Cunha, Mariana ; Vilela, Joao P. ; Beresford, Alastair R.;
PUBLISHED: 2022, SOURCE: 27th European Symposium on Research in Computer Security (ESORICS) in COMPUTER SECURITY - ESORICS 2022, PT I, VOLUME: 13554, PAGES: 153-172
376
TITLE: Exceedance Probability Forecasting via Regression for Significant Wave Height Forecasting
AUTHORS: Vítor Cerqueira ; Luís Torgo ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2206.09821
AUTHORS: Vítor Cerqueira ; Luís Torgo ;
PUBLISHED: 2022, SOURCE: CoRR, VOLUME: abs/2206.09821
INDEXED IN: DBLP
DBLP377
TITLE: Explainable Deep Learning for Non-Invasive Detection of Pulmonary Artery Hypertension from Heart Sounds
AUTHORS: Alex Gaudio ; Miguel T Coimbra ; Aurélio Campilho ; Asim Smailagic; Samuel E Schmidt; Francesco Renna ;
PUBLISHED: 2022, SOURCE: 2022 Computing in Cardiology, CinC 2022 in Computing in Cardiology, CinC 2022, Tampere, Finland, September 4-7, 2022, VOLUME: 2022-September, PAGES: 1-4
AUTHORS: Alex Gaudio ; Miguel T Coimbra ; Aurélio Campilho ; Asim Smailagic; Samuel E Schmidt; Francesco Renna ;
PUBLISHED: 2022, SOURCE: 2022 Computing in Cardiology, CinC 2022 in Computing in Cardiology, CinC 2022, Tampere, Finland, September 4-7, 2022, VOLUME: 2022-September, PAGES: 1-4
378
TITLE: Fifty Years of Prolog and Beyond
AUTHORS: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2022, SOURCE: Theory Pract. Log. Program., VOLUME: 22, ISSUE: 6, PAGES: 776-858
AUTHORS: Philipp Körner; Michael Leuschel; João Barbosa; Vítor Santos Costa ; Verónica Dahl; Manuel V Hermenegildo; José F Morales; Jan Wielemaker; Daniel Diaz; Salvador Abreu;
PUBLISHED: 2022, SOURCE: Theory Pract. Log. Program., VOLUME: 22, ISSUE: 6, PAGES: 776-858
INDEXED IN: DBLP
DBLP379
TITLE: Fifty Years of Prolog and Beyond PDF
AUTHORS: Koerner, Philipp; Leuschel, Michael; Barbosa, Joao ; Costa, Vitor Santos ; Dahl, Veronica; Hermenegildo, Manuel, V; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador ; Ciatto, Giovanni;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6, PAGES: 776-858
AUTHORS: Koerner, Philipp; Leuschel, Michael; Barbosa, Joao ; Costa, Vitor Santos ; Dahl, Veronica; Hermenegildo, Manuel, V; Morales, Jose F.; Wielemaker, Jan; Diaz, Daniel; Abreu, Salvador ; Ciatto, Giovanni;
PUBLISHED: 2022, SOURCE: THEORY AND PRACTICE OF LOGIC PROGRAMMING, VOLUME: 22, ISSUE: 6, PAGES: 776-858
380
TITLE: Formal Aspects of Component Software - 18th International Conference, FACS 2022, Virtual Event, November 10-11, 2022, Proceedings
AUTHORS: Silvia Lizeth Tapia Tarifa; José Proença ;
PUBLISHED: 2022, SOURCE: FACS, VOLUME: 13712
AUTHORS: Silvia Lizeth Tapia Tarifa; José Proença ;
PUBLISHED: 2022, SOURCE: FACS, VOLUME: 13712
INDEXED IN: DBLP
DBLP