Inesc Tecnologia e Ciência (INESC TEC)
Inesc Technology and Science

Publications Actions
Publicações no Perfil Institucional do Authenticus

Uma Instituição (Grupo) no Authenticus é uma organização que engloba um conjunto de Investigadores (equipa da Instituição ou do Grupo). O conjunto de Investigadores depende da estrutura organizacional da instituição em cada ano e pode ser definido no perfil da Instituição, na secção “Investigadores”. Com base na equipa definida, o Authenticus produz listas de publicações, estatísticas e relatórios institucionais.

As publicações listadas no perfil da Instituição no Authenticus dependem de dois parâmetros:

  • Investigadores associados à equipa da Instituição em cada ano.
  • Origem das Publicações.

As publicações associadas à Instituição podem ter três origens:

  • Publicações validadas pelos membros da equipa - Inclui todas as publicações validadas pelos membros da equipa; é necessário que a equipa da Instituição esteja definida.
  • Todas as Publicadas pelos membros da equipa - Inclui todas as anteriores mais aquelas em que um dos autores foi identificado com um membro da equipa, ainda que não tenha sido validada; é necessário que a equipa da Instituição esteja definida.
  • Com Base na Afiliação - inclui todas as publicações que têm a Instituição ou o Grupo mencionado na afiliação; não é necessário que a equipa da Instituição esteja definida mas, por outro lado, não é garantido que todas as publicações da Instituição sejam listadas.
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: 18400

