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

43 Team Members
Filters -> Year: 2025
561
TITLE: On the correctness and efficiency of a novel lock-free hash trie map design
AUTHORS: Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 150, PAGES: 184-195
INDEXED IN: Scopus WOS DBLP CrossRef: 4
562
TITLE: On the implementation of memory reclamation methods in a lock-free hash trie design
AUTHORS: Moreno, P ; Miguel Areias ; Rocha, R ;
PUBLISHED: 2021, SOURCE: JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, VOLUME: 155, PAGES: 1-13
INDEXED IN: Scopus WOS DBLP CrossRef: 4
563
TITLE: On the Secure Spectral Efficiency of URLLC With Randomly Located Colluding Eavesdroppers
AUTHORS: Farhat, J; Brante, G; Souza, RD; Vilela, JP ;
PUBLISHED: 2021, SOURCE: IEEE INTERNET OF THINGS JOURNAL, VOLUME: 8, ISSUE: 19, PAGES: 14672-14682
INDEXED IN: WOS CrossRef: 11
564
TITLE: On the size of partial derivatives and the word membership problem  Full Text
AUTHORS: Konstantinidis, S; Machiavelo, A ; Moreira, N ; Reis, R ;
PUBLISHED: 2021, SOURCE: ACTA INFORMATICA, VOLUME: 58, ISSUE: 4, PAGES: 357-375
INDEXED IN: Scopus WOS DBLP CrossRef: 2
565
TITLE: On the Uniform Distribution of Regular Expressions
AUTHORS: Sabine Broda ; António Machiavelo ; Nelma Moreira ; Rogério Reis ;
PUBLISHED: 2021, SOURCE: CoRR, VOLUME: abs/2103.13175
INDEXED IN: DBLP
566
TITLE: On the Uniform Distribution of Regular Expressions
AUTHORS: Broda, Sabine ; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037, PAGES: 13-25
INDEXED IN: Scopus WOS DBLP CrossRef
567
TITLE: Online Learning of Logic Based Neural Network Structures
AUTHORS: Victor Guimarães; Vítor Santos Costa ;
PUBLISHED: 2021, SOURCE: Inductive Logic Programming - 30th International Conference, ILP 2021, Virtual Event, October 25-27, 2021, Proceedings, VOLUME: 13191, PAGES: 140-155
INDEXED IN: DBLP
568
TITLE: Open source collection of gamified programming exercises
AUTHORS: Swacha, J; Naprawski, T; Queirós, R; Paiva, JC; Leal, JP ; de Vita, CG; Mellone, G; Montella, R; Ljubenkov, D; Kosta, S;
PUBLISHED: 2021, SOURCE: 37th Information Systems Education Conference, ISECON 2021 in Proceedings of the Information Systems Education Conference, ISECON, VOLUME: 2021-October, PAGES: 120-123
INDEXED IN: Scopus
569
TITLE: ORSUM 2021-4th Workshop on Online Recommender Systems and User Modeling
AUTHORS: Vinagre, J ; Jorge, AM ; Al Ghossein, M; Bifet, A;
PUBLISHED: 2021, SOURCE: 15th ACM Conference on Recommender Systems (RECSYS) in 15TH ACM CONFERENCE ON RECOMMENDER SYSTEMS (RECSYS 2021), PAGES: 792-793
INDEXED IN: Scopus WOS DBLP CrossRef: 3
570
TITLE: Partial Derivative Automaton by Compressing Regular Expressions
AUTHORS: Konstantinidis, Stavros; Machiavelo, Antonio ; Moreira, Nelma ; Reis, Rogerio ;
PUBLISHED: 2021, SOURCE: 23rd IFIP WG 1.02 International Conference on Descriptional Complexity of Formal Systems (DCFS) in DESCRIPTIONAL COMPLEXITY OF FORMAL SYSTEMS, DCFS 2021, VOLUME: 13037, PAGES: 100-112
INDEXED IN: Scopus WOS DBLP CrossRef: 1
571
TITLE: Partially Monotonic Learning for Neural Networks
AUTHORS: Trindade, J; Vinagre, J ; Fernandes, K; Paiva, N; Jorge, A ;
PUBLISHED: 2021, SOURCE: 19th International Symposium on Intelligent Data Analysis (IDA) in ADVANCES IN INTELLIGENT DATA ANALYSIS XIX, IDA 2021, VOLUME: 12695, PAGES: 12-23
INDEXED IN: Scopus WOS DBLP CrossRef: 1
572
TITLE: Population-scale tissue transcriptomics maps long non-coding RNAs to complex disease
AUTHORS: Olivia M de Goede; Daniel C Nachun; Nicole M Ferraro; Michael J Gloudemans; Abhiram S Rao; Craig Smail; Tiffany Y Eulalio; François Aguet; Bernard Ng; Jishu Xu; Alvaro N Barbeira; Stephane E Castel; Sarah Kim-Hellmuth; YoSon Park; Alexandra J Scott; Benjamin J Strober; Christopher D Brown; Xiaoquan Wen; Ira M Hall; Alexis Battle; Tuuli Lappalainen; Hae Kyung Im; Kristin G Ardlie; Sara Mostafavi; Thomas Quertermous; Karla Kirkegaard; Stephen B Montgomery; Shankara Anand; Stacey Gabriel; Gad A Getz; Aaron Graubert; Kane Hadley; Robert E Handsaker; Katherine H Huang; Xiao Li; Daniel G MacArthur; Samuel R Meier; Jared L Nedzel; Duyen T Nguyen; Ayellet V Segrè; Ellen Todres; Brunilda Balliu; Rodrigo Bonazzola; Andrew Brown; Donald F Conrad; Daniel J Cotter; Nancy Cox; Sayantan Das; Emmanouil T Dermitzakis; Jonah Einson; Barbara E Engelhardt; Eleazar Eskin; Elise D Flynn; Laure Fresard; Eric R Gamazon; Diego Garrido-Martín; Nicole R Gay; Roderic Guigó; Andrew R Hamel; Yuan He; Paul J Hoffman; Farhad Hormozdiari; Lei Hou; Brian Jo; Silva Kasela; Seva Kashin; Manolis Kellis; Alan Kwong; Xin Li; Yanyu Liang; Serghei Mangul; Pejman Mohammadi; Manuel Muñoz-Aguirre; Andrew B Nobel; Meritxell Oliva; Yongjin Park; Princy Parsana; Ferran Reverter; John M Rouhana; Chiara Sabatti; Ashis Saha; Matthew Stephens; Barbara E Stranger; Nicole A Teran; Ana Viñuela; Gao Wang; Fred Wright; Valentin Wucher; Yuxin Zou; Pedro G Ferreira ; Gen Li; Marta Melé; Esti Yeger-Lotem; Debra Bradbury; Tanya Krubit; Jeffrey A McLean; Liqun Qi; Karna Robinson; Nancy V Roche; Anna M Smith; David E Tabor; Anita Undale; Jason Bridge; Lori E Brigham; Barbara A Foster; Bryan M Gillard; Richard Hasz; Marcus Hunter; Christopher Johns; Mark Johnson; Ellen Karasik; Gene Kopen; William F Leinweber; Alisa McDonald; Michael T Moser; Kevin Myer; Kimberley D Ramsey; Brian Roe; Saboor Shad; Jeffrey A Thomas; Gary Walters; Michael Washington; Joseph Wheeler; Scott D Jewell; Daniel C Rohrer; Dana R Valley; David A Davis; Deborah C Mash; Mary E Barcus; Philip A Branton; Leslie Sobin; Laura K Barker; Heather M Gardiner; Maghboeba Mosavel; Laura A Siminoff; Paul Flicek; Maximilian Haeussler; Thomas Juettemann; James J Kent; Christopher M Lee; Conner C Powell; Kate R Rosenbloom; Magali Ruffier; Dan Sheppard; Kieron Taylor; Stephen J Trevanion; Daniel R Zerbino; Nathan S Abell; Joshua Akey; Lin Chen; Kathryn Demanelis; Jennifer A Doherty; Andrew P Feinberg; Kasper D Hansen; Peter F Hickey; Farzana Jasmine; Lihua Jiang; Rajinder Kaul; Muhammad G Kibriya; Jin Billy Li; Qin Li; Shin Lin; Sandra E Linder; Brandon L Pierce; Lindsay F Rizzardi; Andrew D Skol; Kevin S Smith; Michael Snyder; John Stamatoyannopoulos; Hua Tang; Meng Wang; Latarsha J Carithers; Ping Guan; Susan E Koester; Roger R Little; Helen M Moore; Concepcion R Nierras; Abhi K Rao; Jimmie B Vaught; Simona Volpi; ...More
PUBLISHED: 2021, SOURCE: Cell, VOLUME: 184, ISSUE: 10, PAGES: 2633-2648.e19
INDEXED IN: Scopus CrossRef: 129
573
TITLE: Predictive maintenance based on anomaly detection using deep learning for air production unit in the railway industry
AUTHORS: Davari, Narjes; Veloso, Bruno ; Ribeiro, Rita P. ; Pereira, Pedro Mota; Gama, Joao ;
PUBLISHED: 2021, SOURCE: 8th IEEE International Conference on Data Science and Advanced Analytics (DSAA) in 2021 IEEE 8TH INTERNATIONAL CONFERENCE ON DATA SCIENCE AND ADVANCED ANALYTICS (DSAA), PAGES: 1-10
INDEXED IN: Scopus WOS DBLP CrossRef: 30
574
TITLE: Predictive Maintenance for Sensor Enhancement in Industry 4.0
AUTHORS: Carla Silva ; Marvin F da Silva; Arlete Rodrigues; José Silva; Vítor Santos Costa ; Alípio Jorge ; Inês Dutra ;
PUBLISHED: 2021, SOURCE: 13th Asian Conference on Intelligent Information and Database Systems, ACIIDS 2021 in Recent Challenges in Intelligent Information and Database Systems - 13th Asian Conference, ACIIDS 2021, Phuket, Thailand, April 7-10, 2021, Proceedings, VOLUME: 1371, PAGES: 403-415
INDEXED IN: Scopus DBLP CrossRef: 3
575
TITLE: Preface
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2021, SOURCE: 25th International Conference on Developments in Language Theory, DLT 2021 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12811 LNCS
INDEXED IN: Scopus
576
TITLE: Preface
AUTHORS: Rocha, R; Formisano, A; Liu, YA; Miguel Areias ; Angelopoulos, N; Bogaerts, B; Dodaro, C; Alviano, M; Brik, A; Vennekens, J; Pozzato, GL; Zhou, NF; Dahl, V; Fodor, P;
PUBLISHED: 2021, SOURCE: 37th International Conference on Logic Programming (Technical Communications), ICLP 2021 in Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 345, PAGES: 49
INDEXED IN: Scopus
577
TITLE: Preface
AUTHORS: Nils Gruschka; Luís Filipe Coelho Antunes ; Kai Rannenberg; Prokopios Drogkaris;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12703 LNCS
INDEXED IN: Scopus
578
TITLE: Preface
AUTHORS: Carlos Soares ; Luis Torgo;
PUBLISHED: 2021, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 12986 LNAI
INDEXED IN: Scopus CrossRef
579
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
580
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

Results per Page: 20.
Page 29 of 135. Total results: 2700.