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: 2722
85 Team MembersFilters -> Year: 2025
1681
TITLE: Sophistication as randomness deficiency
AUTHORS: Mota, F; Aaronson, S; Antunes, L ; Souto, A ;
PUBLISHED: 2013, SOURCE: 15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8031 LNCS, PAGES: 172-181
AUTHORS: Mota, F; Aaronson, S; Antunes, L ; Souto, A ;
PUBLISHED: 2013, SOURCE: 15th International Workshop on Descriptional Complexity of Formal Systems, DCFS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8031 LNCS, PAGES: 172-181
1682
TITLE: Space allocation in the retail industry: A decision support system integrating evolutionary algorithms and regression models
AUTHORS: Pinto, F; Soares, C ;
PUBLISHED: 2013, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 531-546
AUTHORS: Pinto, F; Soares, C ;
PUBLISHED: 2013, SOURCE: European Conference on Machine Learning and Principles and Practice of Knowledge Discovery in Databases, ECML PKDD 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 531-546
1683
TITLE: Specifying adaptations through a DSL with an application to mobile robot navigation Full Text
AUTHORS: Santos, AC; Cardoso, JMP ; Diniz, PC ; Ferreira, DR;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29, PAGES: 219-234
AUTHORS: Santos, AC; Cardoso, JMP ; Diniz, PC ; Ferreira, DR;
PUBLISHED: 2013, SOURCE: 2nd Symposium on Languages, Applications and Technologies, SLATE 2013 in OpenAccess Series in Informatics, VOLUME: 29, PAGES: 219-234
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP1684
TITLE: Spectrum-based fault localization for diagnosing concurrency faults
AUTHORS: Koca, F; Sozer, H; Abreu, R ;
PUBLISHED: 2013, SOURCE: 25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8254 LNCS, PAGES: 239-254
AUTHORS: Koca, F; Sozer, H; Abreu, R ;
PUBLISHED: 2013, SOURCE: 25th IFIPWG 6.1 International Conference on Testing Software and Systems, ICTSS 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8254 LNCS, PAGES: 239-254
1685
TITLE: Speeding-up poker game abstraction computation: Average rank strength
AUTHORS: Teofilo, LF; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-08, PAGES: 56-64
AUTHORS: Teofilo, LF; Reis, LP ; Cardoso, HL ;
PUBLISHED: 2013, SOURCE: 2013 AAAI Workshop in AAAI Workshop - Technical Report, VOLUME: WS-13-08, PAGES: 56-64
INDEXED IN: Scopus
Scopus1686
TITLE: Superefficiency and multiplier adjustment in data envelopment analysis
AUTHORS: Santos, J; Luís Cavique ; Mendes, AB;
PUBLISHED: 2013, SOURCE: Efficiency Measures in the Agricultural Sector: With Applications, VOLUME: 9789400757394, PAGES: 51-70
AUTHORS: Santos, J; Luís Cavique ; Mendes, AB;
PUBLISHED: 2013, SOURCE: Efficiency Measures in the Agricultural Sector: With Applications, VOLUME: 9789400757394, PAGES: 51-70
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1687
TITLE: The impact of benevolence in computational trust
AUTHORS: Urbano, J ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Agreement Technologies, AT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8068 LNAI, PAGES: 210-224
AUTHORS: Urbano, J ; Rocha, AP ; Oliveira, E ;
PUBLISHED: 2013, SOURCE: 2nd International Conference on Agreement Technologies, AT 2013 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 8068 LNAI, PAGES: 210-224
1688
TITLE: The LARA language
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Carvalho, T ; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 35-70
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Carvalho, T ; Diniz, PC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 35-70
INDEXED IN: Scopus CrossRef
Scopus CrossRef1689
TITLE: The MATISSE MATLAB Compiler
AUTHORS: Joao Bispo ; Pedro Pinto ; Ricardo Nobre ; Tiago Carvalho ; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 602-608
AUTHORS: Joao Bispo ; Pedro Pinto ; Ricardo Nobre ; Tiago Carvalho ; Joao M P Cardoso ; Pedro C Diniz ;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 602-608
1690
TITLE: The REFLECT design-flow
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Nane, R; Sima, VM; Olivier, B; Carvalho, T ; Nobre, R; Diniz, PC ; Petrov, Z; Bertels, K; Gonçalves, F; Van Someren, H; Hübner, M; Constantinides, G; Luk, W; Becker, J; Krátký, K; Bhattacharya, S; Alves, JC ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 13-34
AUTHORS: Cardoso, JMP ; De F. Coutinho, JG; Nane, R; Sima, VM; Olivier, B; Carvalho, T ; Nobre, R; Diniz, PC ; Petrov, Z; Bertels, K; Gonçalves, F; Van Someren, H; Hübner, M; Constantinides, G; Luk, W; Becker, J; Krátký, K; Bhattacharya, S; Alves, JC ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: Compilation and Synthesis for Embedded Reconfigurable Systems: An Aspect-Oriented Approach, VOLUME: 9781461448945, PAGES: 13-34
1691
TITLE: Threats to the validity and value of empirical assessments of the accuracy of coverage-based fault locators
AUTHORS: Steimann, F; Frenkel, M; Abreu, R ;
PUBLISHED: 2013, SOURCE: 22nd International Symposium on Software Testing and Analysis, ISSTA 2013 in 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings, PAGES: 314-324
AUTHORS: Steimann, F; Frenkel, M; Abreu, R ;
PUBLISHED: 2013, SOURCE: 22nd International Symposium on Software Testing and Analysis, ISSTA 2013 in 2013 International Symposium on Software Testing and Analysis, ISSTA 2013 - Proceedings, PAGES: 314-324
1692
TITLE: Towards a Framework for Pedestrian Simulation for Intermodal Interfaces
AUTHORS: Joao Emilio Almeida; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2013, SOURCE: UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation (EMS) in UKSIM-AMSS SEVENTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2013), PAGES: 335-340
AUTHORS: Joao Emilio Almeida; Zafeiris Kokkinogenis ; Rosaldo J F Rossetti ;
PUBLISHED: 2013, SOURCE: UKSim-AMSS 7th European Modelling Symposium on Computer Modelling and Simulation (EMS) in UKSIM-AMSS SEVENTH EUROPEAN MODELLING SYMPOSIUM ON COMPUTER MODELLING AND SIMULATION (EMS 2013), PAGES: 335-340
1693
TITLE: Towards a holistic approach to the travel experience: A qualitative study of bus transportation Full Text
AUTHORS: Rui Carreira ; Lia Patricio ; Renato Natal Jorge ; Chris Magee; Qi Van Eikema Hommes;
PUBLISHED: 2013, SOURCE: TRANSPORT POLICY, VOLUME: 25, PAGES: 233-243
AUTHORS: Rui Carreira ; Lia Patricio ; Renato Natal Jorge ; Chris Magee; Qi Van Eikema Hommes;
PUBLISHED: 2013, SOURCE: TRANSPORT POLICY, VOLUME: 25, PAGES: 233-243
1694
TITLE: Towards a serious games evacuation simulator PDF
AUTHORS: João Ribeiro; João Emílio Almeida; Rosaldo J F Rossetti ; António Coelho ; António Leça Coelho;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.3827
AUTHORS: João Ribeiro; João Emílio Almeida; Rosaldo J F Rossetti ; António Coelho ; António Leça Coelho;
PUBLISHED: 2013, SOURCE: CoRR, VOLUME: abs/1303.3827
INDEXED IN: DBLP 
arXiv
DBLP arXiv1695
TITLE: Transparent runtime migration of loop-based traces of processor instructions to reconfigurable processing units Full Text
AUTHORS: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2013, PAGES: 1-20
AUTHORS: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: International Journal of Reconfigurable Computing, VOLUME: 2013, PAGES: 1-20
1696
TITLE: Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems
AUTHORS: Joao Bispo ; Nuno Paulino ; Joao M P Cardoso ; Joao C Ferreira ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1625-1634
AUTHORS: Joao Bispo ; Nuno Paulino ; Joao M P Cardoso ; Joao C Ferreira ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1625-1634
1697
TITLE: Understanding Sequential Decisions via Inverse Reinforcement Learning
AUTHORS: Siyuan Y Liu; Miguel Araujo ; Emma Brunskill; Rosaldo Rossetti ; Joao Barros ; Ramayya Krishnan;
PUBLISHED: 2013, SOURCE: IEEE 14th International Conference on Mobile Data Management (MDM) in 2013 IEEE 14TH INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT (MDM 2013), VOL 1, VOLUME: 1, PAGES: 177-186
AUTHORS: Siyuan Y Liu; Miguel Araujo ; Emma Brunskill; Rosaldo Rossetti ; Joao Barros ; Ramayya Krishnan;
PUBLISHED: 2013, SOURCE: IEEE 14th International Conference on Mobile Data Management (MDM) in 2013 IEEE 14TH INTERNATIONAL CONFERENCE ON MOBILE DATA MANAGEMENT (MDM 2013), VOL 1, VOLUME: 1, PAGES: 177-186
1698
TITLE: Using HTML5 visualizations in software fault localization
AUTHORS: Gouveia, C; Campos, J ; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 1st IEEE Working Conference on Software Visualization, VISSOFT 2013 in 2013 1st IEEE Working Conference on Software Visualization - Proceedings of VISSOFT 2013, PAGES: 1-10
AUTHORS: Gouveia, C; Campos, J ; Abreu, R ;
PUBLISHED: 2013, SOURCE: 2013 1st IEEE Working Conference on Software Visualization, VISSOFT 2013 in 2013 1st IEEE Working Conference on Software Visualization - Proceedings of VISSOFT 2013, PAGES: 1-10
1699
TITLE: Using Multivariate Adaptive Regression Splines in the Construction of Simulated Soccer Team's Behavior Models
AUTHORS: Pedro Henriques Abreu ; Daniel Castro Silva ; Joao Mendes Moreira ; Luis Paulo Reis ; Julio Garganta ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 5, PAGES: 893-910
AUTHORS: Pedro Henriques Abreu ; Daniel Castro Silva ; Joao Mendes Moreira ; Luis Paulo Reis ; Julio Garganta ;
PUBLISHED: 2013, SOURCE: INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 5, PAGES: 893-910
1700
TITLE: Using statistics, visualization and data mining for monitoring the quality of meta-data in web portals Full Text
AUTHORS: Marcos Aurelio Domingues; Carlos Soares ; Alipio Mario Jorge ;
PUBLISHED: 2013, SOURCE: INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, VOLUME: 11, ISSUE: 4, PAGES: 569-595
AUTHORS: Marcos Aurelio Domingues; Carlos Soares ; Alipio Mario Jorge ;
PUBLISHED: 2013, SOURCE: INFORMATION SYSTEMS AND E-BUSINESS MANAGEMENT, VOLUME: 11, ISSUE: 4, PAGES: 569-595
