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

531 Team Members
Filters -> Year: 2024
6301
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
6302
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
6303
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
6304
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
6305
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
6306
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
6307
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
6308
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
6309
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
6310
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
6311
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
6312
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
6313
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
6314
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
6315
TITLE: Active Testing Strategy to Predict the Best Classification Algorithm via Sampling and Metalearning
AUTHORS: Rui Leite ; Pavel Brazdil ;
PUBLISHED: 2010, SOURCE: 19th European Conference on Artificial Intelligence (ECAI)/6th Conference on Prestigious Applications of Intelligent Systems (PAIS) in ECAI 2010 - 19TH EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, VOLUME: 215, PAGES: 309-314
INDEXED IN: Scopus WOS DBLP
6316
TITLE: Ada and the software vulnerabilities project
AUTHORS: Burns, A; Tokar, JL; Baird, S; Barnes, J; Chapman, R; Dismukes, G; Gonzalez Harbour, M; Michell, S; Moore, B; Pinho, LM ; Ploedereder, E; Real, J; Rosen, JP; Schonberg, E; Tucker Taft, S; Vardanega, T;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 3, PAGES: 191-215
INDEXED IN: Scopus
6317
TITLE: Ada and the software vulnerabilities project: The SPARK Annex
AUTHORS: Burns, A; Tokar, JL; Baird, S; Barnes, J; Chapman, R; Dismukes, G; Gonzalez Harbour, M; Michell, S; Moore, B; Pinho, LM ; Ploedereder, E; Real, J; Rosen, JP; Schonberg, E; Taft, ST; Vardanega, T;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 4, PAGES: 278-289
INDEXED IN: Scopus
6318
TITLE: Ada User Journal: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 2, PAGES: 79
INDEXED IN: Scopus
6319
TITLE: Ada User Journal: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 3, PAGES: 151
INDEXED IN: Scopus
6320
TITLE: Ada User Journal: Editorial
AUTHORS: Pinho, LM ;
PUBLISHED: 2010, SOURCE: Ada User Journal, VOLUME: 31, ISSUE: 4, PAGES: 223
INDEXED IN: Scopus

Results per Page: 20.
Página 316 de 407. Total de resultados: 8139.