CS: Computer Science
CS: Computer Science

Inesc Tecnologia e Ciência (INESC TEC)

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

531 Team Members
Filters -> Year: 2024
6421
TÍTULO: VPP's Multi-Level Negotiation in Smart Grids and Competitive Electricity Markets
AUTORES: Vale, Z ; Pinto, T ; Morais, H; Praca, I ; Faria, P;
PUBLICAÇÃO: 2011, FONTE: General Meeting of the IEEE-Power-and-Energy-Society (PES) in 2011 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
INDEXADO EM: Scopus WOS CrossRef Handle
6422
TÍTULO: Wait-Free Shared-Memory Irradiance Caching  Full Text
AUTORES: Kurt Debattista; Piotr Dubla; Luis Paulo P Peixoto dos Santos ; Alan Chalmers;
PUBLICAÇÃO: 2011, FONTE: IEEE COMPUTER GRAPHICS AND APPLICATIONS, VOLUME: 31, NÚMERO: 5, PÁGINAS: 66-78
INDEXADO EM: Scopus WOS CrossRef: 3
6423
TÍTULO: WebRun
AUTORES: Araujo, P; Dias, T; Castanheira, J; Prata, P ; Barroso, J ;
PUBLICAÇÃO: 2011, FONTE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXADO EM: Scopus
6424
TÍTULO: What is the temporal value of web snippets? PDF
AUTORES: Campos, R ; Dias, G; Jorge, AM ;
PUBLICAÇÃO: 2011, FONTE: 1st International Temporal Web Analytics Workshop 2011, TWAW 2011 - In Conjunction with the International World Wide Web Conference, WWW 2011 in CEUR Workshop Proceedings, VOLUME: 707, PÁGINAS: 9-16
INDEXADO EM: Scopus DBLP
6425
TÍTULO: WIKI::SCORE A collaborative environment for music transcription and publishing
AUTORES: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLICAÇÃO: 2011, FONTE: Information Services and Use, VOLUME: 31, NÚMERO: 3-4, PÁGINAS: 177-187
INDEXADO EM: Scopus CrossRef
6426
TÍTULO: Wireless Secrecy Regions With Friendly Jamming
AUTORES: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLICAÇÃO: 2011, FONTE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, NÚMERO: 2, PÁGINAS: 256-266
INDEXADO EM: Scopus WOS CrossRef: 138
6427
TÍTULO: Worldwide Consensus  Full Text
AUTORES: Francisco Maia ; Miguel Matos ; Jose Pereira ; Rui Oliveira ;
PUBLICAÇÃO: 2011, FONTE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PÁGINAS: 257-269
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
6428
TÍTULO: "Digital Projects": a reflection and bridges to the future
AUTORES: Regina Teixeira; Joao Varajao; Maximino Bessa ; Emanuel Peres ;
PUBLICAÇÃO: 2010, FONTE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PÁGINAS: 185-191
INDEXADO EM: Scopus WOS
6429
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
6430
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
6431
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
6432
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
6433
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
6434
6435
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
6436
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
6437
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
6438
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
6439
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
6440
TÍTULO: A Metamodel-Based Approach for Automatic User Interface Generation
AUTORES: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2010, FONTE: 13th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, VOLUME: 6394, NÚMERO: PART 1, PÁGINAS: 256-270
INDEXADO EM: Scopus WOS DBLP CrossRef: 12

Results per Page: 20.
Página 322 de 414. Total de resultados: 8280.