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

536 Team Members
Filters -> Year: 2026
1401
TÍTULO: Can hashtags promote body acceptance? A content analysis study of cyber-feminism on social media. A Content Analysis Study of Cyber-Feminism on Social Media
AUTORES: Cassia Liandra Carvalho; Belem Barbosa ;
PUBLICAÇÃO: 2023, FONTE: Cyberfeminism and Gender Violence in Social Media, PÁGINAS: 269-287
INDEXADO EM: Scopus CrossRef
1402
TÍTULO: Can Virtual Reality be used to create memorable tourist experiences to influence the future intentions of wine tourists?
AUTORES: Filipa Jorge; Nuno Sousa; Nieves Losada; Mário Sérgio Teixeira; Elisa Alén; Miguel Melo; Maximino Bessa ;
PUBLICAÇÃO: 2023, FONTE: Journal of Tourism and Development, VOLUME: 43, PÁGINAS: 67-76
INDEXADO EM: Scopus
1403
TÍTULO: Can We Communicate? Using Dynamic Logic to Verify Team Automata
AUTORES: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLICAÇÃO: 2023, FONTE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000, PÁGINAS: 122-141
INDEXADO EM: WOS DBLP CrossRef: 6
1404
TÍTULO: Caos: A Reusable Scala Web Animator of Operational Semantics
AUTORES: Proenca, Jose ; Edixhoven, Luc;
PUBLICAÇÃO: 2023, FONTE: 25th International Conference on Coordination Models and Language (COORDINATION) in COORDINATION MODELS AND LANGUAGES, COORDINATION 2023, VOLUME: 13908, PÁGINAS: 163-171
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
1405
TÍTULO: Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
AUTORES: José Proença ; Luc Edixhoven;
PUBLICAÇÃO: 2023, FONTE: CoRR, VOLUME: abs/2304.14901
INDEXADO EM: DBLP
1406
TÍTULO: Capturing Qubit Decoherence through Paraconsistent Transition Systems
AUTORES: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLICAÇÃO: 2023, FONTE: 7th International Conference on the Art, Science, and Engineering of Programming (Programming) in COMPANION PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON THE ART, SCIENCE, AND ENGINEERING OF PROGRAMMING, PROGRAMMING 2023, PÁGINAS: 109-110
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1407
TÍTULO: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTORES: João Pascoal Faria ; Rui Abreu ;
PUBLICAÇÃO: 2023, FONTE: 10th IPM International Conference on Fundamentals of Software Engineering, FSEN 2023 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 14155 LNCS, PÁGINAS: 25-39
INDEXADO EM: Scopus CrossRef: 2
1408
TÍTULO: Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper)
AUTORES: João Bispo ; Nuno Paulino ; Luís Miguel Sousa;
PUBLICAÇÃO: 2023, FONTE: PARMA-DITAM, VOLUME: 107, PÁGINAS: 2:1-2:15
INDEXADO EM: Scopus DBLP
1409
TÍTULO: Challenges and Trends in User Trust Discourse in AI Popularity
AUTORES: Sousa, Sonia; Cravino, Jose ; Martins, Paulo ;
PUBLICAÇÃO: 2023, FONTE: MULTIMODAL TECHNOLOGIES AND INTERACTION, VOLUME: 7, NÚMERO: 2, PÁGINAS: 13
INDEXADO EM: Scopus WOS DBLP CrossRef: 12
1410
TÍTULO: CharM - Evaluating a model for characterizing service-based architectures
AUTORES: Rosa, Thatiane de Oliveira; Guerra, Eduardo Martins; Correia, Filipe Figueiredo ; Goldman, Alfredo;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 206, PÁGINAS: 111826
INDEXADO EM: Scopus WOS DBLP CrossRef: 4 Unpaywall
1411
TÍTULO: Chatbot-Based Services: A Study on Customers' Reuse Intention  Full Text
AUTORES: Silva, Filipe Araujo; Shojaei, Alireza Shabani; Barbosa, Belem ;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF THEORETICAL AND APPLIED ELECTRONIC COMMERCE RESEARCH, VOLUME: 18, NÚMERO: 1, PÁGINAS: 457-474
INDEXADO EM: Scopus WOS CrossRef: 59 Unpaywall
1412
TÍTULO: Chatbots Scenarios for Education
AUTORES: Sirje Virkus; Henrique São Mamede ; Vítor Jorge Ramos Rocio ; Jochen Dickel; Olga Zubikova; Rita Butkiene; Evaldas Vaiciukynas; Lina Ceponiene; Daina Gudoniene;
PUBLICAÇÃO: 2023, FONTE: Information and Software Technologies - 29th International Conference, ICIST 2023, Kaunas, Lithuania, October 12-14, 2023, Proceedings, VOLUME: 1979, PÁGINAS: 207-221
INDEXADO EM: DBLP CrossRef: 1 Handle
1413
TÍTULO: CI/CD Meets Block-Based Languages
AUTORES: da Giao, Hugo; Pereira, Rui ; Cunha, Jacome ;
PUBLICAÇÃO: 2023, FONTE: IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC) in 2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCC, PÁGINAS: 232-234
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1414
TÍTULO: CIDER: Collaborative Interior Design in Extended Reality
AUTORES: Deborah Pintani; Ariel Caputo; Daniel Mendes ; Andrea Giachetti;
PUBLICAÇÃO: 2023, FONTE: CHItaly, PÁGINAS: 16:1-16:11
INDEXADO EM: Scopus DBLP CrossRef: 6
1415
TÍTULO: Clarification of the Present Understanding of the Assessment of an Organization’s Digital Readiness in SMEs
AUTORES: Rui Silva; Henrique S Mamede ; Vitor Santos;
PUBLICAÇÃO: 2023, FONTE: Emerging Science Journal, VOLUME: 7, NÚMERO: 6, PÁGINAS: 2279-2307
INDEXADO EM: Scopus CrossRef: 4 Unpaywall Handle
1416
TÍTULO: Classification and Data Science in the Digital Age
AUTORES: Paula Brito ; José G Dias; Berthold Lausen; Angela Montanari; Rebecca Nugent;
PUBLICAÇÃO: 2023, FONTE: Studies in Classification, Data Analysis, and Knowledge Organization
INDEXADO EM: CrossRef Openlibrary
1417
TÍTULO: Clinical model for Hereditary Transthyretin Amyloidosis age of onset prediction  Full Text
AUTORES: Pedroto, Maria ; Coelho, Teresa; Jorge, Alipio ; Mendes Moreira, Joao ;
PUBLICAÇÃO: 2023, FONTE: FRONTIERS IN NEUROLOGY, VOLUME: 14
INDEXADO EM: Scopus WOS CrossRef Unpaywall
1418
TÍTULO: COCRIAÇÃO DE PRÁTICAS PEDAGÓGICAS INVENTIVAS NO CONTEXTO DA EDUCAÇÃO OnLIFE: O JOGO/CAMPANHA SEGURANÇA NA INTERNET
AUTORES: Bruna Elisa Schuster; Glaucia Silva da Rosa; João Velasques Paladini; Eliane Schlemmer ;
PUBLICAÇÃO: 2023, FONTE: O habitar do ensinar e do aprender, PÁGINAS: 137-152
INDEXADO EM: CrossRef
1419
TÍTULO: Collecting cognitive strategies applied by students during test case design
AUTORES: Cammaerts, Felix; Snoeck, Monique; Paiva, Ana C. R. ;
PUBLICAÇÃO: 2023, FONTE: 27th International Conference on Evaluation and Assessment in Software Engineering (EASE) in 27TH INTERNATIONAL CONFERENCE ON EVALUATION AND ASSESSMENT IN SOFTWARE ENGINEERING, EASE 2023, PÁGINAS: 455-459
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
1420
TÍTULO: Collecting, Processing and Secondary Using Personal and (Pseudo)Anonymized Data in Smart Cities
AUTORES: Sampaio, Silvio; Sousa, Patricia R. ; Martins, Cristina; Ferreira, Ana ; Antunes, Luis ; Cruz Correia, Ricardo ;
PUBLICAÇÃO: 2023, FONTE: APPLIED SCIENCES-BASEL, VOLUME: 13, NÚMERO: 6, PÁGINAS: 3830
INDEXADO EM: Scopus WOS CrossRef: 20

Results per Page: 20.
Página 71 de 533. Total de resultados: 10650.