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

531 Team Members
Filters -> Year: 2024
5581
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
5582
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
5583
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
5584
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
5585
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
5586
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
5587
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
5588
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
5589
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
5590
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
5591
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
5592
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
5593
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
5594
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
5595
TÍTULO: Transcriptome analyses of primitively eusocial wasps reveal novel insights into the evolution of sociality and the origin of alternative phenotypes
AUTORES: Pedro G Ferreira ; Solenn Patalano; Ritika Chauhan; Richard Ffrench Constant; Toni Gabaldon; Roderic Guigo; Seirian Sumner;
PUBLICAÇÃO: 2013, FONTE: GENOME BIOLOGY, VOLUME: 14, NÚMERO: 2
INDEXADO EM: Scopus WOS CrossRef: 128
5596
TÍTULO: Transcriptome and genome sequencing uncovers functional variation in humans  Full Text
AUTORES: Tuuli Lappalainen; Michael Sammeth; Marc R Friedländer; Peter A C ‘t Hoen; Jean Monlong; Manuel A Rivas; Mar Gonzàlez-Porta; Natalja Kurbatova; Thasso Griebel; Pedro G Ferreira ; Matthias Barann; Thomas Wieland; Liliana Greger; Maarten van Iterson; Jonas Almlöf; Paolo Ribeca; Irina Pulyakhina; Daniela Esser; Thomas Giger; Andrew Tikhonov; Marc Sultan; Gabrielle Bertier; Daniel G MacArthur; Monkol Lek; Esther Lizano; Henk P J Buermans; Ismael Padioleau; Thomas Schwarzmayr; Olof Karlberg; Halit Ongen; Helena Kilpinen; Sergi Beltran; Marta Gut; Katja Kahlem; Vyacheslav Amstislavskiy; Oliver Stegle; Matti Pirinen; Stephen B Montgomery; Peter Donnelly; Mark I McCarthy; Paul Flicek; Tim M Strom; The Geuvadis Consortium, ; Hans Lehrach; Stefan Schreiber; Ralf Sudbrak; Ángel Carracedo; Stylianos E Antonarakis; Robert Häsler; Ann-Christine Syvänen; Gert-Jan van Ommen; Alvis Brazma; Thomas Meitinger; Philip Rosenstiel; Roderic Guigó; Ivo G Gut; Xavier Estivill; Emmanouil T Dermitzakis; ...Mais
PUBLICAÇÃO: 2013, FONTE: NATURE, VOLUME: 501, NÚMERO: 7468, PÁGINAS: 506-511
INDEXADO EM: Scopus WOS CrossRef: 1677
5598
TÍTULO: Transparent runtime migration of loop-based traces of processor instructions to reconfigurable processing units  Full Text
AUTORES: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLICAÇÃO: 2013, FONTE: International Journal of Reconfigurable Computing, VOLUME: 2013, PÁGINAS: 1-20
INDEXADO EM: Scopus DBLP CrossRef: 6
5599
TÍTULO: Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems
AUTORES: Joao Bispo ; Nuno Paulino ; Joao M P Cardoso ; Joao C Ferreira ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, NÚMERO: 3, PÁGINAS: 1625-1634
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
5600
TÍTULO: Tuning Meta-Heuristics Using Multi-agent Learning in a Scheduling System
AUTORES: Ivo Pereira ; Ana Madureira ; Paulo de d Moura Oliveira ; Ajith Abraham;
PUBLICAÇÃO: 2013, FONTE: Transactions on Computational Science XXI - Special Issue on Innovations in Nature-Inspired Computing and Applications, VOLUME: 21, PÁGINAS: 190-210
INDEXADO EM: Scopus DBLP CrossRef: 6

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