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: 2706
43 Team MembersFilters -> Year: 2025
2461
TITLE: On the automatic construction of indistinguishable operations
AUTHORS: Barbosa, M ; Page, D;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 233-247
AUTHORS: Barbosa, M ; Page, D;
PUBLISHED: 2005, SOURCE: 10th IMA International Conference on Cryptography and Coding in CRYPTOGRAPHY AND CODING, PROCEEDINGS, VOLUME: 3796, PAGES: 233-247
2462
TITLE: On the Automatic Construction of Indistinguishable Operations
AUTHORS: Manuel Barbosa ; Dan Page;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 174
AUTHORS: Manuel Barbosa ; Dan Page;
PUBLISHED: 2005, SOURCE: IACR Cryptology ePrint Archive, VOLUME: 2005, PAGES: 174
INDEXED IN: 
DBLP
DBLP2463
TITLE: On the density of languages representing finite set partitions
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2005, SOURCE: Journal of Integer Sequences, VOLUME: 8, ISSUE: 2
AUTHORS: Moreira, N ; Reis, R ;
PUBLISHED: 2005, SOURCE: Journal of Integer Sequences, VOLUME: 8, ISSUE: 2
INDEXED IN: 
Scopus
Scopus2464
TITLE: On the representation of finite automata
AUTHORS: Reis, R ; Moreira, N ; Almeida, M;
PUBLISHED: 2005, SOURCE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings, PAGES: 269-276
AUTHORS: Reis, R ; Moreira, N ; Almeida, M;
PUBLISHED: 2005, SOURCE: 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 in 7th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2005 - Proceedings, PAGES: 269-276
INDEXED IN: Scopus DBLP
Scopus DBLP2465
TITLE: Probabilistic first-order theory revision from examples
AUTHORS: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PAGES: 295-311
AUTHORS: Paes, A; Revoredo, K; Zaverucha, G; Costa, VS ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming, ILP 2005 in Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science), VOLUME: 3625, PAGES: 295-311
2466
TITLE: Protein sequence classification through relevant sequence mining and Bayes Classifiers
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 236-247
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 12th Portuguese Conference on Artificial Intelligence in PROGRESS IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, VOLUME: 3808, PAGES: 236-247
2467
TITLE: Protein sequence pattern mining with constraints Full Text
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2005, VOLUME: 3721, PAGES: 96-107
AUTHORS: Ferreira, PG ; Azevedo, PJ ;
PUBLISHED: 2005, SOURCE: 16th European Conference on Machine Learning (ECML)/9th European Conference on Principles and Practice of Knowledge Discovery in Databases (PKDD) in KNOWLEDGE DISCOVERY IN DATABASES: PKDD 2005, VOLUME: 3721, PAGES: 96-107
2468
TITLE: Providing end-to-end QoS in 4G networks
AUTHORS: Prior, R ; Sargento, S ; Gozdecki, J; Aguiar, R ;
PUBLISHED: 2005, SOURCE: 3rd IASTED International Conference on Communications and Computer Networks in Proceedings of the Third IASTED International Conference on Communications and Computer Networks, PAGES: 188-195
AUTHORS: Prior, R ; Sargento, S ; Gozdecki, J; Aguiar, R ;
PUBLISHED: 2005, SOURCE: 3rd IASTED International Conference on Communications and Computer Networks in Proceedings of the Third IASTED International Conference on Communications and Computer Networks, PAGES: 188-195
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP2469
TITLE: QoS and session signaling in a 4G network
AUTHORS: Prior, R ; Sargento, S ;
PUBLISHED: 2005, SOURCE: 13th IEEE International Conference on Networks/7th IEEE Malaysia International Conference on Communications (ICON/MICC) in 2005 13th IEEE International Conference on Networks Jointly held with the 2005 7th IEEE Malaysia International Conference on Communications, Proceedings 1 and 2, VOLUME: 2, PAGES: 817-822
AUTHORS: Prior, R ; Sargento, S ;
PUBLISHED: 2005, SOURCE: 13th IEEE International Conference on Networks/7th IEEE Malaysia International Conference on Communications (ICON/MICC) in 2005 13th IEEE International Conference on Networks Jointly held with the 2005 7th IEEE Malaysia International Conference on Communications, Proceedings 1 and 2, VOLUME: 2, PAGES: 817-822
2470
TITLE: Recursion patterns and time-analysis
AUTHORS: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 40, ISSUE: 5, PAGES: 45-54
AUTHORS: Barbosa, A ; Cunha, A ; Pinto, JS ;
PUBLISHED: 2005, SOURCE: ACM SIGPLAN NOTICES, VOLUME: 40, ISSUE: 5, PAGES: 45-54
2471
TITLE: Regression Error Characteristic Surfaces
AUTHORS: Torgo, L ;
PUBLISHED: 2005, SOURCE: KDD-2005: 11th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining in Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, PAGES: 697-702
AUTHORS: Torgo, L ;
PUBLISHED: 2005, SOURCE: KDD-2005: 11th ACM SIGKDD International Conference on Knowledge Discovery and Data Mining in Proceedings of the ACM SIGKDD International Conference on Knowledge Discovery and Data Mining, PAGES: 697-702
2472
TITLE: ReGS: User-level reliability in a grid environment
AUTHORS: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLISHED: 2005, SOURCE: 2005 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2005 in 2005 IEEE International Symposium on Cluster Computing and the Grid, Vols 1 and 2, VOLUME: 2, PAGES: 718-725
AUTHORS: Sanches, JAL; Vargas, PFK; Dutra, ID ; Costa, VS ; Geyer, CFR;
PUBLISHED: 2005, SOURCE: 2005 IEEE International Symposium on Cluster Computing and the Grid, CCGrid 2005 in 2005 IEEE International Symposium on Cluster Computing and the Grid, Vols 1 and 2, VOLUME: 2, PAGES: 718-725
2473
TITLE: Secure Routing in Ad Hoc Networks
AUTHORS: Pedro Brandão ; Susana Sargento ; Sérgio Crisóstomo ; Rui Prior ;
PUBLISHED: 2005, SOURCE: Ad Hoc & Sensor Wireless Networks, VOLUME: 1, ISSUE: 4
AUTHORS: Pedro Brandão ; Susana Sargento ; Sérgio Crisóstomo ; Rui Prior ;
PUBLISHED: 2005, SOURCE: Ad Hoc & Sensor Wireless Networks, VOLUME: 1, ISSUE: 4
INDEXED IN: DBLP
DBLP2474
TITLE: Strategies to parallelize ILP systems
AUTHORS: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming (ILP 2005) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3625, PAGES: 136-153
AUTHORS: Fonseca, NA ; Silva, F ; Camacho, R ;
PUBLISHED: 2005, SOURCE: 15th International Conference on Inductive Logic Programming (ILP 2005) in INDUCTIVE LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3625, PAGES: 136-153
2475
TITLE: Tabu search for mixed integer programming
AUTHORS: Pedroso, JP ;
PUBLISHED: 2005, SOURCE: Operations Research/ Computer Science Interfaces Series, VOLUME: 30, PAGES: 247-261
AUTHORS: Pedroso, JP ;
PUBLISHED: 2005, SOURCE: Operations Research/ Computer Science Interfaces Series, VOLUME: 30, PAGES: 247-261
INDEXED IN: Scopus
Scopus2476
TITLE: The MYDDAS project: Using a deductive database for traffic characterization
AUTHORS: Ferreira, M ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PAGES: 424-426
AUTHORS: Ferreira, M ;
PUBLISHED: 2005, SOURCE: 21st International Conference on Logic Programming in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 3668, PAGES: 424-426
2477
TITLE: Time-Bounded Universal Distributions
AUTHORS: Fortnow, Lance ; Luis Antunes ;
PUBLISHED: 2005, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), ISSUE: 144
AUTHORS: Fortnow, Lance ; Luis Antunes ;
PUBLISHED: 2005, SOURCE: Electronic Colloquium on Computational Complexity (ECCC), ISSUE: 144
INDEXED IN: DBLP
DBLP2478
TITLE: Topic 9 - Parallel Programming: Models, Methods and Languages
AUTHORS: Marco Danelutto; Denis Caromel; Duane Szafron; Fernando M A Silva ;
PUBLISHED: 2005, SOURCE: Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings, VOLUME: 3648, PAGES: 685
AUTHORS: Marco Danelutto; Denis Caromel; Duane Szafron; Fernando M A Silva ;
PUBLISHED: 2005, SOURCE: Euro-Par 2005, Parallel Processing, 11th International Euro-Par Conference, Lisbon, Portugal, August 30 - September 2, 2005, Proceedings, VOLUME: 3648, PAGES: 685
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef2479
TITLE: Towards an architecture for Emotional BDI agents
AUTHORS: David Pereira ; Eugnio Oliveira ; Nelma Moreira ; Lus Sarmento;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 40-46
AUTHORS: David Pereira ; Eugnio Oliveira ; Nelma Moreira ; Lus Sarmento;
PUBLISHED: 2005, SOURCE: Portuguese Conference on Artificial Intelligence in 2005 Portuguese Conference on Artificial Intelligence, Proceedings, PAGES: 40-46
2480
TITLE: Trip time prediction in mass transit companies. A machine learning approach
AUTHORS: João M Moreira; Alípio Jorge ; Jorge F de Sousa; Carlos Soares;
PUBLISHED: 2005
AUTHORS: João M Moreira; Alípio Jorge ; Jorge F de Sousa; Carlos Soares;
PUBLISHED: 2005
INDEXED IN: 
Handle
Handle