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: 8274
531 Team MembersFilters -> Year: 2024
1341
TITLE: Why3-do: The Way of Harmonious Distributed System Proofs
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240, PAGES: 114-142
AUTHORS: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLISHED: 2022, SOURCE: 31st European Symposium on Programming (ESOP) Held as Part of the 25th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, ESOP 2022, VOLUME: 13240, PAGES: 114-142
1342
TITLE: Wind Energy Assessment for Small Wind Turbines in Different Roof Shapes Based on CFD Simulations
AUTHORS: Oliveira, Carlos; Cerveira, Adelaide ; Baptista, Jose ;
PUBLISHED: 2022, SOURCE: International Conference on Sustainable Smart Cities and Territories (SSCT) in SUSTAINABLE SMART CITIES AND TERRITORIES, VOLUME: 253, PAGES: 3-13
AUTHORS: Oliveira, Carlos; Cerveira, Adelaide ; Baptista, Jose ;
PUBLISHED: 2022, SOURCE: International Conference on Sustainable Smart Cities and Territories (SSCT) in SUSTAINABLE SMART CITIES AND TERRITORIES, VOLUME: 253, PAGES: 3-13
1343
TITLE: WindsPT e-Science platform for wind measurement campaigns
AUTHORS: Gomes D.F.; Lopes J.C. ; Palma J.M.L.M.; Senra F.; Dias S.; Coimbra I.L.;
PUBLISHED: 2022, SOURCE: Journal of Physics: Conference Series, VOLUME: 2265, ISSUE: 2, PAGES: 022081
AUTHORS: Gomes D.F.; Lopes J.C. ; Palma J.M.L.M.; Senra F.; Dias S.; Coimbra I.L.;
PUBLISHED: 2022, SOURCE: Journal of Physics: Conference Series, VOLUME: 2265, ISSUE: 2, PAGES: 022081
1344
TITLE: Work-in-Progress - The Role of Immersion When Designing Characters for Adapting Textual Narratives into Comic Strips for Online Higher Education: Trials Prototyping Characters
AUTHORS: Cristiane Bonfim; Demetrius Lacet; Leonel Morgado ; Daniela Pedrosa;
PUBLISHED: 2022, SOURCE: 8th International Conference of the Immersive Learning Research Network, iLRN 2022, Vienna, Austria, May 30 - June 4, 2022, PAGES: 1-3
AUTHORS: Cristiane Bonfim; Demetrius Lacet; Leonel Morgado ; Daniela Pedrosa;
PUBLISHED: 2022, SOURCE: 8th International Conference of the Immersive Learning Research Network, iLRN 2022, Vienna, Austria, May 30 - June 4, 2022, PAGES: 1-3
1345
TITLE: ZeroBERTo: Leveraging Zero-Shot Text Classification by Topic Modeling
AUTHORS: Alcoforado, Alexandre; Ferraz, Thomas Palmeira; Gerber, Rodrigo; Bustos, Enzo; Oliveira, Andre Seidel; Veloso, Bruno Miguel ; Siqueira, Fabio Levy; Reali Costa, Anna Helena;
PUBLISHED: 2022, SOURCE: 15th International Conference on the Computational Processing of Portuguese (PROPOR) in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROPOR 2022, VOLUME: 13208, PAGES: 125-136
AUTHORS: Alcoforado, Alexandre; Ferraz, Thomas Palmeira; Gerber, Rodrigo; Bustos, Enzo; Oliveira, Andre Seidel; Veloso, Bruno Miguel ; Siqueira, Fabio Levy; Reali Costa, Anna Helena;
PUBLISHED: 2022, SOURCE: 15th International Conference on the Computational Processing of Portuguese (PROPOR) in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROPOR 2022, VOLUME: 13208, PAGES: 125-136
1346
TITLE: ZeroBERTo: Leveraging Zero-Shot Text Classification by Topic Modeling
AUTHORS: Alexandre Alcoforado; Thomas Palmeira Ferraz; Rodrigo Gerber; Enzo Bustos; André Seidel Oliveira; Bruno Miguel Veloso ; Fábio Levy Siqueira; Anna Helena Reali Costa;
PUBLISHED: 2022, SOURCE: Computational Processing of the Portuguese Language - 15th International Conference, PROPOR 2022, Fortaleza, Brazil, March 21-23, 2022, Proceedings, VOLUME: 13208, PAGES: 125-136
AUTHORS: Alexandre Alcoforado; Thomas Palmeira Ferraz; Rodrigo Gerber; Enzo Bustos; André Seidel Oliveira; Bruno Miguel Veloso ; Fábio Levy Siqueira; Anna Helena Reali Costa;
PUBLISHED: 2022, SOURCE: Computational Processing of the Portuguese Language - 15th International Conference, PROPOR 2022, Fortaleza, Brazil, March 21-23, 2022, Proceedings, VOLUME: 13208, PAGES: 125-136
INDEXED IN: 
DBLP
DBLP1347
TITLE: Zipping Strategies and Attribute Grammars
AUTHORS: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2022, SOURCE: 16th International Symposium on Functional and Logic Programming, FLOPS 2022 in Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, VOLUME: 13215, PAGES: 112-132
AUTHORS: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLISHED: 2022, SOURCE: 16th International Symposium on Functional and Logic Programming, FLOPS 2022 in Functional and Logic Programming - 16th International Symposium, FLOPS 2022, Kyoto, Japan, May 10-12, 2022, Proceedings, VOLUME: 13215, PAGES: 112-132
1348
TITLE: 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; Filipe, Portela ; Maria João Pereira;
PUBLISHED: 2021, SOURCE: SLATE, VOLUME: 94
AUTHORS: Ricardo Queirós ; Mário Pinto; Alberto Simões; Filipe, Portela ; Maria João Pereira;
PUBLISHED: 2021, SOURCE: SLATE, VOLUME: 94
INDEXED IN: DBLP
DBLP1349
TITLE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021, January 19, 2021, Budapest, Hungary
AUTHORS: João Bispo ; Stefano Cherubin; José Flich;
PUBLISHED: 2021, SOURCE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021 in PARMA-DITAM@HiPEAC, VOLUME: 88
AUTHORS: João Bispo ; Stefano Cherubin; José Flich;
PUBLISHED: 2021, SOURCE: 12th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 10th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2021 in PARMA-DITAM@HiPEAC, VOLUME: 88
INDEXED IN: 
Scopus DBLP
Scopus DBLP1350
TITLE: 3rd Workshop on Learning with Imbalanced Domains: Preface
AUTHORS: Nuno Moniz ; Paula Branco; Luís Torgo ; Nathalie Japkowicz; Michal Wozniak; Shuo Wang;
PUBLISHED: 2021, SOURCE: Third International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA 2021, Bilbao, Spain, September 17, 2021, VOLUME: 154, PAGES: 1-6
AUTHORS: Nuno Moniz ; Paula Branco; Luís Torgo ; Nathalie Japkowicz; Michal Wozniak; Shuo Wang;
PUBLISHED: 2021, SOURCE: Third International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA 2021, Bilbao, Spain, September 17, 2021, VOLUME: 154, PAGES: 1-6
INDEXED IN: DBLP
DBLP1351
TITLE: A Binary Translation Framework for Automated Hardware Generation Full Text
AUTHORS: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: IEEE MICRO, VOLUME: 41, ISSUE: 4, PAGES: 15-22
AUTHORS: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLISHED: 2021, SOURCE: IEEE MICRO, VOLUME: 41, ISSUE: 4, PAGES: 15-22
1352
TITLE: A Comparative Study on the Performance of the IB+ Tree and the I2B+ Tree
AUTHORS: Carneiro, E ; de Carvalho, AV; Oliveira, MA ;
PUBLISHED: 2021, SOURCE: Journal of Information Systems Engineering and Management, VOLUME: 6, ISSUE: 3
AUTHORS: Carneiro, E ; de Carvalho, AV; Oliveira, MA ;
PUBLISHED: 2021, SOURCE: Journal of Information Systems Engineering and Management, VOLUME: 6, ISSUE: 3
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1353
TITLE: A Comparison of Two-Dimensional and Three-Dimensional Techniques for Kinematic Analysis of the Sagittal Motion of Sheep Hindlimbs During Walking on a Treadmill
AUTHORS: Diogo, CC; Camassa, JA; Fonseca, B; da Costa, LM; Pereira, JE; Filipe, V ; Couto, PA ; Raimondo, S; Armada da Silva, PA; Mauricio, AC ; Varejao, ASP;
PUBLISHED: 2021, SOURCE: FRONTIERS IN VETERINARY SCIENCE, VOLUME: 8
AUTHORS: Diogo, CC; Camassa, JA; Fonseca, B; da Costa, LM; Pereira, JE; Filipe, V ; Couto, PA ; Raimondo, S; Armada da Silva, PA; Mauricio, AC ; Varejao, ASP;
PUBLISHED: 2021, SOURCE: FRONTIERS IN VETERINARY SCIENCE, VOLUME: 8
1354
TITLE: A Comprehensive Worst Case Bounds Analysis of IEEE 802.15.7
AUTHORS: Kurunathan, Harrison; Severino, Ricardo ; Tovar, Eduardo;
PUBLISHED: 2021, SOURCE: JOURNAL OF SENSOR AND ACTUATOR NETWORKS, VOLUME: 10, ISSUE: 2, PAGES: 23
AUTHORS: Kurunathan, Harrison; Severino, Ricardo ; Tovar, Eduardo;
PUBLISHED: 2021, SOURCE: JOURNAL OF SENSOR AND ACTUATOR NETWORKS, VOLUME: 10, ISSUE: 2, PAGES: 23
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP1355
TITLE: A Customizable Web Platform to Manage Standards Compliance of Information Security and Cybersecurity Auditing
AUTHORS: Mário Antunes ; Marisa Maximiano; Ricardo Gomes;
PUBLISHED: 2021, SOURCE: 2021 International Conference on ENTERprise Information Systems, CENTERIS 2021 / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 and International Conference on Health and Social Care Information Systems and Technologies 2021 in CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 - International Conference on Health and Social Care Information Systems and Technologies 2021, Braga, Portugal, VOLUME: 196, PAGES: 36-43
AUTHORS: Mário Antunes ; Marisa Maximiano; Ricardo Gomes;
PUBLISHED: 2021, SOURCE: 2021 International Conference on ENTERprise Information Systems, CENTERIS 2021 / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 and International Conference on Health and Social Care Information Systems and Technologies 2021 in CENTERIS 2021 - International Conference on ENTERprise Information Systems / ProjMAN 2021 - International Conference on Project MANagement / HCist 2021 - International Conference on Health and Social Care Information Systems and Technologies 2021, Braga, Portugal, VOLUME: 196, PAGES: 36-43
1356
TITLE: A Data-Driven Simulator for Assessing Decision-Making in Soccer
AUTHORS: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 687-698
AUTHORS: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLISHED: 2021, SOURCE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PAGES: 687-698
1357
TITLE: A Dataset of Photos and Videos for Digital Forensics Analysis Using Machine Learning Processing
AUTHORS: Ferreira, S; Antunes, M ; Manuel E. Correia ;
PUBLISHED: 2021, SOURCE: DATA, VOLUME: 6, ISSUE: 8, PAGES: 87
AUTHORS: Ferreira, S; Antunes, M ; Manuel E. Correia ;
PUBLISHED: 2021, SOURCE: DATA, VOLUME: 6, ISSUE: 8, PAGES: 87
1358
TITLE: A deductive reasoning approach for database applications using verification conditions
AUTHORS: Alam, MI; Halder, R; Pinto, JS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PAGES: 110903
AUTHORS: Alam, MI; Halder, R; Pinto, JS ;
PUBLISHED: 2021, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PAGES: 110903
1359
TITLE: A flow-based intrusion detection framework for internet of things networks Full Text
AUTHORS: Santos, L; Goncalves, R ; Rabadao, C ; Martins, J ;
PUBLISHED: 2021, SOURCE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 26, ISSUE: 1, PAGES: 37-57
AUTHORS: Santos, L; Goncalves, R ; Rabadao, C ; Martins, J ;
PUBLISHED: 2021, SOURCE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 26, ISSUE: 1, PAGES: 37-57
1360
TITLE: A Graph Database Representation of Portuguese Criminal-Related Documents
AUTHORS: Carnaz, G; Nogueira, VB; Antunes, M ;
PUBLISHED: 2021, SOURCE: INFORMATICS-BASEL, VOLUME: 8, ISSUE: 2, PAGES: 37
AUTHORS: Carnaz, G; Nogueira, VB; Antunes, M ;
PUBLISHED: 2021, SOURCE: INFORMATICS-BASEL, VOLUME: 8, ISSUE: 2, PAGES: 37
