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: 3694
86 Team MembersFilters -> Year: 2026
2801
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
2802
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
2803
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 WOS2804
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
Scopus2805
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-+
2806
TITLE: Operational Problems Recovery in Airlines - A Specialized Methodologies Approach Full Text
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
2807
TITLE: Partial Derivative Automata Formalized in Coq Full Text
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-+
2808
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
2809
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 CrossRef2810
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
2811
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
2812
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
2813
TITLE: Programming Safety Requirements in the REFLECT Design Flow
AUTHORS: Zlatko Petrov; Kamil Kratky; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 841-847
AUTHORS: Zlatko Petrov; Kamil Kratky; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2011, SOURCE: 9th IEEE International Conference on Industrial Informatics (INDIN) in 2011 9TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 841-847
2814
TITLE: Quadruped Robot Locomotion using a Global Optimization Stochastic Algorithm Full Text
AUTHORS: Miguel Oliveira; Cristina Santos ; Lino Costa ; Manuel Ferreira; Theodore E Simos; George Psihoyios; Ch Tsitouras; Zacharias Anastassi;
PUBLISHED: 2011, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS A-C, VOLUME: 1389, PAGES: 500-503
AUTHORS: Miguel Oliveira; Cristina Santos ; Lino Costa ; Manuel Ferreira; Theodore E Simos; George Psihoyios; Ch Tsitouras; Zacharias Anastassi;
PUBLISHED: 2011, SOURCE: International Conference on Numerical Analysis and Applied Mathematics (ICNAAM) in NUMERICAL ANALYSIS AND APPLIED MATHEMATICS ICNAAM 2011: INTERNATIONAL CONFERENCE ON NUMERICAL ANALYSIS AND APPLIED MATHEMATICS, VOLS A-C, VOLUME: 1389, PAGES: 500-503
2815
TITLE: Quality evolution track at QUATIC 2010 Full Text
AUTHORS: Michel Wermelinger; Hugo Sereno Ferreira ;
PUBLISHED: 2011, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 36, ISSUE: 1, PAGES: 28-29
AUTHORS: Michel Wermelinger; Hugo Sereno Ferreira ;
PUBLISHED: 2011, SOURCE: ACM SIGSOFT Software Engineering Notes, VOLUME: 36, ISSUE: 1, PAGES: 28-29
2816
TITLE: Real Time Colour Based Player Tracking in Indoor Sports
AUTHORS: Catarina B Santiago; Armando Sousa ; Luis Paulo Reis ; Maria Luisa Estriga;
PUBLISHED: 2011, SOURCE: 2nd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VIPimage 2009) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: RECENT TRENDS, VOLUME: 19, PAGES: 17-35
AUTHORS: Catarina B Santiago; Armando Sousa ; Luis Paulo Reis ; Maria Luisa Estriga;
PUBLISHED: 2011, SOURCE: 2nd ECCOMAS Thematic Conference on Computational Vision and Medical Image Processing (VIPimage 2009) in COMPUTATIONAL VISION AND MEDICAL IMAGE PROCESSING: RECENT TRENDS, VOLUME: 19, PAGES: 17-35
2817
2818
TITLE: Reconfigurable computing. from FPGAs to hardware/software codesign
AUTHORS: João M P Cardoso ; Michael Hübner;
PUBLISHED: 2011
AUTHORS: João M P Cardoso ; Michael Hübner;
PUBLISHED: 2011
INDEXED IN: 
Openlibrary
Openlibrary2819
TITLE: REFLECT: Rendering FPGAs to Multi-core Embedded Computing Full Text
AUTHORS: João M P Cardoso ; Pedro C Diniz; Zlatko Petrov; Koen Bertels; Michael Hübner; Hans van Someren; Fernando Gonçalves; José Gabriel F de Coutinho; George A Constantinides; Bryan Olivier; Wayne Luk; Juergen Becker; Georgi Kuzmanov; Florian Thoma; Lars Braun; Matthias Kühnle; Razvan Nane; Vlad Mihai Sima; Kamil Krátký; José Carlos Alves ; ...More
PUBLISHED: 2011, SOURCE: Reconfigurable Computing, PAGES: 261-289
AUTHORS: João M P Cardoso ; Pedro C Diniz; Zlatko Petrov; Koen Bertels; Michael Hübner; Hans van Someren; Fernando Gonçalves; José Gabriel F de Coutinho; George A Constantinides; Bryan Olivier; Wayne Luk; Juergen Becker; Georgi Kuzmanov; Florian Thoma; Lars Braun; Matthias Kühnle; Razvan Nane; Vlad Mihai Sima; Kamil Krátký; José Carlos Alves ; ...More
PUBLISHED: 2011, SOURCE: Reconfigurable Computing, PAGES: 261-289
2820
TITLE: Review and Classification of Human Gait Training and Rehabilitation Devices
AUTHORS: Martins, M; Frizera, A; Santos, CP ; Ceres, R;
PUBLISHED: 2011, SOURCE: 11th Bi-Annual AAATE Conference in EVERYDAY TECHNOLOGY FOR INDEPENDENCE AND CARE, VOLUME: 29, PAGES: 774-781
AUTHORS: Martins, M; Frizera, A; Santos, CP ; Ceres, R;
PUBLISHED: 2011, SOURCE: 11th Bi-Annual AAATE Conference in EVERYDAY TECHNOLOGY FOR INDEPENDENCE AND CARE, VOLUME: 29, PAGES: 774-781
