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
1981
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
1982
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
1983
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
1984
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 CrossRef1985
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
1986
TITLE: On identifying and optimizing instruction sequences for dynamic compilation
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 2010 International Conference on Field-Programmable Technology, FPT'10 in Proceedings of the International Conference on Field-Programmable Technology, FPT 2010, 8-10 December 2010, Tsinghua University, Beijing, China, PAGES: 437-440
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 2010 International Conference on Field-Programmable Technology, FPT'10 in Proceedings of the International Conference on Field-Programmable Technology, FPT 2010, 8-10 December 2010, Tsinghua University, Beijing, China, PAGES: 437-440
1987
TITLE: On Identifying Patterns in Code Repositories to Assist the Generation of Hardware Templates
AUTHORS: Adriano K Sanches; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 20th International Conference on Field Programmable Logic and Applications, FPL 2010 in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy, PAGES: 267-270
AUTHORS: Adriano K Sanches; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 20th International Conference on Field Programmable Logic and Applications, FPL 2010 in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy, PAGES: 267-270
1988
TITLE: On Identifying Segments of Traces for Dynamic Compilation
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 20th International Conference on Field Programmable Logic and Applications, FPL 2010 in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy, PAGES: 263-266
AUTHORS: João Bispo ; João M P Cardoso ;
PUBLISHED: 2010, SOURCE: 20th International Conference on Field Programmable Logic and Applications, FPL 2010 in International Conference on Field Programmable Logic and Applications, FPL 2010, August 31 2010 - September 2, 2010, Milano, Italy, PAGES: 263-266
1989
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
1990
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
INDEXED IN: 
Scopus CrossRef
Scopus CrossRef1991
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
1992
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
1993
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 WOS1994
TITLE: Preface Full Text
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
AUTHORS: Mário Florido ; Ian Mackie;
PUBLISHED: 2010, SOURCE: Electronic Proceedings in Theoretical Computer Science, EPTCS, VOLUME: 22
INDEXED IN: Scopus CrossRef
Scopus CrossRef1995
TITLE: Preprocessing techniques for context recognition from accelerometer data Full Text
AUTHORS: Davide Figo; Pedro C Diniz ; Diogo R Ferreira; Joao M P Cardoso ;
PUBLISHED: 2010, SOURCE: PERSONAL AND UBIQUITOUS COMPUTING, VOLUME: 14, ISSUE: 7, PAGES: 645-662
AUTHORS: Davide Figo; Pedro C Diniz ; Diogo R Ferreira; Joao M P Cardoso ;
PUBLISHED: 2010, SOURCE: PERSONAL AND UBIQUITOUS COMPUTING, VOLUME: 14, ISSUE: 7, PAGES: 645-662
1996
TITLE: PROCEDURAL MODELLING OF MONUMENTAL BUILDINGS FROM TEXTUAL DESCRIPTIONS
AUTHORS: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 5th International Conference on Computer Graphics Theory and Applications (GRAPP 2010) in GRAPP 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER GRAPHICS THEORY AND APPLICATIONS, PAGES: 130-133
AUTHORS: Roberto Rodrigues; Antonio Coelho ; Luis Paulo Reis ;
PUBLISHED: 2010, SOURCE: 5th International Conference on Computer Graphics Theory and Applications (GRAPP 2010) in GRAPP 2010: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON COMPUTER GRAPHICS THEORY AND APPLICATIONS, PAGES: 130-133
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP1997
TITLE: Process optimization of service-oriented automation devices based on Petri nets
AUTHORS: Mendes, JM; Leitao, P ; Restivo, F ; Colombo, AW;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Industrial Informatics, INDIN 2010 in IEEE International Conference on Industrial Informatics (INDIN), PAGES: 274-279
AUTHORS: Mendes, JM; Leitao, P ; Restivo, F ; Colombo, AW;
PUBLISHED: 2010, SOURCE: 8th IEEE International Conference on Industrial Informatics, INDIN 2010 in IEEE International Conference on Industrial Informatics (INDIN), PAGES: 274-279
1998
TITLE: Providing user context for mobile and social networking applications Full Text
AUTHORS: Andre C Santos; Joao M P Cardoso ; Diogo R Ferreira; Pedro C Diniz ; Paulo Chainho;
PUBLISHED: 2010, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 6, ISSUE: 3, PAGES: 324-341
AUTHORS: Andre C Santos; Joao M P Cardoso ; Diogo R Ferreira; Pedro C Diniz ; Paulo Chainho;
PUBLISHED: 2010, SOURCE: PERVASIVE AND MOBILE COMPUTING, VOLUME: 6, ISSUE: 3, PAGES: 324-341
1999
TITLE: Real-Time Wireless Location and Tracking System with Motion Pattern Detection
AUTHORS: Pedro Abreu ; Vasco Vinhas; Pedro Mendes; Luis Paulo ; Julio Gargant ;
PUBLISHED: 2010, SOURCE: Robot Localization and Map Building
AUTHORS: Pedro Abreu ; Vasco Vinhas; Pedro Mendes; Luis Paulo ; Julio Gargant ;
PUBLISHED: 2010, SOURCE: Robot Localization and Map Building
2000
TITLE: REFINING THE TRUSTWORTHINESS ASSESSMENT OF SUPPLIERS THROUGH EXTRACTION OF STEREOTYPES
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Enterprise Information Systems (ICEIS 2010) in ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 2: ARTIFICIAL INTELLIGENCE AND DECISION SUPPORT SYSTEMS, VOLUME: 2 AIDSS, PAGES: 85-92
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugenio Oliveira ;
PUBLISHED: 2010, SOURCE: 12th International Conference on Enterprise Information Systems (ICEIS 2010) in ICEIS 2010: PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 2: ARTIFICIAL INTELLIGENCE AND DECISION SUPPORT SYSTEMS, VOLUME: 2 AIDSS, PAGES: 85-92
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP