Department of Computer Science (DCC)
Departamento de Ciências dos Computadores

University of Porto (UP) :: Faculty of Sciences (FCUP)

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 2706

43 Team Members
Filters -> Year: 2025
2261
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
INDEXED IN: Scopus WOS DBLP
2262
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
2263
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
INDEXED IN: Scopus WOS DBLP CrossRef: 176
2264
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
INDEXED IN: Scopus WOS DBLP CrossRef: 1 Handle
2265
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-+
INDEXED IN: Scopus WOS CrossRef: 4
2266
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
INDEXED IN: Scopus DBLP CrossRef: 15
2267
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
INDEXED IN: Scopus CrossRef: 1 Handle
2268
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
INDEXED IN: Scopus WOS Handle
2269
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
2270
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2271
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
INDEXED IN: Scopus WOS DBLP CrossRef: 26
2272
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
INDEXED IN: Scopus WOS CrossRef: 81
2273
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
INDEXED IN: Scopus WOS DBLP CrossRef: 3 Handle
2274
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
INDEXED IN: Scopus DBLP CrossRef
2275
TITLE: Network Coding with Shortcuts
AUTHORS: Sergio Crisostomo ; Joao Barros ; Christian Bettstetter;
PUBLISHED: 2008, SOURCE: 11th IEEE Singapore International Conference on Communication Systems in 2008 11TH IEEE SINGAPORE INTERNATIONAL CONFERENCE ON COMMUNICATION SYSTEMS (ICCS), VOLS 1-3, PAGES: 1165-1170
INDEXED IN: Scopus WOS CrossRef: 1
2276
TITLE: On the Efficient Execution of ProbLog Programs
AUTHORS: Angelika Kimmig; Vitor Santos Costa ; Ricardo Rocha ; Bart Demoen; Luc De Raedt;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 175-189
INDEXED IN: Scopus WOS DBLP CrossRef: 22
2277
TITLE: On the urban connectivity of vehicular sensor networks  Full Text
AUTHORS: Hugo Conceicao ; Michel Ferreira ; Joao Barros ;
PUBLISHED: 2008, SOURCE: 4th IEEE International Conference on Distributed Computing in Sensor Systems in DISTRIBUTED COMPUTING IN SENSOR SYSTEMS, VOLUME: 5067, PAGES: 112-125
INDEXED IN: Scopus WOS DBLP CrossRef: 19
2278
TITLE: Personal Autonomic Desktop Manager with a circulatory computing approach
AUTHORS: Alberto Arkader Kopiler; Ines de Castro Dutra ; Felipe M G Franca;
PUBLISHED: 2008, SOURCE: 5th IEEE International Workshop on Engineering of Autonomic and Autonomous Systems in PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL WORKSHOP ON ENGINEERING OF AUTONOMIC & AUTONOMOUS SYSTEMS (EASE 2008), PAGES: 119-127
INDEXED IN: Scopus WOS CrossRef: 1
2279
TITLE: Preface
AUTHORS: Brito, P ; Figueiredo, A ; Pires, A; Ferreira, AS; Marcelo, C; Figueiredo, F; Sousa, F ; Da Costa, JP; Pereira, J; Torgo, L ; Castro, LCE; Silva, ME ; Milheiro, P ; Teles, P; Campos, P; Silva, PD;
PUBLISHED: 2008, SOURCE: 18th Symposium on Computational Statistics, COMPSTAT 2008 in COMPSTAT 2008 - Proceedings in Computational Statistics, 18th Symposium
INDEXED IN: Scopus
2280
TITLE: Reconfiguration of Reo Connectors Triggered by Dataflow
AUTHORS: Christian Koehler; David Costa; José Proença ; Farhad Arbab;
PUBLISHED: 2008, SOURCE: ECEASST, VOLUME: 10
INDEXED IN: DBLP

Results per Page: 20.
Page 114 of 136. Total results: 2706.