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

531 Team Members
Filters -> Year: 2024
2101
TITLE: Testing for Race Conditions in Distributed Systems via SMT Solving
AUTHORS: João Carlos Pereira; Nuno Machado; Jorge Sousa Pinto ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 122-140
INDEXED IN: Scopus DBLP CrossRef
2102
TITLE: The 3rd International Workshop on Narrative Extraction from Texts: Text2Story 2020
AUTHORS: Ricardo Campos ; Alípio Jorge ; Adam Jatowt; Sumit Bhatia;
PUBLISHED: 2020, SOURCE: 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, PAGES: 648-653
INDEXED IN: Scopus DBLP CrossRef: 8
2103
TITLE: The 4-corner model as a synchromodal and digital twin enabler in the transportation sector
AUTHORS: Carvalho, A ; Melo, P; Oliveira, MA ; Barros, R;
PUBLISHED: 2020, SOURCE: 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
INDEXED IN: Scopus CrossRef: 8
2104
TITLE: The ADC API: A Web API for the Programmatic Query of the AIRR Data Commons
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: Frontiers Big Data, VOLUME: 3, PAGES: 22
INDEXED IN: DBLP CrossRef: 16
2105
TITLE: The AgilECo Pattern Language: Physical Environment. Physical Environment
AUTHORS: Daniel Pinho; Ademar Aguiar ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 30:1-30:9
INDEXED IN: Scopus DBLP CrossRef
2106
TITLE: The AMPERE Project: A Model-driven development framework for highly Parallel and EneRgy-Efficient computation supporting multi-criteria optimization
AUTHORS: 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;
PUBLISHED: 2020, SOURCE: IEEE 23rd International Symposium on Real-Time Distributed Computing (ISORC) in 2020 IEEE 23RD INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2020), PAGES: 201-206
INDEXED IN: Scopus WOS CrossRef: 8
2107
TITLE: THE AUGMENTED REALITY AS A SALES PROMOTION TOOL
AUTHORS: Valle, M; Moutinho, N ; Rodrigues, R ;
PUBLISHED: 2020, SOURCE: 8th International Academic Conference on Strategica - Preparing for Tomorrow, Today in STRATEGICA: PREPARING FOR TOMORROW, TODAY, PAGES: 362-372
INDEXED IN: WOS
2108
TITLE: The connection of atmospheric new particle formation to fair-weather Earth-atmosphere electric field
AUTHORS: Xuemeng Chen; Susana Barbosa ; Antti Mäkelä; Jussi Paatero; Catarina Monteiro; Diana Guimarães; Heikki Junninen; Tuukka Petäjä; Markku Kulmala;
PUBLISHED: 2020
INDEXED IN: CrossRef
2109
TITLE: The Effect of a Linear Tuning between the Antigenic Stimulations of CD4(+) T Cells and CD4(+) Tregs  Full Text
AUTHORS: Yusuf, AA; Figueiredo, IP ; Afsar, A; Burroughs, NJ; Pinto, AA ; Oliveira, BMPM ;
PUBLISHED: 2020, SOURCE: MATHEMATICS, VOLUME: 8, ISSUE: 2, PAGES: 293
INDEXED IN: Scopus WOS CrossRef Handle
2110
TITLE: The GTEx Consortium atlas of genetic regulatory effects across human tissues
AUTHORS: The GTEx Consortium; Pedro Gabriel Dias Ferreira ;
PUBLISHED: 2020, SOURCE: SCIENCE, VOLUME: 369, ISSUE: 6509, PAGES: 1318-+
INDEXED IN: Scopus WOS CrossRef: 2603
2111
TITLE: The Impact of Atmospheric and Tectonic Constraints on Radon-222 and Carbon Dioxide Flow in Geological Porous Media - A Dozen-Year Research Summary
AUTHORS: Hovav Zafrir; Susana Barbosa ; Elad Levintal; Noam Weisbrod; Yochai Ben Horin; Zeev Zalevsky;
PUBLISHED: 2020, SOURCE: FRONTIERS IN EARTH SCIENCE, VOLUME: 8
INDEXED IN: WOS CrossRef: 13
2112
TITLE: The Impact of Olfactory and Wind Stimuli on 360 Videos Using Head-mounted Displays  Full Text
AUTHORS: David Narciso ; Miguel Melo ; Jose Vasconcelos Raposo; Maximino Bessa ;
PUBLISHED: 2020, SOURCE: ACM TRANSACTIONS ON APPLIED PERCEPTION, VOLUME: 17, ISSUE: 1, PAGES: 4:1-4:13
INDEXED IN: Scopus WOS DBLP CrossRef: 23
2113
TITLE: The Influence of Digital Marketing Tools Perceived Usefulness in a Rural Region Destination Image
AUTHORS: Filipa Jorge; Mário Sérgio Teixeira; Ramiro Gonçalves ;
PUBLISHED: 2020, SOURCE: 8th World Conference on Information Systems and Technologies, WorldCIST 2020 in Trends and Innovations in Information Systems and Technologies - Volume 3, WorldCIST 2020, Budva, Montenegro, 7-10 April 2020., VOLUME: 1161, PAGES: 557-569
INDEXED IN: Scopus DBLP CrossRef: 1
2114
TITLE: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Gregoire, B; Koutsos, A; Laporte, V; Oliveira, T ; Strub, PY;
PUBLISHED: 2020, SOURCE: 41st IEEE Symposium on Security and Privacy (SP) in 2020 IEEE SYMPOSIUM ON SECURITY AND PRIVACY (SP 2020), VOLUME: 2020-May, PAGES: 965-982
INDEXED IN: Scopus WOS DBLP CrossRef: 22
2115
TITLE: The ProcessPAIR Method for Automated Software Process Performance Analysis
AUTHORS: Raza, M; Faria, JP ;
PUBLISHED: 2020, SOURCE: IEEE ACCESS, VOLUME: 8, PAGES: 141569-141583
INDEXED IN: Scopus WOS DBLP CrossRef
2116
TITLE: The Structure of Climate Variability Across Scales  Full Text
AUTHORS: Christian L E Franzke; Susana Barbosa ; Richard Blender; Hege Beate Fredriksen; Thomas Laepple; Fabrice Lambert; Tine Nilsen; Kristoffer Rypdal; Martin Rypdal; Manuel G Scotto ; Stephane Vannitsem; Nicholas W Watkins; Lichao C Yang; Naiming M Yuan;
PUBLISHED: 2020, SOURCE: REVIEWS OF GEOPHYSICS, VOLUME: 58, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 67
2117
TITLE: The Use of Kahoot, GeoGebra and Texas Ti-Nspire Educational Software's in the Teaching of Geometry and Measurement
AUTHORS: Paula Sofia Nunes; Paulo Martins ; Paula Catarino ;
PUBLISHED: 2020, SOURCE: 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, PAGES: 21-31
INDEXED IN: Scopus DBLP CrossRef: 3
2118
TITLE: The Value of Information Searching against Fake News  Full Text
AUTHORS: Jose Martins ; Alberto Pinto ;
PUBLISHED: 2020, SOURCE: ENTROPY, VOLUME: 22, ISSUE: 12, PAGES: 1-18
INDEXED IN: Scopus WOS CrossRef: 5
2119
TITLE: Theoretical Underpinnings and Practical Challenges of Crowdsourcing as a Mechanism for Academic Study
AUTHORS: António Correia ; Shoaib Jameel; Daniel Schneider; Benjamim Fonseca ; Hugo Paredes ;
PUBLISHED: 2020, SOURCE: 53rd Hawaii International Conference on System Sciences, HICSS 2020, Maui, Hawaii, USA, January 7-10, 2020, VOLUME: 2020-January, PAGES: 1-10
INDEXED IN: Scopus DBLP CrossRef: 3
2120
TITLE: Tightening Up Security In Low Power Deterministic Networks
AUTHORS: Walter Tiberti; Bruno Vieira; Harrison Kurunathan; Ricardo Severino ; Eduardo Tovar ;
PUBLISHED: 2020, SOURCE: 16th IEEE International Conference on Factory Communication Systems, WFCS 2020 in 16th IEEE International Conference on Factory Communication Systems, WFCS 2020, Porto, Portugal, April 27-29, 2020, VOLUME: 2020-April, PAGES: 1-7
INDEXED IN: Scopus DBLP CrossRef Handle

Results per Page: 20.
Página 106 de 406. Total de resultados: 8103.