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

531 Team Members
Filters -> Year: 2024
7141
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
7142
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
7143
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
7144
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
7145
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
7146
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
7147
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
7148
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
7149
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
7150
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
7151
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
7152
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
7153
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
7154
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
7155
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
7156
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
7157
TÍTULO: A step up with the HARVARD system: the HARVARD-g system
AUTORES: Ramos, R; Camacho, R ;
PUBLICAÇÃO: 2007, FONTE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PÁGINAS: 405-408
INDEXADO EM: WOS Handle
7158
TÍTULO: A study of structural properties on profiles HMMs PDF
AUTORES: Juliana S. Bernardes; Alberto M. R. Dávila; Vítor Santos Costa ; Gerson Zaverucha;
PUBLICAÇÃO: 2007, FONTE: CoRR, VOLUME: abs/0704.2010
INDEXADO EM: DBLP arXiv
7159
TÍTULO: A tool for interactive subgroup discovery using distribution rules
AUTORES: Joel P Lucas; Alipio M Jorge ; Fernando Pereira; Ana M PernaS; Amauri A Machado;
PUBLICAÇÃO: 2007, FONTE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PÁGINAS: 426-436
INDEXADO EM: Scopus WOS DBLP CrossRef: 4
7160
TÍTULO: A Tool for the Development of Robot Control Strategies
AUTORES: Luiz C Figueiredo; Gilcésar Ávila; Francisco Reinaldo; Rui Camacho ; Demétrio R Magalhães; Luís P Reis ;
PUBLICAÇÃO: 2007
INDEXADO EM: Handle

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