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: 2851
46 Team MembersFilters -> Year: 2026
2461
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-+
2462
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-+
2463
TITLE: Low-depth witnesses are easy to find Full Text
AUTHORS: Luis Antunes ; Fortnow, Lance ; Alexandre Pinto ; Andre Souto ;
PUBLISHED: 2007, SOURCE: 22nd Annual IEEE Conference on Computational Complexity in Twenty-Second Annual IEEE Conference on Computational Complexity, Proceedings, PAGES: 46-51
AUTHORS: Luis Antunes ; Fortnow, Lance ; Alexandre Pinto ; Andre Souto ;
PUBLISHED: 2007, SOURCE: 22nd Annual IEEE Conference on Computational Complexity in Twenty-Second Annual IEEE Conference on Computational Complexity, Proceedings, PAGES: 46-51
2464
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
2465
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
Scopus2466
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-+
2467
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 DBLP2468
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
2469
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
WOS2470
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
2471
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-+
2472
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-+
2473
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-+
2474
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
Scopus2475
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
2476
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
2477
TITLE: Selected papers from SBLP 2007: The 11th Brazilian Symposium on Programming Languages J.UCS special issue
AUTHORS: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6, PAGES: 679-679
AUTHORS: Bigonha, RS; Musicante, MA; Pardo, A; Garcia, A; Martini, A; Moreira, AF; De Melo, ACV; Du Bois, AR; Santos, A; Camarao, C; Rubira, C; Braga, C; Naumann, D; Haeusler, EH; De Carvalho Junior, FH; Cafezeiro, I; Palsberg, J; Jeuring, J; Saraiva, J ; Guimaraes, J; ...More
PUBLISHED: 2007, SOURCE: JOURNAL OF UNIVERSAL COMPUTER SCIENCE, VOLUME: 13, ISSUE: 6, PAGES: 679-679
INDEXED IN: Scopus WOS
Scopus WOS2478
TITLE: Sequence disunification and its application in Collaborative Schema Construction
AUTHORS: Coelho, J ; Florido, M ; Kutsia, T;
PUBLISHED: 2007, SOURCE: 8th International Conference on Web Information Systems Engineering (WISE 2007) in WEB INFORMATION SYSTEMS ENGINEERING - WISE 2007 WORKSHOPS, VOLUME: 4832, PAGES: 91-+
AUTHORS: Coelho, J ; Florido, M ; Kutsia, T;
PUBLISHED: 2007, SOURCE: 8th International Conference on Web Information Systems Engineering (WISE 2007) in WEB INFORMATION SYSTEMS ENGINEERING - WISE 2007 WORKSHOPS, VOLUME: 4832, PAGES: 91-+
2479
TITLE: Sequence pattern mining in biochemical data
AUTHORS: Pedro Gabriel Ferreira ;
PUBLISHED: 2007
AUTHORS: Pedro Gabriel Ferreira ;
PUBLISHED: 2007
INDEXED IN: DBLP
DBLP2480
TITLE: Simple metaheuristics using the simplex algorithm for non-linear programming
AUTHORS: Joao Pedro Pedroso ;
PUBLISHED: 2007, SOURCE: International Workshop on Stochastic Local Search Algorithms in Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics, VOLUME: 4638, PAGES: 217-221
AUTHORS: Joao Pedro Pedroso ;
PUBLISHED: 2007, SOURCE: International Workshop on Stochastic Local Search Algorithms in Engineering Stochastic Local Search Algorithms: Designing, Implementing and Analyzing Effective Heuristics, VOLUME: 4638, PAGES: 217-221
