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: 2670
83 Team MembersFilters -> Year: 2024
1881
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
1882
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
Scopus1883
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
1884
TITLE: Operational Problems Recovery in Airlines - A Specialized Methodologies Approach Full Text
AUTHORS: Bruno Aguiar; Jose Torres; Antonio J M Castro ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 83-97
AUTHORS: Bruno Aguiar; Jose Torres; Antonio J M Castro ;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE, VOLUME: 7026, PAGES: 83-97
1885
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
1886
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
1887
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
1888
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
1889
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
1890
TITLE: Quality of Health Web Sites: Dimensions for a Wide Evaluation
AUTHORS: Alvaro Rocha ; Avelino Victor; Patricia Leite Brandao;
PUBLISHED: 2011, SOURCE: 10th International Conference on Perspectives in Business Informatics Research in PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, VOLUME: 90, PAGES: 254-266
AUTHORS: Alvaro Rocha ; Avelino Victor; Patricia Leite Brandao;
PUBLISHED: 2011, SOURCE: 10th International Conference on Perspectives in Business Informatics Research in PERSPECTIVES IN BUSINESS INFORMATICS RESEARCH, VOLUME: 90, PAGES: 254-266
1891
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
1892
1893
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
Openlibrary1894
TITLE: Selected papers from the 17th reconfigurable architectures workshop (RAW2010) Full Text
AUTHORS: Dasu, A; Cardoso, JMP ; Bozorgzadeh, E; Becker, J;
PUBLISHED: 2011, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2011, PAGES: 1-2
AUTHORS: Dasu, A; Cardoso, JMP ; Bozorgzadeh, E; Becker, J;
PUBLISHED: 2011, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2011, PAGES: 1-2
1895
TITLE: Selection of algorithms to solve traveling salesman problems using meta-learning
AUTHORS: Jorge Kanda; André Carlos Ponce Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: Int. J. Hybrid Intell. Syst., VOLUME: 8, ISSUE: 3, PAGES: 117-128
AUTHORS: Jorge Kanda; André Carlos Ponce Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: Int. J. Hybrid Intell. Syst., VOLUME: 8, ISSUE: 3, PAGES: 117-128
1896
TITLE: Semantic Verification in an Open Collaboration Scenario
AUTHORS: Jorge Coelho ; Mario Florido ;
PUBLISHED: 2011, SOURCE: 6th International Conference on future Information Technology (FutureTech 2011) in FUTURE INFORMATION TECHNOLOGY, PT II, VOLUME: 185, ISSUE: PART 2, PAGES: 44-53
AUTHORS: Jorge Coelho ; Mario Florido ;
PUBLISHED: 2011, SOURCE: 6th International Conference on future Information Technology (FutureTech 2011) in FUTURE INFORMATION TECHNOLOGY, PT II, VOLUME: 185, ISSUE: PART 2, PAGES: 44-53
1897
TITLE: Semi-Automatic Creation of a Reference News Corpus for Fine-Grained Multi-Label Scenarios
AUTHORS: Teixeira, Jorge ; Luis Sarmento; Eugenio Oliveira ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 749-754
AUTHORS: Teixeira, Jorge ; Luis Sarmento; Eugenio Oliveira ;
PUBLISHED: 2011, SOURCE: 6th Iberian Information Systems and Technologies Conference in SISTEMAS E TECNOLOGIAS DE INFORMACAO, VOL I, PAGES: 749-754
INDEXED IN: Scopus 
WOS
Scopus WOS1898
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
AUTHORS: Pardo, A; Fernandes, JP ; Saraiva, J ;
PUBLISHED: 2011, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
1899
TITLE: Simultaneous debugging of software faults Full Text
AUTHORS: Rui Abreu ; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 84, ISSUE: 4, PAGES: 573-586
AUTHORS: Rui Abreu ; Peter Zoeteweij; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 84, ISSUE: 4, PAGES: 573-586
1900
TITLE: Social control in a normative framework: An adaptive deterrence approach Full Text
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2011, SOURCE: Web Intelligence and Agent Systems, VOLUME: 9, ISSUE: 4, PAGES: 363-375
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2011, SOURCE: Web Intelligence and Agent Systems, VOLUME: 9, ISSUE: 4, PAGES: 363-375
