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

536 Team Members
Filters -> Year: 2026
8721
TITLE: Friendly Jamming for Wireless Secrecy
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Communications in 2010 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS
INDEXED IN: Scopus WOS CrossRef: 30
8722
TITLE: From e-learning systems to specialised e-learning services
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2010, SOURCE: A new learning paradigm: competition supported by technology
INDEXED IN: Handle
8723
TITLE: From SFC specification to C programming language on the context of aerospace systems control
AUTHORS: Borges, P; MacHado, J ; Villani, E; Campos, JC ;
PUBLISHED: 2010, SOURCE: IFAC Workshop on Intelligent Control Systems, WICS2010 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 8, ISSUE: PART 1, PAGES: 46-51
INDEXED IN: Scopus
8724
TITLE: Frontiers in Artificial Intelligence and Applications: Preface
AUTHORS: Soares, C ; Ghani, R;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 218
INDEXED IN: Scopus
8726
TITLE: GamaSlicer: an online laboratory for program verification and analysis. an online laboratory for program verification and analysis
AUTHORS: Daniela Carneiro da Cruz; Pedro Rangel Henriques ; Jorge Sousa Pinto ;
PUBLISHED: 2010, SOURCE: 10th Workshop on Language Descriptions, Tools and Applications, LDTA 2010 in Proceedings of the of the Tenth Workshop on Language Descriptions, Tools and Applications, LDTA 2010, Paphos, Cyprus, March 28-29, 2010 - satellite event of ETAPS, PAGES: 3
INDEXED IN: Scopus DBLP CrossRef: 8
8727
TITLE: Gender Differences in Internet Usage Habits: A Case Study in Higher Education
AUTHORS: Babo, R; Lopes, CT ; Rodrigues, AC; Pinto, M; Queiros, R ; de Oliveira, PC;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 1-2, VOLUME: 1, PAGES: 385-396
INDEXED IN: Scopus WOS Handle
8728
TITLE: Generic Point-free Lenses
AUTHORS: Hugo Pacheco ; Alcino Cunha ;
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
8729
TITLE: Genetic Algorithm with Local Search for Community Mining in Complex Networks
AUTHORS: Di Jin; Dongxiao X He; Dayou Y Liu; Carlos Baquero ;
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: 42
8730
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
8732
TITLE: Godel's system T revisited  Full Text
AUTHORS: Alves, S ; Fernandez, 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
8733
TITLE: GUI Inspection from Source Code Analysis
AUTHORS: João Carlos Silva; José Creissac Campos ; João Saraiva ;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: Scopus DBLP
8734
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
8735
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
8736
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
8737
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
8738
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
8739
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
8740
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

Results per Page: 20.
Page 437 of 534. Total results: 10671.