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: 3642
85 Team MembersFilters -> Year: 2026
2441
TITLE: Sensitivity analysis of a crawl gait multi-objective optimization system
AUTHORS: Oliveira, M; Silva, P; Santos, C ; Costa, L ;
PUBLISHED: 2013, SOURCE: 15th Annual Conference on Genetic and Evolutionary Computation, GECCO 2013 in GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion, PAGES: 35-36
AUTHORS: Oliveira, M; Silva, P; Santos, C ; Costa, L ;
PUBLISHED: 2013, SOURCE: 15th Annual Conference on Genetic and Evolutionary Computation, GECCO 2013 in GECCO 2013 - Proceedings of the 2013 Genetic and Evolutionary Computation Conference Companion, PAGES: 35-36
INDEXED IN: 
Scopus 
CrossRef
Scopus CrossRef2442
TITLE: Ship damage control action simulation using HLA
AUTHORS: Martins, PT; Rossetti, RJF ; Brito, AC ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2013, Held at the 10th International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013 in 15th Int. Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2013, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013, PAGES: 90-99
AUTHORS: Martins, PT; Rossetti, RJF ; Brito, AC ;
PUBLISHED: 2013, SOURCE: 15th International Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2013, Held at the 10th International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013 in 15th Int. Conference on Harbor, Maritime and Multimodal Logistics Modeling and Simulation, HMS 2013, Held at the International Multidisciplinary Modeling and Simulation Multiconference, I3M 2013, PAGES: 90-99
INDEXED IN: Scopus
Scopus2443
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
2444
TITLE: Smartphone based fall prevention exercises
AUTHORS: Bruno Neves Ferreira; Vânia Guimarães; Hugo Sereno Ferreira ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, Lisbon, Portugal, October 9-12, 2013, PAGES: 643-647
AUTHORS: Bruno Neves Ferreira; Vânia Guimarães; Hugo Sereno Ferreira ;
PUBLISHED: 2013, SOURCE: 2013 IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013 in IEEE 15th International Conference on e-Health Networking, Applications and Services, Healthcom 2013, Lisbon, Portugal, October 9-12, 2013, PAGES: 643-647
2445
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
2446
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
2447
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 DBLP2448
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
2449
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
Scopus2450
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 CrossRef2451
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
2452
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 CrossRef2453
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
2454
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
2455
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
2456
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
2457
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
2458
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
2459
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
2460
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
