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
2761
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
2762
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
2763
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
2764
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
2765
2766
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
Openlibrary2767
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
2768
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
2769
TITLE: Rigorous Software Development - An Introduction to Program Verification
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
AUTHORS: José Bacelar Almeida ; Maria João Frade ; Jorge Sousa Pinto ; Simão Melo de Sousa ;
PUBLISHED: 2011, SOURCE: Undergraduate Topics in Computer Science
2770
TITLE: Robot team coordination using dynamic role and positioning assignment and role based setplays Full Text
AUTHORS: Nuno Lau ; Luis Seabra Lopes ; Gustavo Corrente; Nelson Filipe; Ricardo Sequeira;
PUBLISHED: 2011, SOURCE: MECHATRONICS, VOLUME: 21, ISSUE: 2, PAGES: 445-454
AUTHORS: Nuno Lau ; Luis Seabra Lopes ; Gustavo Corrente; Nelson Filipe; Ricardo Sequeira;
PUBLISHED: 2011, SOURCE: MECHATRONICS, VOLUME: 21, ISSUE: 2, PAGES: 445-454
2771
TITLE: Selected Papers from the 17th Reconfigurable Architectures Workshop (RAW2010)
AUTHORS: Aravind Dasu; João M P Cardoso ; Eli Bozorgzadeh; Jürgen Becker;
PUBLISHED: 2011, SOURCE: Int. J. Reconfigurable Comput., VOLUME: 2011, PAGES: 574972:1-574972:2
AUTHORS: Aravind Dasu; João M P Cardoso ; Eli Bozorgzadeh; Jürgen Becker;
PUBLISHED: 2011, SOURCE: Int. J. Reconfigurable Comput., VOLUME: 2011, PAGES: 574972:1-574972:2
2772
TITLE: Selection of algorithms to solve traveling salesman problems using meta-learning
AUTHORS: Jorge Y Kanda; André Carlos Ponce de 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 Y Kanda; André Carlos Ponce de Leon Ferreira de Carvalho; Eduardo R Hruschka; Carlos Soares ;
PUBLISHED: 2011, SOURCE: Int. J. Hybrid Intell. Syst., VOLUME: 8, ISSUE: 3, PAGES: 117-128
2773
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
2774
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 WOS2775
TITLE: Shortcut fusion rules for the derivation of circular and higher-order programs
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2011, SOURCE: High. Order Symb. Comput., VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
AUTHORS: Alberto Pardo; João Paulo Fernandes ; João Saraiva ;
PUBLISHED: 2011, SOURCE: High. Order Symb. Comput., VOLUME: 24, ISSUE: 1-2, PAGES: 115-149
2776
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
2777
TITLE: Social control in a normative framework: An adaptive deterrence approach
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2011, SOURCE: Web Intell. Agent Syst., VOLUME: 9, ISSUE: 4, PAGES: 363-375
AUTHORS: Henrique Lopes Cardoso ; Eugénio C Oliveira ;
PUBLISHED: 2011, SOURCE: Web Intell. Agent Syst., VOLUME: 9, ISSUE: 4, PAGES: 363-375
2778
TITLE: Solving Heterogeneous Fleet Multiple Depot Vehicle Scheduling Problem as an Asymmetric Traveling Salesman Problem
AUTHORS: Ramos, JA; Reis, LP ; Pedrosa, D;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE-BOOK, VOLUME: 7026, PAGES: 98-+
AUTHORS: Ramos, JA; Reis, LP ; Pedrosa, D;
PUBLISHED: 2011, SOURCE: 15th Portuguese Conference on Artificial Intelligence (EPIA 2011) in PROGRESS IN ARTIFICIAL INTELLIGENCE-BOOK, VOLUME: 7026, PAGES: 98-+
2779
TITLE: Special Issue on Artificial Transportation Systems and Simulation
AUTHORS: Rossetti, RJF ; Liu, RH; Tang, SM;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 12, ISSUE: 2, PAGES: 309-312
AUTHORS: Rossetti, RJF ; Liu, RH; Tang, SM;
PUBLISHED: 2011, SOURCE: IEEE TRANSACTIONS ON INTELLIGENT TRANSPORTATION SYSTEMS, VOLUME: 12, ISSUE: 2, PAGES: 309-312
2780
TITLE: Spectrum-Based Sequential Diagnosis
AUTHORS: Alberto Gonzalez Sanchez; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, PAGES: 189-196
AUTHORS: Alberto Gonzalez Sanchez; Rui Abreu ; Hans Gerhard Gross; Arjan J C van Gemund;
PUBLISHED: 2011, SOURCE: Proceedings of the 25th AAAI Conference on Artificial Intelligence, AAAI 2011, PAGES: 189-196
INDEXED IN: Scopus
Scopus