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

531 Team Members
Filters -> Year: 2024
7141
TÍTULO: A case study with high education student about e-Gov in Portugal [Um estudo caso com alunos do ensino superior sobre o governo electrónico em Portugal]
AUTORES: Marques, CG; Da Silva, VG; Campos, R ;
PUBLICAÇÃO: 2007, FONTE: 2007 Euro American Conference on Telematics and Information Systems, EATIS 2007 in Euro American Conference on Telematics and Information Systems - Proceedings of the 2007 Euro American Conference on Telematics and Information Systems, EATIS 2007, PÁGINAS: 10
INDEXADO EM: Scopus DBLP CrossRef
7142
TÍTULO: A closer look on protein unfolding Simulations through hierarchical clustering
AUTORES: Pedro Gabriel Ferreira ; Candida G Silva ; Rui M M Brito ; Paulo J Azevedo ;
PUBLICAÇÃO: 2007, FONTE: IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology in 2007 IEEE Symposium on Computational Intelligence in Bioinformatics and Computational Biology, PÁGINAS: 461-468
INDEXADO EM: Scopus WOS DBLP
7143
TÍTULO: A data-driven approach for pipelining sequences of data-dependent loops
AUTORES: Rui Rodrigues; Joao M P Cardoso ; Pedro C Diniz ;
PUBLICAÇÃO: 2007, FONTE: 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in FCCM 2007: 15TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, PÁGINAS: 219-228
INDEXADO EM: Scopus WOS DBLP CrossRef: 17
7144
TÍTULO: A feedback reputation mechanism to secure the optimized link state routing protocol
AUTORES: Joao P Vilela ; Joao Barros ;
PUBLICAÇÃO: 2007, FONTE: 3rd International Conference o Security and Privacy in Communication Networks and Workshops in 2007 THIRD INTERNATIONAL CONFERENCE ON SECURITY AND PRIVACY IN COMMUNICATION NETWORKS AND WORKSHOPS, PÁGINAS: 294-303
INDEXADO EM: Scopus WOS CrossRef: 9
7145
TÍTULO: A Formal Model for Programming Wireless Sensor Networks PDF
AUTORES: Luís M. B. Lopes ; Francisco Martins; Miguel S. Silva; João Barros;
PUBLICAÇÃO: 2007, FONTE: CoRR, VOLUME: abs/cs/0702042
INDEXADO EM: DBLP arXiv
7146
TÍTULO: A Higher-Order Calculus for Graph Transformation
AUTORES: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, NÚMERO: 1 SPEC. ISS., PÁGINAS: 45-58
INDEXADO EM: Scopus DBLP CrossRef: 3
7147
TÍTULO: A historic documentation repository for specialized and public access
AUTORES: Cristina Ribeiro ; Gabriel David ; Catalin Calistru;
PUBLICAÇÃO: 2007, FONTE: 11th European Conference on Digital Libraries (ECDL 2007) in Research and Advanced Technology for Digital Libraries, Proceedings, VOLUME: 4675, PÁGINAS: 555-558
INDEXADO EM: Scopus WOS DBLP CrossRef
7148
TÍTULO: A influência das orientações motivacionais nas atitudes desportivas em aulas de Educação Física  Full Text
AUTORES: Fernandes, HM ; José Vasconcelos-Raposo ; Miguel Moreira; Henrique Costa;
PUBLICAÇÃO: 2007, FONTE: Motricidade, VOLUME: 3, NÚMERO: 3
INDEXADO EM: CrossRef
7149
TÍTULO: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTORES: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLICAÇÃO: 2007, FONTE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, NÚMERO: 1, PÁGINAS: 139-163
INDEXADO EM: Scopus DBLP CrossRef: 1
7150
TÍTULO: A Methodology of Simplification of Interfaces with the e-Consumer
AUTORES: Henrique S Mamede ; Vitor Santos; Jose Alberto L Lopes Costa;
PUBLICAÇÃO: 2007, FONTE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PÁGINAS: 41-50
INDEXADO EM: Scopus WOS
7151
TÍTULO: A Metric for Paraphrase Detection
AUTORES: Joao Cordeiro ; Gael Dias; Pavel Brazdil ;
PUBLICAÇÃO: 2007, FONTE: 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07)
INDEXADO EM: CrossRef: 13
7152
TÍTULO: A new plant modelling approach for formal verification purposes
AUTORES: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLICAÇÃO: 2007, FONTE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, NÚMERO: PART 1, PÁGINAS: 167-172
INDEXADO EM: Scopus CrossRef Handle
7153
TÍTULO: A polynomial placement algorithm for data driven coarse-grained reconfigurable architectures
AUTORES: Ricardo Ferreira; Alisson Garcia; Tiago Teixeira; Joao M P Cardoso ;
PUBLICAÇÃO: 2007, FONTE: IEEE-Computer-Society Annual Symposium on VLSI in IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, PÁGINAS: 61-66
INDEXADO EM: Scopus WOS DBLP CrossRef: 10
7154
TÍTULO: A process calculus approach to sensor network programming
AUTORES: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLICAÇÃO: 2007, FONTE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings, PÁGINAS: 451-456
INDEXADO EM: Scopus CrossRef: 1
7155
TÍTULO: A proposal to delegate GUI implementation using a source code based model
AUTORES: Monteiro, M; Oliveira, P ; Goncalves, R ;
PUBLICAÇÃO: 2007, FONTE: 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007 in 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007, PÁGINAS: 29-32
INDEXADO EM: Scopus DBLP
7156
TÍTULO: A putative gene located at the MHC class I region around the D6S105 marker contributes to the setting of CD8+T-lymphocyte numbers in humans  Full Text
AUTORES: Vieira, J ; Cardoso, C. ; Pinto, J ; Patil, K; Brazdil, P ; Cruz, E; Mascarenhas, C; Lacerda, R; Gartner, A; Almeida, S; Alves, H; Porto, G ;
PUBLICAÇÃO: 2007, FONTE: INTERNATIONAL JOURNAL OF IMMUNOGENETICS, VOLUME: 34, NÚMERO: 5, PÁGINAS: 359-367
INDEXADO EM: Scopus WOS CrossRef: 7
7157
TÍTULO: A relação entre a percepção de competência física, índice de massa corporal e competência efectiva em jovens praticantes de basquetebol  Full Text
AUTORES: Sandro Ferreira; Helder Miguel Fernandes; José Vasconcelos-Raposo ;
PUBLICAÇÃO: 2007, FONTE: Motricidade, VOLUME: 3, NÚMERO: 3
INDEXADO EM: CrossRef
7158
TÍTULO: A short overview of some behavioural scenarios for derivative pricing in incomplete markets  Full Text
AUTORES: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLICAÇÃO: 2007, FONTE: Proc. Appl. Math. Mech. - PAMM, VOLUME: 7, NÚMERO: 1, PÁGINAS: 1060309-1060310
INDEXADO EM: CrossRef: 1
7159
TÍTULO: A Shortcut Fusion Rule for Circular Program Calculation
AUTORES: Joao Paulo Fernandes ; Alberto Pardo; Joao Saraiva ;
PUBLICAÇÃO: 2007, FONTE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP, PÁGINAS: 95-106
INDEXADO EM: Scopus WOS DBLP CrossRef: 11
7160
TÍTULO: A shortest path approach for staff line detection
AUTORES: Ana Rebelo ; Artur Capela ; Joaquim F Pinto da Costa ; Carlos Guedes ; Eurico Carrapatoso ; Jaime S Cardoso ;
PUBLICAÇÃO: 2007, FONTE: 3rd International Conference on Automated Production of Cross Media Content for Multi-Channel Distribution in AXMEDIS 2007: THIRD INTERNATIONAL CONFERENCE ON AUTOMATED PRODUCTION OF CROSS MEDIA CONTENT FOR MULTI-CHANNEL DISTRIBUTION, PROCEEDINGS, PÁGINAS: 79-85
INDEXADO EM: Scopus WOS CrossRef: 4

Results per Page: 20.
Página 358 de 410. Total de resultados: 8185.