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

531 Team Members
Filters -> Year: 2024
6281
TITLE: Verification conditions for source-level imperative programs  Full Text
AUTHORS: Frade, MJ ; Pinto, JS ;
PUBLISHED: 2011, SOURCE: Computer Science Review, VOLUME: 5, ISSUE: 3, PAGES: 252-277
INDEXED IN: Scopus DBLP CrossRef: 13
6282
TITLE: Virtual LEGO Modelling on Multi-Touch Surfaces
AUTHORS: Daniel Mendes ; Alfredo Ferreira ;
PUBLISHED: 2011, SOURCE: 19th International Conference in Central Europe on Computer Graphics, Visualization and Computer Vision in WSCG 2011: FULL PAPERS PROCEEDINGS, PAGES: 73-80
INDEXED IN: Scopus WOS
6283
TITLE: Virtual simulation of the postsurgical cosmetic outcome in patients with Pectus Excavatum
AUTHORS: Vilaca, JL ; Moreira, AHJ; L Rodrigues, P; Rodrigues, N ; Fonseca, JC ; Pinho, ACM ; Correia Pinto, J ;
PUBLISHED: 2011, SOURCE: Conference on Medical Imaging 2011 - Visualization, Image-Guided Procedures, and Modeling in MEDICAL IMAGING 2011: VISUALIZATION, IMAGE-GUIDED PROCEDURES, AND MODELING, VOLUME: 7964
INDEXED IN: Scopus WOS CrossRef
6284
TITLE: Visualizing online interactions in Moodle
AUTHORS: Silva, A; Figueira, A ;
PUBLISHED: 2011, SOURCE: IADIS International Conference e-Learning 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011 in Proceedings of the IADIS International Conference e-Learning 2011, Part of the IADIS Multi Conference on Computer Science and Information Systems 2011, MCCSIS 2011, VOLUME: 2, PAGES: 207-210
INDEXED IN: Scopus
6285
TITLE: Visualizing the Evolution of Social Networks  Full Text
AUTHORS: Marcia Oliveira ; Joao Gama ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 476-490
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6286
TITLE: VPP's Multi-Level Negotiation in Smart Grids and Competitive Electricity Markets
AUTHORS: Vale, Z ; Pinto, T ; Morais, H; Praca, I ; Faria, P;
PUBLISHED: 2011, SOURCE: General Meeting of the IEEE-Power-and-Energy-Society (PES) in 2011 IEEE POWER AND ENERGY SOCIETY GENERAL MEETING
INDEXED IN: Scopus WOS CrossRef Handle
6287
TITLE: Wait-Free Shared-Memory Irradiance Caching  Full Text
AUTHORS: Kurt Debattista; Piotr Dubla; Luis Paulo P Peixoto dos Santos ; Alan Chalmers;
PUBLISHED: 2011, SOURCE: IEEE COMPUTER GRAPHICS AND APPLICATIONS, VOLUME: 31, ISSUE: 5, PAGES: 66-78
INDEXED IN: Scopus WOS CrossRef: 3
6288
TITLE: WebRun
AUTHORS: Araujo, P; Dias, T; Castanheira, J; Prata, P ; Barroso, J ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXED IN: Scopus
6289
TITLE: What is the temporal value of web snippets? PDF
AUTHORS: Campos, R ; Dias, G; Jorge, AM ;
PUBLISHED: 2011, SOURCE: 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, PAGES: 9-16
INDEXED IN: Scopus DBLP
6290
TITLE: WIKI::SCORE A collaborative environment for music transcription and publishing
AUTHORS: Almeida, JJ ; Carvalho, NR; Oliveira, JN ;
PUBLISHED: 2011, SOURCE: Information Services and Use, VOLUME: 31, ISSUE: 3-4, PAGES: 177-187
INDEXED IN: Scopus CrossRef
6291
TITLE: Wireless Secrecy Regions With Friendly Jamming
AUTHORS: Joao P Vilela ; Matthieu Bloch; Joao Barros ; Steven W McLaughlin;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY, VOLUME: 6, ISSUE: 2, PAGES: 256-266
INDEXED IN: Scopus WOS CrossRef: 138
6292
TITLE: Worldwide Consensus  Full Text
AUTHORS: Francisco Maia ; Miguel Matos ; Jose Pereira ; Rui Oliveira ;
PUBLISHED: 2011, SOURCE: DisCoTech 2011: 6th International Federated Conferences on Distributed Computing Techniques in DISTRIBUTED APPLICATIONS AND INTEROPERABLE SYSTEMS, VOLUME: 6723, PAGES: 257-269
INDEXED IN: Scopus WOS DBLP CrossRef: 4
6293
TITLE: "Digital Projects": a reflection and bridges to the future
AUTHORS: Regina Teixeira; Joao Varajao; Maximino Bessa ; Emanuel Peres ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 185-191
INDEXED IN: Scopus WOS
6294
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
6295
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
6296
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
6297
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
6298
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
6299
TITLE: A contribution to the e-framework: a specification of a programming exercise evaluation service
AUTHORS: José P Leal ; Ricardo Queirós; Duarte Ferreira;
PUBLISHED: 2010
INDEXED IN: Handle
6300
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

Results per Page: 20.
Página 315 de 407. Total de resultados: 8136.