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: 3696
86 Team MembersFilters -> Year: 2026
2821
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
2822
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
2823
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
2824
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
2825
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
2826
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
2827
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
2828
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 WOS2829
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
2830
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
2831
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
2832
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-+
2833
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
2834
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
Scopus2835
TITLE: Spectrum-based sequential diagnosis
AUTHORS: Gonzalez Sanchez, A; Abreu, R ; Gross, HG; Van Gemund, AJC;
PUBLISHED: 2011, SOURCE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 1, PAGES: 189-196
AUTHORS: Gonzalez Sanchez, A; Abreu, R ; Gross, HG; Van Gemund, AJC;
PUBLISHED: 2011, SOURCE: 25th AAAI Conference on Artificial Intelligence and the 23rd Innovative Applications of Artificial Intelligence Conference, AAAI-11 / IAAI-11 in Proceedings of the National Conference on Artificial Intelligence, VOLUME: 1, PAGES: 189-196
INDEXED IN: Scopus 
DBLP
Scopus DBLP2836
TITLE: Strictification of circular programs Full Text
AUTHORS: João Paulo Fernandes ; João Saraiva ; Daniel Seidel; Janis Voigtländer;
PUBLISHED: 2011, SOURCE: PEPM, PAGES: 131-140
AUTHORS: João Paulo Fernandes ; João Saraiva ; Daniel Seidel; Janis Voigtländer;
PUBLISHED: 2011, SOURCE: PEPM, PAGES: 131-140
2837
TITLE: Tackling the cognitive processes that underlie brands' assessments using artificial neural networks and whole brain fMRI acquisitions
AUTHORS: Marques dos Santos, José Paulo ; Moutinho, L;
PUBLISHED: 2011, SOURCE: International Workshop on Pattern Recognition in NeuroImaging, PRNI 2011 in Proceedings - International Workshop on Pattern Recognition in NeuroImaging, PRNI 2011, PAGES: 9-12
AUTHORS: Marques dos Santos, José Paulo ; Moutinho, L;
PUBLISHED: 2011, SOURCE: International Workshop on Pattern Recognition in NeuroImaging, PRNI 2011 in Proceedings - International Workshop on Pattern Recognition in NeuroImaging, PRNI 2011, PAGES: 9-12
2838
TITLE: Technical analysis and approaches for game development in second life
AUTHORS: Cruz, A; Coelho, A ; Sousa, A ;
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: Cruz, A; Coelho, A ; Sousa, A ;
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
Scopus2839
TITLE: Techniques for Dynamically Mapping Computations to Coprocessors
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2011, SOURCE: ReConFig, PAGES: 505-508
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2011, SOURCE: ReConFig, PAGES: 505-508
2840
TITLE: Towards automatic quantification of the epicardial fat in non-contrasted CT images Full Text
AUTHORS: Jorge G Barbosa ; Bruno Figueiredo; Nuno Bettencourt ; João Manuel R. S. Tavares ;
PUBLISHED: 2011, SOURCE: COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING, VOLUME: 14, ISSUE: 10, PAGES: 905-914
AUTHORS: Jorge G Barbosa ; Bruno Figueiredo; Nuno Bettencourt ; João Manuel R. S. Tavares ;
PUBLISHED: 2011, SOURCE: COMPUTER METHODS IN BIOMECHANICS AND BIOMEDICAL ENGINEERING, VOLUME: 14, ISSUE: 10, PAGES: 905-914
