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

536 Team Members
Filters -> Year: 2026
1381
TÍTULO: bGSL: An imperative language for specification and refinement of backtracking programs
AUTORES: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLICAÇÃO: 2023, FONTE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130, PÁGINAS: 100811
INDEXADO EM: Scopus WOS DBLP CrossRef: 1 Unpaywall
1382
TÍTULO: BHiveSense: An integrated information system architecture for sustainable remote monitoring and management of apiaries based on IoT and microservices
AUTORES: Duarte Cota; José Martins ; Henrique Mamede ; Frederico Branco ;
PUBLICAÇÃO: 2023, FONTE: Journal of Open Innovation: Technology, Market, and Complexity, VOLUME: 9, NÚMERO: 3, PÁGINAS: 100110
INDEXADO EM: Scopus CrossRef: 12 Unpaywall
1383
TÍTULO: Bibliometric Analysis of Automated Assessment in Programming Education: A Deeper Insight into Feedback  Full Text
AUTORES: Paiva, Jose Carlos ; Figueira, Alvaro ; Leal, Jose Paulo ;
PUBLICAÇÃO: 2023, FONTE: ELECTRONICS, VOLUME: 12, NÚMERO: 10, PÁGINAS: 2254
INDEXADO EM: Scopus WOS CrossRef: 6 Unpaywall
1384
TÍTULO: Bin Picking for Ship-Building Logistics Using Perception and Grasping Systems
AUTORES: Cordeiro, Artur ; Souza, Joao Pedro ; Costa, Carlos M. ; Filipe, Vitor ; Rocha, Luis F. ; Silva, Manuel F. ;
PUBLICAÇÃO: 2023, FONTE: ROBOTICS, VOLUME: 12, NÚMERO: 1, PÁGINAS: 15
INDEXADO EM: Scopus WOS DBLP CrossRef: 11 Unpaywall
1385
TÍTULO: Bird's eye view of augmented reality and applications for education and training: A survey of surveys and reviews
AUTORES: Cruz, Armando; Paredes, Hugo ; Martins, Paulo ;
PUBLICAÇÃO: 2023, FONTE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 31, NÚMERO: 6, PÁGINAS: 1823-1844
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
1386
TÍTULO: Blockchain implementation in food retail supply chain management: A case study. A Case Study
AUTORES: Ana Presa; Beatriz Correia; Beatriz Melo; Diana Martins; Margarida Vieira; Ricardo Azenha; Belem Barbosa ;
PUBLICAÇÃO: 2023, FONTE: Supporting Technologies and the Impact of Blockchain on Organizations and Society, PÁGINAS: 136-159
INDEXADO EM: Scopus CrossRef: 1
1387
TÍTULO: Blockchain in supply chain management: A case study in the automotive industry. A Case Study in the Automotive Industry
AUTORES: Sophia Barroso; Gonçalo Castro; Marcelo Corrêa; Rafael Soares Godinho; Leon Niemann; Renan Rocha; Belem Barbosa ;
PUBLICAÇÃO: 2023, FONTE: Integrating Intelligence and Sustainability in Supply Chains, PÁGINAS: 106-125
INDEXADO EM: Scopus CrossRef: 1
1388
TÍTULO: Blockchain-Based Electronic Voting: A Secure and Transparent Solution
AUTORES: Pereira, Bruno Miguel Batista; Jose M Torres ; Sobral, Pedro Miguel ; Moreira, Rui Silva; Christophe Soares ; Pereira, Ivo ;
PUBLICAÇÃO: 2023, FONTE: CRYPTOGRAPHY, VOLUME: 7, NÚMERO: 2, PÁGINAS: 27
INDEXADO EM: Scopus WOS DBLP CrossRef: 15
1389
TÍTULO: Board Characteristics, Social Trust and ESG Performance in the European Banking Sector
AUTORES: Miranda, B; Delgado, C ; Branco, MC ;
PUBLICAÇÃO: 2023, FONTE: Journal of Risk and Financial Management, VOLUME: 16, NÚMERO: 4, PÁGINAS: 244
INDEXADO EM: Scopus CrossRef: 27 Unpaywall
1390
TÍTULO: Bone Metastases Detection in Patients with Breast Cancer: Does Bone Scintigraphy Add Information to PET/CT?
AUTORES: Santos, Joana Cristo; Abreu, Miguel Henriques; Santos, Miriam Seoane ; Duarte, Hugo; Alpoim, Tiago; Prospero, Ines; Sousa, Susana; Abreu, Pedro Henriques ;
PUBLICAÇÃO: 2023, FONTE: ONCOLOGIST, VOLUME: 28, NÚMERO: 8
INDEXADO EM: Scopus WOS CrossRef: 19
1391
TÍTULO: Boosting additive circular economy ecosystems using blockchain: An exploratory case study
AUTORES: Ferreira, Ines A.; Godina, Radu; Pinto, Antonio ; Pinto, Pedro ; Carvalho, Helena;
PUBLICAÇÃO: 2023, FONTE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 175, PÁGINAS: 108916
INDEXADO EM: Scopus WOS DBLP CrossRef: 42
1392
TÍTULO: Brand resonance: an empirical analysis of mobile users in global marketplace
AUTORES: Raut, UR; Pawar, PA; Brito, PQ ; Sisodia, GS; Rafiuddin, A; Rathore, A;
PUBLICAÇÃO: 2023, FONTE: International Journal of Trade and Global Markets, VOLUME: 17, NÚMERO: 2, PÁGINAS: 185-200
INDEXADO EM: Scopus CrossRef
1393
TÍTULO: Business Process Automation in SMEs
AUTORES: Moreira, Silvia ; Mamede, Henrique S. ; Santos, Arnaldo ;
PUBLICAÇÃO: 2023, FONTE: 19th European, Mediterranean, and Middle Eastern Conference (EMCIS) in INFORMATION SYSTEMS, EMCIS 2022, VOLUME: 464, PÁGINAS: 426-437
INDEXADO EM: Scopus WOS DBLP CrossRef: 5 Unpaywall
1394
TÍTULO: Calcium-dependent subquantal peptide release from single docked lawn-resident vesicles of pituitary lactotrophs
AUTORES: Goncalves, Paula P.; Stenovec, Matjaz; Gracio, Luciano ; Kreft, Marko; Zorec, Robert;
PUBLICAÇÃO: 2023, FONTE: CELL CALCIUM, VOLUME: 109
INDEXADO EM: WOS
1395
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: ICPEC, VOLUME: 112, PÁGINAS: 4:1-4:8
INDEXADO EM: Scopus DBLP
1396
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
1397
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
1398
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
1399
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
1400
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

Results per Page: 20.
Página 70 de 533. Total de resultados: 10645.