Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

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

1699 Team Members
Filters -> Year: 2024
12101
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
12102
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
12103
TÍTULO: Towards a Time-Feature Independent Phonocardiogram Segmentation
AUTORES: Joao P Ramos; Paulo Carvalho ; Miguel Coimbra ;
PUBLICAÇÃO: 2013, FONTE: 35th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2013 35TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PÁGINAS: 2116-2119
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
12104
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
12105
TÍTULO: Towards an Auto-Associative Topology State Estimator
AUTORES: Jakov Krstulovic; Vladimiro Miranda ; Antonio J A S Simoes Costa; Jorge Pereira ;
PUBLICAÇÃO: 2013, FONTE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 28, NÚMERO: 3, PÁGINAS: 3311-3318
INDEXADO EM: Scopus WOS CrossRef: 26
12106
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
12107
TÍTULO: Towards Extraction of Topological Maps from 2D and 3D Occupancy Grids
AUTORES: Santos, FN ; Moreira, AP ; Costa, PC ;
PUBLICAÇÃO: 2013, FONTE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PÁGINAS: 307-318
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
12108
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
12109
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
12110
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
12111
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
12113
TÍTULO: Transmission Expansion Planning - A Multiyear PSO Based Approach Considering Load Uncertainties
AUTORES: Manuel Costeira da Rocha; Joao Tome Saraiva ;
PUBLICAÇÃO: 2013, FONTE: IEEE Grenoble PowerTech (POWERTECH) Conference in 2013 IEEE GRENOBLE POWERTECH (POWERTECH)
INDEXADO EM: Scopus WOS CrossRef: 2
12114
TÍTULO: Transmission network expansion planning under demand uncertainty and risk aversion  Full Text
AUTORES: Daniel Delgado; Joao Claro ;
PUBLICAÇÃO: 2013, FONTE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 44, NÚMERO: 1, PÁGINAS: 696-702
INDEXADO EM: Scopus WOS CrossRef: 32
12115
TÍTULO: Transparent Current Mirrors With a-GIZO TFTs: Neural Modeling, Simulation and Fabrication  Full Text
AUTORES: Pydi Ganga Bahubalindruni; Vitor Grade Tavares ; Pedro Barquinha; Candido Duarte ; Pedro Guedes de Oliveira; Rodrigo Martins ; Elvira Fortunato;
PUBLICAÇÃO: 2013, FONTE: JOURNAL OF DISPLAY TECHNOLOGY, VOLUME: 9, NÚMERO: 12, PÁGINAS: 1001-1006
INDEXADO EM: Scopus WOS CrossRef: 14
12116
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
12117
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
12118
TÍTULO: Trimming of 3D solid finite element meshes: sheet metal forming tests and applications
AUTORES: Barros, PD; Baptista, AJ ; Alves, JL ; Oliveira, MC ; Rodrigues, DM ; Menezes, LF ;
PUBLICAÇÃO: 2013, FONTE: Engineering with Computers, PÁGINAS: 1-21
INDEXADO EM: Scopus
12119
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
12120
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

Results per Page: 20.
Página 606 de 906. Total de resultados: 18106.