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: 3688
85 Team MembersFilters -> Year: 2026
2781
TITLE: Knowledge Discovery and Multimodal Inputs for Driving an Intelligent Wheelchair
AUTHORS: Brígida Mónica Faria ; Luís Paulo Reis ; Nuno Lau ;
PUBLISHED: 2011, SOURCE: IJKDB, VOLUME: 2, ISSUE: 4, PAGES: 18-34
AUTHORS: Brígida Mónica Faria ; Luís Paulo Reis ; Nuno Lau ;
PUBLISHED: 2011, SOURCE: IJKDB, VOLUME: 2, ISSUE: 4, PAGES: 18-34
2782
TITLE: LEVERAGING IDENTITY MANAGEMENT INTEROPERABILITY IN EHEALTH
AUTHORS: Campos, MJ; Correia, ME ; Antunes, L ;
PUBLISHED: 2011, SOURCE: IEEE International Carnahan Conference on Security Technology (ICCST) in 2011 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), PAGES: 1-8
AUTHORS: Campos, MJ; Correia, ME ; Antunes, L ;
PUBLISHED: 2011, SOURCE: IEEE International Carnahan Conference on Security Technology (ICCST) in 2011 IEEE INTERNATIONAL CARNAHAN CONFERENCE ON SECURITY TECHNOLOGY (ICCST), PAGES: 1-8
2783
TITLE: Linearity and Recursion in a Typed Lambda-Calculus
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2011, SOURCE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, PAGES: 173-182
AUTHORS: Sandra Alves ; Maribel Fernandez; Mario Florido ; Ian Mackie;
PUBLISHED: 2011, SOURCE: 13th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming in PPDP 11 - PROCEEDINGS OF THE 2011 SYMPOSIUM ON PRINCIPLES AND PRACTICES OF DECLARATIVE PROGRAMMING, PAGES: 173-182
2784
TITLE: Location and Automatic Calculation of trajectory in Furniture Objects Using RFID
AUTHORS: Jose Xavier; Pedro Henriques Abreu ; Luis Paulo Reis ; Marcelo Petry ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 584-589
AUTHORS: Jose Xavier; Pedro Henriques Abreu ; Luis Paulo Reis ; Marcelo Petry ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 584-589
INDEXED IN: 
WOS
WOS2785
TITLE: Location and automatic trajectory calculation of mobile objects using radio frequency identification
AUTHORS: Xavier, J; Abreu, PH; Reis, LP ; Petry, M ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
AUTHORS: Xavier, J; Abreu, PH; Reis, LP ; Petry, M ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXED IN: 
Scopus
Scopus2786
TITLE: Logical Analysis of Inconsistent Data (LAID) for a Paremiologic Study
AUTHORS: Luís Cavique; Armando B Mendes ; Matthias Funk;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Inteligence - EPIA 2011
AUTHORS: Luís Cavique; Armando B Mendes ; Matthias Funk;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Inteligence - EPIA 2011
INDEXED IN: 
Handle
Handle2787
TITLE: Mining Association Rules for Label Ranking
AUTHORS: de Sa, CR ; Soares, C ; Jorge, AM ; Azevedo, P ; Costa, J ;
PUBLISHED: 2011, SOURCE: 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PT II: 15TH PACIFIC-ASIA CONFERENCE, PAKDD 2011, VOLUME: 6635, ISSUE: PART 2, PAGES: 432-443
AUTHORS: de Sa, CR ; Soares, C ; Jorge, AM ; Azevedo, P ; Costa, J ;
PUBLISHED: 2011, SOURCE: 15th Pacific-Asia Conference on Knowledge Discovery and Data Mining (PAKDD) in ADVANCES IN KNOWLEDGE DISCOVERY AND DATA MINING, PT II: 15TH PACIFIC-ASIA CONFERENCE, PAKDD 2011, VOLUME: 6635, ISSUE: PART 2, PAGES: 432-443
2788
TITLE: Model for Evaluation of Quality Web Sites Directory
AUTHORS: Alvaro Rocha ; Jose Avelino Victor; Patricia Leite Brandao; Paulo Teixeira; Joaquim Goncalves ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 470-475
AUTHORS: Alvaro Rocha ; Jose Avelino Victor; Patricia Leite Brandao; Paulo Teixeira; Joaquim Goncalves ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 470-475
INDEXED IN: WOS
WOS2789
TITLE: Multi-agent systems in education
AUTHORS: Vicente, D; Vasconcelos, J; Restivo, F ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
AUTHORS: Vicente, D; Vasconcelos, J; Restivo, F ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXED IN: Scopus
Scopus2790
TITLE: Multi-objective Parameter CPG Optimization for Gait Generation of a Quadruped Robot Considering Behavioral Diversity
AUTHORS: Oliveira, M; Santos, CP ; Costa, L ; Matos, I; Ferreira, M;
PUBLISHED: 2011, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems in 2011 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, PAGES: 2286-2291
AUTHORS: Oliveira, M; Santos, CP ; Costa, L ; Matos, I; Ferreira, M;
PUBLISHED: 2011, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems in 2011 IEEE/RSJ INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS, PAGES: 2286-2291
2791
TITLE: Multi-robot coordination using Setplays in the middle-size and simulation leagues Full Text
AUTHORS: Luis Mota ; Luis Paulo Reis ; Nuno Lau ;
PUBLISHED: 2011, SOURCE: MECHATRONICS, VOLUME: 21, ISSUE: 2, PAGES: 434-444
AUTHORS: Luis Mota ; Luis Paulo Reis ; Nuno Lau ;
PUBLISHED: 2011, SOURCE: MECHATRONICS, VOLUME: 21, ISSUE: 2, PAGES: 434-444
2792
TITLE: Multiobjective Optimization of a Quadruped Robot Locomotion Using a Genetic Algorithm
AUTHORS: Miguel Oliveira; Lino Costa ; Ana Rocha ; Cristina Santos ; Manuel Ferreira;
PUBLISHED: 2011, SOURCE: 15th Online World Conference on Soft Computing in Industrial Applications in SOFT COMPUTING IN INDUSTRIAL APPLICATIONS, VOLUME: 96, PAGES: 427-436
AUTHORS: Miguel Oliveira; Lino Costa ; Ana Rocha ; Cristina Santos ; Manuel Ferreira;
PUBLISHED: 2011, SOURCE: 15th Online World Conference on Soft Computing in Industrial Applications in SOFT COMPUTING IN INDUSTRIAL APPLICATIONS, VOLUME: 96, PAGES: 427-436
INDEXED IN: Scopus WOS
Scopus WOS2793
TITLE: Natural user interfaces in serious games for rehabilitation
AUTHORS: Rego, PA ; Moreira, PM ; Reis, LP ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
AUTHORS: Rego, PA ; Moreira, PM ; Reis, LP ;
PUBLISHED: 2011, SOURCE: 6th Iberian Conference on Information Systems and Technologies, CISTI 2011 in Proceedings of the 6th Iberian Conference on Information Systems and Technologies, CISTI 2011
INDEXED IN: Scopus
Scopus2794
TITLE: Novelty Detection Using Graphical Models for Semantic Room Classification Full Text
AUTHORS: Andre Susano Pinto; Andrzej Pronobis; Luis Paulo Reis ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 326-339
AUTHORS: Andre Susano Pinto; Andrzej Pronobis; Luis Paulo Reis ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 326-339
2795
TITLE: Operational Problems Recovery in Airlines - A Specialized Methodologies Approach Full Text
AUTHORS: Aguiar, B; Jose M Torres; Castro, AJM ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 83-97
AUTHORS: Aguiar, B; Jose M Torres; Castro, AJM ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 83-97
2796
TITLE: Partial Derivative Automata Formalized in Coq
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PAGES: 59-68
AUTHORS: Almeida, JB ; Moreira, N ; Pereira, D ; de Sousa, SM ;
PUBLISHED: 2011, SOURCE: 15th International Conference on Implementation and Application of Automata in IMPLEMENTATION AND APPLICATION OF AUTOMATA, VOLUME: 6482, PAGES: 59-68
2797
TITLE: Poker Vision: Playing Cards and Chips Identification Based on Image Processing
AUTHORS: Paulo Martins; Luis Paulo Reis ; Luis Teofilo ;
PUBLISHED: 2011, SOURCE: 5th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011, VOLUME: 6669, PAGES: 436-443
AUTHORS: Paulo Martins; Luis Paulo Reis ; Luis Teofilo ;
PUBLISHED: 2011, SOURCE: 5th Iberian Conference on Pattern Recognition and Image Analysis (IbPRIA) in PATTERN RECOGNITION AND IMAGE ANALYSIS: 5TH IBERIAN CONFERENCE, IBPRIA 2011, VOLUME: 6669, PAGES: 436-443
2798
TITLE: Preface of the "Symposium on Dynamical systems: A Framework for Robot Locomotion" Full Text
AUTHORS: Carla M A Pinto ; Cristina P Santos ; Theodore E Simos; George Psihoyios; Ch Tsitouras; Zacharias Anastassi;
PUBLISHED: 2011, SOURCE: International Conference on Numerical Analysis and Applied Mathematics: Numerical Analysis and Applied Mathematics, ICNAAM 2011 in AIP Conference Proceedings, VOLUME: 1389, PAGES: 494
AUTHORS: Carla M A Pinto ; Cristina P Santos ; Theodore E Simos; George Psihoyios; Ch Tsitouras; Zacharias Anastassi;
PUBLISHED: 2011, SOURCE: International Conference on Numerical Analysis and Applied Mathematics: Numerical Analysis and Applied Mathematics, ICNAAM 2011 in AIP Conference Proceedings, VOLUME: 1389, PAGES: 494
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef2799
TITLE: Prioritizing tests for fault localization through ambiguity group reduction
AUTHORS: Gonzalez Sanchez, A; Abreu, R ; Gross, HG; Van Gemund, AJC;
PUBLISHED: 2011, SOURCE: 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011 in 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings, PAGES: 83-92
AUTHORS: Gonzalez Sanchez, A; Abreu, R ; Gross, HG; Van Gemund, AJC;
PUBLISHED: 2011, SOURCE: 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011 in 2011 26th IEEE/ACM International Conference on Automated Software Engineering, ASE 2011, Proceedings, PAGES: 83-92
2800
TITLE: Prioritizing tests for software fault diagnosis Full Text
AUTHORS: Alberto Gonzalez Sanchez; Eric Piel; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 41, ISSUE: 10, PAGES: 1105-1129
AUTHORS: Alberto Gonzalez Sanchez; Eric Piel; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: SOFTWARE-PRACTICE & EXPERIENCE, VOLUME: 41, ISSUE: 10, PAGES: 1105-1129
