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

531 Team Members
Filters -> Year: 2024
6501
TÍTULO: Privacy challenges and methods for virtual classrooms in Second Life Grid and OpenSimulator
AUTORES: Vilela, A; Cardoso, M; Martins, D; Santos, A ; Moreira, L; Paredes, H ; Martins, P ; Morgado, L ;
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: 167-174
INDEXADO EM: Scopus DBLP CrossRef: 8
6502
TÍTULO: Probabilistic inductive querying using problog
AUTORES: De Raedt, L; Kimmig, A; Gutmann, B; Kersting, K; Costa, VS ; Toivonen, H;
PUBLICAÇÃO: 2010, FONTE: Inductive Databases and Constraint-Based Data Mining, PÁGINAS: 229-262
INDEXADO EM: Scopus DBLP CrossRef: 3
6503
TÍTULO: Procedural Modeling of Urban Environments for Digital Games Development
AUTORES: Silva, PB; Coelho, A ;
PUBLICAÇÃO: 2010, FONTE: 7th International Conference on Advances in Computer Entertainment Technology (ACE) in PROCEEDINGS OF THE 7TH INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTER ENTERTAINMENT TECHNOLOGY (ACE 2010), PÁGINAS: 112-113
INDEXADO EM: Scopus WOS DBLP CrossRef: 2
6504
TÍTULO: PROCEDURAL MODELLING OF MONUMENTAL BUILDINGS FROM TEXTUAL DESCRIPTIONS
AUTORES: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLICAÇÃO: 2010, FONTE: 5th International Conference on Computer Graphics Theory and Applications (GRAPP 2010) in GRAPP 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER GRAPHICS THEORY AND APPLICATIONS, PÁGINAS: 130-133
INDEXADO EM: Scopus WOS DBLP
6505
TÍTULO: Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010: Message from the Organizing Chairs
AUTORES: Faria, JP ; Paiva, A ;
PUBLICAÇÃO: 2010, FONTE: 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010 in Proceedings - 7th International Conference on the Quality of Information and Communications Technology, QUATIC 2010
INDEXADO EM: Scopus CrossRef
6506
TÍTULO: Program Verification in SPARK and ACSL: A Comparative Case Study
AUTORES: Eduardo Brito ; Jorge Sousa Pinto ;
PUBLICAÇÃO: 2010, FONTE: 15th Ada-Europe International Conference on Reliable Software Technologies in RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, VOLUME: 6106, PÁGINAS: 97-110
INDEXADO EM: Scopus WOS DBLP CrossRef
6507
TÍTULO: Providing user context for mobile and social networking applications  Full Text
AUTORES: Andre C Santos; Joao M P Cardoso ; Diogo R Ferreira; Pedro C Diniz ; Paulo Chainho;
PUBLICAÇÃO: 2010, FONTE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 6, NÚMERO: 3, PÁGINAS: 324-341
INDEXADO EM: Scopus WOS DBLP CrossRef: 47
6508
TÍTULO: Publicar em revistas lusófonas: Uma meta para uma academia consolidada  Full Text
AUTORES: José Vasconcelos-Raposo ; Carla Maria Teixeira;
PUBLICAÇÃO: 2010, FONTE: Motricidade, VOLUME: 6, NÚMERO: 1
INDEXADO EM: CrossRef
6509
TÍTULO: QoS-aware Component Composition
AUTORES: Luis S Barbosa ; Sun Meng;
PUBLICAÇÃO: 2010, FONTE: 4th International Conference on Complex, Intelligent and Software Intensive Systems (CICIS) in PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPLEX, INTELLIGENT AND SOFTWARE INTENSIVE SYSTEMS (CISIS 2010), PÁGINAS: 1008-1013
INDEXADO EM: Scopus WOS DBLP CrossRef: 1
6511
TÍTULO: RAVE: Replicated antivirus engine
AUTORES: Silva, C; Sousa, P; Verissimo, P ;
PUBLICAÇÃO: 2010, FONTE: 2010 International Conference on Dependable Systems and Networks Workshops, DSN-W 2010 in Proceedings of the International Conference on Dependable Systems and Networks, PÁGINAS: 170-175
INDEXADO EM: Scopus DBLP CrossRef: 5
6512
TÍTULO: Realidade Aumentada e Ubiquidade na Educação PDF
AUTORES: Maria Manuela Cruz Cunha ; Reis, MGAD; Emanuel Peres ; João Varajão; Maximino Bessa ; Luís Magalhães ; Luís Barbosa ; João Barreira;
PUBLICAÇÃO: 2010, FONTE: IEEE-RITA, VOLUME: 5, NÚMERO: 4, PÁGINAS: 167-174
INDEXADO EM: Scopus DBLP
6513
TÍTULO: Recommending access to web resources based on user's profile and traceability
AUTORES: Bettencourt, N; Silva, N ;
PUBLICAÇÃO: 2010, FONTE: 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, 10th IEEE Int. Conf. Scalable Computing and Communications, ScalCom-2010 in Proceedings - 10th IEEE International Conference on Computer and Information Technology, CIT-2010, 7th IEEE International Conference on Embedded Software and Systems, ICESS-2010, ScalCom-2010, PÁGINAS: 1108-1113
INDEXADO EM: Scopus CrossRef
6514
TÍTULO: Reconstruction of High Frame Rate Image Sequences in Biomechanical Related Areas
AUTORES: Costa, M; Soares, Salviano Soares, Pinto Soares ; Barroso, J ;
PUBLICAÇÃO: 2010, FONTE: 32nd Annual International Conference of the IEEE Engineering-in-Medicine-and-Biology-Society (EMBC 10) in 2010 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PÁGINAS: 9-12
INDEXADO EM: Scopus WOS CrossRef
6515
TÍTULO: Relations among Notions of Complete Non-malleability: Indistinguishability Characterisation and Efficient Construction without Random Oracles  Full Text
AUTORES: Manuel Barbosa ; Pooya Farshim;
PUBLICAÇÃO: 2010, FONTE: 15th Australasian conference, ACISP 2010 in INFORMATION SECURITY AND PRIVACY, VOLUME: 6168, PÁGINAS: 145-163
INDEXADO EM: Scopus WOS DBLP CrossRef: 7
6516
TÍTULO: Resource Aware Distributed Knowledge Discovery
AUTORES: João Gama ; Antoine Cornuéjols;
PUBLICAÇÃO: 2010, FONTE: Ubiquitous Knowledge Discovery - Challenges, Techniques, Applications, VOLUME: 6202, PÁGINAS: 40-60
INDEXADO EM: Scopus DBLP CrossRef
6517
TÍTULO: Retroactive Subsumption-Based Tabled Evaluation of Logic Programs
AUTORES: Flavio Cruz ; Ricardo Rocha ;
PUBLICAÇÃO: 2010, FONTE: 12th European Conference on Logics in Artificial Intelligence (JELIA) in LOGICS IN ARTIFICIAL INTELLIGENCE, JELIA 2010, VOLUME: 6341, PÁGINAS: 130-142
INDEXADO EM: Scopus WOS DBLP CrossRef: 3
6518
TÍTULO: Reusable and Inter-Operable Web-Based Intelligent Tutoring Systems Using SCORM 2004
AUTORES: Gustavo Santos; Alvaro Figueira ;
PUBLICAÇÃO: 2010, FONTE: 9th European Conference on e-Learning in PROCEEDINGS OF THE 9TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 1, PÁGINAS: 521-527
INDEXADO EM: Scopus WOS
6519
TÍTULO: Reverse Engineering of GUI Models for Testing
AUTORES: Andre M P Grilo; Ana C R Paiva ; Joao Pascoal Faria ;
PUBLICAÇÃO: 2010, FONTE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PÁGINAS: 284-289
INDEXADO EM: Scopus WOS
6520
TÍTULO: Rules for contrast sets  Full Text
AUTORES: Paulo J Azevedo ;
PUBLICAÇÃO: 2010, FONTE: INTELLIGENT DATA ANALYSIS, VOLUME: 14, NÚMERO: 6, PÁGINAS: 623-640
INDEXADO EM: Scopus WOS DBLP CrossRef: 5

Results per Page: 20.
Página 326 de 408. Total de resultados: 8151.