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

1716 Team Members
Filters -> Year: 2026
18301
TITLE: Full proof cryptography: verifiable compilation of efficient zero-knowledge protocols. verifiable compilation of efficient zero-knowledge protocols
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: CCS, PAGES: 488-500
INDEXED IN: Scopus DBLP CrossRef: 15
18302
TITLE: Full Proof Cryptography: Verifiable Compilation of Efficient Zero-Knowledge Protocols
AUTHORS: José Bacelar Almeida ; Manuel Barbosa ; Endre Bangerter; Gilles Barthe ; Stephan Krenn; Santiago Zanella Béguelin;
PUBLISHED: 2012, SOURCE: IACR Cryptol. ePrint Arch., VOLUME: 2012, PAGES: 258
INDEXED IN: DBLP
18303
TITLE: Functional polycentrism: An evaluation of Portuguese Municipalities [Policentrismo Funcional: Uma Avaliação dos Municípios Portugueses]
AUTHORS: Nunes, G; Mota, I ; Campos, P ;
PUBLISHED: 2012, SOURCE: Revista Portuguesa de Estudos Regionais, VOLUME: 29, ISSUE: 1, PAGES: 27-38
INDEXED IN: Scopus
18304
TITLE: Gas refractometry based on an all-fiber spatial optical filter
AUTHORS: Susana Silva ; Coelho, L ; Andre, RM ; Frazao, O ;
PUBLISHED: 2012, SOURCE: OPTICS LETTERS, VOLUME: 37, ISSUE: 16, PAGES: 3450-3452
INDEXED IN: Scopus WOS CrossRef: 9
18305
TITLE: Gauging Agil Accessibility Development and Evaluation of Native Software
AUTHORS: Joao D E de Sousa e Silva; Rui Braganca Ferreira; Antonio Pereira ; Ramiro Goncalves ;
PUBLISHED: 2012, SOURCE: 7th Iberian Conference on Information Systems and Technologies (CISTI 2012) in SISTEMAS Y TECNOLOGIAS DE INFORMACION, VOLS 1 AND 2, PAGES: 88-94
INDEXED IN: WOS
18306
TITLE: Gene clusters as intersections of powers of paths
AUTHORS: Vítor Santos Costa ; Simone Dantas; David Sankoff; Ximing Xu;
PUBLISHED: 2012, SOURCE: J. Braz. Comp. Soc., VOLUME: 18, ISSUE: 2, PAGES: 129-136
INDEXED IN: DBLP CrossRef: 2
18307
TITLE: Generically extending anonymization algorithms to deal with successive queries
AUTHORS: Manuel Barbosa ; Alexandre Pinto; Bruno Gomes;
PUBLISHED: 2012, SOURCE: CIKM, PAGES: 1362-1371
INDEXED IN: Scopus DBLP CrossRef: 4
18308
TITLE: Geophones on blocks: a prototype towable geophone system for shallow land seismic investigations. A prototype towable geophone system  Full Text
AUTHORS: Rui M Moura ; Manuel J S Senos Matias ;
PUBLISHED: 2012, SOURCE: GEOPHYSICAL PROSPECTING, VOLUME: 60, ISSUE: 1, PAGES: 192-200
INDEXED IN: Scopus WOS CrossRef: 8
18309
TITLE: GimmeDaBlues app for iOS: Overview and ongoing developments
AUTHORS: Dias, R; Guedes, C ;
PUBLISHED: 2012, SOURCE: SIGGRAPH Asia 2012 Symposium on Apps, SA 2012 in SIGGRAPH Asia 2012 Symposium on Apps, SA 2012
INDEXED IN: Scopus
18311
TITLE: Global Localisation Algorithm from a Multiple Hypotheses Set
AUTHORS: Miguel Pinto; Héber M Sobreira ; Paulo P Moreira ; Hélio Sousa Mendonça ;
PUBLISHED: 2012, SOURCE: 2012 1st Brazilian Robotics Symposium, SBR 2012 and 9th Latin American Robotics Symposium, LARS 2012 in 2012 Brazilian Robotics Symposium and Latin American Robotics Symposium, Fortaleza, Brazil, October 16-19, 2012, PAGES: 137-142
INDEXED IN: Scopus DBLP CrossRef
18312
TITLE: GOLDEN TILINGS
AUTHORS: Pinto, AA ; Almeida, JP ; Portela, A;
PUBLISHED: 2012, SOURCE: TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, VOLUME: 364, ISSUE: 5, PAGES: 2261-2280
INDEXED IN: Scopus WOS CrossRef: 3 Handle
18313
TITLE: Goodness-of-fit for a concentrated von Mises-Fisher distribution  Full Text
AUTHORS: Figueiredo, AMS ;
PUBLISHED: 2012, SOURCE: COMPUTATIONAL STATISTICS, VOLUME: 27, ISSUE: 1, PAGES: 69-82
INDEXED IN: Scopus WOS CrossRef: 6 Handle
18314
TITLE: GRACE ontology integrating process and quality control
AUTHORS: Paulo Leitão ; Nelson Rodrigues; Claudio Turrin; Arnaldo Pagani; Pierluigi Petrali;
PUBLISHED: 2012
INDEXED IN: Handle
18315
TITLE: GRACE Ontology Integrating Process and Quality Control
AUTHORS: Paulo Leitao ; Nelson Rodrigues; Claudio Turrin; Arnalda Pagani; Pierluigi Petrali;
PUBLISHED: 2012, SOURCE: 38th Annual Conference on IEEE-Industrial-Electronics-Society (IECON ) in 38TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2012), PAGES: 4348-4353
INDEXED IN: Scopus WOS CrossRef: 15
18316
TITLE: Gradient convergence filters and a phase congruency approach for in vivo cell nuclei detection
AUTHORS: Esteves, T; Quelhas, P ; Mendonça, AM ; Campilho, A ;
PUBLISHED: 2012, SOURCE: MACHINE VISION AND APPLICATIONS, VOLUME: 23, ISSUE: 4, PAGES: 623-638
INDEXED IN: Scopus WOS DBLP CrossRef: 22
18317
TITLE: Graph-based approach for interference free integration of pervasive applications
AUTHORS: Christophe Soares ; Moreiray, RS; Morla, R ; Jose M Torres ; Sobral, P ;
PUBLISHED: 2012, SOURCE: 2012 7th International Symposium on Wireless and Pervasive Computing, ISWPC 2012 in 2012 7th International Symposium on Wireless and Pervasive Computing, ISWPC 2012
INDEXED IN: Scopus CrossRef: 1
18318
TITLE: GREENBOX: a management system for used cooking oils collection
AUTHORS: Sousa, A ; Faria, J; Fernandes, H; Goncalves, R ; Paredes, H ; Martins, P ; Barroso, J ;
PUBLISHED: 2012, SOURCE: World Automation Congress (WAC) in 2012 WORLD AUTOMATION CONGRESS (WAC)
INDEXED IN: Scopus WOS

Results per Page: 20.
Page 916 of 1254. Total results: 25062.