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

536 Team Members
Filters -> Year: 2026
8841
TITLE: On the Expressiveness and Trade-Offs of Large Scale Tuple Stores
AUTHORS: Ricardo Vilaça ; Francisco Cruz ; Rui Oliveira ;
PUBLISHED: 2010, SOURCE: OTM Conferences (2), PAGES: 727-744
INDEXED IN: DBLP
8842
TITLE: On the Expressiveness and Trade-Offs of Large Scale Tuple Stores
AUTHORS: Ricardo Vilaca ; Francisco Cruz ; Rui Oliveira ;
PUBLISHED: 2010, SOURCE: On the Move Confederated International Conference in ON THE MOVE TO MEANINGFUL INTERNET SYSTEMS: OTM 2010, PT II, VOLUME: 6427, ISSUE: PART 2, PAGES: 727-744
INDEXED IN: Scopus WOS CrossRef: 7
8843
TITLE: On the Implementation of the CLP(BN) Language
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2010, SOURCE: 12th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, VOLUME: 5937, PAGES: 234-248
INDEXED IN: Scopus WOS DBLP CrossRef: 1
8844
TITLE: On Using LALP to Map an Audio Encoder/Decoder on FPGAs
AUTHORS: Ricardo Menotti; Joao M P Cardoso ; Marcio M Fernandes; Eduardo Marques;
PUBLISHED: 2010, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE) in IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE 2010), PAGES: 3063-3068
INDEXED IN: Scopus WOS CrossRef: 2
8845
TITLE: Ontology Alignment Argumentation with Mutual Dependency Between Arguments and Mappings
AUTHORS: Paulo Maio ; Nuno Silva ;
PUBLISHED: 2010, SOURCE: 26th IEEE International Conference on Data Engineering (ICDE) in 2010 IEEE 26TH INTERNATIONAL CONFERENCE ON DATA ENGINEERING WORKSHOPS (ICDE 2010), PAGES: 233-238
INDEXED IN: Scopus WOS CrossRef
8846
TITLE: Open source certification
AUTHORS: Damiani, E; Barbosa, L ; Breuer, PT; Ardagna, CA;
PUBLISHED: 2010, SOURCE: COMPUTER SYSTEMS SCIENCE AND ENGINEERING, VOLUME: 25, ISSUE: 4, PAGES: 271-272
INDEXED IN: Scopus WOS DBLP
8847
TITLE: Optical recognition of music symbols. A comparative study  Full Text
AUTHORS: Rebelo, A ; Capela, G ; Cardoso, JS ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL ON DOCUMENT ANALYSIS AND RECOGNITION, VOLUME: 13, ISSUE: 1, PAGES: 19-31
INDEXED IN: Scopus WOS DBLP CrossRef: 78
8848
TITLE: Optimal Hop-Constrained Trees for Nonlinear Cost Flow Networks  Full Text
AUTHORS: Dalila B M M Fontes ;
PUBLISHED: 2010, SOURCE: INFOR, VOLUME: 48, ISSUE: 1, PAGES: 13-21
INDEXED IN: Scopus WOS DBLP CrossRef
8850
TITLE: PARALLEL CALCULATION OF SUBGRAPH CENSUS IN BIOLOGICAL NETWORKS
AUTHORS: Ribeiro, P ; Silva, F ; Lopes, L ;
PUBLISHED: 2010, SOURCE: 1st International Conference on Bioinformatics (BIOINFORMATICS 2010) in BIONFORMATICS 2010: PROCEEDINGS OF THE FIRST INTERNATIONAL CONFERENCE ON BIOINFORMATICS, PAGES: 56-65
INDEXED IN: Scopus WOS DBLP
8851
TITLE: Paraphrase Alignment for Synonym Evidence Discovery
AUTHORS: Gintare Grigonyte; João Cordeiro ; Gaël Dias; Rumen Moraliyski; Pavel Brazdil ;
PUBLISHED: 2010, SOURCE: COLING, VOLUME: 2, PAGES: 403-411
INDEXED IN: Scopus DBLP
8852
TITLE: Patient Empowerment by the Means of Citizen-managed Electronic Health Records: Web 2.0 Health Digital Identity
AUTHORS: Falcao Reis, F; Correia, ME ;
PUBLISHED: 2010, SOURCE: 7th Annual Conference of the International-Council-on-Medical-and-Care-Compunetics (ICMCC) in MEDICAL AND CARE COMPUNETICS 6, VOLUME: 156, PAGES: 214-228
INDEXED IN: Scopus WOS CrossRef
8853
TITLE: Patterns for consistent software documentation
AUTHORS: Correia, FF ; Ferreira, HS ; Aguiar, A ; Flores, N ;
PUBLISHED: 2010, SOURCE: 16th Conference on Pattern Languages of Programs, PLoP09 in ACM International Conference Proceeding Series
INDEXED IN: Scopus CrossRef: 15
8854
TITLE: Personal Geolocation System
AUTHORS: Sousa Andre ; Fernandes Hugo; Faria Jose; Reis Arsenio ; Goncalves Ramiro ; Barroso Joao ;
PUBLISHED: 2010, SOURCE: 14th International-Business-Information-Management-Association Conference in BUSINESS TRANSFORMATION THROUGH INNOVATION AND KNOWLEDGE MANAGEMENT: AN ACADEMIC PERSPECTIVE, VOLS 3 AND 4, PAGES: 2179-2182
INDEXED IN: WOS
8855
TITLE: Personal geolocation system
AUTHORS: Sousa, A; Fernandes, H; Faria, J; Reis, A ; Goncalves, R; Joao, B ;
PUBLISHED: 2010, SOURCE: 14th International Business Information Management Association Conference, IBIMA 2010 in Business Transformation through Innovation and Knowledge Management: An Academic Perspective - Proceedings of the 14th International Business Information Management Association Conference, IBIMA 2010, VOLUME: 3, PAGES: 2179-2182
INDEXED IN: Scopus
8856
TITLE: PETTool: A pattern-based GUI testing tool
AUTHORS: Cunha, M; Paiva, ACR ; Ferreira, HS ; Abreu, R ;
PUBLISHED: 2010, SOURCE: 2010 2nd International Conference on Software Technology and Engineering, ICSTE 2010 in ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings, VOLUME: 1
INDEXED IN: Scopus CrossRef: 12
8857
TITLE: Photogrammetric mapping and measuring application using MATLAB  Full Text
AUTHORS: Madeira, S ; Goncalves, A ; Bastos, L ;
PUBLISHED: 2010, SOURCE: COMPUTERS & GEOSCIENCES, VOLUME: 36, ISSUE: 6, PAGES: 699-706
INDEXED IN: Scopus WOS CrossRef: 6
8859
TITLE: Pinto's Golden Tilings
AUTHORS: Almeida, JP ;
PUBLISHED: 2010, SOURCE: Discrete Dynamics and Difference Equations
INDEXED IN: CrossRef Handle
8860
TITLE: Portability of Prolog programs: theory and case-studies
AUTHORS: Jan Wielemaker; Vítor Santos Costa ;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1009.3796, PAGES: 05
INDEXED IN: Scopus DBLP

Results per Page: 20.
Page 443 of 536. Total results: 10703.