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

Publications Actions
Publications at Authenticus Institutional Profile

An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports. 

Publications displayed at an Authenticus institutional profile depend on two parameters:

  • Researchers team associated with the institution per year. 
  • Publications source type. 

We define 3 types of publication sources:

  • Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team. 
  • All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team. 
  • Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed. 
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: 18054

1699 Team Members
Filters -> Year: 2024
12061
TITLE: Towards a serious games evacuation simulator PDF
AUTHORS: João Ribeiro; João Emílio Almeida; Rosaldo J F Rossetti ; António Coelho ; António Leça Coelho;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.3827
INDEXED IN: DBLP arXiv
12062
TITLE: Towards a Time-Feature Independent Phonocardiogram Segmentation
AUTHORS: Joao P Ramos; Paulo Carvalho ; Miguel Coimbra ;
PUBLISHED: 2013, SOURCE: 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), PAGES: 2116-2119
INDEXED IN: Scopus WOS DBLP CrossRef: 1
12063
TITLE: Towards an accurate evaluation of deduplicated storage systems
AUTHORS: Joao Paulo ; Pedro Reis; Jose Pereira ; Antonio Sousa ;
PUBLISHED: 2013, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 28, ISSUE: 6, PAGES: 427-437
INDEXED IN: Scopus WOS DBLP
12064
TITLE: Towards an Auto-Associative Topology State Estimator
AUTHORS: Jakov Krstulovic; Vladimiro Miranda ; Antonio J A S Simoes Costa; Jorge Pereira ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON POWER SYSTEMS, VOLUME: 28, ISSUE: 3, PAGES: 3311-3318
INDEXED IN: Scopus WOS CrossRef: 26
12065
TITLE: Towards deductive verification of MPI programs against session types
AUTHORS: Eduardo R B Marques ; Francisco Martins ; Vasco T Vasconcelos ; Nicholas Ng; Nuno Martins;
PUBLISHED: 2013, SOURCE: Proceedings 6th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, PLACES 2013, Rome, Italy, 23rd March 2013., VOLUME: 137, PAGES: 103-113
INDEXED IN: Scopus DBLP CrossRef
12066
TITLE: Towards Extraction of Topological Maps from 2D and 3D Occupancy Grids
AUTHORS: Santos, FN ; Moreira, AP ; Costa, PC ;
PUBLISHED: 2013, SOURCE: 16th Portuguese Conference on Artificial Intelligence (EPIA) in PROGRESS IN ARTIFICIAL INTELLIGENCE, EPIA 2013, VOLUME: 8154, PAGES: 307-318
INDEXED IN: Scopus WOS DBLP CrossRef: 4
12067
TITLE: Towards Scheduling Optimization through Artificial Bee Colony Approach
AUTHORS: Madureira, A ; Pereira, I ; Abraham, A;
PUBLISHED: 2013, SOURCE: World Congress on Nature and Biologically Inspired Computing (NaBIC) in 2013 WORLD CONGRESS ON NATURE AND BIOLOGICALLY INSPIRED COMPUTING (NABIC), PAGES: 253-258
INDEXED IN: Scopus WOS DBLP CrossRef
12068
TITLE: Towards Transparent Parallel/Distributed Support for Real-Time Embedded Applications
AUTHORS: Ricardo Garibay Martinez; Luis Lino Ferreira ; Claudio Maia; Luis Miguel Pinho ;
PUBLISHED: 2013, SOURCE: 8th IEEE International Symposium on Industrial Embedded Systems (SIES) in 2018 8TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), PAGES: 114-117
INDEXED IN: Scopus WOS CrossRef
12069
TITLE: Transcriptome analyses of primitively eusocial wasps reveal novel insights into the evolution of sociality and the origin of alternative phenotypes
AUTHORS: Pedro G Ferreira ; Solenn Patalano; Ritika Chauhan; Richard Ffrench Constant; Toni Gabaldon; Roderic Guigo; Seirian Sumner;
PUBLISHED: 2013, SOURCE: GENOME BIOLOGY, VOLUME: 14, ISSUE: 2
INDEXED IN: Scopus WOS CrossRef: 128
12070
TITLE: Transcriptome and genome sequencing uncovers functional variation in humans  Full Text
AUTHORS: 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; ...More
PUBLISHED: 2013, SOURCE: NATURE, VOLUME: 501, ISSUE: 7468, PAGES: 506-511
INDEXED IN: Scopus WOS CrossRef: 1677
12072
TITLE: Transmission Expansion Planning - A Multiyear PSO Based Approach Considering Load Uncertainties
AUTHORS: Manuel Costeira da Rocha; Joao Tome Saraiva ;
PUBLISHED: 2013, SOURCE: IEEE Grenoble PowerTech (POWERTECH) Conference in 2013 IEEE GRENOBLE POWERTECH (POWERTECH)
INDEXED IN: Scopus WOS CrossRef: 2
12073
TITLE: Transmission network expansion planning under demand uncertainty and risk aversion  Full Text
AUTHORS: Daniel Delgado; Joao Claro ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF ELECTRICAL POWER & ENERGY SYSTEMS, VOLUME: 44, ISSUE: 1, PAGES: 696-702
INDEXED IN: Scopus WOS CrossRef: 32
12075
TITLE: Transparent runtime migration of loop-based traces of processor instructions to reconfigurable processing units  Full Text
AUTHORS: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2013, PAGES: 1-20
INDEXED IN: Scopus DBLP CrossRef: 6
12076
TITLE: Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems
AUTHORS: Joao Bispo ; Nuno Paulino ; Joao M P Cardoso ; Joao C Ferreira ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1625-1634
INDEXED IN: Scopus WOS DBLP CrossRef: 10
12077
TITLE: Trimming of 3D solid finite element meshes: sheet metal forming tests and applications
AUTHORS: Barros, PD; Baptista, AJ ; Alves, JL ; Oliveira, MC ; Rodrigues, DM ; Menezes, LF ;
PUBLISHED: 2013, SOURCE: Engineering with Computers, PAGES: 1-21
INDEXED IN: Scopus
12078
TITLE: Tuning meta-heuristics using multi-agent learning in a scheduling system
AUTHORS: Pereira, I ; Madureira, A ; De Moura Oliveira, PB ; Abraham, A;
PUBLISHED: 2013, SOURCE: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8160, PAGES: 190-210
INDEXED IN: Scopus DBLP
12079
TITLE: Typing linear algebra: A biproduct-oriented approach
AUTHORS: Macedo, HD; Oliveira, JN ;
PUBLISHED: 2013, SOURCE: 10th International Conference on Mathematics of Program Construction in SCIENCE OF COMPUTER PROGRAMMING, VOLUME: 78, ISSUE: 11, PAGES: 2160-2191
INDEXED IN: Scopus WOS CrossRef Handle
12080
TITLE: Understanding participation in company social networks
AUTHORS: Carla Sofia Martins; Lia Patricio ;
PUBLISHED: 2013, SOURCE: JOURNAL OF SERVICE MANAGEMENT, VOLUME: 24, ISSUE: 5, PAGES: 567-587
INDEXED IN: Scopus WOS CrossRef: 24

Results per Page: 20.
Page 604 of 903. Total results: 18054.