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

536 Team Members
Filters -> Year: 2026
7021
TITLE: Online-Gym: A 3D Virtual Gymnasium Using Kinect Interaction
AUTHORS: Fernando Cassola ; Leonel Morgado ; Fausto de Carvalho; Hugo Paredes ; Benjamim Fonseca ; Paulo Martins ;
PUBLISHED: 2014, SOURCE: Procedia Technology, VOLUME: 13, PAGES: 130-138
INDEXED IN: CrossRef: 25
7022
TITLE: Online-Gym: multiuser virtual gymnasium using RINIONS and multiple Kinect devices
AUTHORS: Cassola, F ; Paredes, H ; Fonseca, B ; Martins, P ; Ala, S; Francisco dos Santos Cardoso ; de Carvalho, F; Morgado, L ;
PUBLISHED: 2014, SOURCE: 6th International Conference on Games and Virtual Worlds for Serious Applications (VS-GAMES) in 2014 6TH INTERNATIONAL CONFERENCE ON GAMES AND VIRTUAL WORLDS FOR SERIOUS APPLICATIONS (VS-GAMES), PAGES: 1-4
INDEXED IN: Scopus WOS DBLP CrossRef: 3
7024
TITLE: Optimal Control Formulations for the Unit Commitment Problem
AUTHORS: Fontes, DBMM ; Fontes, FACC ; Roque, LAC ;
PUBLISHED: 2014, SOURCE: 5th International Conference on the Dynamics of Information Systems in DYNAMICS OF INFORMATION SYSTEMS: COMPUTATIONAL AND MATHEMATICAL CHALLENGES, VOLUME: 105, PAGES: 109-127
INDEXED IN: Scopus WOS CrossRef Handle
7025
TITLE: Optimal life insurance purchase, consumption and investment on a financial market with multi-dimensional diffusive terms  Full Text
AUTHORS: Duarte, I; Pinheiro, D; Pinto, AA ; Pliska, SR;
PUBLISHED: 2014, SOURCE: OPTIMIZATION, VOLUME: 63, ISSUE: 11, PAGES: 1737-1760
INDEXED IN: Scopus WOS CrossRef: 23
7026
TITLE: Optimal localization of firms in hotelling networks
AUTHORS: Pinto, AA ; Parreira, T ;
PUBLISHED: 2014, SOURCE: International Conference on Modeling, Optimization and Dynamics, ICMOD 2010 and 5th Bioeconomy Conference 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 73, PAGES: 17-22
INDEXED IN: Scopus CrossRef: 3
7027
TITLE: Ordered minimum completion time heuristic for unrelated parallel-machines problems
AUTHORS: E Santos, AS; Madureira, AM ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies, CISTI 2014 in Iberian Conference on Information Systems and Technologies, CISTI
INDEXED IN: Scopus CrossRef: 2
7028
TITLE: Otimização de planos de exploração florestal em baldios do norte de Portugal
AUTHORS: Adelaide Cerveira ; Isabel Martins ; Artur Mota; João Bento; Teresa Fonseca;
PUBLISHED: 2014, SOURCE: Investigação operacional em ação: casos de aplicação, PAGES: 17-56
INDEXED IN: CrossRef
7029
TITLE: Outlier Detection in 802.11 Wireless Access Points Using Hidden Markov Models
AUTHORS: Allahdadi, A ; Morla, R ; Cardoso, JS ;
PUBLISHED: 2014, SOURCE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC), PAGES: 1-8
INDEXED IN: Scopus WOS DBLP CrossRef: 7
7030
TITLE: Overall survival prediction for women breast cancer using ensemble methods and incomplete clinical data
AUTHORS: Abreu, PH ; Amaro, H; Silva, DC ; Machado, P; Abreu, MH; Afonso, N; Dourado, A;
PUBLISHED: 2014, SOURCE: 13th Mediterranean Conference on Medical and Biological Engineering and Computing 2013, MEDICON 2013 in IFMBE Proceedings, VOLUME: 41, PAGES: 1366-1369
INDEXED IN: Scopus CrossRef: 16
7031
TITLE: P-SOCRATES: a Parallel Software Framework for Time-Critical Many-Core Systems
AUTHORS: Luis M Miguel Pinho ; Eduardo Quinones; Marko Bertogna; Andrea Marongiu; Jorge P Pereira Carlos; Claudio Scordino; Michele Ramponi;
PUBLISHED: 2014, SOURCE: 17th Euromicro Conference on Digital System Design (DSD) in 2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), PAGES: 214-221
INDEXED IN: Scopus WOS CrossRef: 5
7033
TITLE: Paradigm integration in a specification course
AUTHORS: Martins, MA ; Madeira, A ; Barbosa, LS ; Neves, R ;
PUBLISHED: 2014, SOURCE: 15th IEEE International Conference on Information Reuse and Integration (IEEE IRI) / IRI-HI / FMI / DIM / EM-RITE / WICSOC / SocialSec / IICPC / NatSec in 2014 IEEE 15TH INTERNATIONAL CONFERENCE ON INFORMATION REUSE AND INTEGRATION (IRI), PAGES: 492-499
INDEXED IN: Scopus WOS DBLP CrossRef: 2
7034
TITLE: PARADIGM-COV A Multimensional Test Coverage Analysis Tool
AUTHORS: Liliana Vilela; Ana C R Paiva ;
PUBLISHED: 2014, SOURCE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
INDEXED IN: Scopus WOS CrossRef: 5
7035
TITLE: Parallel Machines Scheduling with Fuzzy Simulated Annealing
AUTHORS: Santos, AS; Varela, MLR ; Madureira, AM ; Ribeiro, RA;
PUBLISHED: 2014, SOURCE: 6th World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2014 SIXTH WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 269-274
INDEXED IN: Scopus WOS DBLP CrossRef
7036
TITLE: Parallel Subgraph Counting for Multicore Architectures
AUTHORS: Aparício, D ; Ribeiro, P ; Silva, F ;
PUBLISHED: 2014, SOURCE: 12th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) in 2014 IEEE INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS (ISPA), PAGES: 34-41
INDEXED IN: Scopus WOS DBLP CrossRef: 15
7037
TITLE: Parallelism in Ada: Status and prospects
AUTHORS: Pinho, LM ; Moore, B; Michell, S;
PUBLISHED: 2014, SOURCE: 19th International Conference on Reliable Software Technologies, Ada-Europe 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8454 LNCS, PAGES: 91-106
INDEXED IN: Scopus
7038
TITLE: Parallelism in Ada: Status and Prospects
AUTHORS: Luis Miguel Pinho ; Brad Moore; Stephen Michell;
PUBLISHED: 2014, SOURCE: 19th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2014, VOLUME: 8454, PAGES: 91-106
INDEXED IN: WOS CrossRef: 2
7039
TITLE: Particle Swarm Optimization of Electricity Market Negotiating Players Portfolio
AUTHORS: Pinto, T ; Vale, Z ; Sousa, TM; Sousa, T; Morais, H; Praca, I ;
PUBLISHED: 2014, SOURCE: International Conference on Practical Applications of Agents and Multi-Agent Systems (PAAMS) in HIGHLIGHTS OF PRACTICAL APPLICATIONS OF HETEROGENEOUS MULTI-AGENT SYSTEMS: THE PAAMS COLLECTION, VOLUME: 430, PAGES: 273-284
INDEXED IN: Scopus WOS DBLP CrossRef: 7
7040
TITLE: Pattern Based GUI testing for Mobile Applications
AUTHORS: Costa, P; Nabuco, M; Paiva, ACR ;
PUBLISHED: 2014, SOURCE: 9th International Conference on the Quality of Information and Communications Technology (QUATIC) in 2014 9TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY (QUATIC), PAGES: 66-74
INDEXED IN: Scopus WOS DBLP CrossRef: 23

Results per Page: 20.
Page 352 of 533. Total results: 10641.