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: 2674
43 Team MembersFilters -> Year: 2025
2221
TITLE: Early introduction of competitive programming
AUTHORS: Ribeiro, P ; Guerreiro, P;
PUBLISHED: 2008, SOURCE: International Conference Joint with the 20th International Olympiad in Informatics, IOI 2008 in Olympiads in Informatics, VOLUME: 2, PAGES: 149-162
AUTHORS: Ribeiro, P ; Guerreiro, P;
PUBLISHED: 2008, SOURCE: International Conference Joint with the 20th International Olympiad in Informatics, IOI 2008 in Olympiads in Informatics, VOLUME: 2, PAGES: 149-162
INDEXED IN: 
Scopus
Scopus2222
TITLE: Energy analysis of routing protocols for underwater wireless sensor networks Full Text
AUTHORS: Mari Carmen Domingo; Rui Prior ;
PUBLISHED: 2008, SOURCE: COMPUTER COMMUNICATIONS, VOLUME: 31, ISSUE: 6, PAGES: 1227-1238
AUTHORS: Mari Carmen Domingo; Rui Prior ;
PUBLISHED: 2008, SOURCE: COMPUTER COMMUNICATIONS, VOLUME: 31, ISSUE: 6, PAGES: 1227-1238
2223
TITLE: Estimation of carrier and sampling frequency offset for ultra wide band multiband OFDM systems
AUTHORS: Laurenti, N; Renna, F ;
PUBLISHED: 2008, SOURCE: 2008 IEEE International Conference on Ultra-Wideband, ICUWB 2008 in Proceeedings of The 2008 IEEE International Conference on Ultra-Wideband, ICUWB 2008, VOLUME: 2, PAGES: 49-54
AUTHORS: Laurenti, N; Renna, F ;
PUBLISHED: 2008, SOURCE: 2008 IEEE International Conference on Ultra-Wideband, ICUWB 2008 in Proceeedings of The 2008 IEEE International Conference on Ultra-Wideband, ICUWB 2008, VOLUME: 2, PAGES: 49-54
2224
TITLE: Exact generation of acyclic deterministic finite automata
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2008, SOURCE: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008 in Descriptional Complexity of Formal Systems - 10th International Workshop, DCFS 2008, PAGES: 48-60
AUTHORS: Almeida, M; Moreira, N ; Reis, R ;
PUBLISHED: 2008, SOURCE: 10th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2008 in Descriptional Complexity of Formal Systems - 10th International Workshop, DCFS 2008, PAGES: 48-60
INDEXED IN: Scopus 
DBLP
Scopus DBLP2225
TITLE: Exact generation of minimal acyclic deterministic finite automata Full Text
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2008, SOURCE: 9th International Workshop on Descriptional Complexity of Formal Systems in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 19, ISSUE: 4, PAGES: 751-765
AUTHORS: Marco Almeida; Nelma Moreira ; Rogerio Reis ;
PUBLISHED: 2008, SOURCE: 9th International Workshop on Descriptional Complexity of Formal Systems in INTERNATIONAL JOURNAL OF FOUNDATIONS OF COMPUTER SCIENCE, VOLUME: 19, ISSUE: 4, PAGES: 751-765
2226
TITLE: Flooding the network: Multipoint relays versus network coding
AUTHORS: Crisostomo, S ; Barros, J ; Bettstetter, C;
PUBLISHED: 2008, SOURCE: 2008 4th IEEE International Conference on Circuits and Systems for Communications, ICCSC in 2008 4th IEEE International Conference on Circuits and Systems for Communications, ICCSC, PAGES: 119-124
AUTHORS: Crisostomo, S ; Barros, J ; Bettstetter, C;
PUBLISHED: 2008, SOURCE: 2008 4th IEEE International Conference on Circuits and Systems for Communications, ICCSC in 2008 4th IEEE International Conference on Circuits and Systems for Communications, ICCSC, PAGES: 119-124
2227
TITLE: Formal Modelling of Emotions in BDI Agents Full Text
AUTHORS: David Pereira ; Eugenio Oliveira ; Nelma Moreira ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056, PAGES: 62-81
AUTHORS: David Pereira ; Eugenio Oliveira ; Nelma Moreira ;
PUBLISHED: 2008, SOURCE: 8th International Workshop on Computational Logic in Multi-Agent Systems in COMPUTATIONAL LOGIC IN MULTI-AGENT SYSTEMS, VOLUME: 5056, PAGES: 62-81
INDEXED IN: Scopus 
WOS DBLP
Scopus WOS DBLP2228
TITLE: Global Storing Mechanisms for Tabled Evaluation
AUTHORS: Jorge Costa; Ricardo Rocha ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 708-712
AUTHORS: Jorge Costa; Ricardo Rocha ;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 708-712
2229
TITLE: Hierarchical clustering of time-series data streams Full Text
AUTHORS: Rodrigues, PP ; Gama, J ; Pedroso, JP ;
PUBLISHED: 2008, SOURCE: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOLUME: 20, ISSUE: 5, PAGES: 615-627
AUTHORS: Rodrigues, PP ; Gama, J ; Pedroso, JP ;
PUBLISHED: 2008, SOURCE: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING, VOLUME: 20, ISSUE: 5, PAGES: 615-627
2230
TITLE: ILP - Just Trie it Full Text
AUTHORS: Camacho, R ; Fonseca, NA ; Rocha, R ; Costa, VS ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 78-87
AUTHORS: Camacho, R ; Fonseca, NA ; Rocha, R ; Costa, VS ;
PUBLISHED: 2008, SOURCE: Joint Conference of the 17th International Conference on Inductive Logic Programming/24th International Conference on Machine Learning in INDUCTIVE LOGIC PROGRAMMING, VOLUME: 4894, PAGES: 78-87
2231
TITLE: IMPROVING THE IMPLEMENTATION OF ACCESS CONTROL IN EMR
AUTHORS: Ferreira, A ; Cruz Correia, R ; Chadwick, D; Antunes, L ;
PUBLISHED: 2008, SOURCE: 42nd Annual IEEE International Carnahan Conference on Security Technology in 42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, PAGES: 47-+
AUTHORS: Ferreira, A ; Cruz Correia, R ; Chadwick, D; Antunes, L ;
PUBLISHED: 2008, SOURCE: 42nd Annual IEEE International Carnahan Conference on Security Technology in 42ND ANNUAL 2008 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY, PROCEEDINGS, PAGES: 47-+
2232
TITLE: Incremental collaborative filtering for binary ratings
AUTHORS: Miranda, C; Jorge, AM ;
PUBLISHED: 2008, SOURCE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008, PAGES: 389-392
AUTHORS: Miranda, C; Jorge, AM ;
PUBLISHED: 2008, SOURCE: 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008 in Proceedings - 2008 IEEE/WIC/ACM International Conference on Web Intelligence, WI 2008, PAGES: 389-392
2233
TITLE: Induction as a search procedure
AUTHORS: Konstantopoulos, S; Camacho, R ; Fonseca, NA ; Costa, VS ;
PUBLISHED: 2008, SOURCE: Artificial Intelligence for Advanced Problem Solving Techniques, PAGES: 166-216
AUTHORS: Konstantopoulos, S; Camacho, R ; Fonseca, NA ; Costa, VS ;
PUBLISHED: 2008, SOURCE: Artificial Intelligence for Advanced Problem Solving Techniques, PAGES: 166-216
2234
TITLE: Integration of e-Learning Systems With Repositories of Learning Objects
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2008, SOURCE: 7th European Conference on e-Learning in 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2, VOLUME: 2, PAGES: 91-98
AUTHORS: Leal, JP ; Queiros, R ;
PUBLISHED: 2008, SOURCE: 7th European Conference on e-Learning in 7TH EUROPEAN CONFERENCE ON E-LEARNING, VOL 2, VOLUME: 2, PAGES: 91-98
INDEXED IN: Scopus WOS 
Handle
Scopus WOS Handle2235
TITLE: k-RNN: k-Relational Nearest Neighbour Algorithm. k-relational nearest neighbour algorithm
AUTHORS: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PAGES: 944-948
AUTHORS: Fonseca, NA ; Costa, VS ; Rocha, R ; Camacho, R ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PAGES: 944-948
2236
TITLE: KAT and PHL in Coq Full Text
AUTHORS: David Pereira ; Nelma Moreira ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2, PAGES: 137-160
AUTHORS: David Pereira ; Nelma Moreira ;
PUBLISHED: 2008, SOURCE: Conference on Compilers, Related Technologies and Applications in COMPUTER SCIENCE AND INFORMATION SYSTEMS, VOLUME: 5, ISSUE: 2, PAGES: 137-160
2237
TITLE: Large-Scale Simulation of V2V Environments
AUTHORS: Hugo Conceicao ; Luis Damas ; Michel Ferreira ; Joao Barros ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PAGES: 28-33
AUTHORS: Hugo Conceicao ; Luis Damas ; Michel Ferreira ; Joao Barros ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PAGES: 28-33
2238
TITLE: Lightweight security for network coding
AUTHORS: Joao P Vilela ; Luisa Lima ; Joao Barros ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Communications (ICC 2008) in 2008 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, PROCEEDINGS, VOLS 1-13, PAGES: 1750-1754
AUTHORS: Joao P Vilela ; Luisa Lima ; Joao Barros ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Communications (ICC 2008) in 2008 IEEE INTERNATIONAL CONFERENCE ON COMMUNICATIONS, PROCEEDINGS, VOLS 1-13, PAGES: 1750-1754
2239
TITLE: LogCHEM: Interactive Discriminative Mining of Chemical Structure
AUTHORS: Costa, VS ; Fonseca, NA ; Camacho, R ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine in 2008 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, PROCEEDINGS, PAGES: 421-426
AUTHORS: Costa, VS ; Fonseca, NA ; Camacho, R ;
PUBLISHED: 2008, SOURCE: IEEE International Conference on Bioinformatics and Biomedicine in 2008 IEEE INTERNATIONAL CONFERENCE ON BIOINFORMATICS AND BIOMEDICINE, PROCEEDINGS, PAGES: 421-426
2240
TITLE: Minimality in a Linear Calculus with Iteration
AUTHORS: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, ISSUE: C, PAGES: 163-179
AUTHORS: Alves, S ; Florido, M ; Mackie, I; Sinot, FR;
PUBLISHED: 2008, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 204, ISSUE: C, PAGES: 163-179
