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

531 Team Members
Filters -> Year: 2025
4461
TITLE: Exercise for adults with depressive symptoms: Beyond the weight loss paradigm  Full Text
AUTHORS: Lara S F Carneiro; Maria Paula Mota ; Maria Augusta Vieira Coelho' ; Simon Rosenbaum; Antonio Manuel Fonseca ; Jose Vasconcelos Raposo ;
PUBLISHED: 2016, SOURCE: PSYCHIATRY RESEARCH, VOLUME: 246, PAGES: 364-365
INDEXED IN: Scopus WOS CrossRef: 4
4462
TITLE: Exercise Improves Depression: Gold Strategies to Treatment Adherence?  Full Text
AUTHORS: Lara S F Carneiro; Antonio Manuel Fonseca ; Maria Augusta Vieira coelho ; Maria Paula Mota; Jose Vasconcelos raposo ;
PUBLISHED: 2016, SOURCE: EARLY INTERVENTION IN PSYCHIATRY, VOLUME: 10, PAGES: 244-244
INDEXED IN: WOS
4463
TITLE: Expedite Feature Extraction for Enhanced Cloud Anomaly Detection  Full Text
AUTHORS: Bruno L Dalmazo; Joao P Vilela ; Paulo Simoes; Marilia Curado ;
PUBLISHED: 2016, SOURCE: IEEE/IFIP Network Operations and Management Symposium (NOMS) in NOMS 2016 - 2016 IEEE/IFIP NETWORK OPERATIONS AND MANAGEMENT SYMPOSIUM, PAGES: 1215-1220
INDEXED IN: Scopus WOS CrossRef: 9
4464
TITLE: Expeditious illustration of layer-cake models on and above a tactile surface  Full Text
AUTHORS: Lopes, DS; Mendes, D ; Sousa, M; Jorge, J;
PUBLISHED: 2016, SOURCE: COMPUTERS & GEOSCIENCES, VOLUME: 90, PAGES: 1-9
INDEXED IN: Scopus WOS DBLP CrossRef: 3
4465
TITLE: Experimental assessment of the components and materials of stone arch railway bridges
AUTHORS: Arede, A ; Costa, C; Topa Gomes, AT ; Menezes, J; Silva, R; Goncalves, R ; Morais, M;
PUBLISHED: 2016, SOURCE: 8th International Conference on Bridge Maintenance, Safety and Management (IABMAS) in MAINTENANCE, MONITORING, SAFETY, RISK AND RESILIENCE OF BRIDGES AND BRIDGE NETWORKS, PAGES: 358-358
INDEXED IN: WOS
4466
TITLE: Exploração do high fidelity para desenvolvimento de jogos em mundos virtuais imersivos multi utilizador
AUTHORS: José Martins; Leonel Morgado ; Vitor Cardoso;
PUBLISHED: 2016, SOURCE: Videojogos 2016 - 9.ª Conferência de Ciências e Artes dos Videojogos
INDEXED IN: Handle
4467
TITLE: Exploratory Study of the Cardiac Dynamic Trajectory in the Embedding Space PDF
AUTHORS: Oliveira, J ; Cardoso, B; Coimbra, MT ;
PUBLISHED: 2016, SOURCE: 43rd Computing in Cardiology Conference (CinC) in 2016 COMPUTING IN CARDIOLOGY CONFERENCE (CINC), VOL 43, VOLUME: 43, PAGES: 193-196
INDEXED IN: Scopus WOS DBLP CrossRef
4468
TITLE: Exploring a Large News Collection Using Visualization Tools PDF
AUTHORS: Tiago Devezas ; José Luís Devezas ; Sérgio Nunes ;
PUBLISHED: 2016, SOURCE: 1st International Workshop on Recent Trends in News Information Retrieval, NewsIR 2016 in Proceedings of the First International Workshop on Recent Trends in News Information Retrieval co-located with 38th European Conference on Information Retrieval (ECIR 2016), Padua, Italy, March 20, 2016., VOLUME: 1568, PAGES: 48-53
INDEXED IN: Scopus DBLP
4469
TITLE: Exploring educational immersive videogames: an empirical study with a 3D multimodal interaction prototype  Full Text
AUTHORS: Luis Miguel A Alves Fernandes; Goncalo Cruz Matos ; Diogo Azevedo ; Ricardo Rodrigues Nunes ; Hugo Paredes ; Leonel Morgado ; Luis Filipe Barbosa ; Paulo Martins ; Benjamim Fonseca ; Paulo Cristovao; Fausto de Carvalho; Bernardo Cardoso;
PUBLISHED: 2016, SOURCE: BEHAVIOUR & INFORMATION TECHNOLOGY, VOLUME: 35, ISSUE: 11, PAGES: 907-918
INDEXED IN: Scopus WOS DBLP CrossRef: 36
4470
TITLE: Exploring Heterogeneous Computing with Advanced Path Tracing Algorithms
AUTHORS: Oliveira, A; Perdigao, C; Santos, LP ; Proenca, A ;
PUBLISHED: 2016, SOURCE: 23rd Portuguese Meeting on Computer Graphics and Interaction (EPCGI) in 2016 23RD PORTUGUESE MEETING ON COMPUTER GRAPHICS AND INTERACTION (EPCGI), PAGES: 23-30
INDEXED IN: Scopus WOS CrossRef Handle
4471
TITLE: EXPLOSION OF DIFFERENTIABILITY FOR EQUIVALENCIES BETWEEN ANOSOV FLOWS ON 3-MANIFOLDS
AUTHORS: Mario Bessa ; Sergio Dias; Alberto A Pinto ;
PUBLISHED: 2016, SOURCE: PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 144, ISSUE: 9, PAGES: 3757-3766
INDEXED IN: Scopus WOS CrossRef
4472
TITLE: Extending publish/subscribe mechanisms to SOA applications
AUTHORS: Albano, M; Ferreira, LL ; Sousa, J;
PUBLISHED: 2016, SOURCE: IEEE World Conference on Factory Communication Systems (WFCS) in 2016 IEEE WORLD CONFERENCE ON FACTORY COMMUNICATION SYSTEMS (WFCS), VOLUME: 2016-June, PAGES: 1-4
INDEXED IN: Scopus WOS CrossRef: 12 Handle
4473
TITLE: FastStep: Scalable Boolean Matrix Decomposition
AUTHORS: Miguel Araujo ; Pedro Ribeiro ; Christos Faloutsos ;
PUBLISHED: 2016, SOURCE: 20th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PAKDD 2016, PT I, VOLUME: 9651, PAGES: 461-473
INDEXED IN: Scopus WOS DBLP CrossRef: 3
4474
TITLE: Federated IaaS Resource Brokerage
AUTHORS: Bruno Veloso ; Fernando Meireles; Benedita Malheiro ; Juan Carlos Burguillo;
PUBLISHED: 2016, SOURCE: Developing Interoperable and Federated Cloud Architecture, PAGES: 252-280
INDEXED IN: CrossRef: 3
4475
TITLE: Fibroblast growth factor 23 is associated with left ventricular hypertrophy, not with uremic vasculopathy in peritoneal dialysis patients
AUTHORS: Sarmento Dias, M; Santos Araujo, C ; Rui Poínhos ; Oliveira, B ; Sousa, MJ; Silva, LS; Silva, IS ; Flora Correia ; Pestana, M ;
PUBLISHED: 2016, SOURCE: CLINICAL NEPHROLOGY, VOLUME: 85, ISSUE: 3, PAGES: 135-141
INDEXED IN: Scopus WOS CrossRef: 28 Handle
4476
TITLE: First International Workshop on Recent Trends in News Information Retrieval (NewsIR'16)
AUTHORS: Miguel Martinez Alvarez; Udo Kruschwitz; Gabriella Kazai; Frank Hopfgartner; David Corney; Ricardo Campos ; Dyaa Albakour;
PUBLISHED: 2016, SOURCE: 38th European Conference on Information Retrieval Research, ECIR 2016 in Advances in Information Retrieval - 38th European Conference on IR Research, ECIR 2016, Padua, Italy, March 20-23, 2016. Proceedings, VOLUME: 9626, PAGES: 878-882
INDEXED IN: Scopus DBLP CrossRef: 12
4477
TITLE: First Principle Models Based Dataset Generation for Multi-Target Regression and Multi-Label Classification Evaluation PDF
AUTHORS: Ricardo Sousa; João Gama ;
PUBLISHED: 2016, SOURCE: 2016 Workshop on Large-Scale Learning from Data Streams in Evolving Environments, STREAMEVOLV 2016 in Proceedings of the Workshop on Large-scale Learning from Data Streams in Evolving Environments (STREAMEVOLV 2016) co-located with the 2016 European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases (ECML/PKDD 2016), Riva del Garda, Italy, September 23, 2016., VOLUME: 2069
INDEXED IN: Scopus DBLP
4478
TITLE: FlexHousing: Flexoffer concept applied to house energy automation
AUTHORS: Joss Santos; Michele Albano; Luis Lino Ferreira ;
PUBLISHED: 2016, SOURCE: INForum Simpósio de Informática
INDEXED IN: Handle
4479
TITLE: Formal Verification of a Space System's User Interface With the IVY Workbench  Full Text
AUTHORS: Campos, JC ; Sousa, M; Alves, MCB; Harrison, MD ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, VOLUME: 46, ISSUE: 2, PAGES: 303-316
INDEXED IN: Scopus WOS DBLP CrossRef: 14
4480
TITLE: Formal Verification With Frama-C: A Case Study in the Space Software Domain  Full Text
AUTHORS: Rovedy Aparecida B E Busquim e Silva; Nanci Naomi Arai; Luciana Akemi Burgareli; Jose Maria P Parente de Oliveira; Jorge Sousa Pinto ;
PUBLISHED: 2016, SOURCE: IEEE TRANSACTIONS ON RELIABILITY, VOLUME: 65, ISSUE: 3, PAGES: 1163-1179
INDEXED IN: WOS DBLP CrossRef: 4

Results per Page: 20.
Page 224 of 444. Total results: 8866.