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

535 Team Members
Filters -> Year: 2026
1321
TÍTULO: Can a Content Management System Provide a Good User Experience to Teachers? (Short Paper)
AUTORES: Yannik Bauer ; José Paulo Leal ; Ricardo Queirós ;
PUBLICAÇÃO: 2023, FONTE: 4th International Computer Programming Education Conference, ICPEC 2023 in 4th International Computer Programming Education Conference, ICPEC 2023, June 26-28, 2023, Vila do Conde, Portugal, VOLUME: 112, PÁGINAS: 4:1-4:8
INDEXADO EM: Scopus DBLP
1322
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
1323
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
1324
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: 5
1325
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: 4
1326
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
1327
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
1328
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
1329
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: 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2023 in 14th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 12th Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2023, January 17, 2023, Toulouse, France., VOLUME: 107, PÁGINAS: 2:1-2:15
INDEXADO EM: Scopus DBLP
1330
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
1331
TÍTULO: CharM - Evaluating a model for characterizing service-based architectures  Full Text
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 Unpaywall
1332
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
1333
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
1334
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
1335
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
1336
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
1337
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
1338
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
1339
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
1340
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

Results per Page: 20.
Página 67 de 533. Total de resultados: 10644.