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

531 Team Members
Filters -> Year: 2025
5201
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
5202
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
5203
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
5204
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
5206
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
5207
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
5208
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
5209
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
5210
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
5211
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
5212
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
5213
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
5214
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
5215
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
5216
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
5217
TITLE: Paradigm integration in a specification course
AUTHORS: Manuel A Martins ; Alexandre Madeira ; Luis Soares Barbosa ; Renato Neves ;
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: 1
5218
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: 4
5219
TITLE: Parallel Machines Scheduling with Fuzzy Simulated Annealing
AUTHORS: Santos, AS; Varela, MLR; Ana Maria Madureira ; 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
5220
TITLE: Parallel Subgraph Counting for Multicore Architectures
AUTHORS: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
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

Results per Page: 20.
Page 261 of 423. Total results: 8455.