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: 3719
86 Team MembersFilters -> Year: 2026
2521
TITLE: Similarity of muscle synergies in human walking and cycling: preliminary results
AUTHORS: Filipe Barroso; Diego Torricelli; Juan C Moreno; Julian Taylor; Julio Gomez Soriano; Elizabeth B Esteban; Cristina Santos ; Jose L Pons;
PUBLISHED: 2013, SOURCE: 35th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2013 35TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6933-6936
AUTHORS: Filipe Barroso; Diego Torricelli; Juan C Moreno; Julian Taylor; Julio Gomez Soriano; Elizabeth B Esteban; Cristina Santos ; Jose L Pons;
PUBLISHED: 2013, SOURCE: 35th Annual International Conference of the IEEE-Engineering-in-Medicine-and-Biology-Society (EMBC) in 2013 35TH ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY (EMBC), PAGES: 6933-6936
2522
TITLE: Smartphone based fall prevention exercises
AUTHORS: Bruno Neves Ferreira; Vânia Guimarães; Hugo Sereno Ferreira ;
PUBLISHED: 2013, SOURCE: Healthcom, PAGES: 643-647
AUTHORS: Bruno Neves Ferreira; Vânia Guimarães; Hugo Sereno Ferreira ;
PUBLISHED: 2013, SOURCE: Healthcom, PAGES: 643-647
2523
TITLE: Sophistication as Randomness Deficiency
AUTHORS: Francisco Mota; Scott Aaronson; Luis Filipe Coelho Antunes ; Andre Souto ;
PUBLISHED: 2013, SOURCE: DCFS, VOLUME: 8031 LNCS, PAGES: 172-181
AUTHORS: Francisco Mota; Scott Aaronson; Luis Filipe Coelho Antunes ; Andre Souto ;
PUBLISHED: 2013, SOURCE: DCFS, VOLUME: 8031 LNCS, PAGES: 172-181
2524
TITLE: Space Allocation in the Retail Industry: A Decision Support System Integrating Evolutionary Algorithms and Regression Models
AUTHORS: Fábio Pinto; Carlos Soares ;
PUBLISHED: 2013, SOURCE: ECML/PKDD (3), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 531-546
AUTHORS: Fábio Pinto; Carlos Soares ;
PUBLISHED: 2013, SOURCE: ECML/PKDD (3), VOLUME: 8190 LNAI, ISSUE: PART 3, PAGES: 531-546
2525
TITLE: Specifying Adaptations through a DSL with an Application to Mobile Robot Navigation
AUTHORS: André C Santos; João M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29, PAGES: 219-234
AUTHORS: André C Santos; João M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira;
PUBLISHED: 2013, SOURCE: SLATE, VOLUME: 29, PAGES: 219-234
INDEXED IN: 
Scopus 
DBLP
Scopus DBLP2526
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
2527
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
Scopus2528
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
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
Scopus CrossRef2529
TITLE: The Impact of Benevolence in Computational Trust
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLISHED: 2013, SOURCE: AT, VOLUME: 8068 LNAI, PAGES: 210-224
AUTHORS: Joana Urbano ; Ana Paula Rocha ; Eugénio C Oliveira ;
PUBLISHED: 2013, SOURCE: AT, VOLUME: 8068 LNAI, PAGES: 210-224
2530
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 CrossRef2531
TITLE: The MATISSE MATLAB Compiler
AUTHORS: Bispo, J ; Pinto, P ; Nobre, R ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
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: Bispo, J ; Pinto, P ; Nobre, R ; Carvalho, T ; Cardoso, JMP ; Diniz, PC ;
PUBLISHED: 2013, SOURCE: 11th IEEE International Conference on Industrial Informatics (INDIN) in 2013 11TH IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL INFORMATICS (INDIN), PAGES: 602-608
2532
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
2533
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
2534
TITLE: Timed Trajectory Generation Combined with an Extended Kalman Filter for a Vision-Based Autonomous Mobile Robot
AUTHORS: Jorge Bruno Silva; Cristina P Santos ; Joao Sequeira ;
PUBLISHED: 2013, SOURCE: 12th International Conference of Intelligent Autonomous Systems in INTELLIGENT AUTONOMOUS SYSTEMS 12, VOL 1, VOLUME: 193, ISSUE: VOL. 1, PAGES: 67-79
AUTHORS: Jorge Bruno Silva; Cristina P Santos ; Joao Sequeira ;
PUBLISHED: 2013, SOURCE: 12th International Conference of Intelligent Autonomous Systems in INTELLIGENT AUTONOMOUS SYSTEMS 12, VOL 1, VOLUME: 193, ISSUE: VOL. 1, PAGES: 67-79
2535
TITLE: Towards a Framework for Pedestrian Simulation for Intermodal Interfaces
AUTHORS: Almeida, JE; Kokkinogenis, Z ; Rossetti, RJF ;
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: Almeida, JE; Kokkinogenis, Z ; Rossetti, RJF ;
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
2536
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
2537
TITLE: Transparent Runtime Migration of Loop-Based Traces of Processor Instructions to Reconfigurable Processing Units
AUTHORS: João Bispo ; Nuno Miguel Cardanha Paulino ; João M P Cardoso ; João Canas Ferreira ;
PUBLISHED: 2013, SOURCE: Int. J. Reconfigurable Comput., VOLUME: 2013, PAGES: 340316:1-340316:20
AUTHORS: João Bispo ; Nuno Miguel Cardanha Paulino ; João M P Cardoso ; João Canas Ferreira ;
PUBLISHED: 2013, SOURCE: Int. J. Reconfigurable Comput., VOLUME: 2013, PAGES: 340316:1-340316:20
2538
TITLE: Transparent Trace-Based Binary Acceleration for Reconfigurable HW/SW Systems
AUTHORS: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1625-1634
AUTHORS: Bispo, J ; Paulino, N ; Cardoso, JMP ; Ferreira, JC ;
PUBLISHED: 2013, SOURCE: IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, VOLUME: 9, ISSUE: 3, PAGES: 1625-1634
2539
TITLE: Trust and Normative Control in Multi-Agent Systems
AUTHORS: Joana Urbano; Henrique Lopes Cardoso ; Ana Paula Rocha; Eugénio Oliveira;
PUBLISHED: 2013, SOURCE: ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, VOLUME: 1, ISSUE: 1, PAGES: 43-52
AUTHORS: Joana Urbano; Henrique Lopes Cardoso ; Ana Paula Rocha; Eugénio Oliveira;
PUBLISHED: 2013, SOURCE: ADCAIJ: Advances in Distributed Computing and Artificial Intelligence Journal, VOLUME: 1, ISSUE: 1, PAGES: 43-52
2540
TITLE: Understanding Sequential Decisions via Inverse Reinforcement Learning
AUTHORS: Liu, SY; Araujo, M ; Brunskill, E; Rossetti, R ; Barros, J ; Krishnan, R;
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: Liu, SY; Araujo, M ; Brunskill, E; Rossetti, R ; Barros, J ; Krishnan, R;
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
