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

531 Team Members
Filters -> Year: 2024
2121
TÍTULO: State-machine replication for planet-scale systems
AUTORES: Vitor Enes; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: Proceedings of the Fifteenth European Conference on Computer Systems
INDEXADO EM: CrossRef: 1
2122
TÍTULO: State-Machine Replication for Planet-Scale Systems (Extended Version)
AUTORES: Vitor Enes ; Carlos Baquero ; Tuanir França Rezende; Alexey Gotsman; Matthieu Perrin; Pierre Sutra;
PUBLICAÇÃO: 2020, FONTE: CoRR, VOLUME: abs/2003.11789
INDEXADO EM: DBLP
2123
TÍTULO: State-of-the-Art Approaches for Meta-Knowledge Assertion in the Web of Data  Full Text
AUTORES: Sen, S; Malta, MC ; Dutta, B; Dutta, A;
PUBLICAÇÃO: 2020, FONTE: IETE TECHNICAL REVIEW, VOLUME: 38, NÚMERO: 6, PÁGINAS: 672-709
INDEXADO EM: Scopus WOS CrossRef: 5
2124
TÍTULO: StreamFaSE: An Online Algorithm for Subgraph Counting in Dynamic Networks
AUTORES: Henrique Branquinho; Luciano Grácio; Pedro Ribeiro ;
PUBLICAÇÃO: 2020, FONTE: 9th International Conference on Complex Networks and their Applications, COMPLEX NETWORKS 2020 in Complex Networks & Their Applications IX - Volume 2, Proceedings of the Ninth International Conference on Complex Networks and Their Applications, COMPLEX NETWORKS 2020, 1-3 December 2020, Madrid, Spain., VOLUME: 944, PÁGINAS: 688-699
INDEXADO EM: Scopus DBLP CrossRef
2125
TÍTULO: Student Research Abstract: Multimodal Deep Learning Based Approach for Cells State Classification. student research abstract
AUTORES: Silva, PR ;
PUBLICAÇÃO: 2020, FONTE: 35th Annual ACM Symposium on Applied Computing (SAC) in PROCEEDINGS OF THE 35TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING (SAC'20), PÁGINAS: 20-23
INDEXADO EM: Scopus WOS CrossRef
2126
TÍTULO: Students Drop Out Trends: A University Study
AUTORES: Bruno Silva; Solteiro Pires, EJ ; Arsénio Reis ; Paulo de d Moura Oliveira ; João Barroso ;
PUBLICAÇÃO: 2020, FONTE: 2nd International Conference on Technology and Innovation in Learning, Teaching and Education, TECH-EDU 2020 in Technology and Innovation in Learning, Teaching and Education - Second International Conference, TECH-EDU 2020, Vila Real, Portugal, December 2-4, 2020, Proceedings, 3, VOLUME: 1384, PÁGINAS: 442-450
INDEXADO EM: Scopus DBLP CrossRef
2127
TÍTULO: Studying How Health Literacy Influences Attention during Online Information Seeking
AUTORES: Lopes, CT ; Ramos, E;
PUBLICAÇÃO: 2020, FONTE: 5th ACM SIGIR Conference on Human Information Interaction and Retrieval (CHIIR) in CHIIR'20: PROCEEDINGS OF THE 2020 CONFERENCE ON HUMAN INFORMATION INTERACTION AND RETRIEVAL, PÁGINAS: 283-291
INDEXADO EM: Scopus WOS DBLP CrossRef
2128
TÍTULO: Supporting the Analysis of Safety Critical User Interfaces: An Exploration of Three Formal Tools. An Exploration of Three Formal Tools  Full Text
AUTORES: Jose Creissac Campos ; Camille Fayollas; Michael D Harrison; Celia Martinie; Paolo Masci; Philippe Palanque;
PUBLICAÇÃO: 2020, FONTE: ACM TRANSACTIONS ON COMPUTER-HUMAN INTERACTION, VOLUME: 27, NÚMERO: 5, PÁGINAS: 35:1-35:48
INDEXADO EM: Scopus WOS DBLP CrossRef
2129
TÍTULO: Survey on Job Scheduling in Cloud-Fog Architecture
AUTORES: Barros, C; Rocio, V ; Sousa, A; Paredes, H ;
PUBLICAÇÃO: 2020, FONTE: 15th Iberian Conference on Information Systems and Technologies (CISTI) in 2020 15TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI'2020), VOLUME: 2020-June
INDEXADO EM: Scopus WOS CrossRef: 5
2130
TÍTULO: Symphony. routing aware scheduling for DSME networks  Full Text
AUTORES: Harrison Kurunathan; Ricardo Severino ; Anis Koubaa; Eduardo Tovar;
PUBLICAÇÃO: 2020, FONTE: ACM SIGBED Review, VOLUME: 16, NÚMERO: 4, PÁGINAS: 26-31
INDEXADO EM: CrossRef: 1
2131
TÍTULO: Teaching Software Engineering Topics Through Pedagogical Game Design Patterns: An Empirical Study  Full Text
AUTORES: Nuno Flores ; Ana C R Paiva ; Nuno Cruz;
PUBLICAÇÃO: 2020, FONTE: INFORMATION, VOLUME: 11, NÚMERO: 3, PÁGINAS: 153
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
2132
TÍTULO: Tech-Inclusion Research: An Iconographic Browser Extension Solution
AUTORES: Tânia Rocha ; Hugo Paredes ; Paulo Martins ; João Barroso ;
PUBLICAÇÃO: 2020, FONTE: 22nd International Conference on Human Computer Interaction, HCII 2020 in HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design - 22nd HCI International Conference, HCII 2020, Copenhagen, Denmark, July 19-24, 2020, Proceedings, VOLUME: 12426, PÁGINAS: 333-344
INDEXADO EM: Scopus DBLP CrossRef
2133
TÍTULO: Test case generation based on mutations over user execution traces  Full Text
AUTORES: Ana C R Paiva ; André Restivo ; Sergio Almeida;
PUBLICAÇÃO: 2020, FONTE: SOFTWARE QUALITY JOURNAL, VOLUME: 28, NÚMERO: 3, PÁGINAS: 1173-1186
INDEXADO EM: Scopus WOS DBLP CrossRef: 5
2134
TÍTULO: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTORES: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2020, FONTE: 14th International Conference on Tests and Proofs, TAP 2020, held as part of Software Technologies: Applications and Foundations, STAF 2020 in Tests and Proofs - 14th International Conference, TAP@STAF 2020, Bergen, Norway, June 22-23, 2020, Proceedings [postponed], VOLUME: 12165, PÁGINAS: 122-140
INDEXADO EM: Scopus DBLP CrossRef
2135
TÍTULO: The 3rd International Workshop on Narrative Extraction from Texts: Text2Story 2020
AUTORES: Ricardo Campos ; Alípio Jorge ; Adam Jatowt; Sumit Bhatia;
PUBLICAÇÃO: 2020, FONTE: 42nd European Conference on IR Research, ECIR 2020 in Advances in Information Retrieval - 42nd European Conference on IR Research, ECIR 2020, Lisbon, Portugal, April 14-17, 2020, Proceedings, Part II, VOLUME: 12036, PÁGINAS: 648-653
INDEXADO EM: Scopus DBLP CrossRef: 8
2136
TÍTULO: The 4-corner model as a synchromodal and digital twin enabler in the transportation sector
AUTORES: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLICAÇÃO: 2020, FONTE: 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020 in Proceedings - 2020 IEEE International Conference on Engineering, Technology and Innovation, ICE/ITMC 2020
INDEXADO EM: Scopus CrossRef: 8
2137
TÍTULO: The ADC API: A Web API for the Programmatic Query of the AIRR Data Commons
AUTORES: Scott Christley; Ademar Aguiar ; George Blanck; Felix Breden; Syed Ahmad Chan Bukhari; Christian E Busse; Jerome Jaglale; Srilakshmy L Harikrishnan; Uri Laserson; Bjoern Peters; Artur Rocha ; Chaim A Schramm; Sarah Taylor; Jason A Vander Heiden; Bojan Zimonja; Corey T Watson; Brian Corrie; Lindsay G Cowell;
PUBLICAÇÃO: 2020, FONTE: Frontiers Big Data, VOLUME: 3, PÁGINAS: 22
INDEXADO EM: DBLP CrossRef: 16
2138
TÍTULO: The AgilECo Pattern Language: Physical Environment. Physical Environment
AUTORES: Daniel Pinho; Ademar Aguiar ;
PUBLICAÇÃO: 2020, FONTE: 2020 European Conference on Pattern Languages of Programs, EuroPLoP 2020 in EuroPLoP '20: European Conference on Pattern Languages of Programs 2020, Virtual Event, Germany, 1-4 July, 2020, PÁGINAS: 30:1-30:9
INDEXADO EM: Scopus DBLP CrossRef
2139
TÍTULO: The AMPERE Project: A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization
AUTORES: Quinones, E; Royuela, S; Scordino, C; Gai, P; Pinho, LM ; Nogueira, L ; Rollo, J; Cucinotta, T; Biondi, A; Hamann, A; Ziegenbein, D; Saoud, H; Soulat, R; Forsberg, B; Benini, L; Mando, G; Rucher, L;
PUBLICAÇÃO: 2020, FONTE: IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC) in 2020 IEEE 23RD INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2020), PÁGINAS: 201-206
INDEXADO EM: Scopus WOS CrossRef: 8
2140
TÍTULO: THE AUGMENTED REALITY AS A SALES PROMOTION TOOL
AUTORES: Valle, M; Moutinho, N ; Rodrigues, R ;
PUBLICAÇÃO: 2020, FONTE: 8th International Academic Conference on Strategica - Preparing for Tomorrow, Today in STRATEGICA: PREPARING FOR TOMORROW, TODAY, PÁGINAS: 362-372
INDEXADO EM: WOS

Results per Page: 20.
Página 107 de 410. Total de resultados: 8181.