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

536 Team Members
Filters -> Year: 2026
7781
TITLE: Blind navigation support system based on Microsoft Kinect
AUTHORS: Filipe, V ; Fernandes, F; Fernandes, H ; Sousa, A ; Paredes, H; Barroso, J ;
PUBLISHED: 2012, SOURCE: 4th International Conference on Software Development for Enhancing Accessibility and Fighting Info-Exclusion (DSAI) in PROCEEDINGS OF THE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE DEVELOPMENT FOR ENHANCING ACCESSIBILITY AND FIGHTING INFO-EXCLUSION (DSAI 2012), VOLUME: 14, PAGES: 94-101
INDEXED IN: Scopus WOS DBLP CrossRef: 85
7782
TITLE: Bounded Model Checking of Temporal Formulas with Alloy PDF
AUTHORS: Alcino Cunha ;
PUBLISHED: 2012, SOURCE: CoRR, VOLUME: abs/1207.2746
INDEXED IN: DBLP arXiv
7783
TITLE: Bridging between programming exercises formats with BabeLO
AUTHORS: José P Leal ; Ricardo Queirós ;
PUBLISHED: 2012, SOURCE: ACM International Collegiate Programming Contest (ICPC) World Final Competitive Learning Institute Symposium, 5th
INDEXED IN: Handle
7785
TITLE: Brief Announcement: Semantics of Eventually Consistent Replicated Sets
AUTHORS: Bieniusa, A; Zawirski, M; Preguiça, N ; Shapiro, M; Baquero, C ; Balegas, V; Duarte, S ;
PUBLISHED: 2012, SOURCE: 26th International Symposium on Distributed Computing (DISC) in DISTRIBUTED COMPUTING, DISC 2012, VOLUME: 7611, PAGES: 441-+
INDEXED IN: Scopus WOS DBLP CrossRef: 11
7786
TITLE: BRISA: Combining Efficiency and Reliability in Epidemic Data Dissemination
AUTHORS: Matos, M ; Schiavoni, V; Felber, P; Oliveira, R ; Riviere, E;
PUBLISHED: 2012, SOURCE: 26th IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2012 IEEE 26TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS), PAGES: 983-994
INDEXED IN: Scopus WOS DBLP CrossRef: 3
7788
TITLE: Building and Exploring Semantic Equivalences Resources
AUTHORS: Carvalho, G; David Martins de Matos ; Rocio, V ;
PUBLISHED: 2012, SOURCE: 8th International Conference on Language Resources and Evaluation (LREC) in LREC 2012 - EIGHTH INTERNATIONAL CONFERENCE ON LANGUAGE RESOURCES AND EVALUATION, PAGES: 2038-2042
INDEXED IN: Scopus WOS DBLP
7789
TITLE: Bus Bunching Detection by Mining Sequences of Headway Deviations
AUTHORS: Luís Moreira Matias ; Carlos Abreu Ferreira ; João Gama ; João Mendes Moreira ; Jorge Freire de Sousa ;
PUBLISHED: 2012, SOURCE: ICDM, VOLUME: 7377 LNAI, PAGES: 77-91
INDEXED IN: Scopus DBLP CrossRef: 20
7790
TITLE: Bus Bunching detection: A sequence mining approach
AUTHORS: Moreira Matias, L; Ferreira, C ; Gama, J ; Mendes Moreira, J ; De Sousa, JF ;
PUBLISHED: 2012, SOURCE: Workshop on Ubiquitous Data Mining, UDM 2012 - In Conjunction with the 20th European Conference on Artificial Intelligence, ECAI 2012 in CEUR Workshop Proceedings, VOLUME: 960, PAGES: 13-17
INDEXED IN: Scopus
7791
TITLE: Business, social responsibility, and corruption. Business, social responsibility, and corruption  Full Text
AUTHORS: Branco, MC ; Delgado, C ;
PUBLISHED: 2012, SOURCE: Journal of Public Affairs, VOLUME: 12, ISSUE: 4, PAGES: 357-365
INDEXED IN: Scopus CrossRef: 31
7792
TITLE: Can GUI Implementation Markup Languages Be Used for Modelling?
AUTHORS: Carlos E Silva; José Creissac Campos ;
PUBLISHED: 2012, SOURCE: HCSE, VOLUME: 7623 LNCS, PAGES: 112-129
INDEXED IN: Scopus DBLP CrossRef: 3 Handle
7793
TITLE: Caracterização estato-ponderal de crianças e adolescentes numa amostra representativa da população portuguesa
AUTHORS: Bruno Oliveira ; Rui Poínhos; Claúdia Afonso; Bela Franchini; Vitor H Teixeira; Pedro Moreira; Catarina Durão; Olívia Pinho; Diana Silva; J.P.L. Reis; M.T. Veríssimo; Flora Correia; Maria D Almeida;
PUBLISHED: 2012
INDEXED IN: Handle
7794
TITLE: Challenges of Health Games in the Social Network Environment
AUTHORS: Hugo Paredes ; Anabela Pinho; Nelson Zagalo;
PUBLISHED: 2012, SOURCE: GAMES FOR HEALTH JOURNAL, VOLUME: 1, ISSUE: 2, PAGES: 171-173
INDEXED IN: WOS CrossRef
7795
TITLE: Characterization, comparison and systematization of context ontologies
AUTHORS: Martins, H; Silva, N ;
PUBLISHED: 2012, SOURCE: 2012 6th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2012 in Proceedings - 2012 6th International Conference on Complex, Intelligent, and Software Intensive Systems, CISIS 2012, PAGES: 983-988
INDEXED IN: Scopus CrossRef: 3
7796
TITLE: Classification Conceptuelle avec Généralisation par Intervalles
AUTHORS: Paula Brito ; Géraldine Polaillon;
PUBLISHED: 2012, SOURCE: EGC, VOLUME: E.23, PAGES: 113-118
INDEXED IN: Scopus DBLP
7797
TITLE: Clima motivacional induzido pelos pais de jovens praticantes de Futebol: efeitos da posição ocupada no campo, do ano escolar, do número de reprovações escolares e do tempo e frequência de prática - Portuguese
AUTHORS: Rute Carvalho; Carla M Teixeira; José Vasconcelos-Raposo ;
PUBLISHED: 2012, SOURCE: Revista Portuguesa de Ciências do Desporto - RPCD, VOLUME: 12, ISSUE: 3, PAGES: 110-127
INDEXED IN: CrossRef
7798
TITLE: Cloud computing: Return on investment: The Portuguese higher education case study
AUTHORS: Sousa, J; Assis, P; Leitao, M ;
PUBLISHED: 2012, SOURCE: 2nd International Conference on Cloud Computing and Services Science, CLOSER 2012 in CLOSER 2012 - Proceedings of the 2nd International Conference on Cloud Computing and Services Science, PAGES: 472-475
INDEXED IN: Scopus
7799
7800
TITLE: Combining a Multi-Objective Optimization Approach with Meta-Learning for SVM Parameter Selection
AUTHORS: de Miranda, PBC; Prudêncio, RBC; de Carvalho, ACPLF; Soares, C ;
PUBLISHED: 2012, SOURCE: IEEE International Conference on Systems, Man, and Cybernetics (SMC) in PROCEEDINGS 2012 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), PAGES: 2909-2914
INDEXED IN: Scopus WOS DBLP CrossRef: 9

Results per Page: 20.
Page 390 of 532. Total results: 10637.