CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

535 Team Members
Filters -> Year: 2026
441
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
442
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1
443
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
INDEXED IN: Scopus WOS CrossRef: 1
444
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
INDEXED IN: Scopus WOS DBLP CrossRef
445
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
INDEXED IN: DBLP
446
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
INDEXED IN: Scopus WOS DBLP CrossRef
447
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
INDEXED IN: Scopus WOS CrossRef: 28
448
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
INDEXED IN: DBLP
449
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
INDEXED IN: Scopus WOS DBLP CrossRef
450
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
INDEXED IN: Scopus WOS DBLP CrossRef
451
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
INDEXED IN: Scopus WOS CrossRef
452
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
INDEXED IN: Scopus WOS DBLP CrossRef: 5
453
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
INDEXED IN: Scopus WOS DBLP CrossRef
454
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
INDEXED IN: DBLP
455
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
INDEXED IN: DBLP
456
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
INDEXED IN: Scopus DBLP
457
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
INDEXED IN: Scopus WOS CrossRef
458
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
INDEXED IN: Scopus WOS DBLP CrossRef
459
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
INDEXED IN: Scopus WOS DBLP
460
TITLE: Parametric models for distributional data  Full Text
AUTHORS: Brito, Paula ; Silva, A. Pedro Duarte ;
PUBLISHED: 2025, SOURCE: ADVANCES IN DATA ANALYSIS AND CLASSIFICATION, VOLUME: 19, ISSUE: 4, PAGES: 1119-1146
INDEXED IN: Scopus WOS DBLP CrossRef: 1

Results per Page: 20.
Page 23 of 534. Total results: 10669.