Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores
AuthID: I-000-18J
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: 3696
86 Team MembersFilters -> Year: 2026
2901
TITLE: Flexible and Dynamic Replication Control for Interdependent Distributed Real-Time Embedded Systems
AUTHORS: Nogueira, L ; Pinho, LM ; Coelho, J ;
PUBLISHED: 2010, SOURCE: 21st IFIP World Computer Congress (WCC) in DISTRIBUTED, PARALLEL AND BIOLOGICALLY INSPIRED SYSTEMS, VOLUME: 329, PAGES: 66-77
AUTHORS: Nogueira, L ; Pinho, LM ; Coelho, J ;
PUBLISHED: 2010, SOURCE: 21st IFIP World Computer Congress (WCC) in DISTRIBUTED, PARALLEL AND BIOLOGICALLY INSPIRED SYSTEMS, VOLUME: 329, PAGES: 66-77
2902
TITLE: Football scientia - An automated tool for professional soccer coaches
AUTHORS: Abreu, P ; Moura, J; Silva, DC ; Reis, LP ; Garganta, J ;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Cybernetics and Intelligent Systems, CIS 2010 in 2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010, PAGES: 126-131
AUTHORS: Abreu, P ; Moura, J; Silva, DC ; Reis, LP ; Garganta, J ;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Cybernetics and Intelligent Systems, CIS 2010 in 2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010, PAGES: 126-131
2903
TITLE: FROM LEGISLATION TO PRACTICE <i>A Case Study of Break the Glass in Healthcare</i>
AUTHORS: Farinha, P ; Cruz Correia, R ; Antunes, L ; Almeida, F; Ferreira, A ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Health Informatics (HEALTHINF 2010) in HEALTHINF 2010: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 114-+
AUTHORS: Farinha, P ; Cruz Correia, R ; Antunes, L ; Almeida, F; Ferreira, A ;
PUBLISHED: 2010, SOURCE: 3rd International Conference on Health Informatics (HEALTHINF 2010) in HEALTHINF 2010: PROCEEDINGS OF THE THIRD INTERNATIONAL CONFERENCE ON HEALTH INFORMATICS, PAGES: 114-+
INDEXED IN:
Scopus
WOS
DBLP
2904
TITLE: Frontiers in Artificial Intelligence and Applications: Preface
AUTHORS: Soares, C ; Ghani, R;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 218
AUTHORS: Soares, C ; Ghani, R;
PUBLISHED: 2010, SOURCE: Frontiers in Artificial Intelligence and Applications, VOLUME: 218
INDEXED IN:
Scopus
2905
TITLE: FUZZY Q-LEARNING APPROACH TO SIMULATE INTELLIGENT TRAFFIC CONTROL
AUTHORS: Juan C Pacheco; Rosaldo J F Rossetti ; Cesar H Rodriguez;
PUBLISHED: 2010, SOURCE: 8th International Industrial Simulation Conference in 8TH INTERNATIONAL INDUSTRIAL SIMULATION CONFERENCE 2010, ISC 2010, PAGES: 257-261
AUTHORS: Juan C Pacheco; Rosaldo J F Rossetti ; Cesar H Rodriguez;
PUBLISHED: 2010, SOURCE: 8th International Industrial Simulation Conference in 8TH INTERNATIONAL INDUSTRIAL SIMULATION CONFERENCE 2010, ISC 2010, PAGES: 257-261
INDEXED IN:
Scopus
WOS
2906
TITLE: Generating trajectories with temporal constraints for an autonomous robot
AUTHORS: Silva, JB; Matos, V; Santos, C ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Workshop on Safety, Security, and Rescue Robotics, SSRR-2010 in 8th IEEE International Workshop on Safety, Security, and Rescue Robotics, SSRR-2010
AUTHORS: Silva, JB; Matos, V; Santos, C ;
PUBLISHED: 2010, SOURCE: 8th IEEE International Workshop on Safety, Security, and Rescue Robotics, SSRR-2010 in 8th IEEE International Workshop on Safety, Security, and Rescue Robotics, SSRR-2010
INDEXED IN:
Scopus
CrossRef
CrossRef2907
TITLE: Godel's system T revisited Full Text
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
2908
TITLE: Grounding information security in healthcare Full Text
AUTHORS: Ferreira, A ; Antunes, L ; Chadwick, D; Correia, R ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 79, ISSUE: 4, PAGES: 268-283
AUTHORS: Ferreira, A ; Antunes, L ; Chadwick, D; Correia, R ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 79, ISSUE: 4, PAGES: 268-283
2909
TITLE: Hexapod Locomotion: a Nonlinear Dynamical Systems Approach Full Text
AUTHORS: Ricardo Campos; Vitor Matos; Cristina Santos ;
PUBLISHED: 2010, SOURCE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 1546-1551
AUTHORS: Ricardo Campos; Vitor Matos; Cristina Santos ;
PUBLISHED: 2010, SOURCE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 1546-1551
2910
TITLE: Human vs. Robotic Soccer: How Far Are They? A Statistical Comparison Full Text
AUTHORS: Pedro H Abreu ; Israel Costa; Daniel Castelão; Luís Paulo Reis ; Júlio Garganta ;
PUBLISHED: 2010, SOURCE: RoboCup, VOLUME: 6556 LNAI, PAGES: 242-253
AUTHORS: Pedro H Abreu ; Israel Costa; Daniel Castelão; Luís Paulo Reis ; Júlio Garganta ;
PUBLISHED: 2010, SOURCE: RoboCup, VOLUME: 6556 LNAI, PAGES: 242-253
2911
TITLE: Hybrid methodology of user-centered development
AUTHORS: Antonio Pedro Costa; Maria Joao Loureiro; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 192-197
AUTHORS: Antonio Pedro Costa; Maria Joao Loureiro; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 192-197
INDEXED IN:
WOS
2912
TITLE: Hybrid User Centered Development Methodology: The practical case of Courseware Sere
AUTHORS: Costa, AP ; Loureiro, MJ ; Reis, LP ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies, CISTI 2010 in Proceedings of the 5th Iberian Conference on Information Systems and Technologies, CISTI 2010
AUTHORS: Costa, AP ; Loureiro, MJ ; Reis, LP ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies, CISTI 2010 in Proceedings of the 5th Iberian Conference on Information Systems and Technologies, CISTI 2010
INDEXED IN:
Scopus
2913
TITLE: i-om: Intelligent Optimization for Computer Graphics and Visualization
AUTHORS: Pedro Miguel Moreira ; Luis Paulo Reis ; Antonio Augusto de Sousa ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 484-489
AUTHORS: Pedro Miguel Moreira ; Luis Paulo Reis ; Antonio Augusto de Sousa ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 484-489
INDEXED IN:
Scopus
WOS
2914
TITLE: IBT: A Real-time Tempo and Beat Tracking System
AUTHORS: João Lobato Oliveira ; Fabien Gouyon ; Luis Gustavo Martins ; Luís Paulo Reis ;
PUBLISHED: 2010, SOURCE: ISMIR, PAGES: 291-296
AUTHORS: João Lobato Oliveira ; Fabien Gouyon ; Luis Gustavo Martins ; Luís Paulo Reis ;
PUBLISHED: 2010, SOURCE: ISMIR, PAGES: 291-296
INDEXED IN:
Scopus
DBLP
Handle
Handle2915
TITLE: Increasing system availability with local recovery based on fault localization Full Text
AUTHORS: Sozer, H; Abreu, R ; Aksit, M; Van Gemund, AJC;
PUBLISHED: 2010, SOURCE: 10th International Conference on Quality Software, QSIC 2010 in Proceedings - International Conference on Quality Software, PAGES: 276-281
AUTHORS: Sozer, H; Abreu, R ; Aksit, M; Van Gemund, AJC;
PUBLISHED: 2010, SOURCE: 10th International Conference on Quality Software, QSIC 2010 in Proceedings - International Conference on Quality Software, PAGES: 276-281
2916
TITLE: Inductive Transfer
AUTHORS: Ricardo Vilalta; Christophe G Giraud Carrier; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 545-548
AUTHORS: Ricardo Vilalta; Christophe G Giraud Carrier; Pavel Brazdil ; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 545-548
2917
TITLE: Information measures for infinite sequences Full Text
AUTHORS: Luis Antunes ; Andre Souto ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 26-28, PAGES: 2602-2611
AUTHORS: Luis Antunes ; Andre Souto ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 26-28, PAGES: 2602-2611
2918
TITLE: Injecting Service-Orientation into Multi-Agent Systems in Industrial Automation
AUTHORS: Mendes, JM; Restivo, F ; Leitao, P ; Colombo, AW;
PUBLISHED: 2010, SOURCE: 10th International Conference on Artificial Intelligence and Soft Computing (ICAISC 2010) in ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, VOLUME: 6114, ISSUE: PART 2, PAGES: 313-320
AUTHORS: Mendes, JM; Restivo, F ; Leitao, P ; Colombo, AW;
PUBLISHED: 2010, SOURCE: 10th International Conference on Artificial Intelligence and Soft Computing (ICAISC 2010) in ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, VOLUME: 6114, ISSUE: PART 2, PAGES: 313-320
2919
TITLE: Inspection of Bottles Crates in the Beer Industry through Computer Vision Full Text
AUTHORS: Mario Campos; Manuel Ferreira; Teresa Martins; Cristina Santos ;
PUBLISHED: 2010, SOURCE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 1138-1143
AUTHORS: Mario Campos; Manuel Ferreira; Teresa Martins; Cristina Santos ;
PUBLISHED: 2010, SOURCE: 36th Annual Conference of the IEEE Industrial-Electronics-Society/4th IEEE International Conference on E-Learning in Industrial Electronics/IES Industry Forum in IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, PAGES: 1138-1143
2920
TITLE: Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
AUTHORS: Soares, C ; Calejo, M ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1, PAGES: 276-+
AUTHORS: Soares, C ; Calejo, M ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, VOLUME: 6415, ISSUE: PART 1, PAGES: 276-+