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: 2858

47 Team Members
Filters -> Year: 2026
2401
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
2402
TITLE: KAT and PHL in Coq  Full Text
AUTHORS: Pereira, D ; Moreira, N ;
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
2403
TITLE: Large-Scale Simulation of V2V Environments
AUTHORS: Conceiçao, H ; Damas, L ; Ferreira, M ; Barros, J ;
PUBLISHED: 2008, SOURCE: 23rd Annual ACM Symposium on Applied Computing in APPLIED COMPUTING 2008, VOLS 1-3, PAGES: 28-+
INDEXED IN: Scopus WOS DBLP CrossRef: 26
2404
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
2405
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-+
INDEXED IN: Scopus WOS DBLP CrossRef: 4 Handle
2406
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
2407
TITLE: On the Efficient Execution of ProbLog Programs
AUTHORS: Kimmig, A; Costa, VS ; Rocha, R ; Demoen, B; De Raedt, L;
PUBLISHED: 2008, SOURCE: 24th International Conference on Logic Programming (ICLP) in LOGIC PROGRAMMING, PROCEEDINGS, VOLUME: 5366, PAGES: 175-+
INDEXED IN: Scopus WOS DBLP CrossRef: 23
2408
TITLE: On the urban connectivity of vehicular sensor networks  Full Text
AUTHORS: Conceiçao, H ; Ferreira, M ; Barros, J ;
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
2409
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
2410
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
2411
TITLE: Reconfiguration of Reo Connectors Triggered by Dataflow
AUTHORS: Christian Koehler; David Costa; José Proença ; Farhad Arbab;
PUBLISHED: 2008, SOURCE: Electron. Commun. Eur. Assoc. Softw. Sci. Technol., VOLUME: 10
INDEXED IN: DBLP
2412
TITLE: Revising first-order logic theories from examples through stochastic local search  Full Text
AUTHORS: Paes, A; Zaverucha, G; 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: 200-+
INDEXED IN: Scopus WOS DBLP CrossRef: 5
2413
TITLE: RL-based Scheduling Strategies in Actual Grid Environments
AUTHORS: Costa, B; Dutra, I ; Mattoso, M;
PUBLISHED: 2008, SOURCE: IEEE International Symposium on Parallel and Distributed Processing with Applications in PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING WITH APPLICATIONS, PAGES: 572-+
INDEXED IN: Scopus WOS DBLP CrossRef: 3
2414
TITLE: RUSE-WARMR: Rule Selection for Classifier Induction in Multi-Relational Data-Sets
AUTHORS: Ferreira, CA ; Gama, J ; Costa, VS ;
PUBLISHED: 2008, SOURCE: 20th IEEE International Conference on Tools with Artificial Intelligence in 20TH IEEE INTERNATIONAL CONFERENCE ON TOOLS WITH ARTIFICIAL INTELLIGENCE, VOL 1, PROCEEDINGS, VOLUME: 1, PAGES: 379-+
INDEXED IN: Scopus WOS DBLP CrossRef: 5
2415
TITLE: Secure biometric authentication with improved accuracy  Full Text
AUTHORS: Barbosa, M ; Brouard, T; Cauchie, S; de Sousa, SM ;
PUBLISHED: 2008, SOURCE: 13th Australasian Conference on Information Security and Privacy in INFORMATION SECURITY AND PRIVACY, VOLUME: 5107, PAGES: 21-+
INDEXED IN: Scopus WOS DBLP CrossRef: 25 Handle
2416
TITLE: SECURING A HEALTH INFORMATION SYSTEM WITH A GOVERNMENT ISSUED DIGITAL IDENTIFICATION CARD
AUTHORS: Santos, R ; Correia, ME ; 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: 135-+
INDEXED IN: Scopus WOS CrossRef: 3
2417
TITLE: Security of electronic medical records
AUTHORS: Ferreira, A ; Cruz Correia, R ; Antunes, L ; Chadwick, D;
PUBLISHED: 2008, SOURCE: Handbook of Research on Distributed Medical Informatics and E-Health, PAGES: 30-46
INDEXED IN: Scopus CrossRef: 2
2418
TITLE: Sensor and actuator modeling of a realistic wheeled mobile robot simulator
AUTHORS: José Gonçalves; José Lima; Hélder P Oliveira ; Paulo G Costa;
PUBLISHED: 2008, SOURCE: Proceedings of 13th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2008, September 15-18, 2008, Hamburg, Germany, PAGES: 980-985
INDEXED IN: DBLP
2419
TITLE: Sensor and actuator modeling of a realistic wheeled mobile robot simulator
AUTHORS: Jose Goncalves ; Jose Lima ; Helder Oliveira ; Paulo Costa ;
PUBLISHED: 2008, SOURCE: 13th IEEE International Conference on Emerging Technologies and Factory Automation in 2008 IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION, PROCEEDINGS, PAGES: 980-985
INDEXED IN: Scopus WOS CrossRef: 11
2420
TITLE: Simulation-Based Optimization for Steel Stacking
AUTHORS: Rei, RJ; Kubo, M; Pedroso, JP ;
PUBLISHED: 2008, SOURCE: 2nd International Conference on Modelling, Computation and Optimization in Information Systems and Management Sciences in MODELLING, COMPUTATION AND OPTIMIZATION IN INFORMATION SYSTEMS AND MANAGEMENT SCIENCES, PROCEEDINGS, VOLUME: 14, PAGES: 254-+
INDEXED IN: Scopus WOS DBLP CrossRef: 10

Results per Page: 20.
Page 121 of 143. Total results: 2858.