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

531 Team Members
Filters -> Year: 2024
4181
TITLE: Wavelet-Based Clustering of Sea Level Records  Full Text
AUTHORS: Barbosa, SM ; Gouveia, S ; Scotto, MG ; Alonso, AM;
PUBLISHED: 2016, SOURCE: MATHEMATICAL GEOSCIENCES, VOLUME: 48, ISSUE: 2, PAGES: 149-162
INDEXED IN: Scopus WOS CrossRef: 6
4182
TITLE: Web Accessibility Challenges and Perspectives A systematic literature review
AUTHORS: Ana Baptista; Jose Martins ; Ramiro Goncalves ; Frederico Branco ; Tania Rocha ;
PUBLISHED: 2016, SOURCE: 11th Iberian Conference on Information Systems and Technologies (CISTI) in 2016 11TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2016-July
INDEXED IN: Scopus WOS CrossRef: 14
4183
TITLE: Welcome to EICS 2016
AUTHORS: Luyten, K; Palanque, P; Campos, JC ; Schmidt, A; Signer, B; Roussel, N;
PUBLISHED: 2016, SOURCE: 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems, EICS 2016 in EICS 2016 - 8th ACM SIGCHI Symposium on Engineering Interactive Computing Systems
INDEXED IN: Scopus
4184
TITLE: Why Logical Clocks Are Easy  Full Text
AUTHORS: Carlos Baquero ; Nuno Preguica;
PUBLISHED: 2016, SOURCE: COMMUNICATIONS OF THE ACM, VOLUME: 59, ISSUE: 4, PAGES: 43-47
INDEXED IN: Scopus WOS DBLP CrossRef: 9
4185
TITLE: Why Logical Clocks are Easy. Sometimes all you need is the right language.
AUTHORS: Carlos Baquero ; Nuno M Preguiça;
PUBLISHED: 2016, SOURCE: ACM Queue, VOLUME: 14, ISSUE: 1, PAGES: 60
INDEXED IN: Scopus DBLP CrossRef: 1
4186
TITLE: Why should you model time when you use Markov Models for heart sound analysis
AUTHORS: Oliveira, J ; Mantadelis, T ; Coimbra, M ;
PUBLISHED: 2016, SOURCE: 38th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2016 38TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), VOLUME: 2016-October, PAGES: 3449-3452
INDEXED IN: Scopus WOS DBLP CrossRef
4187
TITLE: Workshop message: Smart Vehicles 2016
AUTHORS: Festag, A; Boban, M; Kenney, JB; Vilela, JP ;
PUBLISHED: 2016, SOURCE: 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks, WoWMoM 2016 in WoWMoM 2016 - 17th International Symposium on a World of Wireless, Mobile and Multimedia Networks
INDEXED IN: Scopus CrossRef
4188
TITLE: Worlds of Events Deduction with Partial Knowledge about Causality PDF  Full Text
AUTHORS: Haeri, SH; Van Roy, P; Baquero, C ; Meiklejohn, C;
PUBLISHED: 2016, SOURCE: ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: abs/1608.03326, ISSUE: 223, PAGES: 113-127
INDEXED IN: Scopus WOS DBLP arXiv CrossRef
4190
4191
TITLE: A Bounded Neural Network for Open Set Recognition
AUTHORS: Douglas O Cardoso ; Felipe Franca; Joao Gama ;
PUBLISHED: 2015, SOURCE: International Joint Conference on Neural Networks (IJCNN) in 2015 INTERNATIONAL JOINT CONFERENCE ON NEURAL NETWORKS (IJCNN), VOLUME: 2015-September, PAGES: 1-7
INDEXED IN: Scopus WOS DBLP CrossRef: 17
4192
TITLE: A Clear Picture of Lens Laws - Functional Pearl
AUTHORS: Sebastian Fischer; Zhenjiang Hu; Hugo Pacheco ;
PUBLISHED: 2015, SOURCE: 12th International Conference on Mathematics of Program Construction, MPC 2015 in Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings, VOLUME: 9129, PAGES: 215-223
INDEXED IN: Scopus DBLP CrossRef: 9
4193
TITLE: A communication channels dynamic switching model for always-connected availability of service oriented mobile applications
AUTHORS: Diogo Azevedo ; Hugo Paredes ; Benjamim Fonseca ;
PUBLISHED: 2015, SOURCE: 9th International Conference on Next Generation Mobile Applications, Services and Technologies in 2015 9th International Conference on Next Generation Mobile Applications, Services and Technologies (NGMAST 2015), PAGES: 165-169
INDEXED IN: Scopus WOS DBLP CrossRef
4194
TITLE: A Comparative Study of Platforms for Research Data Management: Interoperability, Metadata Capabilities and Integration Potential
AUTHORS: Ricardo Carvalho Amorim ; Joao Aguiar Castro ; Joao Rocha da Silva ; Cristina Ribeiro ;
PUBLISHED: 2015, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW CONTRIBUTIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, PT 1, VOLUME: 353, PAGES: 101-111
INDEXED IN: Scopus WOS DBLP CrossRef: 15
4195
TITLE: A Comparative Study of Regression and Classification Algorithms for Modelling Students' Academic Performance PDF
AUTHORS: Pedro Strecht ; Luis Cruz; Carlos Soares ; João Mendes Moreira ; Rui Abreu ;
PUBLISHED: 2015, SOURCE: Proceedings of the 8th International Conference on Educational Data Mining, EDM 2015, Madrid, Spain, June 26-29, 2015, PAGES: 392-395
INDEXED IN: DBLP
4196
TITLE: A Consumption-Investment Problem with a Diminishing Basket of Goods
AUTHORS: Abdelrahim S Mousa; Diogo Pinheiro; Alberto A Pinto ;
PUBLISHED: 2015, SOURCE: 16th National Conference of the APDIO in OPERATIONAL RESEARCH: IO 2013 - XVI CONGRESS OF APDIO, VOLUME: 4, PAGES: 295-310
INDEXED IN: WOS CrossRef: 1
4197
TITLE: A DCAP for the social and solidarity economy
AUTHORS: Malta, MC ; Baptista, AA; Parente, C ;
PUBLISHED: 2015, SOURCE: 15th 2015 International Conference on Dublin Core and Metadata Applications, DCMI 2015 in Proceedings of the International Conference on Dublin Core and Metadata Applications, ISSUE: 1939-­‐1366, PAGES: 20-29
INDEXED IN: Scopus Handle
4198
TITLE: A Decision Support Platform for IT Infrastructure Management The University of Tras-os-Montes e Alto Douro Services of Information and Communications Case Study
AUTHORS: Frederico Branco ; Jose Martins ; Ramiro Goncalves ; Jose Bessa; Antonio Costa ;
PUBLISHED: 2015, SOURCE: 10th Iberian Conference on Information Systems and Technologies (CISTI) in 2015 10TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI)
INDEXED IN: Scopus WOS CrossRef: 2
4199
TITLE: A Dynamic Logic for Every Season
AUTHORS: Alexandre Madeira ; Renato Neves ; Manuel A Martins ; Luis S Barbosa ;
PUBLISHED: 2015, SOURCE: 17th Brazilian Symposium on Formal Methods (SBMF) as part of 5th Brazilian Conference on Software - Theory and Practice (CBSoft) in FORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2014, VOLUME: 8941, PAGES: 130-145
INDEXED IN: Scopus WOS DBLP CrossRef: 5
4200
TITLE: A Formal Perspective on IEC 61499 Execution Control Chart Semantics
AUTHORS: Per Lindgren; Marcus Lindner; David Pereira; Luis Miguel Pinho ;
PUBLISHED: 2015, SOURCE: 13th IEEE International Symposium on Parallel and Distributed Processing with Applications in 2015 IEEE TRUSTCOM/BIGDATASE/ISPA, VOL 3, VOLUME: 3, PAGES: 293-300
INDEXED IN: Scopus WOS CrossRef

Results per Page: 20.
Page 210 of 406. Total results: 8110.