CS: Computer Science
CS: Computer Science
AuthID: I-000-B2B
Publications Actions
Publications at Authenticus Institutional Profile
An Authenticus institution (group) is an organization which consists of a set of researchers (institutional/group team). The set of researchers depends on the organizational structure of the institution per year and can be set at the institution profile, under ‘Researchers’ interface. Based on the institutional team we produce listings of publications, statistics and institutional reports.
Publications displayed at an Authenticus institutional profile depend on two parameters:
- Researchers team associated with the institution per year.
- Publications source type.
We define 3 types of publication sources:
- Validated by team members - includes all publications validated by team members. Requires the definition of the institutional team.
- All published by team members - includes all publications validated by the institution team members plus all not-validated (only identified) publications. Requires the definition of the institutional team.
- Affiliation Based - includes publications that have the institution/group in the publication affiliation. Does not require institutional team, but at the same time does not guarantee that all publications will be listed.
External
Internal
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!
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!
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!
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: 8480
531 Team MembersFilters -> Year: 2025
7421
TITLE: A data-driven approach for pipelining sequences of data-dependent loops
AUTHORS: Rui Rodrigues; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2007, SOURCE: 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in FCCM 2007: 15TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, PAGES: 219-228
AUTHORS: Rui Rodrigues; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2007, SOURCE: 15th Annual IEEE Symposium on Field-Programmable Custom Computing Machines in FCCM 2007: 15TH ANNUAL IEEE SYMPOSIUM ON FIELD-PROGRAMMABLE CUSTOM COMPUTING MACHINES, PROCEEDINGS, PAGES: 219-228
7422
TITLE: A feedback reputation mechanism to secure the optimized link state routing protocol
AUTHORS: Joao P Vilela ; Joao Barros ;
PUBLISHED: 2007, SOURCE: 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, PAGES: 294-303
AUTHORS: Joao P Vilela ; Joao Barros ;
PUBLISHED: 2007, SOURCE: 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, PAGES: 294-303
7423
TITLE: A Formal Model for Programming Wireless Sensor Networks PDF
AUTHORS: Luís M. B. Lopes ; Francisco Martins; Miguel S. Silva; João Barros;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/cs/0702042
AUTHORS: Luís M. B. Lopes ; Francisco Martins; Miguel S. Silva; João Barros;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/cs/0702042
INDEXED IN:
DBLP
arXiv
![](/img/dblp_icon.png)
![](/img/arxiv_icon.png)
7424
TITLE: A Higher-Order Calculus for Graph Transformation
AUTHORS: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, ISSUE: 1 SPEC. ISS., PAGES: 45-58
AUTHORS: Fernandez, M; Mackie, I; Pinto, JS ;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 72, ISSUE: 1 SPEC. ISS., PAGES: 45-58
7425
TITLE: A historic documentation repository for specialized and public access
AUTHORS: Cristina Ribeiro ; Gabriel David ; Catalin Calistru;
PUBLISHED: 2007, SOURCE: 11th European Conference on Digital Libraries (ECDL 2007) in Research and Advanced Technology for Digital Libraries, Proceedings, VOLUME: 4675, PAGES: 555-558
AUTHORS: Cristina Ribeiro ; Gabriel David ; Catalin Calistru;
PUBLISHED: 2007, SOURCE: 11th European Conference on Digital Libraries (ECDL 2007) in Research and Advanced Technology for Digital Libraries, Proceedings, VOLUME: 4675, PAGES: 555-558
7426
TITLE: A influência das orientações motivacionais nas atitudes desportivas em aulas de Educação Física Full Text
AUTHORS: Fernandes, HM ; José Vasconcelos-Raposo ; Miguel Moreira; Henrique Costa;
PUBLISHED: 2007, SOURCE: Motricidade, VOLUME: 3, ISSUE: 3
AUTHORS: Fernandes, HM ; José Vasconcelos-Raposo ; Miguel Moreira; Henrique Costa;
PUBLISHED: 2007, SOURCE: Motricidade, VOLUME: 3, ISSUE: 3
INDEXED IN:
CrossRef
![](/img/crossref.png)
7427
TITLE: A Local Graph-rewriting System for Deciding Equality in Sum-product Theories
AUTHORS: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, ISSUE: 1, PAGES: 139-163
AUTHORS: Almeida, JB ; Pinto, JS ; Vilaca, M;
PUBLISHED: 2007, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 176, ISSUE: 1, PAGES: 139-163
7428
TITLE: A Methodology of Simplification of Interfaces with the e-Consumer
AUTHORS: Henrique S Mamede ; Vitor Santos; Jose Alberto L Lopes Costa;
PUBLISHED: 2007, SOURCE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 41-50
AUTHORS: Henrique S Mamede ; Vitor Santos; Jose Alberto L Lopes Costa;
PUBLISHED: 2007, SOURCE: 2nd Conference of the Iberica de Sistemas e Tecnologias de Informacao in NOVAS PERSPECTIVAS EM SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 41-50
INDEXED IN:
Scopus
WOS
![](/img/scopus_icon.png)
![](/img/clarivate-icon.png)
7429
TITLE: A Metric for Paraphrase Detection
AUTHORS: Joao Cordeiro ; Gael Dias; Pavel Brazdil ;
PUBLISHED: 2007, SOURCE: 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07)
AUTHORS: Joao Cordeiro ; Gael Dias; Pavel Brazdil ;
PUBLISHED: 2007, SOURCE: 2007 International Multi-Conference on Computing in the Global Information Technology (ICCGI'07)
7430
TITLE: A new plant modelling approach for formal verification purposes
AUTHORS: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLISHED: 2007, SOURCE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, ISSUE: PART 1, PAGES: 167-172
AUTHORS: Machado, J ; Seabra, E ; Soares, F ; Campos, J ;
PUBLISHED: 2007, SOURCE: 11th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Complex Systems Theory and Applications, LSS 2007 in IFAC Proceedings Volumes (IFAC-PapersOnline), VOLUME: 11, ISSUE: PART 1, PAGES: 167-172
7431
TITLE: A polynomial placement algorithm for data driven coarse-grained reconfigurable architectures
AUTHORS: Ricardo Ferreira; Alisson Garcia; Tiago Teixeira; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: IEEE-Computer-Society Annual Symposium on VLSI in IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, PAGES: 61-66
AUTHORS: Ricardo Ferreira; Alisson Garcia; Tiago Teixeira; Joao M P Cardoso ;
PUBLISHED: 2007, SOURCE: IEEE-Computer-Society Annual Symposium on VLSI in IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI, PROCEEDINGS: EMERGING VLSI TECHNOLOGIES AND ARCHITECTURES, PAGES: 61-66
7432
TITLE: A process calculus approach to sensor network programming
AUTHORS: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings, PAGES: 451-456
AUTHORS: Lopes, L ; Martins, F ; Silva, MS; Barros, J ;
PUBLISHED: 2007, SOURCE: 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007 in 2007 International Conference on Sensor Technologies and Applications, SENSORCOMM 2007, Proceedings, PAGES: 451-456
7433
TITLE: A proposal to delegate GUI implementation using a source code based model
AUTHORS: Monteiro, M; Oliveira, P ; Goncalves, R ;
PUBLISHED: 2007, SOURCE: 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007 in 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007, PAGES: 29-32
AUTHORS: Monteiro, M; Oliveira, P ; Goncalves, R ;
PUBLISHED: 2007, SOURCE: 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007 in 19th International Conference on Software Engineering and Knowledge Engineering, SEKE 2007, PAGES: 29-32
INDEXED IN:
Scopus
DBLP
![](/img/scopus_icon.png)
![](/img/dblp_icon.png)
7434
TITLE: 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
AUTHORS: Vieira, J ; Cardoso, C. ; Pinto, J ; Patil, K; Brazdil, P ; Cruz, E; Mascarenhas, C; Lacerda, R; Gartner, A; Almeida, S; Alves, H; Porto, G ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF IMMUNOGENETICS, VOLUME: 34, ISSUE: 5, PAGES: 359-367
AUTHORS: Vieira, J ; Cardoso, C. ; Pinto, J ; Patil, K; Brazdil, P ; Cruz, E; Mascarenhas, C; Lacerda, R; Gartner, A; Almeida, S; Alves, H; Porto, G ;
PUBLISHED: 2007, SOURCE: INTERNATIONAL JOURNAL OF IMMUNOGENETICS, VOLUME: 34, ISSUE: 5, PAGES: 359-367
7435
TITLE: 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
AUTHORS: Sandro Ferreira; Fernandes, HM ; José Vasconcelos-Raposo ;
PUBLISHED: 2007, SOURCE: Motricidade, VOLUME: 3, ISSUE: 3
AUTHORS: Sandro Ferreira; Fernandes, HM ; José Vasconcelos-Raposo ;
PUBLISHED: 2007, SOURCE: Motricidade, VOLUME: 3, ISSUE: 3
INDEXED IN:
CrossRef
![](/img/crossref.png)
7436
TITLE: A short overview of some behavioural scenarios for derivative pricing in incomplete markets Full Text
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2007, SOURCE: Proc. Appl. Math. Mech. - PAMM, VOLUME: 7, ISSUE: 1, PAGES: 1060309-1060310
AUTHORS: Pinheiro, D; Pinto, AA ; Xanthopoulos, SZ; Yannacopoulos, AN;
PUBLISHED: 2007, SOURCE: Proc. Appl. Math. Mech. - PAMM, VOLUME: 7, ISSUE: 1, PAGES: 1060309-1060310
7437
TITLE: A Shortcut Fusion Rule for Circular Program Calculation
AUTHORS: Joao Paulo Fernandes ; Alberto Pardo; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP, PAGES: 95-106
AUTHORS: Joao Paulo Fernandes ; Alberto Pardo; Joao Saraiva ;
PUBLISHED: 2007, SOURCE: 11th ACM SIGPLAN Haskell Workshop in HASKELL'07: PROCEEDINGS OF THE ACM SIGPLAN 2007 HASKELL WORKSHOP, PAGES: 95-106
7438
TITLE: A shortest path approach for staff line detection
AUTHORS: Ana Rebelo ; Artur Capela ; Joaquim F Pinto da Costa ; Carlos Guedes ; Eurico Carrapatoso ; Jaime S Cardoso ;
PUBLISHED: 2007, SOURCE: 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, PAGES: 79-85
AUTHORS: Ana Rebelo ; Artur Capela ; Joaquim F Pinto da Costa ; Carlos Guedes ; Eurico Carrapatoso ; Jaime S Cardoso ;
PUBLISHED: 2007, SOURCE: 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, PAGES: 79-85
7439
TITLE: A step up with the HARVARD system: the HARVARD-g system
AUTHORS: Ramos, R; Camacho, R ;
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 405-408
AUTHORS: Ramos, R; Camacho, R ;
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 405-408
INDEXED IN:
WOS
Handle
![](/img/clarivate-icon.png)
![](/img/handle.png)
7440
TITLE: A study of structural properties on profiles HMMs PDF
AUTHORS: Juliana S. Bernardes; Alberto M. R. Dávila; Vítor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/0704.2010
AUTHORS: Juliana S. Bernardes; Alberto M. R. Dávila; Vítor Santos Costa ; Gerson Zaverucha;
PUBLISHED: 2007, SOURCE: CoRR, VOLUME: abs/0704.2010
INDEXED IN:
DBLP
arXiv
![](/img/dblp_icon.png)
![](/img/arxiv_icon.png)