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: 2690
85 Team MembersFilters -> Year: 2024
1361
TITLE: Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages Full Text
AUTHORS: Vasconcelos, P ; Jost, S; Florido, M ; Hammond, Kevin ;
PUBLISHED: 2015, SOURCE: 24th European Conference on Programming (ESOP) held as Part of the 18th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 9032, PAGES: 787-811
AUTHORS: Vasconcelos, P ; Jost, S; Florido, M ; Hammond, Kevin ;
PUBLISHED: 2015, SOURCE: 24th European Conference on Programming (ESOP) held as Part of the 18th European Joint Conferences on Theory and Practice of Software (ETAPS) in PROGRAMMING LANGUAGES AND SYSTEMS, VOLUME: 9032, PAGES: 787-811
1362
TITLE: Understanding Rankings of Financial Analysts
AUTHORS: Artur Aiguzhinov; Ana Paula Sousa Freitas Madureira Serra ; Carlos Soares ;
PUBLISHED: 2015, SOURCE: SSRN Electronic Journal
AUTHORS: Artur Aiguzhinov; Ana Paula Sousa Freitas Madureira Serra ; Carlos Soares ;
PUBLISHED: 2015, SOURCE: SSRN Electronic Journal
INDEXED IN: 
CrossRef
CrossRef1363
TITLE: Underwater acoustic modem with streaming video capabilities
AUTHORS: Martins, MS ; Cabral, J; Lopes, G ; Ribeiro, F;
PUBLISHED: 2015, SOURCE: Oceans 2015 Genova in OCEANS 2015 - GENOVA
AUTHORS: Martins, MS ; Cabral, J; Lopes, G ; Ribeiro, F;
PUBLISHED: 2015, SOURCE: Oceans 2015 Genova in OCEANS 2015 - GENOVA
1364
TITLE: Use of previously acquired positioning of optimizations for phase ordering exploration
AUTHORS: Nobre, R; Martins, LGA; Cardoso, JMP ;
PUBLISHED: 2015, SOURCE: 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015 in Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, PAGES: 58-67
AUTHORS: Nobre, R; Martins, LGA; Cardoso, JMP ;
PUBLISHED: 2015, SOURCE: 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015 in Proceedings of the 18th International Workshop on Software and Compilers for Embedded Systems, SCOPES 2015, PAGES: 58-67
1365
TITLE: User-Centric Cloud Intermediation Services
AUTHORS: Luis Nogueira ; Jorge Coelho ;
PUBLISHED: 2015, SOURCE: 8th Symposium on Intelligent Distributed Computing (IDC) in INTELLIGENT DISTRIBUTED COMPUTING VIII, VOLUME: 570, PAGES: 147-153
AUTHORS: Luis Nogueira ; Jorge Coelho ;
PUBLISHED: 2015, SOURCE: 8th Symposium on Intelligent Distributed Computing (IDC) in INTELLIGENT DISTRIBUTED COMPUTING VIII, VOLUME: 570, PAGES: 147-153
1366
TITLE: Using constraints to diagnose faulty spreadsheets Full Text
AUTHORS: Rui Abreu ; Birgit Hofer; Alexandre Perez ; Franz Wotawa;
PUBLISHED: 2015, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 23, ISSUE: 2, PAGES: 297-322
AUTHORS: Rui Abreu ; Birgit Hofer; Alexandre Perez ; Franz Wotawa;
PUBLISHED: 2015, SOURCE: SOFTWARE QUALITY JOURNAL, VOLUME: 23, ISSUE: 2, PAGES: 297-322
1367
TITLE: Using Metalearning for Prediction of Taxi Trip Duration Using Different Granularity Levels
AUTHORS: Mohammad Nozari Zarmehri ; Carlos Soares ;
PUBLISHED: 2015, SOURCE: 14th International Symposium on Intelligent Data Analysis (IDA) in Advances in Intelligent Data Analysis XIV, VOLUME: 9385, PAGES: 205-216
AUTHORS: Mohammad Nozari Zarmehri ; Carlos Soares ;
PUBLISHED: 2015, SOURCE: 14th International Symposium on Intelligent Data Analysis (IDA) in Advances in Intelligent Data Analysis XIV, VOLUME: 9385, PAGES: 205-216
1368
TITLE: Using Serious Games to Train Children and Elicit Fire Safety Behaviour
AUTHORS: Almeida, JE; Rossetti, RJF ; Faria, BM ; Coelho, AL;
PUBLISHED: 2015, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW CONTRIBUTIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, PT 1, VOLUME: 353, PAGES: 1153-1162
AUTHORS: Almeida, JE; Rossetti, RJF ; Faria, BM ; Coelho, AL;
PUBLISHED: 2015, SOURCE: World Conference on Information Systems and Technologies (WorldCIST) in NEW CONTRIBUTIONS IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 1, PT 1, VOLUME: 353, PAGES: 1153-1162
1369
TITLE: Watch Out for that Tree! A Tutorial on Shortcut Deforestation
AUTHORS: João Paulo Fernandes ; Jácome Cunha ; João Saraiva ; Alberto Pardo;
PUBLISHED: 2015, SOURCE: 6th Central European Functional Programming School, CEFP 2015 in Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers, VOLUME: 10094, PAGES: 1-41
AUTHORS: João Paulo Fernandes ; Jácome Cunha ; João Saraiva ; Alberto Pardo;
PUBLISHED: 2015, SOURCE: 6th Central European Functional Programming School, CEFP 2015 in Central European Functional Programming School - 6th Summer School, CEFP 2015, Budapest, Hungary, July 6-10, 2015, Revised Selected Papers, VOLUME: 10094, PAGES: 1-41
1370
TITLE: Where to look when identifying roadkilled amphibians?
AUTHORS: Franch, M; Silva, C; Lopes, G ; Ribeiro, F; Paulo Trigueiros ; Seco, L; Sillero, N ;
PUBLISHED: 2015, SOURCE: ACTA HERPETOLOGICA, VOLUME: 10, ISSUE: 2, PAGES: 103-110
AUTHORS: Franch, M; Silva, C; Lopes, G ; Ribeiro, F; Paulo Trigueiros ; Seco, L; Sillero, N ;
PUBLISHED: 2015, SOURCE: ACTA HERPETOLOGICA, VOLUME: 10, ISSUE: 2, PAGES: 103-110
INDEXED IN: 
Scopus 
WOS 
Handle
Scopus WOS Handle1371
TITLE: Zipper-Based Modular and Deforested Computations
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
AUTHORS: Pedro Martins ; Joao Paulo Fernandes ; Joao Saraiva ;
PUBLISHED: 2015, SOURCE: 5th Central European Functional Programming School (CEFP) in Central European Functional Programming School, CEFP 2013, VOLUME: 8606, PAGES: 407-427
1372
TITLE: 1st international workshop on intelligent agents and technologies for socially interconnected systems
AUTHORS: Rocha, AP ; Aldewereld, H; Dignum, V; Oliveira, E ; Vercouter, L;
PUBLISHED: 2014, SOURCE: 1st International Workshop on Intelligent Agents and Technologies for Socially Interconnected Systems, IAT4SIS 2014 in ACM International Conference Proceeding Series, VOLUME: 18-August-2014
AUTHORS: Rocha, AP ; Aldewereld, H; Dignum, V; Oliveira, E ; Vercouter, L;
PUBLISHED: 2014, SOURCE: 1st International Workshop on Intelligent Agents and Technologies for Socially Interconnected Systems, IAT4SIS 2014 in ACM International Conference Proceeding Series, VOLUME: 18-August-2014
INDEXED IN: Scopus
Scopus1373
TITLE: A Budget Constrained Scheduling Algorithm for Workflow Applications Full Text
AUTHORS: Arabnejad, H; Barbosa, JG ;
PUBLISHED: 2014, SOURCE: JOURNAL OF GRID COMPUTING, VOLUME: 12, ISSUE: 4, PAGES: 665-679
AUTHORS: Arabnejad, H; Barbosa, JG ;
PUBLISHED: 2014, SOURCE: JOURNAL OF GRID COMPUTING, VOLUME: 12, ISSUE: 4, PAGES: 665-679
1374
TITLE: A Clustering-Based Approach for Exploring Sequences of Compiler Optimizations
AUTHORS: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2436-2443
AUTHORS: Luiz G A Martins; Ricardo Nobre ; Alexandra C B Delbem; Eduardo Marques; Joao M P Cardoso ;
PUBLISHED: 2014, SOURCE: IEEE Congress on Evolutionary Computation (CEC) in 2014 IEEE CONGRESS ON EVOLUTIONARY COMPUTATION (CEC), PAGES: 2436-2443
1375
TITLE: A data aggregation system for music events
AUTHORS: Simoes, D; Abreu, PH; Silva, DC ;
PUBLISHED: 2014, SOURCE: 2014 World Conference on Information Systems and Technologies, WorldCIST 2014 in Advances in Intelligent Systems and Computing, VOLUME: 276 VOLUME 2, PAGES: 187-198
AUTHORS: Simoes, D; Abreu, PH; Silva, DC ;
PUBLISHED: 2014, SOURCE: 2014 World Conference on Information Systems and Technologies, WorldCIST 2014 in Advances in Intelligent Systems and Computing, VOLUME: 276 VOLUME 2, PAGES: 187-198
INDEXED IN: Scopus
Scopus1376
TITLE: A data warehouse to support web site automation
AUTHORS: Domingues, MA; Soares, C ; Jorge, AM ; Rezende, SO;
PUBLISHED: 2014, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 20, ISSUE: 1, PAGES: 1-16
AUTHORS: Domingues, MA; Soares, C ; Jorge, AM ; Rezende, SO;
PUBLISHED: 2014, SOURCE: Journal of the Brazilian Computer Society, VOLUME: 20, ISSUE: 1, PAGES: 1-16
1377
TITLE: A diagnosis-based approach to software comprehension
AUTHORS: Alexandre Perez ; Rui Abreu ;
PUBLISHED: 2014, SOURCE: 22nd International Conference on Program Comprehension, ICPC 2014, Hyderabad, India, June 2-3, 2014, PAGES: 37-47
AUTHORS: Alexandre Perez ; Rui Abreu ;
PUBLISHED: 2014, SOURCE: 22nd International Conference on Program Comprehension, ICPC 2014, Hyderabad, India, June 2-3, 2014, PAGES: 37-47
1378
TITLE: A DSL for specifying run-time adaptations for embedded systems: an application to vehicle stereo navigation Full Text
AUTHORS: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLISHED: 2014, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, ISSUE: 3, PAGES: 1218-1248
AUTHORS: Andre C Santos; Joao M P Cardoso ; Pedro C Diniz ; Diogo R Ferreira; Zlatko Petrov;
PUBLISHED: 2014, SOURCE: JOURNAL OF SUPERCOMPUTING, VOLUME: 70, ISSUE: 3, PAGES: 1218-1248
1379
TITLE: A dynamic code coverage approach to maximize fault localization efficiency Full Text
AUTHORS: Alexandre Perez ; Rui Abreu ; Andre Riboira;
PUBLISHED: 2014, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 90, ISSUE: 1, PAGES: 18-28
AUTHORS: Alexandre Perez ; Rui Abreu ; Andre Riboira;
PUBLISHED: 2014, SOURCE: JOURNAL OF SYSTEMS AND SOFTWARE, VOLUME: 90, ISSUE: 1, PAGES: 18-28
1380
TITLE: A Framework for a Multimodal Transportation Network: an Agent-Based Model Approach
AUTHORS: Nuno Monteiro; Rosaldo Rossetti ; Pedro Campos ; Zafeiris Kokkinogenis ;
PUBLISHED: 2014, SOURCE: International Scientific Conference on Mobility and Transport in SUSTAINABLE MOBILITY IN METROPOLITAN REGIONS, MOBIL.TUM 2014, VOLUME: 4, PAGES: 213-227
AUTHORS: Nuno Monteiro; Rosaldo Rossetti ; Pedro Campos ; Zafeiris Kokkinogenis ;
PUBLISHED: 2014, SOURCE: International Scientific Conference on Mobility and Transport in SUSTAINABLE MOBILITY IN METROPOLITAN REGIONS, MOBIL.TUM 2014, VOLUME: 4, PAGES: 213-227
