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
2921
TITLE: Knowledge representation in soccer domain: An ontology development
AUTHORS: Abreu, P ; Faria, M; Reis, LP ; Gargarnta, J;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies, CISTI 2010 in Proceedings of the 5th Iberian Conference on Information Systems and Technologies, CISTI 2010
AUTHORS: Abreu, P ; Faria, M; Reis, LP ; Gargarnta, J;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies, CISTI 2010 in Proceedings of the 5th Iberian Conference on Information Systems and Technologies, CISTI 2010
INDEXED IN: 
Scopus
Scopus2922
TITLE: Linear Recursion
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: CoRR, VOLUME: abs/1001.3368
INDEXED IN: 
DBLP
DBLP2923
TITLE: Linearity and iterator types for Gödel's System
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: High. Order Symb. Comput., VOLUME: 23, ISSUE: 1, PAGES: 1-27
AUTHORS: Sandra Alves ; Maribel Fernández; Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: High. Order Symb. Comput., VOLUME: 23, ISSUE: 1, PAGES: 1-27
2924
TITLE: Machine Learning algorithms applied to the classification of robotic soccer formations and opponent teams
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ; Castillo, G;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Cybernetics and Intelligent Systems, CIS 2010 in 2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010, PAGES: 344-349
AUTHORS: Faria, BM ; Reis, LP ; Lau, N ; Castillo, G;
PUBLISHED: 2010, SOURCE: 2010 IEEE International Conference on Cybernetics and Intelligent Systems, CIS 2010 in 2010 IEEE Conference on Cybernetics and Intelligent Systems, CIS 2010, PAGES: 344-349
2925
TITLE: Making Electronic Contracting Operational and Trustworthy
AUTHORS: Urbano, J ; Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 12th Ibero-American Conference on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2010, VOLUME: 6433, PAGES: 264-273
AUTHORS: Urbano, J ; Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 12th Ibero-American Conference on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2010, VOLUME: 6433, PAGES: 264-273
2926
TITLE: Metalearning
AUTHORS: Pavel Brazdil ; Ricardo Vilalta; Christophe G Giraud Carrier; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
AUTHORS: Pavel Brazdil ; Ricardo Vilalta; Christophe G Giraud Carrier; Carlos Soares ;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef2927
TITLE: Model-Checking Temporal Properties of Real-Time HTL Programs
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-+
AUTHORS: Carvalho, A; Carvalho, J; Pinto, JS ; de Sousa, SM ;
PUBLISHED: 2010, SOURCE: 4th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation in LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT II, VOLUME: 6416, ISSUE: PART 2, PAGES: 191-+
2928
TITLE: Monitoring Directed Obligations with Flexible Deadlines: A Rule-Based Approach
AUTHORS: Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 7th International Workshop on Declarative Agent Languages and Technologies in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VII, VOLUME: 5948, PAGES: 51-67
AUTHORS: Cardoso, HL ; Oliveira, E ;
PUBLISHED: 2010, SOURCE: 7th International Workshop on Declarative Agent Languages and Technologies in DECLARATIVE AGENT LANGUAGES AND TECHNOLOGIES VII, VOLUME: 5948, PAGES: 51-67
2929
TITLE: Omnidirectional Locomotion in a Quadruped Robot: A CPG-based Approach
AUTHORS: Vitor Matos; Cristina P Santos ;
PUBLISHED: 2010, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems in IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010), PAGES: 3392-3397
AUTHORS: Vitor Matos; Cristina P Santos ;
PUBLISHED: 2010, SOURCE: IEEE/RSJ International Conference on Intelligent Robots and Systems in IEEE/RSJ 2010 INTERNATIONAL CONFERENCE ON INTELLIGENT ROBOTS AND SYSTEMS (IROS 2010), PAGES: 3392-3397
2930
TITLE: On identifying and optimizing instruction sequences for dynamic compilation
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPT, PAGES: 437-440
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPT, PAGES: 437-440
2931
TITLE: On Identifying Patterns in Code Repositories to Assist the Generation of Hardware Templates Full Text
AUTHORS: Adriano K Sanches; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPL, PAGES: 267-270
AUTHORS: Adriano K Sanches; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPL, PAGES: 267-270
2932
TITLE: On Identifying Segments of Traces for Dynamic Compilation Full Text
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPL, PAGES: 263-266
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: FPL, PAGES: 263-266
2933
TITLE: On Using LALP to Map an Audio Encoder/Decoder on FPGAs
AUTHORS: Ricardo Menotti; Joao M P Cardoso ; Marcio M Fernandes; Eduardo Marques;
PUBLISHED: 2010, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE) in IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE 2010), PAGES: 3063-3068
AUTHORS: Ricardo Menotti; Joao M P Cardoso ; Marcio M Fernandes; Eduardo Marques;
PUBLISHED: 2010, SOURCE: IEEE International Symposium on Industrial Electronics (ISIE) in IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL ELECTRONICS (ISIE 2010), PAGES: 3063-3068
2934
TITLE: Password sharing and how to reduce it
AUTHORS: Ferreira, A ; Correia, R ; Chadwick, DW; Santos, H; Gomes, R; Reis, D; Antunes, L ;
PUBLISHED: 2010, SOURCE: Certification and Security in Health-Related Web Applications: Concepts and Solutions, PAGES: 243-263
AUTHORS: Ferreira, A ; Correia, R ; Chadwick, DW; Santos, H; Gomes, R; Reis, D; Antunes, L ;
PUBLISHED: 2010, SOURCE: Certification and Security in Health-Related Web Applications: Concepts and Solutions, PAGES: 243-263
2935
TITLE: Patient reported outcomes in head and neck cancer: selecting instruments for quality of life integration in clinical protocols
AUTHORS: Augusta P Silveira ; Joaquim Goncalves ; Teresa Sequeira ; Claudia Ribeiro; Carlos Lopes ; Eurico Monteiro ; Francisco L Pimentel ;
PUBLISHED: 2010, SOURCE: HEAD & NECK ONCOLOGY, VOLUME: 2, ISSUE: 1, PAGES: 32
AUTHORS: Augusta P Silveira ; Joaquim Goncalves ; Teresa Sequeira ; Claudia Ribeiro; Carlos Lopes ; Eurico Monteiro ; Francisco L Pimentel ;
PUBLISHED: 2010, SOURCE: HEAD & NECK ONCOLOGY, VOLUME: 2, ISSUE: 1, PAGES: 32
2936
TITLE: Patterns for consistent software documentation
AUTHORS: Correia, FF ; Ferreira, HS ; Aguiar, A ; Flores, N ;
PUBLISHED: 2010, SOURCE: 16th Conference on Pattern Languages of Programs, PLoP09 in ACM International Conference Proceeding Series
AUTHORS: Correia, FF ; Ferreira, HS ; Aguiar, A ; Flores, N ;
PUBLISHED: 2010, SOURCE: 16th Conference on Pattern Languages of Programs, PLoP09 in ACM International Conference Proceeding Series
2937
TITLE: Performance parameters of a whole body counter Full Text
AUTHORS: Bento, J; Teles, P ; Silva, L; Nogueira, P ; Neves, M; Vaz, P ;
PUBLISHED: 2010, SOURCE: RADIATION MEASUREMENTS, VOLUME: 45, ISSUE: 2, PAGES: 190-195
AUTHORS: Bento, J; Teles, P ; Silva, L; Nogueira, P ; Neves, M; Vaz, P ;
PUBLISHED: 2010, SOURCE: RADIATION MEASUREMENTS, VOLUME: 45, ISSUE: 2, PAGES: 190-195
2938
TITLE: Petri Net Based Engineering and Software Methodology for Service-Oriented Industrial Automation
AUTHORS: Marco M Mendes; Francisco Restivo ; Paulo Leitao ; Armando W Colombo;
PUBLISHED: 2010, SOURCE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314, PAGES: 233-240
AUTHORS: Marco M Mendes; Francisco Restivo ; Paulo Leitao ; Armando W Colombo;
PUBLISHED: 2010, SOURCE: 1st IFIP Doctoral Conference on Computing, Electrical and Industrial Systems in EMERGING TRENDS IN TECHNOLOGICAL INNOVATION, VOLUME: 314, PAGES: 233-240
2939
TITLE: PETTool: A pattern-based GUI testing tool
AUTHORS: Cunha, M; Paiva, ACR ; Ferreira, HS ; Abreu, R ;
PUBLISHED: 2010, SOURCE: 2010 2nd International Conference on Software Technology and Engineering, ICSTE 2010 in ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings, VOLUME: 1
AUTHORS: Cunha, M; Paiva, ACR ; Ferreira, HS ; Abreu, R ;
PUBLISHED: 2010, SOURCE: 2010 2nd International Conference on Software Technology and Engineering, ICSTE 2010 in ICSTE 2010 - 2010 2nd International Conference on Software Technology and Engineering, Proceedings, VOLUME: 1
2940
TITLE: Playmaker: Graphical Definition of Formations and Setplays
AUTHORS: Luis Paulo Reis ; Rui Lopes; Luis Mota ; Nuno Lau ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 582-587
AUTHORS: Luis Paulo Reis ; Rui Lopes; Luis Mota ; Nuno Lau ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 582-587
INDEXED IN: Scopus 
WOS
Scopus WOS