CS: Computer Science
CS: Computer Science

Inesc Technology and Science (INESC TEC)

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

536 Team Members
Filters -> Year: 2026
8701
TITLE: Generic Point-free Lenses
AUTHORS: Pacheco, H ; Cunha, A ;
PUBLISHED: 2010, SOURCE: 10th International Conference on Mathematics of Program Construction in MATHEMATICS OF PROGRAM CONSTRUCTION, PROCEEDINGS, VOLUME: 6120, PAGES: 331-352
INDEXED IN: Scopus WOS DBLP CrossRef: 9
8702
TITLE: Genetic Algorithm with Local Search for Community Mining in Complex Networks
AUTHORS: Jin, D; He, DX; Liu, DY; Baquero, C ;
PUBLISHED: 2010, SOURCE: 22nd International Conference on Tools with Artificial Intelligence in 22ND INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE (ICTAI 2010), PROCEEDINGS, VOL 1, VOLUME: 1, PAGES: 105-112
INDEXED IN: Scopus WOS DBLP CrossRef: 46
8703
TITLE: Gestalt and Computational Perceptual Approach Brain responses tendencies given by visual and auditory basic stimuli
AUTHORS: Bruno Giesteira ; Joao Travassos; Diamantino Freitas ; Diana Tavares;
PUBLISHED: 2010, SOURCE: 2nd International Conference on Advanced Cognitive Technologies and Applications (COGNITIVE) in COGNITIVE 2010: THE SECOND INTERNATIONAL CONFERENCE ON ADVANCED COGNITIVE TECHNOLOGIES AND APPLICATIONS, PAGES: 1-4
INDEXED IN: WOS
8705
TITLE: Godel's system T revisited
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
INDEXED IN: Scopus WOS DBLP CrossRef: 17
8706
TITLE: GUI Inspection from Source Code Analysis
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 33
INDEXED IN: Scopus DBLP
8707
TITLE: Hábitos de utilização da internet nos alunos do ensino superior: caso de estudo
AUTHORS: Ana C Rodrigues; Mário Pinto; Ricardo Queirós ; Rosalina Babo; Carla T Lopes ; Paulo C d Oliveira;
PUBLISHED: 2010, SOURCE: Recursos humanos: das teorias às boas práticas: os artigos de investigação e intervenção
INDEXED IN: Handle
8708
TITLE: HAND GRIP STRENGTH IN A SAMPLE Of 11 to 14 Years Old Children  Full Text
AUTHORS: Carreira, H; Amaral, TF ; Bras Silva, C ; Oliveira, BMPM ; Borges, N ;
PUBLISHED: 2010, SOURCE: ACTA MEDICA PORTUGUESA, VOLUME: 23, ISSUE: 5, PAGES: 811-818
INDEXED IN: Scopus WOS Handle
8709
TITLE: Handling Mobility on a QoS-Aware Service-based Framework for Mobile Systems
AUTHORS: Joel Gonçalves; Luis Lino Ferreira ; Luís Miguel Pinho ; Guilherme D Silva;
PUBLISHED: 2010, SOURCE: IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010 in IEEE/IFIP 8th International Conference on Embedded and Ubiquitous Computing, EUC 2010, Hong Kong, China, 11-13 December 2010, PAGES: 97-104
INDEXED IN: Scopus DBLP CrossRef
8710
TITLE: Handling mobility on a QoS-Aware servicebased framework for mobile systems
AUTHORS: Joel Gonçalves; Luís L Ferreira ; Luís M Pinho; Guilherme Silva;
PUBLISHED: 2010, SOURCE: 8th International Conference on Embedded and Ubiquitous Computing
INDEXED IN: Handle
8711
TITLE: Human vs. Robotic Soccer: How Far Are They? A Statistical Comparison
AUTHORS: Pedro H Abreu ; Israel Costa; Daniel Castelão; Luís Paulo Reis ; Júlio Garganta ;
PUBLISHED: 2010, SOURCE: RoboCup, VOLUME: 6556 LNAI, PAGES: 242-253
INDEXED IN: Scopus DBLP CrossRef: 1
8712
TITLE: Hybrid Wired/Wireless PROFIBUS Architectures: Performance Study Based on Simulation Models  Full Text
AUTHORS: Sousa, PB ; Ferreira, LL ;
PUBLISHED: 2010, SOURCE: EURASIP JOURNAL ON WIRELESS COMMUNICATIONS AND NETWORKING, VOLUME: 2010, ISSUE: 1, PAGES: 845792
INDEXED IN: Scopus WOS DBLP CrossRef
8713
TITLE: i-om: Intelligent Optimization for Computer Graphics and Visualization
AUTHORS: Pedro Miguel Moreira ; Luis Paulo Reis ; Antonio Augusto de Sousa ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 484-489
INDEXED IN: Scopus WOS
8714
TITLE: Identifying Clones in Functional Programs for Refactoring
AUTHORS: Nuno Rodrigues ; Joao L Vilaca ;
PUBLISHED: 2010, SOURCE: International Conference on ENTERprize Information Systems in ENTERPRISE INFORMATION SYSTEMS PT I, VOLUME: 109, ISSUE: PART 1, PAGES: 309-317
INDEXED IN: Scopus WOS CrossRef
8715
TITLE: Implementing Multicore Real-Time Scheduling Algorithms Based on Task Splitting Using Ada 2012
AUTHORS: Bjoern Andersson; Luis Miguel Pinho ;
PUBLISHED: 2010, SOURCE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PAGES: 54-67
INDEXED IN: Scopus WOS CrossRef: 5
8716
TITLE: Improved heuristics for the single machine scheduling problem with linear early and quadratic tardy penalties
AUTHORS: Jorge M S Valente ; Jeffrey E Schaller;
PUBLISHED: 2010, SOURCE: EUROPEAN JOURNAL OF INDUSTRIAL ENGINEERING, VOLUME: 4, ISSUE: 1, PAGES: 99-129
INDEXED IN: Scopus WOS CrossRef: 16
8717
TITLE: Improving IdSay: A Characterization of Strengths and Weaknesses in Question Answering Systems for Portuguese
AUTHORS: Carvalho, G ; David Martins de Matos ; Rocio, V ;
PUBLISHED: 2010, SOURCE: 9th International Conference on Computational Processing of the Portuguese Language in COMPUTATIONAL PROCESSING OF THE PORTUGUESE LANGUAGE, PROCEEDINGS, VOLUME: 6001, PAGES: 1-+
INDEXED IN: Scopus WOS DBLP CrossRef
8718
TITLE: Improving P2P video streaming in wireless mesh networks
AUTHORS: Nuno Salta; Ricardo Morla ; Manuel Ricardo ;
PUBLISHED: 2010, SOURCE: Med-Hoc-Net, PAGES: 1-8
INDEXED IN: Scopus DBLP CrossRef: 6
8719
TITLE: Inductive Transfer
AUTHORS: Ricardo Vilalta; Christophe G Giraud Carrier; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 545-548
INDEXED IN: DBLP CrossRef: 12
8720
TITLE: Information Retrieval on Time-Dependent Collections
AUTHORS: Sérgio Nunes ;
PUBLISHED: 2010
INDEXED IN: DBLP

Results per Page: 20.
Page 436 of 532. Total results: 10639.