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

531 Team Members
Filters -> Year: 2024
241
TITLE: bGSL: An imperative language for specification and refinement of backtracking programs
AUTHORS: Dunne, Steve; Ferreira, Joao F.; Mendes, Alexandra ; Ritchie, Campbell; Stoddart, Bill; Zeyda, Frank;
PUBLISHED: 2023, SOURCE: JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, VOLUME: 130, PAGES: 100811
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
242
TITLE: BHiveSense: An integrated information system architecture for sustainable remote monitoring and management of apiaries based on IoT and microservices
AUTHORS: Duarte Cota; José Martins ; Henrique Mamede ; Frederico Branco;
PUBLISHED: 2023, SOURCE: Journal of Open Innovation: Technology, Market, and Complexity, VOLUME: 9, ISSUE: 3, PAGES: 100110
INDEXED IN: Scopus CrossRef: 1 Unpaywall
243
TITLE: Bibliometric Analysis of Automated Assessment in Programming Education: A Deeper Insight into Feedback  Full Text
AUTHORS: Paiva, Jose Carlos ; Figueira, Alvaro ; Leal, Jose Paulo ;
PUBLISHED: 2023, SOURCE: ELECTRONICS, VOLUME: 12, ISSUE: 10, PAGES: 2254
INDEXED IN: Scopus WOS CrossRef Unpaywall
244
TITLE: Bin Picking for Ship-Building Logistics Using Perception and Grasping Systems
AUTHORS: Cordeiro, Artur ; Souza, Joao Pedro ; Costa, Carlos M. ; Filipe, Vitor ; Rocha, Luis F. ; Silva, Manuel F. ;
PUBLISHED: 2023, SOURCE: ROBOTICS, VOLUME: 12, ISSUE: 1, PAGES: 15
INDEXED IN: Scopus WOS DBLP CrossRef Unpaywall
245
TITLE: Bird's eye view of augmented reality and applications for education and training: A survey of surveys and reviews  Full Text
AUTHORS: Cruz, Armando; Paredes, Hugo ; Martins, Paulo ;
PUBLISHED: 2023, SOURCE: COMPUTER APPLICATIONS IN ENGINEERING EDUCATION, VOLUME: 31, ISSUE: 6, PAGES: 1823-1844
INDEXED IN: Scopus WOS DBLP CrossRef
246
TITLE: Blockchain implementation in food retail supply chain management: A case study. A Case Study
AUTHORS: Ana Presa; Beatriz Correia; Beatriz Melo; Diana Martins; Margarida Vieira; Ricardo Azenha; Belem Barbosa ;
PUBLISHED: 2023, SOURCE: Supporting Technologies and the Impact of Blockchain on Organizations and Society, PAGES: 136-159
INDEXED IN: Scopus CrossRef: 1
247
TITLE: Blockchain in supply chain management: A case study in the automotive industry. A Case Study in the Automotive Industry
AUTHORS: Sophia Barroso; Gonçalo Castro; Marcelo Corrêa; Rafael Soares Godinho; Leon Niemann; Renan Rocha; Belem Barbosa ;
PUBLISHED: 2023, SOURCE: Integrating Intelligence and Sustainability in Supply Chains, PAGES: 106-125
INDEXED IN: Scopus CrossRef
248
TITLE: Blockchain-Based Electronic Voting: A Secure and Transparent Solution
AUTHORS: Pereira, Bruno Miguel Batista; José Manuel Torres; Sobral, Pedro Miguel; Moreira, Rui Silva; Christophe Soares; Pereira, Ivo ;
PUBLISHED: 2023, SOURCE: CRYPTOGRAPHY, VOLUME: 7, ISSUE: 2, PAGES: 27
INDEXED IN: Scopus WOS DBLP CrossRef
249
TITLE: Board Characteristics, Social Trust and ESG Performance in the European Banking Sector
AUTHORS: Miranda, B; Delgado, C ; Branco, MC ;
PUBLISHED: 2023, SOURCE: Journal of Risk and Financial Management, VOLUME: 16, ISSUE: 4, PAGES: 244
INDEXED IN: Scopus CrossRef: 5 Unpaywall
250
TITLE: Bone Metastases Detection in Patients with Breast Cancer: Does Bone Scintigraphy Add Information to PET/CT?
AUTHORS: Santos, Joana Cristo; Abreu, Miguel Henriques; Santos, Miriam Seoane ; Duarte, Hugo; Alpoim, Tiago; Prospero, Ines; Sousa, Susana; Abreu, Pedro Henriques ;
PUBLISHED: 2023, SOURCE: ONCOLOGIST, VOLUME: 28, ISSUE: 8
INDEXED IN: Scopus WOS
251
TITLE: Boosting additive circular economy ecosystems using blockchain: An exploratory case study  Full Text
AUTHORS: Ferreira, Ines A.; Godina, Radu; Pinto, Antonio ; Pinto, Pedro ; Carvalho, Helena;
PUBLISHED: 2023, SOURCE: COMPUTERS & INDUSTRIAL ENGINEERING, VOLUME: 175, PAGES: 108916
INDEXED IN: Scopus WOS DBLP CrossRef: 5
253
TITLE: Can a Content Management System Provide a Good User Experience to Teachers? (Short Paper)
AUTHORS: Yannik Bauer; José Paulo Leal ; Ricardo Queirós ;
PUBLISHED: 2023, SOURCE: 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, PAGES: 4:1-4:8
INDEXED IN: Scopus DBLP
254
TITLE: 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
AUTHORS: Cassia Liandra Carvalho; Belem Barbosa ;
PUBLISHED: 2023, SOURCE: Cyberfeminism and Gender Violence in Social Media, PAGES: 269-287
INDEXED IN: Scopus CrossRef
255
TITLE: Can We Communicate? Using Dynamic Logic to Verify Team Automata
AUTHORS: ter Beek, Maurice H.; Cledou, Guillermina ; Hennicker, Rolf; Proenca, Jose ;
PUBLISHED: 2023, SOURCE: 25th International Symposium on Formal Methods (FM) in FORMAL METHODS, FM 2023, VOLUME: 14000, PAGES: 122-141
INDEXED IN: WOS DBLP CrossRef: 2
256
TITLE: Caos: A Reusable Scala Web Animator of Operational Semantics
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: 25th IFIP WG 6.1 International Conference on Coordination Models and Language, COORDINATION 2023, held as part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023 in Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings, VOLUME: 13908, PAGES: 163-171
INDEXED IN: Scopus DBLP CrossRef: 1
257
TITLE: Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
AUTHORS: José Proença ; Luc Edixhoven;
PUBLISHED: 2023, SOURCE: CoRR, VOLUME: abs/2304.14901
INDEXED IN: DBLP
258
TITLE: Capturing Qubit Decoherence through Paraconsistent Transition Systems
AUTHORS: Barbosa, Luis Soares ; Madeira, Alexandre ;
PUBLISHED: 2023, SOURCE: 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, PAGES: 109-110
INDEXED IN: Scopus WOS DBLP CrossRef
259
TITLE: Case Studies of Development of Verified Programs with Dafny for Accessibility Assessment
AUTHORS: João Pascoal Faria ; Rui Abreu;
PUBLISHED: 2023, SOURCE: 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, PAGES: 25-39
INDEXED IN: Scopus CrossRef
260
TITLE: Challenges and Opportunities in C/C++ Source-To-Source Compilation (Invited Paper)
AUTHORS: João Bispo ; Nuno Paulino ; Luís Miguel Sousa;
PUBLISHED: 2023, SOURCE: 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, PAGES: 2:1-2:15
INDEXED IN: Scopus DBLP

Results per Page: 20.
Página 13 de 449. Total de resultados: 8962.