Artificial Intelligence and Computer Science Laboratory (LIACC)
Laboratório de Inteligência Artificial e Ciência de Computadores

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

Update Citation

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!

Update PrePrints

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!

Publications Count: 2910

85 Team Members
Filters -> Year: 2025
1861
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
INDEXED IN: Scopus DBLP CrossRef: 3
1862
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
INDEXED IN: Scopus DBLP CrossRef: 3
1863
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
INDEXED IN: Scopus DBLP
1864
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
INDEXED IN: Scopus DBLP CrossRef: 6
1865
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
INDEXED IN: Scopus
1866
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
INDEXED IN: Scopus CrossRef Handle
1867
TITLE: Sustainable tourism and agriculture multifunctionality by PAR: A variable selection approach
AUTHORS: Mendes, AB ; Noncheva, V; Silva, E;
PUBLISHED: 2013, SOURCE: Efficiency Measures in the Agricultural Sector: With Applications, VOLUME: 9789400757394, PAGES: 137-156
INDEXED IN: Scopus CrossRef
1868
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
INDEXED IN: Scopus DBLP CrossRef: 2
1869
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
INDEXED IN: Scopus CrossRef
1870
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
INDEXED IN: Scopus WOS DBLP CrossRef: 6
1871
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
INDEXED IN: Scopus CrossRef: 1
1872
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
INDEXED IN: Scopus DBLP CrossRef: 74
1873
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
INDEXED IN: Scopus WOS DBLP CrossRef: 2
1875
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
INDEXED IN: Scopus DBLP CrossRef: 6
1876
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
INDEXED IN: Scopus WOS DBLP CrossRef: 10
1877
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
INDEXED IN: Scopus WOS DBLP CrossRef: 18
1878
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
INDEXED IN: Scopus DBLP CrossRef: 27
1879
TITLE: Using Multivariate Adaptive Regression Splines in the Construction of Simulated Soccer Team's Behavior Models
AUTHORS: Abreu, PH ; Silva, DC ; Mendes Moreira, J ; Reis, LP ; Garganta, J ;
PUBLISHED: 2013, SOURCE: International Journal of Computational Intelligence Systems in INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, VOLUME: 6, ISSUE: 5, PAGES: 893-910
INDEXED IN: Scopus WOS DBLP CrossRef: 21 Handle
1880
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
INDEXED IN: Scopus WOS DBLP CrossRef: 6

Results per Page: 20.
Page 94 of 146. Total results: 2910.