CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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
TÍTULO: On predicting a call center's workload: A discretization-based approach
AUTORES: Moreira Matias, L ; Nunes, R; Ferreira, M ; Mendes Moreira, J ; Gama, J ;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 548-553
INDEXADO EM: Scopus DBLP CrossRef: 1
5202
TÍTULO: On the correctness and efficiency of lock-free expandable tries for tabled logic programs
AUTORES: Areias, M ; Rocha, R ;
PUBLICAÇÃO: 2014, FONTE: 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, PÁGINAS: 168-183
INDEXADO EM: Scopus DBLP CrossRef: 6
5203
TÍTULO: On the Scheduling of Fork-Join Parallel/Distributed Real-Time Tasks
AUTORES: Ricardo Garibay Martinez; Geoffrey Nelissen; Luis Lino Ferreira ; Luis Miguel Pinho ;
PUBLICAÇÃO: 2014, FONTE: 9th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2014 9TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), PÁGINAS: 31-40
INDEXADO EM: Scopus WOS CrossRef
5204
TÍTULO: On the Support of Versioning in Distributed Key-Value Stores  Full Text
AUTORES: Felber, P; Pasin, M; Riviere, E; Schiavoni, V; Sutra, P; Coelho, F ; Oliveira, R ; Matos, M ; Vilaca, R ;
PUBLICAÇÃO: 2014, FONTE: IEEE 33rd International Symposium on Reliable Distributed Systems in 2014 IEEE 33RD INTERNATIONAL SYMPOSIUM ON RELIABLE DISTRIBUTED SYSTEMS (SRDS), VOLUME: 2014-January, PÁGINAS: 95-104
INDEXADO EM: Scopus WOS DBLP CrossRef Handle
5206
TÍTULO: Online Traffic Prediction in the Cloud: A Dynamic Window Approach
AUTORES: Bruno L Dalmazo; Joao P Vilela ; Marilia Curado ;
PUBLICAÇÃO: 2014, FONTE: 2nd International Conference on Future Internet of Things and Cloud (FiCloud) in 2014 INTERNATIONAL CONFERENCE ON FUTURE INTERNET OF THINGS AND CLOUD (FICLOUD), PÁGINAS: 9-14
INDEXADO EM: Scopus WOS CrossRef: 10
5207
TÍTULO: Online-Gym: A 3D Virtual Gymnasium Using Kinect Interaction
AUTORES: Fernando Cassola ; Leonel Morgado ; Fausto de Carvalho; Hugo Paredes ; Benjamim Fonseca ; Paulo Martins ;
PUBLICAÇÃO: 2014, FONTE: Procedia Technology, VOLUME: 13, PÁGINAS: 130-138
INDEXADO EM: CrossRef: 24
5208
TÍTULO: Online-Gym: multiuser virtual gymnasium using RINIONS and multiple Kinect devices
AUTORES: Fernando Cassola ; Hugo Paredes ; Benjamim Fonseca ; Paulo Martins ; Silvia Ala; Francisco dos Santos Cardoso ; Fausto de Carvalho; Leonel Morgado ;
PUBLICAÇÃO: 2014, FONTE: 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), PÁGINAS: 1-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
5209
TÍTULO: Ontology-Based Multi-Domain metadata for research data management using triple stores
AUTORES: Silva, JRD ; Ribeiro, C ; Lopes, JC ;
PUBLICAÇÃO: 2014, FONTE: 18th International Database Engineering and Applications Symposium, IDEAS 2014 in ACM International Conference Proceeding Series, PÁGINAS: 105-114
INDEXADO EM: Scopus DBLP CrossRef: 2
5210
TÍTULO: Optimal Control Formulations for the Unit Commitment Problem
AUTORES: Fontes, DBMM ; Fontes, FACC ; Roque, LAC ;
PUBLICAÇÃO: 2014, FONTE: 5th International Conference on the Dynamics of Information Systems in DYNAMICS OF INFORMATION SYSTEMS: COMPUTATIONAL AND MATHEMATICAL CHALLENGES, VOLUME: 105, PÁGINAS: 109-127
INDEXADO EM: Scopus WOS CrossRef Handle
5211
TÍTULO: Optimal life insurance purchase, consumption and investment on a financial market with multi-dimensional diffusive terms  Full Text
AUTORES: Duarte, I; Pinheiro, D; Pinto, AA ; Pliska, SR;
PUBLICAÇÃO: 2014, FONTE: OPTIMIZATION, VOLUME: 63, NÚMERO: 11, PÁGINAS: 1737-1760
INDEXADO EM: Scopus WOS CrossRef: 23
5212
TÍTULO: Optimal localization of firms in hotelling networks
AUTORES: Pinto, AA ; Parreira, T ;
PUBLICAÇÃO: 2014, FONTE: International Conference on Modeling, Optimization and Dynamics, ICMOD 2010 and 5th Bioeconomy Conference 2012 in Springer Proceedings in Mathematics and Statistics, VOLUME: 73, PÁGINAS: 17-22
INDEXADO EM: Scopus CrossRef: 3
5213
TÍTULO: Ordered minimum completion time heuristic for unrelated parallel-machines problems
AUTORES: E Santos, AS; Ana Maria Madureira ;
PUBLICAÇÃO: 2014, FONTE: 9th Iberian Conference on Information Systems and Technologies, CISTI 2014 in Iberian Conference on Information Systems and Technologies, CISTI
INDEXADO EM: Scopus CrossRef: 1
5214
TÍTULO: Otimização de planos de exploração florestal em baldios do norte de Portugal
AUTORES: Adelaide Cerveira ; Isabel Martins; Artur Mota; João Bento; Teresa Fonseca;
PUBLICAÇÃO: 2014, FONTE: Investigação operacional em ação: casos de aplicação, PÁGINAS: 17-56
INDEXADO EM: CrossRef
5215
TÍTULO: Outlier Detection in 802.11 Wireless Access Points Using Hidden Markov Models
AUTORES: Anisa Allahdadi ; Ricardo Morla ; Jaime S Cardoso ;
PUBLICAÇÃO: 2014, FONTE: 7th IFIP Wireless and Mobile Networking Conference (WMNC) in 2014 7TH IFIP WIRELESS AND MOBILE NETWORKING CONFERENCE (WMNC), PÁGINAS: 1-8
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
5216
TÍTULO: P-SOCRATES: a Parallel Software Framework for Time-Critical Many-Core Systems
AUTORES: Luis M Miguel Pinho ; Eduardo Quinones; Marko Bertogna; Andrea Marongiu; Jorge P Pereira Carlos; Claudio Scordino; Michele Ramponi;
PUBLICAÇÃO: 2014, FONTE: 17th Euromicro Conference on Digital System Design (DSD) in 2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), PÁGINAS: 214-221
INDEXADO EM: Scopus WOS CrossRef
5217
TÍTULO: Paradigm integration in a specification course
AUTORES: Manuel A Martins ; Alexandre Madeira ; Luis Soares Barbosa ; Renato Neves ;
PUBLICAÇÃO: 2014, FONTE: 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), PÁGINAS: 492-499
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
5218
TÍTULO: PARADIGM-COV A Multimensional Test Coverage Analysis Tool
AUTORES: Liliana Vilela; Ana C R Paiva ;
PUBLICAÇÃO: 2014, FONTE: 9th Iberian Conference on Information Systems and Technologies (CISTI) in PROCEEDINGS OF THE 2014 9TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI 2014)
INDEXADO EM: Scopus WOS CrossRef: 4
5219
TÍTULO: Parallel Machines Scheduling with Fuzzy Simulated Annealing
AUTORES: Santos, AS; Varela, MLR; Ana Maria Madureira ; Ribeiro, RA;
PUBLICAÇÃO: 2014, FONTE: 6th World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2014 SIXTH WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PÁGINAS: 269-274
INDEXADO EM: Scopus WOS DBLP CrossRef
5220
TÍTULO: Parallel Subgraph Counting for Multicore Architectures
AUTORES: David Aparicio ; Pedro Ribeiro ; Fernando Silva ;
PUBLICAÇÃO: 2014, FONTE: 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), PÁGINAS: 34-41
INDEXADO EM: Scopus WOS DBLP CrossRef: 15

Results per Page: 20.
Página 261 de 423. Total de resultados: 8455.