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: 2665
83 Team MembersFilters -> Year: 2024
1961
TITLE: Godel's system T revisited Full Text
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; Mackie, I;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 11-13, PAGES: 1484-1500
1962
TITLE: Grounding information security in healthcare Full Text
AUTHORS: Ferreira, A ; Antunes, L ; Chadwick, D; Correia, R ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 79, ISSUE: 4, PAGES: 268-283
AUTHORS: Ferreira, A ; Antunes, L ; Chadwick, D; Correia, R ;
PUBLISHED: 2010, SOURCE: INTERNATIONAL JOURNAL OF MEDICAL INFORMATICS, VOLUME: 79, ISSUE: 4, PAGES: 268-283
1963
TITLE: Hybrid methodology of user-centered development
AUTHORS: Antonio Pedro Costa; Maria Joao Loureiro; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 192-197
AUTHORS: Antonio Pedro Costa; Maria Joao Loureiro; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 192-197
INDEXED IN: 
WOS
WOS1964
TITLE: Hybrid User Centered Development Methodology: The practical case of Courseware Sere
AUTHORS: Costa, AP ; Loureiro, MJ ; Reis, LP ;
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: Costa, AP ; Loureiro, MJ ; Reis, LP ;
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
Scopus1965
TITLE: i-om: Intelligent Optimization for Computer Graphics and Visualization
AUTHORS: Pedro Miguel Moreira ; Luis Paulo Reis ; Antonio Augusto de Sousa ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 484-489
AUTHORS: Pedro Miguel Moreira ; Luis Paulo Reis ; Antonio Augusto de Sousa ;
PUBLISHED: 2010, SOURCE: 5th Iberian Conference on Information Systems and Technologies in SISTEMAS Y TECNOLOGIAS DE INFORMACION, PAGES: 484-489
INDEXED IN: Scopus WOS
Scopus WOS1966
TITLE: IBT: A Real-time Tempo and Beat Tracking System PDF
AUTHORS: João Lobato Oliveira ; Fabien Gouyon ; Luis Gustavo Martins ; Luís Paulo Reis ;
PUBLISHED: 2010, SOURCE: 11th International Society for Music Information Retrieval Conference, ISMIR 2010 in Proceedings of the 11th International Society for Music Information Retrieval Conference, ISMIR 2010, Utrecht, Netherlands, August 9-13, 2010, PAGES: 291-296
AUTHORS: João Lobato Oliveira ; Fabien Gouyon ; Luis Gustavo Martins ; Luís Paulo Reis ;
PUBLISHED: 2010, SOURCE: 11th International Society for Music Information Retrieval Conference, ISMIR 2010 in Proceedings of the 11th International Society for Music Information Retrieval Conference, ISMIR 2010, Utrecht, Netherlands, August 9-13, 2010, PAGES: 291-296
INDEXED IN: Scopus 
DBLP 
Handle
Scopus DBLP Handle1967
TITLE: Increasing system availability with local recovery based on fault localization Full Text
AUTHORS: Sozer, H; Abreu, R ; Aksit, M; Van Gemund, AJC;
PUBLISHED: 2010, SOURCE: 10th International Conference on Quality Software, QSIC 2010 in Proceedings - International Conference on Quality Software, PAGES: 276-281
AUTHORS: Sozer, H; Abreu, R ; Aksit, M; Van Gemund, AJC;
PUBLISHED: 2010, SOURCE: 10th International Conference on Quality Software, QSIC 2010 in Proceedings - International Conference on Quality Software, PAGES: 276-281
1968
TITLE: Inductive Transfer
AUTHORS: Paul E Utgoff; James Cussens; Stefan Kramer; Sanjay Jain; Frank Stephan; Luc De Raedt; Ljupčo Todorovski; Pierre Flener; Ute Schmid; Ricardo Vilalta; Christophe Giraud-Carrier; Pavel Brazdil ; Carlos Soares ; Eamonn Keogh; William D Smart; Pieter Abbeel; Andrew Y Ng;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 545-548
AUTHORS: Paul E Utgoff; James Cussens; Stefan Kramer; Sanjay Jain; Frank Stephan; Luc De Raedt; Ljupčo Todorovski; Pierre Flener; Ute Schmid; Ricardo Vilalta; Christophe Giraud-Carrier; Pavel Brazdil ; Carlos Soares ; Eamonn Keogh; William D Smart; Pieter Abbeel; Andrew Y Ng;
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 545-548
1969
TITLE: Information measures for infinite sequences Full Text
AUTHORS: Luis Antunes ; Andre Souto ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 26-28, PAGES: 2602-2611
AUTHORS: Luis Antunes ; Andre Souto ;
PUBLISHED: 2010, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 411, ISSUE: 26-28, PAGES: 2602-2611
1970
TITLE: Injecting Service-Orientation into Multi-Agent Systems in Industrial Automation
AUTHORS: Mendes, JM; Restivo, F ; Leitao, P ; Colombo, AW;
PUBLISHED: 2010, SOURCE: 10th International Conference on Artificial Intelligence and Soft Computing (ICAISC 2010) in ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, VOLUME: 6114, ISSUE: PART 2, PAGES: 313-320
AUTHORS: Mendes, JM; Restivo, F ; Leitao, P ; Colombo, AW;
PUBLISHED: 2010, SOURCE: 10th International Conference on Artificial Intelligence and Soft Computing (ICAISC 2010) in ARTIFICIAL INTELLIGENCE AND SOFT COMPUTING, PT II, VOLUME: 6114, ISSUE: PART 2, PAGES: 313-320
1971
TITLE: Intelligent Document Routing as a First Step towards Workflow Automation: A Case Study Implemented in SQL
AUTHORS: Carlos Soares ; Miguel Calejo ;
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 I, VOLUME: 6415, ISSUE: PART 1, PAGES: 276-284
AUTHORS: Carlos Soares ; Miguel Calejo ;
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 I, VOLUME: 6415, ISSUE: PART 1, PAGES: 276-284
1972
TITLE: IntellWheels MMI: A Flexible Interface for an Intelligent Wheelchair
AUTHORS: Luis Paulo Reis ; Rodrigo A M Braga; Marcio Sousa; Antonio Paulo Moreira ;
PUBLISHED: 2010, SOURCE: 13th RoboCup Symposium held in Conjunction with the RoboCup Competition 2009 in ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII, VOLUME: 5949, PAGES: 296-307
AUTHORS: Luis Paulo Reis ; Rodrigo A M Braga; Marcio Sousa; Antonio Paulo Moreira ;
PUBLISHED: 2010, SOURCE: 13th RoboCup Symposium held in Conjunction with the RoboCup Competition 2009 in ROBOCUP 2009: ROBOT SOCCER WORLD CUP XIII, VOLUME: 5949, PAGES: 296-307
1973
TITLE: Introducing ROC Curves as Error Measure Functions: A New Approach to Train ANN-Based Biomedical Data Classifiers Full Text
AUTHORS: Raul Ramos Pollan; Miguel Angel Guevara Lopez ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 15th Iberoamerican Congress on Pattern Recognition in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, VOLUME: 6419, PAGES: 517-524
AUTHORS: Raul Ramos Pollan; Miguel Angel Guevara Lopez ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 15th Iberoamerican Congress on Pattern Recognition in PROGRESS IN PATTERN RECOGNITION, IMAGE ANALYSIS, COMPUTER VISION, AND APPLICATIONS, VOLUME: 6419, PAGES: 517-524
1974
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
Scopus1975
TITLE: Linear Recursion PDF
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 
arXiv
DBLP arXiv1976
TITLE: Linearity and iterator types for Gödel's System ℐ
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1, PAGES: 1-27
AUTHORS: Alves, S ; Fernandez, M; Florido, M ; MacKie, I;
PUBLISHED: 2010, SOURCE: Higher-Order and Symbolic Computation, VOLUME: 23, ISSUE: 1, PAGES: 1-27
1977
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
1978
TITLE: Making Electronic Contracting Operational and Trustworthy
AUTHORS: Joana Urbano ; Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 12th Ibero-American Conference on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2010, VOLUME: 6433, PAGES: 264-273
AUTHORS: Joana Urbano ; Henrique Lopes Cardoso ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 12th Ibero-American Conference on AI in ADVANCES IN ARTIFICIAL INTELLIGENCE - IBERAMIA 2010, VOLUME: 6433, PAGES: 264-273
1979
TITLE: Metalearning
AUTHORS: Johannes Fürnkranz; Philip K Chan; Susan Craw; Claude Sammut; William Uther; Adwait Ratnaparkhi; Xin Jin; Jiawei Han; Ying Yang; Katharina Morik; Marco Dorigo; Mauro Birattari; Thomas Stützle; Pavel Brazdil ; Ricardo Vilalta; Christophe Giraud-Carrier; Carlos Soares ; Jorma Rissanen; Rohan A Baxter; Ivan Bruha; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
AUTHORS: Johannes Fürnkranz; Philip K Chan; Susan Craw; Claude Sammut; William Uther; Adwait Ratnaparkhi; Xin Jin; Jiawei Han; Ying Yang; Katharina Morik; Marco Dorigo; Mauro Birattari; Thomas Stützle; Pavel Brazdil ; Ricardo Vilalta; Christophe Giraud-Carrier; Carlos Soares ; Jorma Rissanen; Rohan A Baxter; Ivan Bruha; ...More
PUBLISHED: 2010, SOURCE: Encyclopedia of Machine Learning, PAGES: 662-666
INDEXED IN: DBLP 
CrossRef
DBLP CrossRef1980
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
