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

531 Team Members
Filters -> Year: 2024
5581
TÍTULO: The CSAI-2: An Examination of the Instrument's Factorial Validity and Reliability of the Intensity, Direction and Frequency Dimensions with Brazilian Athletes  Full Text
AUTORES: Marcos Gimenes Fernandes; Sandra Adriana Nunes; Jose Vasconcelos Raposo ; Fernandes, HM ; Robert Brustad;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF APPLIED SPORT PSYCHOLOGY, VOLUME: 25, NÚMERO: 4, PÁGINAS: 377-391
INDEXADO EM: Scopus WOS CrossRef: 10
5582
TÍTULO: The Data Deposit Workflow: Involving Researchers in Timely Dataset Upload and Description
AUTORES: Cristina Ribeiro ;
PUBLICAÇÃO: 2013, FONTE: IASSIST 2013 - Data Innovation: Increasing Accessibility, Visibility, and Sustainability, Cologne, Germany, May 29-31, 2013
INDEXADO EM: DBLP
5583
TÍTULO: The Dotted-Board Model: A new MIP model for nesting irregular shapes  Full Text
AUTORES: Franklina M B Toledo; Maria Antonia Carravilla ; Cristina Ribeiro ; Jose F Oliveira ; Miguel M Gomes ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF PRODUCTION ECONOMICS, VOLUME: 145, NÚMERO: 2, PÁGINAS: 478-487
INDEXADO EM: Scopus WOS CrossRef: 48
5584
TÍTULO: The ENCOURAGE ICT architecture for heterogeneous smart grids
AUTORES: Michele Albano ; Luis Ferreira ; Thibaut Le Guilly; Manuel Ramiro; Eduardo E Faria; Lara Perez Duenas; Rodrigo Ferreira; Earl Gaylard; David Jorquera Cubas; Eammon Roarke; Daniel Lux; Sandra Scalari; Susanne Majlund Sorensen; Marta Gangolells; Luis Miguel Pinho ; Arne Skou;
PUBLICAÇÃO: 2013, FONTE: IEEE EUROCON Conference in 2013 IEEE EUROCON, PÁGINAS: 1382-1389
INDEXADO EM: Scopus WOS CrossRef: 5
5585
TÍTULO: The ICARUS Project - Command, Control and Intelligence (C2I)
AUTORES: Govindaraj, S; Chintamani, K; Gancet, J; Letier, P; van Lierde, B; Nevatia, Y; De Cubber, G; Serrano, D; Palomares, ME; Bedkowski, J; Armbrust, C; Sanchez, J; Coelho, A ; Orbe, I;
PUBLICAÇÃO: 2013, FONTE: IEEE International Symposium on Safety, Security, and Rescue Robotics (SSRR) in 2013 IEEE INTERNATIONAL SYMPOSIUM ON SAFETY, SECURITY, AND RESCUE ROBOTICS (SSRR), PÁGINAS: 1-4
INDEXADO EM: Scopus WOS DBLP CrossRef: 21
5586
TÍTULO: The impact of time in link-based Web ranking  Full Text
AUTORES: Sergio Nunes ; Cristina Ribeiro ; Gabriel David ;
PUBLICAÇÃO: 2013, FONTE: 8th International Conference on Conceptions of Library and Information Science in INFORMATION RESEARCH-AN INTERNATIONAL ELECTRONIC JOURNAL, VOLUME: 18, NÚMERO: 3
INDEXADO EM: Scopus WOS DBLP
5587
TÍTULO: The LARA language
AUTORES: Cardoso, JMP ; De F. Coutinho, JG; Carvalho, T ; Diniz, PC ;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PÁGINAS: 35-70
INDEXADO EM: Scopus CrossRef
5588
TÍTULO: The LSTS Toolchain for Networked Vehicle Systems
AUTORES: Jose Pinto ; Paulo S Dias ; Ricardo Martins; Joao Fortuna; Eduardo Marques ; Joao Sousa ;
PUBLICAÇÃO: 2013, FONTE: MTS/IEEE OCEANS Conference in 2013 MTS/IEEE OCEANS - BERGEN
INDEXADO EM: Scopus WOS CrossRef: 100
5589
TÍTULO: The MATISSE MATLAB Compiler
AUTORES: Joao Bispo ; Pedro Pinto ; Ricardo Nobre ; Tiago Carvalho ; Joao M P Cardoso ; Pedro C Diniz ;
PUBLICAÇÃO: 2013, FONTE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PÁGINAS: 602-608
INDEXADO EM: Scopus WOS DBLP CrossRef: 6
5590
TÍTULO: The mobile context framework: Providing context to mobile applications
AUTORES: Oliveira, L; Ribeiro, AN ; Campos, JC ;
PUBLICAÇÃO: 2013, FONTE: 1st International Conference on Distributed, Ambient, and Pervasive Interactions, DAPI 2013, Held as Part of 15th International Conference on Human-Computer Interaction, HCI International 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8028 LNCS, PÁGINAS: 144-153
INDEXADO EM: Scopus DBLP CrossRef: 3
5591
TÍTULO: The REFLECT design-flow
AUTORES: Cardoso, JMP ; De F. Coutinho, JG; Nane, R; Sima, VM; Olivier, B; Carvalho, T ; Nobre, R; Diniz, PC ; Petrov, Z; Bertels, K; Gonçalves, F; Van Someren, H; Hübner, M; Constantinides, G; Luk, W; Becker, J; Krátký, K; Bhattacharya, S; Alves, JC ; Ferreira, JC ;
PUBLICAÇÃO: 2013, FONTE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PÁGINAS: 13-34
INDEXADO EM: Scopus CrossRef: 1
5592
TÍTULO: TimeMesh - A Serious Game for European Citizenship
AUTORES: Ricardo Baptista ; Carlos Vaz de Carvalho;
PUBLICAÇÃO: 2013, FONTE: EAI Endorsed Trans. Serious Games, VOLUME: 1, NÚMERO: 1
INDEXADO EM: DBLP CrossRef Handle
5593
TÍTULO: Topic 8: Distributed Systems and Algorithms - (Introduction)
AUTORES: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLICAÇÃO: 2013, FONTE: 19th International Conference on Parallel Processing, Euro-Par 2013 in Euro-Par 2013 Parallel Processing - 19th International Conference, Aachen, Germany, August 26-30, 2013. Proceedings, VOLUME: 8097, PÁGINAS: 367-368
INDEXADO EM: Scopus DBLP CrossRef: 1
5594
TÍTULO: Towards a Faster Network-Centric Subgraph Census
AUTORES: Pedro Paredes ; Pedro Ribeiro ;
PUBLICAÇÃO: 2013, FONTE: IEEE/ACM International Conference on Advances in Social Networks Analysis and Mining (ASONAM) in 2013 IEEE/ACM INTERNATIONAL CONFERENCE ON ADVANCES IN SOCIAL NETWORKS ANALYSIS AND MINING (ASONAM), PÁGINAS: 270-277
INDEXADO EM: Scopus WOS DBLP CrossRef: 19
5595
TÍTULO: Towards a mostly-automated prover for bit-vector arithmetic
AUTORES: Abal, I; Pinto, JS ;
PUBLICAÇÃO: 2013, FONTE: 6th International C* Conference on Computer Science and Software Engineering, C3S2E 2013 in ACM International Conference Proceeding Series, PÁGINAS: 132-133
INDEXADO EM: Scopus DBLP CrossRef
5596
TÍTULO: Towards a serious games evacuation simulator PDF
AUTORES: João Ribeiro; João Emílio Almeida; Rosaldo J F Rossetti ; António Coelho ; António Leça Coelho;
PUBLICAÇÃO: 2013, FONTE: CoRR, VOLUME: abs/1303.3827
INDEXADO EM: DBLP arXiv
5597
TÍTULO: Towards an accurate evaluation of deduplicated storage systems
AUTORES: Joao Paulo ; Pedro Reis; Jose Pereira ; Antonio Sousa ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, NÚMERO: 6, PÁGINAS: 427-437
INDEXADO EM: Scopus WOS DBLP
5598
TÍTULO: Towards deductive verification of MPI programs against session types
AUTORES: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins ;
PUBLICAÇÃO: 2013, FONTE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137, PÁGINAS: 103-113
INDEXADO EM: Scopus DBLP CrossRef: 7
5599
TÍTULO: Towards Scheduling Optimization through Artificial Bee Colony Approach
AUTORES: Madureira, A ; Pereira, I ; Abraham, A;
PUBLICAÇÃO: 2013, FONTE: World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2013 WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PÁGINAS: 253-258
INDEXADO EM: Scopus WOS DBLP CrossRef
5600
TÍTULO: Towards Transparent Parallel/Distributed Support for Real-Time Embedded Applications
AUTORES: Ricardo Garibay Martinez; Luis Lino Ferreira ; Claudio Maia; Luis Miguel Pinho ;
PUBLICAÇÃO: 2013, FONTE: 8th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2018 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), PÁGINAS: 114-117
INDEXADO EM: Scopus WOS CrossRef

Results per Page: 20.
Página 280 de 414. Total de resultados: 8280.