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

531 Team Members
Filters -> Year: 2024
541
TITLE: Machine-Checked Security for rmXMSS as in RFC 8391 and $\mathrm {SPHINCS^{+}} $
AUTHORS: Manuel Barbosa ; François Dupressoir; Benjamin Grégoire; Andreas Hülsing; Matthias Meijers; Pierre Yves Strub;
PUBLISHED: 2023, SOURCE: Advances in Cryptology – CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Proceedings in Advances in Cryptology - CRYPTO 2023 - 43rd Annual International Cryptology Conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20-24, 2023, Proceedings, Part V, VOLUME: 14085, PAGES: 421-454
INDEXED IN: Scopus DBLP
542
TITLE: MAGIC: Manipulating Avatars and Gestures to Improve Remote Collaboration
AUTHORS: Fidalgo, Catarina G.; Sousa, Mauricio; Mendes, Daniel ; dos Anjos, Rafael Kuffner; Medeiros, Daniel; Singh, Karan; Jorge, Joaquim;
PUBLISHED: 2023, SOURCE: 30th IEEE Conference Virtual Reality and 3D User Interfaces (IEEE VR) in 2023 IEEE CONFERENCE VIRTUAL REALITY AND 3D USER INTERFACES, VR, PAGES: 438-448
INDEXED IN: Scopus WOS DBLP CrossRef
543
TITLE: Management Model and Capture of Benefits Integrated into the Practice of Project Management
AUTHORS: Almeida, A; Santos, C; Mamede, H ; Malta, P; Santos, V;
PUBLISHED: 2023, SOURCE: International Conference on Marketing and Technologies, ICMarkTech 2022 in Smart Innovation, Systems and Technologies, VOLUME: 337 SIST, PAGES: 507-517
INDEXED IN: Scopus CrossRef Unpaywall
544
TITLE: Mapeamento do Perfil das Mulheres Brasileiras em Processamento de Linguagem Natural
AUTHORS: Helena Caseli; Evelin Amorim ; Elisa Terumi Rubel Schneider; Leidiana Iza Andrade Freitas; Jéssica Rodrigues; Maria das Graças V. Nunes;
PUBLISHED: 2023, SOURCE: Anais do XVII Women in Information Technology (WIT 2023)
INDEXED IN: CrossRef Unpaywall
545
TITLE: MARTINE's real-time local market simulation with a semantically interoperable society of multi-agent systems
AUTHORS: Santos, Gabriel; Gomes, Luis; Pinto, Tiago ; Faria, Pedro; Vale, Zita;
PUBLISHED: 2023, SOURCE: SUSTAINABLE ENERGY GRIDS & NETWORKS, VOLUME: 33, PAGES: 100995
INDEXED IN: Scopus WOS CrossRef: 1
546
TITLE: Mathematical and Statistical Modelling for Assessing COVID-19 Superspreader Contagion: Analysis of Geographical Heterogeneous Impacts from Public Events
AUTHORS: Leal, Conceicao; Morgado, Leonel ; Oliveira, Teresa A.;
PUBLISHED: 2023, SOURCE: MATHEMATICS, VOLUME: 11, ISSUE: 5, PAGES: 1156
INDEXED IN: Scopus WOS CrossRef Handle
547
TITLE: Measuring Latency-Accuracy Trade-Offs in Convolutional Neural Networks
AUTHORS: Tse, Andre ; Oliveira, Lino ; Vinagre, Joao ;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PAGES: 323-334
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
548
TITLE: Measuring users' emotional responses in multisensory virtual reality: a systematic literature review  Full Text
AUTHORS: Magalhaes, Mariana ; Coelho, Antonio ; Melo, Miguel ; Bessa, Maximino ;
PUBLISHED: 2023, SOURCE: MULTIMEDIA TOOLS AND APPLICATIONS, VOLUME: 83, ISSUE: 14, PAGES: 43377-43417
INDEXED IN: Scopus WOS CrossRef: 4 Unpaywall
549
TITLE: Mechanized Proofs of Adversarial Complexity and Application to Universal Composability
AUTHORS: Barbosa, Manuel ; Barthe, Gilles; Gregoire, Benjamin; Koutsos, Adrien; Strub, Pierre Yves;
PUBLISHED: 2023, SOURCE: ACM TRANSACTIONS ON PRIVACY AND SECURITY, VOLUME: 26, ISSUE: 3, PAGES: 41:1-41:34
INDEXED IN: WOS DBLP CrossRef: 1
550
TITLE: Métodos para criação de narrativas imersivas: uma revisão de revisões da literatura. Methods for creating immersive narratives: a survey of literature surveys
AUTHORS: Cristiane Jorge de Lima Bonfim; Leonel Morgado ; Daniela Cristina Carneiro Pedrosa;
PUBLISHED: 2023, SOURCE: Novos Olhares, VOLUME: 11, ISSUE: 2, PAGES: 205282
INDEXED IN: CrossRef Handle
551
TITLE: MetroPT-3 Dataset
AUTHORS: Narjes Davari; Bruno Veloso ; Rita P Ribeiro ; João Gama ;
PUBLISHED: 2023
INDEXED IN: DBLP
553
TITLE: Mining Causal Links Between TV Sports Content and Real-World Data
AUTHORS: Melo, Duarte; Delmoral, Jessica C.; Vinagre, Joao ;
PUBLISHED: 2023, SOURCE: 22nd EPIA Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2023, PT I, VOLUME: 14115, PAGES: 263-274
INDEXED IN: Scopus WOS DBLP CrossRef
554
TITLE: Modeling and Forecasting Photovoltaic Power Production
AUTHORS: Diogo Ribeiro; Adelaide Cerveira ; Solteiro Pires, EJ; José Baptista ;
PUBLISHED: 2023, SOURCE: 2023 IEEE International Conference on Electrical, Computer and Energy Technologies, ICECET 2023 in International Conference on Electrical, Computer and Energy Technologies, ICECET 2023
INDEXED IN: Scopus CrossRef Unpaywall
555
TITLE: Modeling Events and Interactions through Temporal Processes - A Survey
AUTHORS: Angelica Liguori; Luciano Caroprese; Marco Minici; Bruno Veloso ; Francesco Spinnato; Mirco Nanni; Giuseppe Manco; João Gama ;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2303.06067
INDEXED IN: DBLP
556
TITLE: Modeling the Ink Tuning Process Using Machine Learning
AUTHORS: Catarina Costa; Carlos Abreu Ferreira ;
PUBLISHED: 2023, SOURCE: 24th International Conference on Intelligent Data Engineering and Automated Learning, IDEAL 2023 in Intelligent Data Engineering and Automated Learning - IDEAL 2023 - 24th International Conference, Évora, Portugal, November 22-24, 2023, Proceedings, VOLUME: 14404, PAGES: 393-405
INDEXED IN: Scopus DBLP CrossRef
557
TITLE: Modelos de gestão de oferta alimentar em refeitórios escolares do Alto Minho – comparação no âmbito do projeto P0DE
AUTHORS: Liliana Rocha; Catarina Martins; Cláudia Afonso ; Bruno Oliveira ; Alexandra Gonçalves; Liliana Fernandes; Mariana Oliveira; Rute Sá Azevedo; Susana Karim; Susana Quintas; Graça Ferro;
PUBLISHED: 2023, SOURCE: Acta Portuguesa de Nutrição, VOLUME: 32, PAGES: 6-11
INDEXED IN: CrossRef
558
TITLE: Moving from ISAD(G) to a CIDOC CRM-based Linked Data Model in the Portuguese Archives  Full Text
AUTHORS: Koch, Ines ; Lopes, Carla Teixeira ; Ribeiro, Cristina ;
PUBLISHED: 2023, SOURCE: ACM JOURNAL ON COMPUTING AND CULTURAL HERITAGE, VOLUME: 16, ISSUE: 4, PAGES: 71:1-71:21
INDEXED IN: WOS DBLP CrossRef
559
TITLE: MRVs: Enforcing Numeric Invariants in Parallel Updates to Hotspots with Randomized Splitting
AUTHORS: Nuno Faria ; José Pereira ;
PUBLISHED: 2023, SOURCE: Proc. ACM Manag. Data, VOLUME: 1, ISSUE: 1, PAGES: 43:1-43:27
INDEXED IN: DBLP CrossRef: 1
560
TITLE: Multimodal Classification of Anxiety Based on Physiological Signals
AUTHORS: Vaz, Mariana; Summavielle, Teresa; Sebastiao, Raquel; Ribeiro, Rita P. ;
PUBLISHED: 2023, SOURCE: APPLIED SCIENCES-BASEL, VOLUME: 13, ISSUE: 11, PAGES: 6368
INDEXED IN: Scopus WOS CrossRef: 3

Results per Page: 20.
Page 28 of 408. Total results: 8153.