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

531 Team Members
Filters -> Year: 2025
5541
TITLE: Estimation of underrepresented strata in preelection polls: A comparative study
AUTHORS: Figueiredo, J; Campos, P ;
PUBLISHED: 2013, SOURCE: Studies in Theoretical and Applied Statistics, Selected Papers of the Statistical Societies, PAGES: 47-57
INDEXED IN: Scopus CrossRef
5542
TITLE: Eurographics 2013 - Poster Proceedings, Girona, Spain, 2013
AUTHORS: Miguel Chover; António Augusto de Sousa ;
PUBLISHED: 2013, SOURCE: Eurographics (Posters)
INDEXED IN: DBLP
5543
TITLE: Evaluating Cassandra as a manager of large file sets
AUTHORS: Leander Beernaert; Pedro Gomes; Miguel Matos ; Ricardo Vilaça ; Rui Oliveira ;
PUBLISHED: 2013, SOURCE: 3rd International Workshop on Cloud Data and Platforms, CloudDP 2013 - Co-located with ACM 13th EuroSys in Proceedings of the 3rd International Workshop on Cloud Data and Platforms, CloudDP@EuroSys 2013, Prague, Czech Republic, April 14-17, 2013, PAGES: 25-30
INDEXED IN: Scopus DBLP CrossRef: 2
5544
TITLE: Evaluating inference algorithms for the Prolog factor language
AUTHORS: Gomes, T; Santos Costa, V ;
PUBLISHED: 2013, SOURCE: 22nd International Conference on Inductive Logic Programming, ILP 2012 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7842 LNAI, PAGES: 74-85
INDEXED IN: Scopus DBLP CrossRef: 1
5545
TITLE: Evaluation and cross-cultural adaptation of the Hendrich II Fall Risk Model to Portuguese. Adaptation of the HIIFRM to Portuguese   Full Text
AUTHORS: Ma Nilza Caldevilla ; Ma Arminda M Costa; Paulo Teles ; Pedro M Ferreira;
PUBLISHED: 2013, SOURCE: SCANDINAVIAN JOURNAL OF CARING SCIENCES, VOLUME: 27, ISSUE: 2, PAGES: 468-474
INDEXED IN: Scopus WOS CrossRef: 26
5546
TITLE: Evaluation Methodology for Multiclass Novelty Detection Algorithms
AUTHORS: Elaine R Faria; Isabel J C R Goncalves; Joao Gama ; Andre C P L F Carvalho;
PUBLISHED: 2013, SOURCE: 2nd Brazilian Conference on Intelligent Systems (BRACIS) in 2013 BRAZILIAN CONFERENCE ON INTELLIGENT SYSTEMS (BRACIS), PAGES: 19-25
INDEXED IN: Scopus WOS DBLP CrossRef: 8
5547
TITLE: Evaluation of tocopherols and tocotrienols in cooked dishes for phenilketonuric patients
AUTHORS: Filipa Pimentel; Rita Alves; Anabela Costa; Torres, Duarte ; M. Almeida; Bruno Oliveira;
PUBLISHED: 2013
INDEXED IN: Handle
5548
TITLE: Experience with a middleware infrastructure for service oriented financial applications  Full Text
AUTHORS: Oliveira, JP; Pereira, J ;
PUBLISHED: 2013, SOURCE: 28th Annual ACM Symposium on Applied Computing, SAC 2013 in Proceedings of the ACM Symposium on Applied Computing, PAGES: 479-484
INDEXED IN: Scopus DBLP CrossRef: 6
5549
TITLE: Experiences with fault-injection in a Byzantine fault-tolerant protocol
AUTHORS: Rolando Martins ; Gandhi, R; Narasimhan, P ; Pertet, S; Casimiro, A; Kreutz, D; Verissimo, P ;
PUBLISHED: 2013, SOURCE: 14th ACM/IFIP/USENIX Middleware Conference, Middleware 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8275 LNCS, PAGES: 41-61
INDEXED IN: Scopus DBLP CrossRef: 8
5550
TITLE: Exploiting classical bibliometrics of CSCW: Classification, evaluation, limitations, and the odds of semantic analytics
AUTHORS: Correia, A ; Fonseca, B ; Paredes, H ;
PUBLISHED: 2013, SOURCE: 1st International Conference on Human Factors in Computing and Informatics, SouthCHI 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 7946 LNCS, PAGES: 137-156
INDEXED IN: Scopus DBLP CrossRef: 5
5551
TITLE: Extending a configuration model to find communities in complex networks  Full Text
AUTHORS: Di Jin; Dongxiao X He; Qinghua H Hu; Carlos Baquero ; Bo Yang;
PUBLISHED: 2013, SOURCE: JOURNAL OF STATISTICAL MECHANICS-THEORY AND EXPERIMENT, VOLUME: 2013, ISSUE: 9
INDEXED IN: Scopus WOS CrossRef: 7
5553
TITLE: Factorial Validity and Invariance of the GHQ-12 Among Clinical and Nonclinical Samples
AUTHORS: Fernandes, HM ; Jose Vasconcelos Raposo ;
PUBLISHED: 2013, SOURCE: ASSESSMENT, VOLUME: 20, ISSUE: 2, PAGES: 219-229
INDEXED IN: Scopus WOS CrossRef: 16
5554
TITLE: Factors influencing competitive anxiety in Brazilian athletes [Fatores influenciadores da ansiedade competitiva em atletas Brasileiros]  Full Text
AUTHORS: Fernandes, MG; Nunes, SAN; Vasconcelos Raposo, J ; Fernandes, HM ;
PUBLISHED: 2013, SOURCE: Revista Brasileira de Cineantropometria e Desempenho Humano, VOLUME: 15, ISSUE: 6, PAGES: 705-714
INDEXED IN: Scopus CrossRef: 1
5555
TITLE: Fast Distributed Estimation of Empirical Mass Functions over Anonymous Networks  Full Text
AUTHORS: Hakan Terelius; Damiano Varagnolo; Carlos Baquero ; Karl Henrik Johansson;
PUBLISHED: 2013, SOURCE: 52nd IEEE Annual Conference on Decision and Control (CDC) in 2013 IEEE 52ND ANNUAL CONFERENCE ON DECISION AND CONTROL (CDC), PAGES: 6771-6777
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5556
TITLE: Features selection for human activity recognition with iPhone inertial sensors
AUTHORS: Nuno C Silva; João M Moreira ; Paulo Menezes;
PUBLISHED: 2013
INDEXED IN: Handle
5557
TITLE: Federation technology and Virtual Worlds for Learning: Research trends and opportunities towards identity federation
AUTHORS: Goncalo Cruz ; Antonio Costa ; Paulo Martins ; Ramiro Goncalves ; Joao Barroso ;
PUBLISHED: 2013, SOURCE: 5th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 2013 5TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES), PAGES: 1-4
INDEXED IN: Scopus WOS DBLP CrossRef: 2
5558
TITLE: Fine-grained Patches for Java Software Upgrades
AUTHORS: Eduardo R B Marques ;
PUBLISHED: 2013, SOURCE: 5th Workshop on Hot Topics in Software Upgrades, HotSWUp'13, San Jose, CA, USA, June 28, 2013
INDEXED IN: DBLP
5559
TITLE: Foreword - High dynamic range imaging  Full Text
AUTHORS: Santos, LP ; Debattista, K;
PUBLISHED: 2013, SOURCE: COMPUTERS & GRAPHICS-UK, VOLUME: 37, ISSUE: 7
INDEXED IN: Scopus WOS CrossRef
5560
TITLE: Formal verification of side-channel countermeasures using self-composition  Full Text
AUTHORS: Bacelar Almeida, JB ; Manuel Barbosa ; Jorge S Pinto ; Barbara Vieira;
PUBLISHED: 2013, SOURCE: SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 7, PAGES: 796-812
INDEXED IN: Scopus WOS DBLP CrossRef: 28

Results per Page: 20.
Page 278 of 424. Total results: 8461.