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: 3642
85 Team MembersFilters -> Year: 2026
2741
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
2742
TITLE: Linearity and Recursion in a Typed Lambda-Calculus
AUTHORS: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
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: Alves, S ; Fernández, M; Florido, M ; Mackie, I;
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
2743
TITLE: Location and Automatic Calculation of trajectory in Furniture Objects Using RFID
AUTHORS: Jose Xavier; Pedro Henriques Abreu ; Luis Paulo Reis ; Marcelo R. 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 R. 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
WOS2744
TITLE: Location and automatic trajectory calculation of mobile objects using radio frequency identification
AUTHORS: Xavier, J; Abreu, PH; Reis, LP ; Marcelo R. Petry ;
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 ; Marcelo R. Petry ;
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
Scopus2745
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
Handle2746
TITLE: Mining Association Rules for Label Ranking
AUTHORS: de Sá, 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, VOLUME: 6635, ISSUE: PART 2, PAGES: 432-443
AUTHORS: de Sá, 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, VOLUME: 6635, ISSUE: PART 2, PAGES: 432-443
2747
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
WOS2748
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
Scopus2749
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
2750
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
2751
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 WOS2752
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
Scopus2753
TITLE: Novelty Detection Using Graphical Models for Semantic Room Classification
AUTHORS: Pinto, AS; Pronobis, A; Reis, LP ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE-BOOK, VOLUME: 7026, PAGES: 326-+
AUTHORS: Pinto, AS; Pronobis, A; Reis, LP ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE-BOOK, VOLUME: 7026, PAGES: 326-+
2754
TITLE: Operational Problems Recovery in Airlines - A Specialized Methodologies Approach
AUTHORS: Aguiar, B; Torres, J; 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; Torres, J; Castro, AJM ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 83-97
2755
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-+
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-+
2756
TITLE: Poker Vision: Playing Cards and Chips Identification Based on Image Processing
AUTHORS: Martins, P; Reis, LP ; Teófilo, L ;
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: Martins, P; Reis, LP ; Teófilo, L ;
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
2757
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 CrossRef2758
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
2759
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
2760
TITLE: Probabilistic error propagation modeling in logic circuits
AUTHORS: Gupta, S; Van Gemund, AJ; Abreu, R ;
PUBLISHED: 2011, SOURCE: 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 in Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, PAGES: 617-623
AUTHORS: Gupta, S; Van Gemund, AJ; Abreu, R ;
PUBLISHED: 2011, SOURCE: 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011 in Proceedings - 4th IEEE International Conference on Software Testing, Verification, and Validation Workshops, ICSTW 2011, PAGES: 617-623
