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

University of Porto (UP) :: Faculty of Sciences (FCUP)

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

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
521
TITLE: Preface to special issue: LSFA 2017 and 2018
AUTHORS: Sandra Alves ; Renata Wassermann;
PUBLISHED: 2021, SOURCE: Math. Struct. Comput. Sci., VOLUME: 31, ISSUE: 3, PAGES: 255-256
INDEXED IN: DBLP CrossRef
522
TITLE: Pregrammars and Intersection Types
AUTHORS: Sabine Broda ;
PUBLISHED: 2021, SOURCE: 29th EACSL Annual Conference on Computer Science Logic, CSL 2021 in 29th EACSL Annual Conference on Computer Science Logic, CSL 2021, January 25-28, 2021, Ljubljana, Slovenia (Virtual Conference)., VOLUME: 183, PAGES: 14:1-14:22
INDEXED IN: Scopus DBLP
523
TITLE: Privacy Technologies and Policy - 9th Annual Privacy Forum, APF 2021, Oslo, Norway, June 17-18, 2021, Proceedings
AUTHORS: Nils Gruschka; Luis Filipe Coelho Antunes ; Kai Rannenberg; Prokopios Drogkaris;
PUBLISHED: 2021, SOURCE: APF, VOLUME: 12703
INDEXED IN: DBLP
525
TITLE: Profiling Accounts Political Bias on Twitter
AUTHORS: Guimaraes, Nuno ; Figueira, Alvaro ; Torgo, Luis ;
PUBLISHED: 2021, SOURCE: 16th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF 2021 16TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2021)
INDEXED IN: Scopus WOS CrossRef: 1
526
TITLE: Programming Exercises Interoperability: The Case of a Non-Picky Consumer
AUTHORS: Ricardo Queirós ; José Carlos Paiva ; José Paulo Leal ;
PUBLISHED: 2021, SOURCE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021 in 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal., VOLUME: 94, PAGES: 5:1-5:9
INDEXED IN: Scopus DBLP
527
TITLE: Provable Security Analysis of FIDO2
AUTHORS: Barbosa, M ; Boldyreva, A; Chen, S; Warinschi, B;
PUBLISHED: 2021, SOURCE: 41st Annual International Cryptology Conference (CRYPTO) in ADVANCES IN CRYPTOLOGY - CRYPTO 2021, PT III, VOLUME: 12827, PAGES: 125-156
INDEXED IN: Scopus WOS DBLP CrossRef: 13
528
TITLE: Provisioning, Authentication and Secure Communications for IoT Devices on FIWARE  Full Text
AUTHORS: Sousa, P ; Magalhaes, L; Resende, J ; Rolando Martins ; Antunes, L ;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 17, PAGES: 5898
INDEXED IN: Scopus WOS DBLP CrossRef: 4
529
TITLE: Pruning strategies for the efficient traversal of the search space in PILP environments  Full Text
AUTHORS: Corte Real, J ; Dutra, I ; Rocha, R ;
PUBLISHED: 2021, SOURCE: KNOWLEDGE AND INFORMATION SYSTEMS, VOLUME: 63, ISSUE: 12, PAGES: 3183-3215
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
530
TITLE: Quantum Binary Classification (Student Abstract)
AUTHORS: Silva, C ; Aguiar, A ; Dutra, I ;
PUBLISHED: 2021, SOURCE: 35th AAAI Conference on Artificial Intelligence / 33rd Conference on Innovative Applications of Artificial Intelligence / 11th Symposium on Educational Advances in Artificial Intelligence in THIRTY-FIFTH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, THIRTY-THIRD CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE AND THE ELEVENTH SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, VOLUME: 35, PAGES: 15889-15890
INDEXED IN: Scopus WOS DBLP
531
TITLE: Report on the 4th international workshop on narrative extraction from texts (Text2Story 2021) at ECIR 2021
AUTHORS: Ricardo Campos ; Alípio M Jorge ; Adam Jatowt; Sumit Bhatia; Mark A Finlayson; João Paulo Cordeiro; Conceição Rocha ; Alexandre Ribeiro; Behrooz Mansouri; Jeffery Ansah; Arian Pasquali;
PUBLISHED: 2021, SOURCE: SIGIR Forum, VOLUME: 55, ISSUE: 2, PAGES: 5:1-5:9
INDEXED IN: DBLP
532
TITLE: Report on Zhi-Wei Sun's 1-3-5 conjecture and some of its refinements
AUTHORS: Machiavelo, A ; Reis, R ; Tsopanidis, N;
PUBLISHED: 2021, SOURCE: JOURNAL OF NUMBER THEORY, VOLUME: 222, PAGES: 21-29
INDEXED IN: Scopus WOS CrossRef: 1
533
TITLE: Rosy: An elegant language to teach the pure reactive nature of robot programming
AUTHORS: Hugo Pacheco ; Nuno Macedo ;
PUBLISHED: 2021, SOURCE: International Journal of Robotic Computing, VOLUME: 3, ISSUE: 1, PAGES: 22-46
INDEXED IN: CrossRef
534
TITLE: S2Dedup: SGX-enabled secure deduplication. SGX-enabled secure deduplication
AUTHORS: Mariana Miranda ; Tânia Esteves ; Bernardo Portela ; João Paulo ;
PUBLISHED: 2021, SOURCE: SYSTOR '21: The 14th ACM International Systems and Storage Conference, Haifa, Israel, June 14-16, 2021., PAGES: 14:1-14:12
INDEXED IN: Scopus DBLP CrossRef: 3
535
TITLE: S2Dedup: SGX-enabled Secure Deduplication
AUTHORS: Tânia Esteves; Mariana Miranda ; João Paulo ; Bernardo Portela ;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 683
INDEXED IN: DBLP
536
TITLE: SDR Proof-of-Concept of Full-Duplex Jamming for Enhanced Physical Layer Security  Full Text
AUTHORS: Silva, A; Gomes, M; Vilela, JP ; Harrison, WK;
PUBLISHED: 2021, SOURCE: SENSORS, VOLUME: 21, ISSUE: 3, PAGES: 1-15
INDEXED IN: Scopus WOS CrossRef: 3
537
TITLE: Secure Conflict-free Replicated Data Types
AUTHORS: Barbosa, M ; Ferreira, B; Marques, J ; Portela, B ; Preguica, N ;
PUBLISHED: 2021, SOURCE: 22nd International Conference on Distributed Computing and Networking (ICDCN) in PROCEEDINGS OF THE 2021 INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING AND NETWORKING (ICDCN '21), PAGES: 6-15
INDEXED IN: Scopus WOS DBLP CrossRef: 5
538
TITLE: Security Characterization of J-PAKE and its Variants
AUTHORS: Michel Abdalla; Manuel Barbosa ; Peter B Rønne; Peter Y A Ryan; Petra Sala;
PUBLISHED: 2021, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2021, PAGES: 824
INDEXED IN: DBLP
539
TITLE: Sharing Biomedical Data: Strengthening AI Development in Healthcare  Full Text
AUTHORS: Pereira, T ; Morgado, J ; Silva, F ; Pelter, MM; Dias, VR ; Barros, R; Freitas, C ; Negrao, E; de Lima, BF; da Silva, MC; Madureira, AJ ; Ramos, I; Hespanhol, V ; Costa, JL; Cunha, A ; Oliveira, HP ;
PUBLISHED: 2021, SOURCE: HEALTHCARE, VOLUME: 9, ISSUE: 7, PAGES: 827
INDEXED IN: Scopus WOS CrossRef: 13
540
TITLE: SicknessMiner: a deep-learning-driven text-mining tool to abridge disease-disease associations  Full Text
AUTHORS: Rosario Ferreira, N; Guimaraes, V; Costa, VS ; Moreira, IS;
PUBLISHED: 2021, SOURCE: BMC BIOINFORMATICS, VOLUME: 22, ISSUE: 1, PAGES: 482
INDEXED IN: Scopus WOS DBLP CrossRef: 4

Results per Page: 20.
Page 27 of 133. Total results: 2644.