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

536 Team Members
Filters -> Year: 2026
4561
TITLE: Formal Modelling as a Component of User Centred Design
AUTHORS: Michael D Harrison; Paolo Masci ; José Creissac Campos ;
PUBLISHED: 2018, SOURCE: STAF Workshops, VOLUME: 11176 LNCS, PAGES: 274-289
INDEXED IN: Scopus DBLP CrossRef: 5
4562
TITLE: Formal verification of a domain specific language for run-time adaptation
AUTHORS: Shahid Khan; Faiq Khalid; Osman Hasan; João M P Cardoso ;
PUBLISHED: 2018, SOURCE: SysCon, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef
4563
TITLE: FOSTERING STUDENTS' ACTIVE COMMITMENT DURING THE TEACHING-LEARNING PROCESS: INTERDISCIPLINARY INNOVATIVE PRACTICES IN HIGHER EDUCATION
AUTHORS: Filipe, S ; Coelho, AS; Barbosa, B ; Santos, CA;
PUBLISHED: 2018, SOURCE: EDULEARN18: 10TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, PAGES: 2234-2242
INDEXED IN: WOS CrossRef: 1
4564
TITLE: Fostering Students-Driven Learning of Computer Programming with an Ensemble of E-Learning Tools
AUTHORS: Queirós, R ; Leal, JP ;
PUBLISHED: 2018, SOURCE: TRENDS AND ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, VOLUME: 746, PAGES: 289-298
INDEXED IN: Scopus WOS DBLP CrossRef
4565
TITLE: From CRM to CzRM - fundamental concepts
AUTHORS: Jorge Duque; Joao Varajao ; Vitor Filipe ;
PUBLISHED: 2018, SOURCE: 13th Iberian Conference on Information Systems and Technologies (CISTI) in 2018 13TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2018-June, PAGES: 1-6
INDEXED IN: Scopus WOS CrossRef: 1
4566
TITLE: Gamificação numa plataforma social académica: impacto na aprendizagem social em educação a distância
AUTHORS: Fernando Saraiva; Lina Morgado; Vitor Rocio ;
PUBLISHED: 2018, SOURCE: Technology-Enhanced Learning: Atas do V Congresso Internacional das TIC na Educação
INDEXED IN: Handle
4568
TITLE: Generalized selections for direct control in procedural buildings  Full Text
AUTHORS: Jesus, D; Patow, G; Coelho, A ; Sousa, AA ;
PUBLISHED: 2018, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 72, PAGES: 106-121
INDEXED IN: Scopus WOS DBLP CrossRef: 5
4569
TITLE: Generalizing Knowledge in Decentralized Rule-Based Models
AUTHORS: Pedro Strecht ; João Mendes Moreira ; Carlos Soares ;
PUBLISHED: 2018, SOURCE: DMLE/IOTSTREAMING@PKDD/ECML, VOLUME: 967, PAGES: 29-36
INDEXED IN: Scopus DBLP CrossRef
4570
TITLE: GENERATING THE ALGEBRAIC THEORY OF C(X): THE CASE OF PARTIALLY ORDERED COMPACT SPACES
AUTHORS: Dirk Hofmann ; Renato Neves ; Pedro Nora;
PUBLISHED: 2018, SOURCE: THEORY AND APPLICATIONS OF CATEGORIES, VOLUME: 33, PAGES: 276-295
INDEXED IN: Scopus WOS
4571
TITLE: Genetic Algorithms for Portfolio Optimization with Weighted Sum Approach
AUTHORS: Faia, R; Pinto, T ; Vale, Z; Corchado, JM; Soares, J; Lezama, F;
PUBLISHED: 2018, SOURCE: 8th IEEE Symposium Series on Computational Intelligence (IEEE SSCI) in 2018 IEEE SYMPOSIUM SERIES ON COMPUTATIONAL INTELLIGENCE (IEEE SSCI), PAGES: 1823-1829
INDEXED IN: WOS DBLP
4572
TITLE: Global-Local View: Scalable Consistency for Concurrent Data Types
AUTHORS: Deepthi Devaki Akkoorath; José Brandão; Annette Bieniusa; Carlos Baquero ;
PUBLISHED: 2018, SOURCE: Euro-Par, VOLUME: 11014 LNCS, PAGES: 492-504
INDEXED IN: Scopus DBLP
4573
TITLE: GoT-WAVE: Temporal network alignment using graphlet-orbit transitions
AUTHORS: David Oliveira Aparício ; Pedro Manuel Pinto Ribeiro ; Fernando M A Silva ;
PUBLISHED: 2018, SOURCE: CoRR, VOLUME: abs/1808.08195
INDEXED IN: DBLP
4574
TITLE: Gramene 2018: unifying comparative genomics and pathway resources for plant research
AUTHORS: Marcela K Tello Ruiz; Sushma Naithani; Joshua C Stein; Parul Gupta; Michael Campbell; Andrew Olson; Sharon Wei; Justin Preece; Matthew J Geniza; Yinping Jiao; Young Koung Lee; Bo Wang; Joseph Mulvaney; Kapeel Chougule; Justin Elser; Noor Al Bader; Sunita Kumari; James Thomason; Vivek Kumar; Daniel M Bolser; Guy Naamati; Electra Tapanari; Nuno A Fonseca ; Laura Huerta; Haider Iqbal; Maria Keays; Alfonso Muñoz Pomer Fuentes; Amy A Tang; Antonio Fabregat; Peter D'Eustachio; Joel Weiser; Lincoln D Stein; Robert Petryszak; Irene Papatheodorou; Paul J Kersey; Patti Lockhart; Crispin Taylor; Pankaj Jaiswal; Doreen Ware; ...More
PUBLISHED: 2018, SOURCE: Nucleic Acids Res., VOLUME: 46, ISSUE: Database-Issue
INDEXED IN: Scopus DBLP CrossRef: 143
4575
TITLE: Graphical Simulation of Clinical Scenarios for Medical Training
AUTHORS: Diana Pinto; Joao Costa; Rui Nobrega ; Hugo da Silva; Antonio Coelho ;
PUBLISHED: 2018, SOURCE: 1st International Conference on Graphics and Interaction (ICGI) in 2018 1ST INTERNATIONAL CONFERENCE ON GRAPHICS AND INTERACTION (ICGI 2018)
INDEXED IN: Scopus WOS CrossRef: 1
4576
TITLE: Graphlet-orbit Transitions (GoT): A fingerprint for temporal network comparison  Full Text
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLISHED: 2018, SOURCE: PLOS ONE, VOLUME: 13, ISSUE: 10
INDEXED IN: Scopus WOS CrossRef: 13
4577
TITLE: GreenSoftwareLab: Towards an Engineering Discipline for Green Software  Full Text
AUTHORS: João Saraiva ; Rui Abreu ; Jácome Cunha ; João Paulo Fernandes ;
PUBLISHED: 2018, SOURCE: Impact, VOLUME: 2018, ISSUE: 1, PAGES: 9-11
INDEXED IN: CrossRef: 2
4578
TITLE: Guest Editorial Special Issue on Knowledge Discovery From Mobility Data for Intelligent Transportation Systems
AUTHORS: Moreira Matias, L; Gama, J ; Monreal, CO; Nair, R; Trasarti, R;
PUBLISHED: 2018, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 19, ISSUE: 11, PAGES: 3626-3629
INDEXED IN: Scopus WOS DBLP CrossRef
4579
TITLE: Guest editorial: real-time networks and systems
AUTHORS: Faucou, S; Pinho, LM ;
PUBLISHED: 2018, SOURCE: REAL-TIME SYSTEMS, VOLUME: 54, ISSUE: 4, PAGES: 797-799
INDEXED IN: Scopus WOS CrossRef: 1
4580
TITLE: GUIDELINES FOR THE WRITING QUANTITATIVE SCIENTIFIC PAPERS
AUTHORS: José Vasconcelos-Raposo ; Carla M Teixeira;
PUBLISHED: 2018, SOURCE: PsychTech & Health Journal, VOLUME: 1, ISSUE: 1, PAGES: 1
INDEXED IN: CrossRef

Results per Page: 20.
Page 229 of 532. Total results: 10625.