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

531 Team Members
Filters -> Year: 2024
5501
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
5502
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
5503
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
5504
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
5505
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
5506
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
5507
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
5508
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
5509
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
5510
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
5512
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
5513
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
5514
TÍTULO: Tuning meta-heuristics using multi-agent learning in a scheduling system
AUTORES: Pereira, I ; Madureira, A ; De Moura Oliveira, PB ; Abraham, A;
PUBLICAÇÃO: 2013, FONTE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8160, PÁGINAS: 190-210
INDEXADO EM: Scopus DBLP
5515
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 Handle
5516
TÍTULO: Understanding User's Emotional Engagement to the Contents on a Smartphone Display: Psychiatric Prospective
AUTORES: Kunal Mankodiya; Vinod Sharma; Rolando Martins ; Ishan Pande; Samay Jain; Neal Ryan; Rajeev Gandhi;
PUBLICAÇÃO: 2013, FONTE: 10th IEEE International Conference on Ubiquitous Intelligence and Computing, UIC 2013 and 10th IEEE International Conference on Autonomic and Trusted Computing, ATC 2013 in 2013 IEEE 10th International Conference on Ubiquitous Intelligence and Computing and 2013 IEEE 10th International Conference on Autonomic and Trusted Computing, UIC/ATC 2013, Vietri sul Mare, Sorrento Peninsula, Italy, December 18-21, 2013, PÁGINAS: 631-637
INDEXADO EM: Scopus DBLP CrossRef: 5
5517
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: Proceedings of the 10th International Conference on Digital Preservation, iPRES 2013, Lisbon, Portugal, September 2 - 6, 2013
INDEXADO EM: DBLP
5518
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
5519
TÍTULO: Upper Ontology for Multi-Agent Energy Systems' Applications
AUTORES: Gabriel Santos; Tiago Pinto ; Zita A Vale; Hugo Morais; Isabel Praça;
PUBLICAÇÃO: 2013, FONTE: Distributed Computing and Artificial Intelligence - 10th International Conference, DCAI 2013, Salamanca, Spain, May 22-24, 2013, VOLUME: 217, PÁGINAS: 617-624
INDEXADO EM: DBLP
5520
TÍTULO: Upper ontology for multi-agent energy systems' applications
AUTORES: Santos, G; Pinto, T ; Vale, Z ; Morais, H; Praca, I ;
PUBLICAÇÃO: 2013, FONTE: 10th International Symposium on Distributed Computing and Artificial Intelligence 2013, DCAI 2013 in Advances in Intelligent Systems and Computing, VOLUME: 217, PÁGINAS: 617-624
INDEXADO EM: Scopus CrossRef Handle

Results per Page: 20.
Página 276 de 410. Total de resultados: 8184.