CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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
3641
TITLE: The Last Mile: High-Assurance and High-Speed Cryptographic Implementations
AUTHORS: Almeida, JB ; Barbosa, M ; Barthe, G ; Grégoire, 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: 36
3642
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: 2
3643
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: 108
3645
TITLE: The Use of Virtual Worlds for Developing Intercultural Competences
AUTHORS: Lisiane Machado; Amarolinda Zanela Klein; Angilberto Freitas; Eliane Schlemmer ; Cristiane Drebes Pedron;
PUBLISHED: 2020, SOURCE: Multicultural Instructional Design, PAGES: 754-768
INDEXED IN: CrossRef
3646
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: 8
3647
TITLE: THE VET SUCCESS PARADOX: BETWEEN EMPLOYABILITY AND CONTINUATION OF STUDIES
AUTHORS: Nogueira, S; Traqueia, A; Barbosa, B ; Costa, F; Dias, GP ; Filipe, S ; Melo, A; Rodrigues, C; Santos, CA;
PUBLISHED: 2020, SOURCE: 14th International Technology, Education and Development Conference (INTED) in 14TH INTERNATIONAL TECHNOLOGY, EDUCATION AND DEVELOPMENT CONFERENCE (INTED2020), VOLUME: 1, PAGES: 8464-8469
INDEXED IN: WOS CrossRef Handle
3649
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: HICSS, VOLUME: 2020-January, PAGES: 1-10
INDEXED IN: Scopus DBLP CrossRef: 3
3651
TITLE: Tightening Up Security In Low Power Deterministic Networks
AUTHORS: Walter Tiberti; Bruno Vieira; Harrison Kurunathan; Ricardo Severino ; Eduardo Tovar ;
PUBLISHED: 2020, SOURCE: WFCS, VOLUME: 2020-April, PAGES: 1-7
INDEXED IN: Scopus DBLP CrossRef: 6 Handle
3652
TITLE: To what extent are digital influencers creative?  Full Text
AUTHORS: Sette, G; Brito, PQ ;
PUBLISHED: 2020, SOURCE: CREATIVITY AND INNOVATION MANAGEMENT, VOLUME: 29, ISSUE: S1, PAGES: 90-102
INDEXED IN: Scopus WOS CrossRef: 18
3653
TITLE: Topics in Theoretical Computer Science. Third IFIP WG 1.8 International Conference, TTCS 2020, Tehran, Iran, July 1–2, 2020, Proceedings
AUTHORS: Luís S. Barbosa ; Mohammad Ali Abam;
PUBLISHED: 2020, SOURCE: Lecture Notes in Computer Science
INDEXED IN: CrossRef Openlibrary
3655
TITLE: Towards a decision support system for the automatic detection of Asian hornets and removal planning
AUTHORS: Braga, D; Madureira, A ;
PUBLISHED: 2020, SOURCE: International Journal of Computer Information Systems and Industrial Management Applications, VOLUME: 12, PAGES: 239-247
INDEXED IN: Scopus
3656
TITLE: Towards a holistic semantic support for context-aware network monitoring
AUTHORS: Paulo Carvalho; Solange Rito Lima; Luis Álvarez Sabucedo; Juan M Santos Gago; João Marco C Silva ;
PUBLISHED: 2020, SOURCE: Computing, VOLUME: 102, ISSUE: 12, PAGES: 2565-2585
INDEXED IN: DBLP
3658
TITLE: Towards a register-based census in Oman
AUTHORS: Ali Hussain Al Lawati; Luís Soares Barbosa ;
PUBLISHED: 2020, SOURCE: ICEGOV, PAGES: 823-826
INDEXED IN: Scopus DBLP CrossRef: 3
3659
TITLE: Towards Predicting Pedestrian Paths: Identifying Surroundings from Monocular Video
AUTHORS: José Aleixo Cruz; Thiago R P M Rúbio; Jacob, J ; Daniel Garrido; Henrique Lopes Cardoso ; Daniel Castro Silva ; Rui Rodrigues ;
PUBLISHED: 2020, SOURCE: IDEAL (2), VOLUME: 12490 LNCS, PAGES: 594-601
INDEXED IN: Scopus DBLP CrossRef
3660
TITLE: Transcriptomic signatures across human tissues identify functional rare genetic variation
AUTHORS: Aguet, F; Barbeira, AN; Bonazzola, R; Brown, A; Castel, SE; Jo, B; Kasela, S; Kim Hellmuth, S; Liang, Y; Oliva, M; Flynn, ED; Parsana, P; Fresard, L; Gamazon, ER; Hamel, AR; He, Y; Hormozdiari, F; Mohammadi, P; Muñoz Aguirre, M; Park, Y; Saha, A; Segrè, AV; Strober, BJ; Wen, X; Wucher, V; Ardlie, KG; Battle, A; Brown, CD; Cox, N; Das, S; Dermitzakis, ET; Engelhardt, BE; Garrido Martín, D; Gay, NR; Getz, GA; Guigó, R; Handsaker, RE; Hoffman, PJ; Im, HK; Kashin, S; Kwong, A; Lappalainen, T; Li, X; MacArthur, DG; Montgomery, SB; Rouhana, JM; Stephens, M; Stranger, BE; Todres, E; Viñuela, A; Wang, G; Zou, Y; Anand, S; Gabriel, S; Graubert, A; Hadley, K; Huang, KH; Meier, SR; Nedzel, JL; Nguyen, DT; Balliu, B; Conrad, DF; Cotter, DJ; deGoede, OM; Einson, J; Eskin, E; Eulalio, TY; Ferraro, NM; Gloudemans, MJ; Hou, L; Kellis, M; Li, X; Mangul, S; Nachun, DC; Nobel, AB; Park, Y; Rao, AS; Reverter, F; Sabatti, C; Skol, AD; Teran, NA; Wright, F; Ferreira, PG ; Li, G; Melé, M; Yeger Lotem, E; Barcus, ME; Bradbury, D; Krubit, T; McLean, JA; Qi, L; Robinson, K; Roche, NV; Smith, AM; Sobin, L; Tabor, DE; Undale, A; Bridge, J; Brigham, LE; Foster, BA; Gillard, BM; Hasz, R; Hunter, M; Johns, C; Johnson, M; Karasik, E; Kopen, G; Leinweber, WF; McDonald, A; Moser, MT; Myer, K; Ramsey, KD; Roe, B; Shad, S; Thomas, JA; Walters, G; Washington, M; Wheeler, J; Jewell, SD; Rohrer, DC; Valley, DR; Davis, DA; Mash, DC; Branton, PA; Barker, LK; Gardiner, HM; Mosavel, M; Siminoff, LA; Flicek, P; Haeussler, M; Juettemann, T; Kent, WJ; Lee, CM; Powell, CC; Rosenbloom, KR; Ruffier, M; Sheppard, D; Taylor, K; Trevanion, SJ; Zerbino, DR; Abell, NS; Akey, J; Chen, L; Demanelis, K; Doherty, JA; Feinberg, AP; Hansen, KD; Hickey, PF; Jasmine, F; Jiang, L; Kaul, R; Kibriya, MG; Li, JB; Li, Q; Lin, S; Linder, SE; Pierce, BL; Rizzardi, LF; Smith, KS; Snyder, M; Stamatoyannopoulos, J; Tang, H; Wang, M; Carithers, LJ; Guan, P; Koester, SE; Little, AR; Moore, HM; Nierras, CR; Rao, AK; Vaught, JB; Volpi, S; ...More
PUBLISHED: 2020, SOURCE: Science, VOLUME: 369, ISSUE: 6509
INDEXED IN: Scopus CrossRef: 130

Results per Page: 20.
Page 183 of 533. Total results: 10645.