CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
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: 10670
535 Team MembersFilters -> Year: 2026
441
TITLE: On Bridging Prolog and Python to Enhance an Inductive Logic Programming System
AUTHORS: Costa, Vitor Santos ; Miguel Areias ;
PUBLISHED: 2025, SOURCE: 27th International Symposium on Practical Aspects of Declarative Languages-PADL in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2025, VOLUME: 15537, PAGES: 1-17
AUTHORS: Costa, Vitor Santos ; Miguel Areias ;
PUBLISHED: 2025, SOURCE: 27th International Symposium on Practical Aspects of Declarative Languages-PADL in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PADL 2025, VOLUME: 15537, PAGES: 1-17
442
TITLE: On Exploring Safe Memory Reclamation Methods with a Simplified Lock-Free Hash Map Design
AUTHORS: Moreno, Pedro ; Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2025, SOURCE: 30th European Conference on Parallel and Distributed Processing-Euro-Par in EURO-PAR 2024: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 15386, PAGES: 302-306
AUTHORS: Moreno, Pedro ; Miguel Areias ; Rocha, Ricardo ;
PUBLISHED: 2025, SOURCE: 30th European Conference on Parallel and Distributed Processing-Euro-Par in EURO-PAR 2024: PARALLEL PROCESSING WORKSHOPS, PT II, VOLUME: 15386, PAGES: 302-306
443
TITLE: On improving the HLS compatibility of large C/C plus plus code regions
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ; Hoe, James C.;
PUBLISHED: 2025, SOURCE: 33rd International Symposium on Field Programmable Custom Computing Machines-FCCM-Annual in 2025 IEEE 33RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, FCCM, PAGES: 282-282
AUTHORS: Santos, Tiago; Bispo, Joao ; Cardoso, Joao M. P. ; Hoe, James C.;
PUBLISHED: 2025, SOURCE: 33rd International Symposium on Field Programmable Custom Computing Machines-FCCM-Annual in 2025 IEEE 33RD ANNUAL INTERNATIONAL SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, FCCM, PAGES: 282-282
444
TITLE: On the Difficulty of NOT being Unique: Fingerprinting Users from Wi-Fi Data in Mobile Devices
AUTHORS: Cunha, Mariana ; Mendes, Ricardo; de Montjoye, Yves Alexandre; Vilela, Joao P. ;
PUBLISHED: 2025, SOURCE: 40th Symposium on Applied Computing-SAC in 40TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PAGES: 1335-1342
AUTHORS: Cunha, Mariana ; Mendes, Ricardo; de Montjoye, Yves Alexandre; Vilela, Joao P. ;
PUBLISHED: 2025, SOURCE: 40th Symposium on Applied Computing-SAC in 40TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PAGES: 1335-1342
445
TITLE: On the Role of Generative AI in Explaining Model Checking Counterexamples
AUTHORS: Veloso Ferreira Moreira, Ezequiel Jose; Creissac Campos, Jose ;
PUBLISHED: 2025, SOURCE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS: EICS 2024 INTERNATIONAL WORKSHOPS, VOLUME: 15518, PAGES: 138-158
AUTHORS: Veloso Ferreira Moreira, Ezequiel Jose; Creissac Campos, Jose ;
PUBLISHED: 2025, SOURCE: ACM SIGCHI Symposium on Engineering Interactive Computing Systems (EICS) in ENGINEERING INTERACTIVE COMPUTER SYSTEMS: EICS 2024 INTERNATIONAL WORKSHOPS, VOLUME: 15518, PAGES: 138-158
446
TITLE: On-device edge learning for IoT data streams: a survey
AUTHORS: Afonso Lourenço; João Rodrigo; João Gama ; Goreti Marreiros;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.17788
AUTHORS: Afonso Lourenço; João Rodrigo; João Gama ; Goreti Marreiros;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2502.17788
INDEXED IN: 
DBLP
DBLP447
TITLE: One-Class Learning for Data Stream Through Graph Neural Networks
AUTHORS: Silva Golo, Marcos Paulo; Gama, Joao ; Marcacini, Ricardo Marcondes;
PUBLISHED: 2025, SOURCE: 34th Brazilian Conference on Intelligent Systems in INTELLIGENT SYSTEMS, BRACIS 2024, PT IV, VOLUME: 15415, PAGES: 61-75
AUTHORS: Silva Golo, Marcos Paulo; Gama, Joao ; Marcacini, Ricardo Marcondes;
PUBLISHED: 2025, SOURCE: 34th Brazilian Conference on Intelligent Systems in INTELLIGENT SYSTEMS, BRACIS 2024, PT IV, VOLUME: 15415, PAGES: 61-75
448
TITLE: Online boxplot derived outlier detection
AUTHORS: Mazarei, Arefeh; Sousa, Ricardo ; Mendes Moreira, Joao ; Molchanov, Slavo; Ferreira, Hugo Miguel;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 19, ISSUE: 1, PAGES: 83-97
AUTHORS: Mazarei, Arefeh; Sousa, Ricardo ; Mendes Moreira, Joao ; Molchanov, Slavo; Ferreira, Hugo Miguel;
PUBLISHED: 2025, SOURCE: INTERNATIONAL JOURNAL OF DATA SCIENCE AND ANALYTICS, VOLUME: 19, ISSUE: 1, PAGES: 83-97
449
TITLE: Online Data Augmentation for Forecasting with Deep Learning
AUTHORS: Vítor Cerqueira ; Moisés Santos; Luis Roque; Yassine Baghoussi; Carlos Soares ;
PUBLISHED: 2025, SOURCE: Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 217-229
AUTHORS: Vítor Cerqueira ; Moisés Santos; Luis Roque; Yassine Baghoussi; Carlos Soares ;
PUBLISHED: 2025, SOURCE: Progress in Artificial Intelligence - 24th EPIA Conference on Artificial Intelligence, EPIA 2025, Faro, Portugal, October 1-3, 2025, Proceedings, Part I, VOLUME: 16121, PAGES: 217-229
INDEXED IN: DBLP
DBLP450
TITLE: Online Learning from Capricious Data streams with Flexible Hoeffding Tree
AUTHORS: Zhao, Ruirui; Sun, Jianbin; Gama, Joao ; Jiang, Jiang;
PUBLISHED: 2025, SOURCE: 40th Symposium on Applied Computing-SAC in 40TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PAGES: 465-467
AUTHORS: Zhao, Ruirui; Sun, Jianbin; Gama, Joao ; Jiang, Jiang;
PUBLISHED: 2025, SOURCE: 40th Symposium on Applied Computing-SAC in 40TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, PAGES: 465-467
451
TITLE: Online learning from drifting capricious data streams with flexible Hoeffding tree
AUTHORS: Zhao, Ruirui; You, Yaqian; Sun, Jianbin; Gama, Joao ; Jiang, Jiang;
PUBLISHED: 2025, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 62, ISSUE: 6, PAGES: 104221
AUTHORS: Zhao, Ruirui; You, Yaqian; Sun, Jianbin; Gama, Joao ; Jiang, Jiang;
PUBLISHED: 2025, SOURCE: INFORMATION PROCESSING & MANAGEMENT, VOLUME: 62, ISSUE: 6, PAGES: 104221
452
TITLE: Online monitoring of electric transmission lines using an optical ground wire with Distributed Acoustic Sensing
AUTHORS: Silva, Susana ; Nunes, Goncalo Duarte ; da Silva, Joao Pereira; Meireles, Antonio; Bidarra, David; Moreira, Jose; Novais, Susana; Dias, Ireneu; Sousa, Ricardo; Frazao, Orlando ;
PUBLISHED: 2025, SOURCE: 29th International Conference on Optical Fiber Sensors in 29TH INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS, VOLUME: 13639, PAGES: 502
AUTHORS: Silva, Susana ; Nunes, Goncalo Duarte ; da Silva, Joao Pereira; Meireles, Antonio; Bidarra, David; Moreira, Jose; Novais, Susana; Dias, Ireneu; Sousa, Ricardo; Frazao, Orlando ;
PUBLISHED: 2025, SOURCE: 29th International Conference on Optical Fiber Sensors in 29TH INTERNATIONAL CONFERENCE ON OPTICAL FIBER SENSORS, VOLUME: 13639, PAGES: 502
453
TITLE: Optimizing job shop scheduling with speed-adjustable machines and peak power constraints: A mathematical model and heuristic solutions
AUTHORS: Homayouni, S. Mahdi; Fontes, Dalila B. M. M. ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 32, ISSUE: 1, PAGES: 194-220
AUTHORS: Homayouni, S. Mahdi; Fontes, Dalila B. M. M. ;
PUBLISHED: 2025, SOURCE: INTERNATIONAL TRANSACTIONS IN OPERATIONAL RESEARCH, VOLUME: 32, ISSUE: 1, PAGES: 194-220
454
TITLE: Optimizing Renewable Microgrid Performance Through Hydrogen Storage Integration Full Text
AUTHORS: Ribeiro, Bruno; Baptista, Jose ; Cerveira, Adelaide ;
PUBLISHED: 2025, SOURCE: ALGORITHMS, VOLUME: 18, ISSUE: 10, PAGES: 656
AUTHORS: Ribeiro, Bruno; Baptista, Jose ; Cerveira, Adelaide ;
PUBLISHED: 2025, SOURCE: ALGORITHMS, VOLUME: 18, ISSUE: 10, PAGES: 656
455
TITLE: Osiris: A Multi-Language Transpiler for Educational Purposes
AUTHORS: Breno Marrão; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2025, SOURCE: 6th International Computer Programming Education Conference, ICPEC 2025, July 10-11, 2025, PORTIC, Polytechnic of Porto, Portugal, VOLUME: 133, PAGES: 17:1-17:14
AUTHORS: Breno Marrão; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2025, SOURCE: 6th International Computer Programming Education Conference, ICPEC 2025, July 10-11, 2025, PORTIC, Polytechnic of Porto, Portugal, VOLUME: 133, PAGES: 17:1-17:14
INDEXED IN: DBLP
DBLP456
TITLE: Overview and Roadmap of Team Automata
AUTHORS: Maurice H ter Beek; Rolf Hennicker; José Proença ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.13589
AUTHORS: Maurice H ter Beek; Rolf Hennicker; José Proença ;
PUBLISHED: 2025, SOURCE: CoRR, VOLUME: abs/2501.13589
INDEXED IN: DBLP
DBLP457
TITLE: p4SD: A Lightweight Port Scan Detection for Programmable Networks
AUTHORS: Daniel Miranda; Rui Pedro C Monteiro; João Marco C Silva ;
PUBLISHED: 2025, SOURCE: 33rd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2025 in International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2025, Split, Croatia, September 18-20, 2025, PAGES: 1-6
AUTHORS: Daniel Miranda; Rui Pedro C Monteiro; João Marco C Silva ;
PUBLISHED: 2025, SOURCE: 33rd International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2025 in International Conference on Software, Telecommunications and Computer Networks, SoftCOM 2025, Split, Croatia, September 18-20, 2025, PAGES: 1-6
INDEXED IN: 
Scopus DBLP
Scopus DBLP458
TITLE: PAP900: A dataset of semantic relationships between affective words in Portuguese
AUTHORS: dos Santos, Andre Fernandes ; Leal, Jose Paulo ; Alves, Rui Alexandre; Jacques, Teresa;
PUBLISHED: 2025, SOURCE: DATA IN BRIEF, VOLUME: 61, PAGES: 111726
AUTHORS: dos Santos, Andre Fernandes ; Leal, Jose Paulo ; Alves, Rui Alexandre; Jacques, Teresa;
PUBLISHED: 2025, SOURCE: DATA IN BRIEF, VOLUME: 61, PAGES: 111726
459
TITLE: Paraconsistency for the Working Software Engineer (Extended Abstract)
AUTHORS: Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2024, VOLUME: 15280, PAGES: 22-30
AUTHORS: Barbosa, Luis Soares ;
PUBLISHED: 2025, SOURCE: 22nd International Conference on Software Engineering and Formal Methods-SEFM-Annual in SOFTWARE ENGINEERING AND FORMAL METHODS, SEFM 2024, VOLUME: 15280, PAGES: 22-30
460
TITLE: Paraconsistent Relations as a Variant of Kleene Algebras Full Text
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, ISSUE: 421, PAGES: 130-147
AUTHORS: Cunha, Juliana; Madeira, Alexandre; Barbosa, Luis S. ;
PUBLISHED: 2025, SOURCE: 19th International Workshop on Logical and Semantic Frameworks, with Applications (LSFA) in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/2506.05840, ISSUE: 421, PAGES: 130-147
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP