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

531 Team Members
Filters -> Year: 2025
5221
TITLE: Non-preemptive Scheduling of Real-Time Software Transactional Memory
AUTHORS: Antonio Barros ; Luís Miguel Pinho ;
PUBLISHED: 2014, SOURCE: 27th International Conference on Architecture of Computing Systems, ARCS 2014 in Architecture of Computing Systems - ARCS 2014 - 27th International Conference, Lübeck, Germany, February 25-28, 2014. Proceedings, VOLUME: 8350, PAGES: 25-36
INDEXED IN: Scopus DBLP CrossRef: 2
5222
TITLE: On enhancing disabled students' accessibility in environmental education using ICT: The MusicPaint case
AUTHORS: Hadjileontiadou, SJ; Plastra, E; Toumpas, K; Kyprioti, K; Mandiliotis, D; Barroso, J ; Hadjileontiadis, LJ;
PUBLISHED: 2014, SOURCE: 8th International Conference on Universal Access in Human-Computer Interaction, UAHCI 2014 - Held as Part of 16th International Conference on Human-Computer Interaction, HCI International 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8514 LNCS, ISSUE: PART 2, PAGES: 325-336
INDEXED IN: Scopus DBLP CrossRef: 1
5223
TITLE: On expressing strategies for directive-driven multicore programing models
AUTHORS: Nobre, R ; Pinto, P ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
PUBLISHED: 2014, SOURCE: 5th Workshop on Parallel Programming and Run-Time Management Techniques for Many-Core Architectures and 3rd Workshop on Design Tools and Architectures for Multicore Embedded Computing Platforms, PARMA-DITAM 2014 in ACM International Conference Proceeding Series, PAGES: 7-12
INDEXED IN: Scopus DBLP CrossRef
5224
TITLE: On improving operational planning and control in Public Transportation Networks using streaming Data: A Machine Learning Approach
AUTHORS: Luís M Matias; João M Moreira ; João Gama; Michel Ferreira;
PUBLISHED: 2014
INDEXED IN: Handle
5225
TITLE: On predicting a call center's workload: A discretization-based approach
AUTHORS: Moreira Matias, L ; Nunes, R; Ferreira, M ; Mendes Moreira, J ; Gama, J ;
PUBLISHED: 2014, SOURCE: 21st International Symposium on Methodologies for Intelligent Systems, ISMIS 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8502 LNAI, PAGES: 548-553
INDEXED IN: Scopus DBLP CrossRef: 1
5226
TITLE: On the correctness and efficiency of lock-free expandable tries for tabled logic programs
AUTHORS: Areias, M ; Rocha, R ;
PUBLISHED: 2014, SOURCE: 15th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2014 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8324 LNCS, PAGES: 168-183
INDEXED IN: Scopus DBLP CrossRef: 6
5227
TITLE: On the Scheduling of Fork-Join Parallel/Distributed Real-Time Tasks
AUTHORS: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLISHED: 2014, SOURCE: 9th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2014 9TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), PAGES: 31-40
INDEXED IN: Scopus WOS CrossRef
5228
TITLE: On the Support of Versioning in Distributed Key-Value Stores  Full Text
AUTHORS: Felber, P; Pasin, M; Riviere, E; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaca, R ;
PUBLISHED: 2014, SOURCE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PAGES: 95-104
INDEXED IN: Scopus WOS DBLP CrossRef Handle
5230
TITLE: Online Traffic Prediction in the Cloud: A Dynamic Window Approach
AUTHORS: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLISHED: 2014, SOURCE: 2nd International Conference on Future Internet of Things and Cloud (FiCloud) in 2014 INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD), PAGES: 9-14
INDEXED IN: Scopus WOS CrossRef: 10
5231
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: 24
5232
TITLE: Online-Gym: multiuser virtual gymnasium using RINIONS and multiple Kinect devices
AUTHORS: Fernando Cassola ; Hugo Paredes ; Benjamim Fonseca ; Paulo Martins ; Silvia Ala; Francisco dos Santos Cardoso ; Fausto de Carvalho; Leonel Morgado ;
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
5233
TITLE: Ontology-Based Multi-Domain metadata for research data management using triple stores
AUTHORS: Silva, JRD ; Ribeiro, C ; Lopes, JC ;
PUBLISHED: 2014, SOURCE: 18th International Database Engineering and Applications Symposium, IDEAS 2014 in ACM International Conference Proceeding Series, PAGES: 105-114
INDEXED IN: Scopus DBLP CrossRef: 2
5234
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
5235
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
5236
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
5237
TITLE: Ordered minimum completion time heuristic for unrelated parallel-machines problems
AUTHORS: E Santos, AS; Ana Maria Madureira ;
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: 1
5238
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
5239
TITLE: Outlier Detection in 802.11 Wireless Access Points Using Hidden Markov Models
AUTHORS: Anisa Allahdadi ; Ricardo Morla ; Jaime S Cardoso ;
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: 3
5240
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

Results per Page: 20.
Page 262 of 425. Total results: 8481.