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

536 Team Members
Filters -> Year: 2026
7641
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: 2 Handle
7642
TÍTULO: Topic 8: Distributed Systems and Algorithms - (Introduction). (Introduction)
AUTORES: Achour Mostéfaoui; Andreas Polze; Carlos Baquero ; Paul D Ezhilchelvan; Lars Lundberg;
PUBLICAÇÃO: 2013, FONTE: Euro-Par, VOLUME: 8097 LNCS, PÁGINAS: 367-368
INDEXADO EM: Scopus DBLP CrossRef: 1
7643
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: 23
7644
TÍTULO: Towards a mostly-automated prover for bit-vector arithmetic
AUTORES: Iago Abal; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2013, FONTE: C3S2E, PÁGINAS: 132-133
INDEXADO EM: Scopus DBLP CrossRef
7645
TÍTULO: Towards an accurate evaluation of deduplicated storage systems
AUTORES: Paulo, J ; Reis, P; Pereira, J ; Sousa, A ;
PUBLICAÇÃO: 2013, FONTE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, NÚMERO: 6, PÁGINAS: 427-437
INDEXADO EM: Scopus WOS DBLP
7646
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: PLACES, VOLUME: 137, PÁGINAS: 103-113
INDEXADO EM: Scopus DBLP CrossRef: 7
7647
TÍTULO: Towards effective and efficient search-based deterministic replay
AUTORES: Manuel Bravo; Nuno Machado ; Paolo Romano ; Luís E T Rodrigues ;
PUBLICAÇÃO: 2013, FONTE: 9th Workshop on Hot Topics in Dependable Systems, HotDep 2013 in HotDep, PÁGINAS: 10:1-10:6
INDEXADO EM: Scopus DBLP CrossRef: 4
7648
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: 4
7649
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: 2
7650
TÍTULO: Towards transparent parallel/distributed support for real-time embedded applications
AUTORES: Ricardo Garibay Martínez; Luis Lino Ferreira ; Cláudio Maia; Luís Miguel Pinho;
PUBLICAÇÃO: 2013, FONTE: 8th IEEE International Symposium on Industrial Embedded Systems, SIES 2013, Porto, Portugal, June 19-21, 2013, PÁGINAS: 114-117
INDEXADO EM: DBLP
7651
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: 138
7652
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: 1874
7654
TÍTULO: Transparent Runtime Migration of Loop-Based Traces of Processor Instructions to Reconfigurable Processing Units
AUTORES: João Bispo ; Nuno Miguel Cardanha Paulino ; João M P Cardoso ; João Canas Ferreira ;
PUBLICAÇÃO: 2013, FONTE: Int. J. Reconfigurable Comput., VOLUME: 2013, PÁGINAS: 340316:1-340316:20
INDEXADO EM: Scopus DBLP CrossRef: 6
7655
TÍTULO: Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems
AUTORES: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, NÚMERO: 3, PÁGINAS: 1625-1634
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
7656
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: Trans. Comput. Sci., VOLUME: 21, PÁGINAS: 190-210
INDEXADO EM: Scopus DBLP CrossRef: 6
7657
TÍTULO: Typing linear algebra: A biproduct-oriented approach
AUTORES: Macedo, HD; Oliveira, JN ;
PUBLICAÇÃO: 2013, FONTE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, NÚMERO: 11, PÁGINAS: 2160-2191
INDEXADO EM: Scopus WOS CrossRef: 47 Handle
7659
TÍTULO: UPBox and DataNotes: a collaborative data management environment for the long tail of research data
AUTORES: João Rocha da Silva ; José Pedro Barbosa; Mariana Gouveia; João Correia Lopes ; Cristina Ribeiro ;
PUBLICAÇÃO: 2013, FONTE: iPRES
INDEXADO EM: DBLP
7660
TÍTULO: UPBox e DataNotes: um ambiente de suporte à gestão colaborativa de dados científicos
AUTORES: João Rocha da Silva ; Cristina Ribeiro ; João Correia Lopes ;
PUBLICAÇÃO: 2013, FONTE: InCID: Revista de Ciência da Informação e Documentação - InCID: Rev. Ci. Inf. Doc., VOLUME: 4, NÚMERO: 2, PÁGINAS: 95
INDEXADO EM: CrossRef

Results per Page: 20.
Página 383 de 532. Total de resultados: 10639.