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: 2645
43 Team MembersFilters -> Year: 2025
2281
TITLE: On applying program transformation to implement suspension-based tabling in Prolog
AUTHORS: Ricardo Rocha ; Claudio Silva; Ricardo Lopes ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670, PAGES: 444-445
AUTHORS: Ricardo Rocha ; Claudio Silva; Ricardo Lopes ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670, PAGES: 444-445
2282
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 DBLP2283
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
2284
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
WOS2285
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
2286
TITLE: Quantitative evaluation of Clusterings for marketing applications: A web portal case study
AUTHORS: Carmen Rebelo; Pedro Quelhas Brito ; Carlos Soares ; Alipio Jorge ; Rui Brandao;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 437-448
AUTHORS: Carmen Rebelo; Pedro Quelhas Brito ; Carlos Soares ; Alipio Jorge ; Rui Brandao;
PUBLISHED: 2007, SOURCE: 13th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 4874, PAGES: 437-448
2287
TITLE: Randomness reuse: Extensions and improvements
AUTHORS: Manuel Barbosal ; Pooya Farshim;
PUBLISHED: 2007, SOURCE: 11th IMA Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 4887, PAGES: 257-276
AUTHORS: Manuel Barbosal ; Pooya Farshim;
PUBLISHED: 2007, SOURCE: 11th IMA Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 4887, PAGES: 257-276
2288
TITLE: Rapid development of web interfaces to heterogeneous systems
AUTHORS: Jose Paulo Leal ; Marcos Aurelio Domingues;
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-725
AUTHORS: Jose Paulo Leal ; Marcos Aurelio Domingues;
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-725
2289
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
Scopus2290
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
2291
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
2292
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 WOS2293
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-102
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-102
2294
TITLE: Sequence pattern mining in biochemical data
AUTHORS: Pedro Gabriel Ferreira ;
PUBLISHED: 2007
AUTHORS: Pedro Gabriel Ferreira ;
PUBLISHED: 2007
INDEXED IN: DBLP
DBLP2295
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
2296
TITLE: SIP and MIPv6: Cross-layer mobility Full Text
AUTHORS: Rui Prior ; Susana Sargento ;
PUBLISHED: 2007, SOURCE: 12th IEEE Symposium on Computers and Communications in 2007 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, PAGES: 552-559
AUTHORS: Rui Prior ; Susana Sargento ;
PUBLISHED: 2007, SOURCE: 12th IEEE Symposium on Computers and Communications in 2007 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, PAGES: 552-559
2297
TITLE: Spatial-yap: A logic-based geographic information system
AUTHORS: David Vaz; Michel Ferreira ; Ricardo Lopes ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670, PAGES: 195-208
AUTHORS: David Vaz; Michel Ferreira ; Ricardo Lopes ;
PUBLISHED: 2007, SOURCE: 23rd International Conference on Logic Programming (ICLP) in Logic Programming, Proceedings, VOLUME: 4670, PAGES: 195-208
2298
TITLE: Storage and retrieval on P2P networks: A DHT based protocol Full Text
AUTHORS: Sergio Bessa; Manuel E. Correia ; Pedro Brandao ;
PUBLISHED: 2007, SOURCE: 12th IEEE Symposium on Computers and Communications in 2007 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, PAGES: 829-835
AUTHORS: Sergio Bessa; Manuel E. Correia ; Pedro Brandao ;
PUBLISHED: 2007, SOURCE: 12th IEEE Symposium on Computers and Communications in 2007 IEEE SYMPOSIUM ON COMPUTERS AND COMMUNICATIONS, VOLS 1-3, PAGES: 829-835
2299
TITLE: SWORDFISH: an autonomous surface vehicle for network centric operations
AUTHORS: Ferreira, H ; Martins, R; Marques, E ; Pinto, J ; Martins, A ; Almeida, J ; Sousa, J ; Silva, EP ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3, PAGES: 1470-+
AUTHORS: Ferreira, H ; Martins, R; Marques, E ; Pinto, J ; Martins, A ; Almeida, J ; Sousa, J ; Silva, EP ;
PUBLISHED: 2007, SOURCE: Oceans 2007 Europe International Conference in OCEANS 2007 - EUROPE, VOLS 1-3, PAGES: 1470-+
2300
TITLE: Synchronization software for automation in anesthesia Full Text
AUTHORS: Bressan, N; Castro, A ; Bras, S; Oliveira, HP ; Ribeiro, L; Ferreira, DA ; Antunes, L ; Amorim, P; Nunes, CS ;
PUBLISHED: 2007, SOURCE: 29th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society in 2007 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-16, PAGES: 5298-5301
AUTHORS: Bressan, N; Castro, A ; Bras, S; Oliveira, HP ; Ribeiro, L; Ferreira, DA ; Antunes, L ; Amorim, P; Nunes, CS ;
PUBLISHED: 2007, SOURCE: 29th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society in 2007 ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY, VOLS 1-16, PAGES: 5298-5301
