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

531 Team Members
Filters -> Year: 2024
6261
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
6262
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
6263
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
6264
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
6265
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
6266
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
6267
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
6268
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
6269
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
6270
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
6271
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
6272
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
6273
TITLE: A Metamodel-Based Approach for Automatic User Interface Generation
AUTHORS: Antonio Miguel R Rosado da Cruz ; Joao Pascoal Faria ;
PUBLISHED: 2010, SOURCE: 13th International Conference on Model Driven Engineering Languages and Systems in MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PT I, VOLUME: 6394, ISSUE: PART 1, PAGES: 256-270
INDEXED IN: Scopus WOS DBLP CrossRef: 12
6274
TITLE: A Query Processing Strategy for Conceptual Queries Based on Object-Role Modeling
AUTHORS: António Rosado; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 4th International Conference on Network and System Security, NSS 2010 in Fourth International Conference on Network and System Security, NSS 2010, Melbourne, Victoria, Australia, September 1-3, 2010, PAGES: 398-403
INDEXED IN: Scopus DBLP CrossRef: 1
6275
TITLE: A Simple Dense Pixel Visualization for Mobile Sensor Data Mining
AUTHORS: Pedro Pereira Rodrigues ; Joao Gama ;
PUBLISHED: 2010, SOURCE: 2nd International Workshop on Knowledge Discovery from Sensor Data in KNOWLEDGE DISCOVERY FROM SENSOR DATA, VOLUME: 5840, PAGES: 175-189
INDEXED IN: Scopus WOS DBLP CrossRef: 3
6276
TITLE: A spatially stochastic epidemic model with partial immunization shows in mean field approximation the reinfection threshold
AUTHORS: Stollenwerk, N ; van Noort, S; Martins, J ; Aguiar, M ; Hilker, F; Pinto, A ; Gomes, G ;
PUBLISHED: 2010, SOURCE: Journal of Biological Dynamics, VOLUME: 4, ISSUE: 6, PAGES: 634-649
INDEXED IN: Scopus CrossRef: 25
6277
TITLE: A survey of Adult Education Campi in Second Life
AUTHORS: Jorge Pereira; Joel Pereira; Cristovao Costa; Daniel Silva; Joao Varajao; Leonel Morgado ;
PUBLISHED: 2010, SOURCE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PAGES: 471-478
INDEXED IN: Scopus WOS
6278
TITLE: A Traffic Differentiation Add-On to the IEEE 802.15.4 Protocol: implementation and experimental validation over a real-time operating system
AUTHORS: Ricardo Severino ; Manish Batsa; Mario Alves ; Anis Koubaa ;
PUBLISHED: 2010, SOURCE: 13th Euromicro Conference on Digital System Design on Architectures, Methods and Tools in 13TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN: ARCHITECTURES, METHODS AND TOOLS, PAGES: 501-508
INDEXED IN: Scopus WOS CrossRef
6279
TITLE: A Visualization Paradigm for 3D Map-Based Mobile Services
AUTHORS: Freitas, M; Sousa, AA ; Coelho, A ;
PUBLISHED: 2010, SOURCE: 4th International Conference on Computer Graphics Theory and Applications in COMPUTER VISION, IMAGING AND COMPUTER GRAPHICS: THEORY AND APPLICATIONS, VOLUME: 68, PAGES: 89-103
INDEXED IN: Scopus WOS DBLP CrossRef: 1
6280
TITLE: A Wireless Sensor Network platform for structural health monitoring: Enabling accurate and synchronized measurements through COTS+custom-based design
AUTHORS: Severino, R; Gomes, R; Alves, M ; Sousa, P; Tovar, E ; Ramos, LF ; Aguilar, R; Lourenco, PB ;
PUBLISHED: 2010, SOURCE: 5th IFAC Conference on Management and Control of Production and Logistics, MCLP'10 in IFAC Proceedings Volumes (IFAC-PapersOnline), PAGES: 375-382
INDEXED IN: Scopus CrossRef Handle

Results per Page: 20.
Página 314 de 406. Total de resultados: 8103.