1699 Team Members
Filters -> Year: 2024
14062
TÍTULO: A BIASED RANDOM KEY GENETIC ALGORITHM APPROACH FOR UNIT COMMITMENT PROBLEM
AUTORES: Roque, LAC ; Fontes, DBMM ; Fontes, FACC ;
PUBLICAÇÃO: 2010, FONTE: International Conference on Evolutionary Computation (ICEC 2010) in ICEC 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON EVOLUTIONARY COMPUTATION, PÁGINAS: 332-339
INDEXADO EM: Scopus WOS DBLP
14063
TÍTULO: A Branch and Bound Approach for Truss Topology Design Problems with Valid Inequalities  Full Text
AUTORES: Cerveira, A ; Agra, A ; Bastos, F; Varum, H ;
PUBLICAÇÃO: 2010, FONTE: International Conference on Numerical Analysis and Applied Mathematics in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS I-III, VOLUME: 1281, PÁGINAS: 2177-2180
INDEXADO EM: Scopus WOS CrossRef Handle
14064
TÍTULO: A capacity sharing and stealing strategy for open real-time systems  Full Text
AUTORES: Luis Nogueira ; Luis Miguel Pinho ;
PUBLICAÇÃO: 2010, FONTE: JOURNAL OF SYSTEMS ARCHITECTURE, VOLUME: 56, NÚMERO: 4-6, PÁGINAS: 163-179
INDEXADO EM: Scopus WOS CrossRef: 8
14065
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: Jose Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: 15th European Symposium on Research in Computer Security in COMPUTER SECURITY-ESORICS 2010, VOLUME: 6345, PÁGINAS: 151-167
INDEXADO EM: Scopus WOS DBLP CrossRef: 20
14066
TÍTULO: A Certifying Compiler for Zero-Knowledge Proofs of Knowledge Based on Sigma-Protocols
AUTORES: José Bacelar Almeida ; Endre Bangerter; Manuel Barbosa ; Stephan Krenn; Ahmad Reza Sadeghi; Thomas Schneider;
PUBLICAÇÃO: 2010, FONTE: IACR Cryptology ePrint Archive, VOLUME: 2010, PÁGINAS: 339
INDEXADO EM: DBLP
14067
TÍTULO: A Collaborative Decision Support Method to Design Performance Evaluation Systems in CNOs
AUTORES: Rui Pinto Ferreira; Antonio Lucas Soares ;
PUBLICAÇÃO: 2010, FONTE: 11th IFIP WG 5 5 Working Conference on Virtual Enterprises, PRO-VE 2010 in COLLABORATIVE NETWORKS FOR A SUSTAINABLE WORLD, VOLUME: 336, PÁGINAS: 561-568
INDEXADO EM: Scopus WOS CrossRef
14068
TÍTULO: A Comparative Study of Satellite and Ground-Based Vineyard Phenology
AUTORES: Mario Cunha ; Andre R S Marcal ; Arlete Rodrigues;
PUBLICAÇÃO: 2010, FONTE: 29th EARSeL Symposium in IMAGIN [E,G] EUROPE, PÁGINAS: 68-77
INDEXADO EM: WOS
14069
TÍTULO: A comparison between voltage and true power based embedded measurements for RF testing
AUTORES: Mota, P; Da Silva, JM ;
PUBLICAÇÃO: 2010, FONTE: 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
INDEXADO EM: Scopus CrossRef
14070
TÍTULO: A COMPARISON OF SCORING METRICS FOR PREDICTING THE NEXT NAVIGATION STEP WITH MARKOV MODEL-BASED SYSTEMS  Full Text
AUTORES: Jose Borges ; Mark Levene;
PUBLICAÇÃO: 2010, FONTE: INTERNATIONAL JOURNAL OF INFORMATION TECHNOLOGY & DECISION MAKING, VOLUME: 9, NÚMERO: 4, PÁGINAS: 547-573
INDEXADO EM: Scopus WOS CrossRef: 4
14071
TÍTULO: A comparison of the vibration characteristics of a rotating machine with a linear and a keyed shaft
AUTORES: Oliveira, F ; Pelaez, G; Donsion, MP;
PUBLICAÇÃO: 2010, FONTE: 19th International Conference on Electrical Machines, ICEM 2010 in 19th International Conference on Electrical Machines, ICEM 2010
INDEXADO EM: Scopus CrossRef
14072
14073
TÍTULO: A Coordination Model for Interactive Components
AUTORES: Marco A Barbosa; Luis S Barbosa ; Jose C Campos ;
PUBLICAÇÃO: 2010, FONTE: 3rd IPM International Conference on Fundamentals of Software Engineering in FUNDAMENTALS OF SOFTWARE ENGINEERING, VOLUME: 5961, PÁGINAS: 416-430
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
14074
TÍTULO: A decision support system for generation expansion planning in competitive electricity markets  Full Text
AUTORES: Adelino J C Pereira ; Joao Tome Saraiva ;
PUBLICAÇÃO: 2010, FONTE: ELECTRIC POWER SYSTEMS RESEARCH, VOLUME: 80, NÚMERO: 7, PÁGINAS: 778-787
INDEXADO EM: Scopus WOS CrossRef: 49
14075
TÍTULO: A Deductive Verification Platform for Cryptographic Software
AUTORES: Manuel Barbosa ; Jorge Sousa Pinto ; Jean Christophe Filliâtre; Bárbara Vieira;
PUBLICAÇÃO: 2010, FONTE: ECEASST, VOLUME: 33
INDEXADO EM: DBLP
14076
TÍTULO: A digital game development education project
AUTORES: Rodrigues, NF ; Simoes, R ; Vilaca, JL ;
PUBLICAÇÃO: 2010, FONTE: 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, PÁGINAS: 79-82
INDEXADO EM: Scopus CrossRef
14077
TÍTULO: A Facade Tracking System for Outdoor Augmented Reality
AUTORES: Jose F Martins; Jorge A Silva ; Augusto de Sousa, AA ;
PUBLICAÇÃO: 2010, FONTE: 18th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2010: FULL PAPERS PROCEEDINGS, PÁGINAS: 113-120
INDEXADO EM: Scopus WOS
14078
TÍTULO: A Gap Analysis Methodology for the Team Software Process
AUTORES: Luis Manuel G Gonzalez Amaral; Joao Pascoal Faria ;
PUBLICAÇÃO: 2010, FONTE: 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, PÁGINAS: 424-429
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
14079
TÍTULO: A hybrid Fabry-Perot/Michelson interferometer sensor using a dual asymmetric core microstructured fiber  Full Text
AUTORES: Frazao, O ; Susana O. Silva ; Viegas, J; Baptista, JM ; Santos, JL ; Roy, P;
PUBLICAÇÃO: 2010, FONTE: MEASUREMENT SCIENCE & TECHNOLOGY, VOLUME: 21, NÚMERO: 2, PÁGINAS: 025205
INDEXADO EM: Scopus WOS CrossRef: 23
14080
TÍTULO: A hybrid GRASP/VND algorithm for two- and three-dimensional bin packing  Full Text
AUTORES: Parreno, F; Alvarez Valdes, R; Oliveira, JF ; Tamarit, JM;
PUBLICAÇÃO: 2010, FONTE: ANNALS OF OPERATIONS RESEARCH, VOLUME: 179, NÚMERO: 1, PÁGINAS: 203-220
INDEXADO EM: Scopus WOS CrossRef: 47

Results per Page: 20.
Página 704 de 920. Total de resultados: 18400.