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

1699 Team Members
Filters -> Year: 2024
14061
TITLE: <title>Simultaneous measurement of strain and temperature using modal interferometry in Bragg fibers</title>
AUTHORS: Frazão, O ; Amaral, LMN; Santos, JL ; Roy, P; Jamier, R; Février, S;
PUBLISHED: 2010, SOURCE: 2nd Workshop on Specialty Optical Fibers and Their Applications (WSOF-2)
INDEXED IN: CrossRef: 1
14062
TITLE: <title>Suspended-core Fabry-Perot temperature sensor interrogation through a dual wavelength Raman fiber laser</title>
AUTHORS: Ana M R Pinto; Frazão, O ; Santos, JL ; Lopez-Amo, M; Kobelke, J; Schuster, K;
PUBLISHED: 2010, SOURCE: Fourth European Workshop on Optical Fibre Sensors
INDEXED IN: CrossRef: 1
14064
TITLE: A BIASED RANDOM KEY GENETIC ALGORITHM APPROACH FOR UNIT COMMITMENT PROBLEM
AUTHORS: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLISHED: 2010, SOURCE: International Conference on Evolutionary Computation (ICEC 2010) in ICEC 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION, PAGES: 332-339
INDEXED IN: Scopus WOS DBLP
14065
TITLE: A Branch and Bound Approach for Truss Topology Design Problems with Valid Inequalities  Full Text
AUTHORS: Cerveira, A ; Agra, A ; Bastos, F; Varum, H ;
PUBLISHED: 2010, SOURCE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PAGES: 2177-2180
INDEXED IN: Scopus WOS CrossRef Handle
14066
TITLE: A capacity sharing and stealing strategy for open real-time systems  Full Text
AUTHORS: Luis Nogueira ; Luis Miguel Pinho ;
PUBLISHED: 2010, SOURCE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 56, ISSUE: 4-6, PAGES: 163-179
INDEXED IN: Scopus WOS CrossRef: 8
14067
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTHORS: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PAGES: 151-167
INDEXED IN: Scopus WOS DBLP CrossRef: 20
14068
TITLE: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTHORS: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLISHED: 2010, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2010, PAGES: 339
INDEXED IN: DBLP
14069
TITLE: A Collaborative Decision Support Method to Design Performance Evaluation Systems in CNOs
AUTHORS: Rui Pinto Ferreira; Antonio Lucas Soares ;
PUBLISHED: 2010, SOURCE: 11th IFIP WG 5 5 Working Conference on Virtual Enterprises, PRO-VE 2010 in COLLABORATIVE NETWORKS FOR A SUSTAINABLE WORLD, VOLUME: 336, PAGES: 561-568
INDEXED IN: Scopus WOS CrossRef
14070
TITLE: A Comparative Study of Satellite and Ground-Based Vineyard Phenology
AUTHORS: Mario Cunha ; Andre R S Marcal ; Arlete Rodrigues;
PUBLISHED: 2010, SOURCE: 29th EARSeL Symposium in IMAGIN [E,G] EUROPE, PAGES: 68-77
INDEXED IN: WOS
14071
TITLE: A comparison between voltage and true power based embedded measurements for RF testing
AUTHORS: Mota, P; Da Silva, JM ;
PUBLISHED: 2010, SOURCE: 2010 IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop, IMS3TW 2010 in Proceedings of the 2010 IEEE 16th International Mixed-Signals, Sensors and Systems Test Workshop, IMS3TW 2010
INDEXED IN: Scopus CrossRef
14072
TITLE: A COMPARISON OF SCORING METRICS FOR PREDICTING THE NEXT NAVIGATION STEP WITH MARKOV MODEL-BASED SYSTEMS  Full Text
AUTHORS: Jose Borges ; Mark Levene;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY & DECISION MAKING, VOLUME: 9, ISSUE: 4, PAGES: 547-573
INDEXED IN: Scopus WOS CrossRef: 4
14073
TITLE: A comparison of the vibration characteristics of a rotating machine with a linear and a keyed shaft
AUTHORS: Oliveira, F ; Pelaez, G; Donsion, MP;
PUBLISHED: 2010, SOURCE: 19th International Conference on Electrical Machines, ICEM 2010 in 19th International Conference on Electrical Machines, ICEM 2010
INDEXED IN: Scopus CrossRef
14075
TITLE: A Coordination Model for Interactive Components
AUTHORS: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLISHED: 2010, SOURCE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PAGES: 416-430
INDEXED IN: Scopus WOS DBLP CrossRef: 3
14076
TITLE: A decision support system for generation expansion planning in competitive electricity markets  Full Text
AUTHORS: Adelino J C Pereira ; Joao Tome Saraiva ;
PUBLISHED: 2010, SOURCE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 80, ISSUE: 7, PAGES: 778-787
INDEXED IN: Scopus WOS CrossRef: 49
14077
TITLE: A Deductive Verification Platform for Cryptographic Software
AUTHORS: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLISHED: 2010, SOURCE: ECEASST, VOLUME: 33
INDEXED IN: DBLP
14078
TITLE: A digital game development education project
AUTHORS: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLISHED: 2010, SOURCE: 2nd IEEE International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010 in 2nd International Conference on Games and Virtual Worlds for Serious Applications, VS-GAMES 2010, PAGES: 79-82
INDEXED IN: Scopus CrossRef
14079
TITLE: A Facade Tracking System for Outdoor Augmented Reality
AUTHORS: Jose F Martins; Jorge A Silva ; Augusto de Sousa, AA ;
PUBLISHED: 2010, SOURCE: 18th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2010: FULL PAPERS PROCEEDINGS, PAGES: 113-120
INDEXED IN: Scopus WOS
14080
TITLE: A Gap Analysis Methodology for the Team Software Process
AUTHORS: Luis Manuel G Gonzalez Amaral; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 7th International Conference on the Quality of Information and Communications Technology (QUATIC) in QUATIC 2010: SEVENTH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PAGES: 424-429
INDEXED IN: Scopus WOS DBLP CrossRef: 3

Results per Page: 20.
Page 704 of 921. Total results: 18402.