CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 8180

531 Team Members
Filters -> Year: 2024
1261
TÍTULO: Why3-do: The Way of Harmonious Distributed System Proofs
AUTORES: Lourenco, Claudio Belo; Pinto, Jorge Sousa ;
PUBLICAÇÃO: 2022, FONTE: 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, PÁGINAS: 114-142
INDEXADO EM: Scopus WOS DBLP CrossRef
1262
TÍTULO: Wind Energy Assessment for Small Wind Turbines in Different Roof Shapes Based on CFD Simulations
AUTORES: Oliveira, Carlos; Cerveira, Adelaide ; Baptista, Jose ;
PUBLICAÇÃO: 2022, FONTE: International Conference on Sustainable Smart Cities and Territories (SSCT) in SUSTAINABLE SMART CITIES AND TERRITORIES, VOLUME: 253, PÁGINAS: 3-13
INDEXADO EM: Scopus WOS DBLP CrossRef Unpaywall
1263
TÍTULO: WindsPT e-Science platform for wind measurement campaigns
AUTORES: Gomes D.F.; Lopes J.C. ; Palma J.M.L.M.; Senra F.; Dias S.; Coimbra I.L.;
PUBLICAÇÃO: 2022, FONTE: Journal of Physics: Conference Series, VOLUME: 2265, NÚMERO: 2, PÁGINAS: 022081
INDEXADO EM: Scopus CrossRef Unpaywall
1264
TÍTULO: Work-in-Progress - The Role of Immersion When Designing Characters for Adapting Textual Narratives into Comic Strips for Online Higher Education: Trials Prototyping Characters
AUTORES: Cristiane Bonfim; Demetrius Lacet; Leonel Morgado ; Daniela Pedrosa;
PUBLICAÇÃO: 2022, FONTE: 8th International Conference of the Immersive Learning Research Network, iLRN 2022, Vienna, Austria, May 30 - June 4, 2022, PÁGINAS: 1-3
INDEXADO EM: Scopus DBLP CrossRef Handle
1265
TÍTULO: ZeroBERTo: Leveraging Zero-Shot Text Classification by Topic Modeling
AUTORES: Alcoforado, Alexandre; Ferraz, Thomas Palmeira; Gerber, Rodrigo; Bustos, Enzo; Oliveira, Andre Seidel; Veloso, Bruno Miguel ; Siqueira, Fabio Levy; Reali Costa, Anna Helena;
PUBLICAÇÃO: 2022, FONTE: 15th International Conference on the Computational Processing of Portuguese (PROPOR) in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROPOR 2022, VOLUME: 13208, PÁGINAS: 125-136
INDEXADO EM: Scopus WOS DBLP CrossRef: 9
1266
TÍTULO: ZeroBERTo: Leveraging Zero-Shot Text Classification by Topic Modeling
AUTORES: Alexandre Alcoforado; Thomas Palmeira Ferraz; Rodrigo Gerber; Enzo Bustos; André Seidel Oliveira; Bruno Miguel Veloso ; Fábio Levy Siqueira; Anna Helena Reali Costa;
PUBLICAÇÃO: 2022, FONTE: Computational Processing of the Portuguese Language - 15th International Conference, PROPOR 2022, Fortaleza, Brazil, March 21-23, 2022, Proceedings, VOLUME: 13208, PÁGINAS: 125-136
INDEXADO EM: DBLP
1267
TÍTULO: Zipping Strategies and Attribute Grammars
AUTORES: José Nuno Macedo ; Marcos Viera; João Saraiva ;
PUBLICAÇÃO: 2022, FONTE: 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, PÁGINAS: 112-132
INDEXADO EM: Scopus DBLP CrossRef
1268
TÍTULO: 10th Symposium on Languages, Applications and Technologies, SLATE 2021, July 1-2, 2021, Vila do Conde/Póvoa de Varzim, Portugal
AUTORES: Ricardo Queirós ; Mário Pinto; Alberto Simões; Filipe, Portela ; Maria João Pereira;
PUBLICAÇÃO: 2021, FONTE: SLATE, VOLUME: 94
INDEXADO EM: DBLP
1269
TÍTULO: 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
AUTORES: João Bispo ; Stefano Cherubin; José Flich;
PUBLICAÇÃO: 2021, FONTE: 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
INDEXADO EM: Scopus DBLP
1270
TÍTULO: 3rd Workshop on Learning with Imbalanced Domains: Preface
AUTORES: Nuno Moniz ; Paula Branco; Luís Torgo ; Nathalie Japkowicz; Michal Wozniak; Shuo Wang;
PUBLICAÇÃO: 2021, FONTE: Third International Workshop on Learning with Imbalanced Domains: Theory and Applications, LIDTA 2021, Bilbao, Spain, September 17, 2021, VOLUME: 154, PÁGINAS: 1-6
INDEXADO EM: DBLP
1271
TÍTULO: A Binary Translation Framework for Automated Hardware Generation  Full Text
AUTORES: Paulino, N ; Bispo, J ; Ferreira, JC ; Cardoso, JMP ;
PUBLICAÇÃO: 2021, FONTE: IEEE MICRO, VOLUME: 41, NÚMERO: 4, PÁGINAS: 15-22
INDEXADO EM: Scopus WOS DBLP CrossRef
1272
TÍTULO: A Comparative Study on the Performance of the IB+ Tree and the I2B+ Tree
AUTORES: Carneiro, E ; de Carvalho, AV; Oliveira, MA ;
PUBLICAÇÃO: 2021, FONTE: Journal of Information Systems Engineering and Management, VOLUME: 6, NÚMERO: 3
INDEXADO EM: Scopus CrossRef
1273
TÍTULO: A Comparison of Two-Dimensional and Three-Dimensional Techniques for Kinematic Analysis of the Sagittal Motion of Sheep Hindlimbs During Walking on a Treadmill
AUTORES: 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;
PUBLICAÇÃO: 2021, FONTE: FRONTIERS IN VETERINARY SCIENCE, VOLUME: 8
INDEXADO EM: Scopus WOS CrossRef: 4 Unpaywall
1274
TÍTULO: A Comprehensive Worst Case Bounds Analysis of IEEE 802.15.7
AUTORES: Kurunathan, Harrison; Severino, Ricardo ; Tovar, Eduardo;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF SENSOR AND ACTUATOR NETWORKS, VOLUME: 10, NÚMERO: 2, PÁGINAS: 23
INDEXADO EM: Scopus WOS DBLP
1275
TÍTULO: A Customizable Web Platform to Manage Standards Compliance of Information Security and Cybersecurity Auditing
AUTORES: Mário Antunes ; Marisa Maximiano; Ricardo Gomes;
PUBLICAÇÃO: 2021, FONTE: 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, PÁGINAS: 36-43
INDEXADO EM: Scopus DBLP CrossRef
1276
TÍTULO: A Data-Driven Simulator for Assessing Decision-Making in Soccer
AUTORES: Mendes Neves, Tiago ; Mendes Moreira, Joao ; Rossetti, Rosaldo J. F. ;
PUBLICAÇÃO: 2021, FONTE: 20th EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE (EPIA 2021), VOLUME: 12981, PÁGINAS: 687-698
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
1277
TÍTULO: A Dataset of Photos and Videos for Digital Forensics Analysis Using Machine Learning Processing
AUTORES: Ferreira, S; Antunes, M ; Manuel E. Correia ;
PUBLICAÇÃO: 2021, FONTE: DATA, VOLUME: 6, NÚMERO: 8, PÁGINAS: 87
INDEXADO EM: WOS DBLP CrossRef: 11
1278
TÍTULO: A deductive reasoning approach for database applications using verification conditions
AUTORES: Alam, MI; Halder, R; Pinto, JS ;
PUBLICAÇÃO: 2021, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 175, PÁGINAS: 110903
INDEXADO EM: Scopus WOS DBLP CrossRef
1279
TÍTULO: A flow-based intrusion detection framework for internet of things networks  Full Text
AUTORES: Santos, L; Goncalves, R ; Rabadao, C ; Martins, J ;
PUBLICAÇÃO: 2021, FONTE: CLUSTER COMPUTING-THE JOURNAL OF NETWORKS SOFTWARE TOOLS AND APPLICATIONS, VOLUME: 26, NÚMERO: 1, PÁGINAS: 37-57
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
1280
TÍTULO: A Graph Database Representation of Portuguese Criminal-Related Documents
AUTORES: Carnaz, G; Nogueira, VB; Antunes, M ;
PUBLICAÇÃO: 2021, FONTE: INFORMATICS-BASEL, VOLUME: 8, NÚMERO: 2, PÁGINAS: 37
INDEXADO EM: Scopus WOS DBLP CrossRef

Results per Page: 20.
Página 64 de 409. Total de resultados: 8180.