Department of Computer Science (DCC)
Departamento de Ciências dos Computadores
AuthID: I-000-0JZ
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: 2855
47 Team MembersFilters -> Year: 2026
2461
TITLE: Inter-domain QoS routing with virtual trunks
AUTHORS: Prior, R ; Sargento, S ;
PUBLISHED: 2007, SOURCE: IEEE International Conference on Communications (ICC 2007) in 2007 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-14, PAGES: 139-146
AUTHORS: Prior, R ; Sargento, S ;
PUBLISHED: 2007, SOURCE: IEEE International Conference on Communications (ICC 2007) in 2007 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, VOLS 1-14, PAGES: 139-146
2462
TITLE: Inter-domain QoS routing: Optimal and practical study
AUTHORS: Prior, R ; Sargento, S ;
PUBLISHED: 2007, SOURCE: IEICE TRANSACTIONS ON COMMUNICATIONS, VOLUME: E90B, ISSUE: 3, PAGES: 549-558
AUTHORS: Prior, R ; Sargento, S ;
PUBLISHED: 2007, SOURCE: IEICE TRANSACTIONS ON COMMUNICATIONS, VOLUME: E90B, ISSUE: 3, PAGES: 549-558
2463
TITLE: Interaction visualization in web-based learning using igraphs
AUTHORS: Álvaro Reis Figueira ; Joanne Bras Laranjeiro;
PUBLISHED: 2007, SOURCE: Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia, HT'07 in HYPERTEXT 2007, Proceedings of the 18th ACM Conference on Hypertext and Hypermedia, September 10-12, 2007, Manchester, UK, PAGES: 45-46
AUTHORS: Álvaro Reis Figueira ; Joanne Bras Laranjeiro;
PUBLISHED: 2007, SOURCE: Hypertext 2007: 18th ACM Conference on Hypertext and Hypermedia, HT'07 in HYPERTEXT 2007, Proceedings of the 18th ACM Conference on Hypertext and Hypermedia, September 10-12, 2007, Manchester, UK, PAGES: 45-46
2464
TITLE: Iterative reordering of rules for building ensembles without relearning
AUTHORS: Azevedo, PJ ; Jorge, AM ;
PUBLISHED: 2007, SOURCE: 10th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4755, PAGES: 56-+
AUTHORS: Azevedo, PJ ; Jorge, AM ;
PUBLISHED: 2007, SOURCE: 10th International Conference on Discovery Science in DISCOVERY SCIENCE, PROCEEDINGS, VOLUME: 4755, PAGES: 56-+
2465
TITLE: Iterator types
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: 10th International Conference on Fundamental Approaches to Software Engineering in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, VOLUME: 4423, PAGES: 17-+
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: 10th International Conference on Fundamental Approaches to Software Engineering in FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATIONAL STRUCTURES, PROCEEDINGS, VOLUME: 4423, PAGES: 17-+
2466
TITLE: Linear recursive functions Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in REWRITING, COMPUTATION AND PROOF, VOLUME: 4600, PAGES: 182-+
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2007, SOURCE: Festschrift held in Honor of Jean-Pierre Jouannauds 60th Birthday on Rewriting, Computation and Proof in REWRITING, COMPUTATION AND PROOF, VOLUME: 4600, PAGES: 182-+
2467
TITLE: Low-depth witnesses are easy to find Full Text
AUTHORS: Antunes, L ; Fortnow, Lance ; Pinto, A ; Souto, A ;
PUBLISHED: 2007, SOURCE: 22nd Annual IEEE Conference on Computational Complexity in TWENTY-SECOND ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, PAGES: 46-+
AUTHORS: Antunes, L ; Fortnow, Lance ; Pinto, A ; Souto, A ;
PUBLISHED: 2007, SOURCE: 22nd Annual IEEE Conference on Computational Complexity in TWENTY-SECOND ANNUAL IEEE CONFERENCE ON COMPUTATIONAL COMPLEXITY, PROCEEDINGS, PAGES: 46-+
2468
TITLE: Minimality in a Linear Calculus with Iteration
AUTHORS: Sandra Alves ; Mário Florido ; Ian Mackie; François Régis Sinot;
PUBLISHED: 2007, SOURCE: WRS@RDP, VOLUME: 204, ISSUE: C, PAGES: 163-179
AUTHORS: Sandra Alves ; Mário Florido ; Ian Mackie; François Régis Sinot;
PUBLISHED: 2007, SOURCE: WRS@RDP, VOLUME: 204, ISSUE: C, PAGES: 163-179
2469
TITLE: Modelling access control for healthcare information systems - How to control access through policies, human processes and legislation
AUTHORS: Ferreira, A ; Chadwick, D; Antunes, L ;
PUBLISHED: 2007, SOURCE: 5th Doctoral Consortium on Enterprise Information Systems, DCEIS - In Conjunction with the 9th International Conference on Enterprise Information Systems, ICEIS 2007 in Proceedings of the 5th ICEIS Doctoral Consortium, DCEIS 2007 - In Conjunction with ICEIS 2007, PAGES: 3-12
AUTHORS: Ferreira, A ; Chadwick, D; Antunes, L ;
PUBLISHED: 2007, SOURCE: 5th Doctoral Consortium on Enterprise Information Systems, DCEIS - In Conjunction with the 9th International Conference on Enterprise Information Systems, ICEIS 2007 in Proceedings of the 5th ICEIS Doctoral Consortium, DCEIS 2007 - In Conjunction with ICEIS 2007, PAGES: 3-12
INDEXED IN: 
Scopus
Scopus2470
TITLE: On applying program transformation to implement suspension-based tabling in Prolog
AUTHORS: Rocha, R ; Silva, C; Lopes, R ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670, PAGES: 444-+
AUTHORS: Rocha, R ; Silva, C; Lopes, R ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 4670, PAGES: 444-+
2471
TITLE: On improving the efficiency and robustness of table storage mechanisms for tabled evaluation Full Text
AUTHORS: Ricardo Rocha ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354, PAGES: 155-169
AUTHORS: Ricardo Rocha ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in Practical Aspects of Declarative Languages, VOLUME: 4354, PAGES: 155-169
INDEXED IN: Scopus 
WOS 
DBLP
Scopus WOS DBLP2472
TITLE: On principal types of BCK-lambda-Terms
AUTHORS: Sabine Broda ; Luis Damas ;
PUBLISHED: 2007, SOURCE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576, PAGES: 120-130
AUTHORS: Sabine Broda ; Luis Damas ;
PUBLISHED: 2007, SOURCE: 14th International Workshop on Logic, Language, Information and Computation in Logic, Language, Information and Computation, Proceedings, VOLUME: 4576, PAGES: 120-130
2473
TITLE: Plugging Computer Labs to the Grid
AUTHORS: Pedro Ribeiro ; Pedro Pereira; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 393-396
AUTHORS: Pedro Ribeiro ; Pedro Pereira; Luis Lopes ; Fernando Silva ;
PUBLISHED: 2007, SOURCE: 1st Iberian Infrastructure Conference (IBERGRID) in IBERGRID: 1ST IBERIAN GRID INFRASTRUCTURE CONFERENCE PROCEEDINGS, PAGES: 393-396
INDEXED IN: WOS
WOS2474
TITLE: Prolog performance on larger datasets Full Text
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 4354, PAGES: 185-199
AUTHORS: Vitor Santos Costa ;
PUBLISHED: 2007, SOURCE: 9th International Symposium on Practical Aspects of Declarative Languages in PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, VOLUME: 4354, PAGES: 185-199
2475
TITLE: Quantitative evaluation of Clusterings for marketing applications: A web portal case study
AUTHORS: Rebelo, C; Brito, PQ ; Soares, C ; Jorge, A ; Brandao, R;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 437-+
AUTHORS: Rebelo, C; Brito, PQ ; Soares, C ; Jorge, A ; Brandao, R;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 437-+
2476
TITLE: Randomness reuse: Extensions and improvements
AUTHORS: Barbosal, M ; Farshim, P;
PUBLISHED: 2007, SOURCE: 11th IMA Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 4887, PAGES: 257-+
AUTHORS: Barbosal, M ; Farshim, P;
PUBLISHED: 2007, SOURCE: 11th IMA Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 4887, PAGES: 257-+
2477
TITLE: Rapid development of web interfaces to heterogeneous systems
AUTHORS: Leal, JP ; Domingues, MA;
PUBLISHED: 2007, SOURCE: 33rd Conference on Current Trends in Theory and Practice of Computer Science in SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 4362, PAGES: 716-+
AUTHORS: Leal, JP ; Domingues, MA;
PUBLISHED: 2007, SOURCE: 33rd Conference on Current Trends in Theory and Practice of Computer Science in SOFSEM 2007: THEORY AND PRACTICE OF COMPUTER SCIENCE, PROCEEDINGS, VOLUME: 4362, PAGES: 716-+
2478
TITLE: Replica - A proposal for a federated academic repository
AUTHORS: Kaufmann, M; Figueira, ÁR ;
PUBLISHED: 2007, SOURCE: 2007 IADIS International Conference e-Learning, EL 2007 - Part of the 1st IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007 in Proceedings of the IADIS International Conference e-Learning, EL 2007 - Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007, VOLUME: 2, PAGES: 121-125
AUTHORS: Kaufmann, M; Figueira, ÁR ;
PUBLISHED: 2007, SOURCE: 2007 IADIS International Conference e-Learning, EL 2007 - Part of the 1st IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007 in Proceedings of the IADIS International Conference e-Learning, EL 2007 - Part of the IADIS Multi Conference on Computer Science and Information Systems, MCCSIS 2007, VOLUME: 2, PAGES: 121-125
INDEXED IN: Scopus
Scopus2479
TITLE: Resource-bounded fraud detection
AUTHORS: Luis Torgo ;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 449-460
AUTHORS: Luis Torgo ;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 449-460
2480
TITLE: Scalable reservation-based QoS architecture (SRBQ)
AUTHORS: Prior, R ; Sargento, S ;
PUBLISHED: 2007, SOURCE: Encyclopedia of Internet Technologies and Applications, PAGES: 473-482
AUTHORS: Prior, R ; Sargento, S ;
PUBLISHED: 2007, SOURCE: Encyclopedia of Internet Technologies and Applications, PAGES: 473-482
