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: 2956
85 Team MembersFilters -> Year: 2025
1201
TITLE: Nearshore sediment transport: Coupling sand tracer dynamics with oceanographic forcing Full Text
AUTHORS: Bosnic, I; Cascalho, J; Taborda, R ; Drago, T; Herminio, J; Rosa, M; Dias, J ; Garel, E ;
PUBLISHED: 2017, SOURCE: MARINE GEOLOGY, VOLUME: 385, PAGES: 293-303
AUTHORS: Bosnic, I; Cascalho, J; Taborda, R ; Drago, T; Herminio, J; Rosa, M; Dias, J ; Garel, E ;
PUBLISHED: 2017, SOURCE: MARINE GEOLOGY, VOLUME: 385, PAGES: 293-303
1202
TITLE: Non-Blocking Concurrent Imperative Programming with Session Types PDF Full Text
AUTHORS: Miguel Silva ; Mario Florido ; Frank Pfenning ;
PUBLISHED: 2017, SOURCE: 4th International Workshop on Linearity, LINEARITY 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, ISSUE: 238, PAGES: 64-72
AUTHORS: Miguel Silva ; Mario Florido ; Frank Pfenning ;
PUBLISHED: 2017, SOURCE: 4th International Workshop on Linearity, LINEARITY 2016 in ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, VOLUME: 238, ISSUE: 238, PAGES: 64-72
1203
TITLE: On Coding Techniques for Targeting FPGAs via OpenCL
AUTHORS: Nuno Paulino ; Luís Reis; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: Parallel Computing is Everywhere, Proceedings of the International Conference on Parallel Computing, ParCo 2017, 12-15 September 2017, Bologna, Italy, VOLUME: 32, PAGES: 652-663
AUTHORS: Nuno Paulino ; Luís Reis; João M P Cardoso ;
PUBLISHED: 2017, SOURCE: Parallel Computing is Everywhere, Proceedings of the International Conference on Parallel Computing, ParCo 2017, 12-15 September 2017, Bologna, Italy, VOLUME: 32, PAGES: 652-663
1204
TITLE: On the rate of decrease in logical depth Full Text
AUTHORS: Antunes, LF ; Souto, A ; Vitanyi, PMB;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 702, PAGES: 60-64
AUTHORS: Antunes, LF ; Souto, A ; Vitanyi, PMB;
PUBLISHED: 2017, SOURCE: THEORETICAL COMPUTER SCIENCE, VOLUME: 702, PAGES: 60-64
1205
TITLE: Pattern mining from historical traffic big data
AUTHORS: Alam, I; Ahmed, MF; Alam, M; Ulisses, J; Farid, DM; Shatabda, S; Rossetti, RJF ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Symposium on Technologies for Smart Cities, TENSYMP 2017 in TENSYMP 2017 - IEEE International Symposium on Technologies for Smart Cities
AUTHORS: Alam, I; Ahmed, MF; Alam, M; Ulisses, J; Farid, DM; Shatabda, S; Rossetti, RJF ;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Symposium on Technologies for Smart Cities, TENSYMP 2017 in TENSYMP 2017 - IEEE International Symposium on Technologies for Smart Cities
1206
TITLE: Performance-Based Guidelines for Energy Efficient Mobile Applications
AUTHORS: Luis Cruz ; Rui Abreu ;
PUBLISHED: 2017, SOURCE: 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017, PAGES: 46-57
AUTHORS: Luis Cruz ; Rui Abreu ;
PUBLISHED: 2017, SOURCE: 4th IEEE/ACM International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2017, Buenos Aires, Argentina, May 22-23, 2017, PAGES: 46-57
1207
TITLE: Preface
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 571
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 571
INDEXED IN: 
Scopus
Scopus1208
TITLE: Preface
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 570
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 570
INDEXED IN: Scopus
Scopus1209
TITLE: Preface
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 569
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 569
INDEXED IN: Scopus
Scopus1210
TITLE: Preface
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 570
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 570
INDEXED IN: Scopus
Scopus1211
TITLE: Preface
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 571
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 571
INDEXED IN: Scopus
Scopus1212
TITLE: Preface
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 569
AUTHORS: Rocha, Á; Correia, AM; Adeli, H; Reis, LP ; Costanzo, S;
PUBLISHED: 2017, SOURCE: 5th World Conference on Information Systems and Technologies, WorldCIST in Advances in Intelligent Systems and Computing, VOLUME: 569
INDEXED IN: Scopus
Scopus1213
TITLE: Preface
AUTHORS: Oliveira, E ; Cardoso, HL ; Gama, J ; Vale, Z ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence, EPIA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10423 LNAI
AUTHORS: Oliveira, E ; Cardoso, HL ; Gama, J ; Vale, Z ;
PUBLISHED: 2017, SOURCE: 18th EPIA Conference on Artificial Intelligence, EPIA 2017 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10423 LNAI
INDEXED IN: Scopus
Scopus1215
TITLE: Preface
AUTHORS: Cranefield, S; Mahmoud, S; Padget, J; Rocha, AP ;
PUBLISHED: 2017, SOURCE: 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016, Co-located with AAMAS 2016 and ECAI 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10315 LNAI
AUTHORS: Cranefield, S; Mahmoud, S; Padget, J; Rocha, AP ;
PUBLISHED: 2017, SOURCE: 12th International Workshops on Coordination, Organizations, Institutions and Norms in Agent Systems, COIN 2016, Co-located with AAMAS 2016 and ECAI 2016 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10315 LNAI
INDEXED IN: Scopus
Scopus1216
TITLE: Preface
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2017, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 332, PAGES: 1-2
AUTHORS: Vivek Nigam; Mário Florido ;
PUBLISHED: 2017, SOURCE: Electronic Notes in Theoretical Computer Science, VOLUME: 332, PAGES: 1-2
INDEXED IN: Scopus 
CrossRef
Scopus CrossRef1217
TITLE: Preface
AUTHORS: Cunha, J ; Fernandes, JP ; Lämmel, R; Saraiva, J ; Zaytsev, V;
PUBLISHED: 2017, SOURCE: 5th Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10223 LNCS
AUTHORS: Cunha, J ; Fernandes, JP ; Lämmel, R; Saraiva, J ; Zaytsev, V;
PUBLISHED: 2017, SOURCE: 5th Summer School on Grand Timely Topics in Software Engineering, GTTSE 2015 in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), VOLUME: 10223 LNCS
INDEXED IN: Scopus
Scopus1218
TITLE: Preface [Preface]
AUTHORS: Rocha, A ; Alturas, B; Costa, C; Reis, LP ; Cota, MP ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies, CISTI 2017 in Iberian Conference on Information Systems and Technologies, CISTI
AUTHORS: Rocha, A ; Alturas, B; Costa, C; Reis, LP ; Cota, MP ;
PUBLISHED: 2017, SOURCE: 12th Iberian Conference on Information Systems and Technologies, CISTI 2017 in Iberian Conference on Information Systems and Technologies, CISTI
INDEXED IN: Scopus CrossRef
Scopus CrossRef1219
TITLE: Preface [Prefácio]
AUTHORS: Gonçalves, A; Moreira, PM ; Magalhães, LG ;
PUBLISHED: 2017, SOURCE: 24th Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2017 in EPCGI 2017 - 24th Encontro Portugues de Computacao Grafica e Interacao, VOLUME: 2017-January
AUTHORS: Gonçalves, A; Moreira, PM ; Magalhães, LG ;
PUBLISHED: 2017, SOURCE: 24th Encontro Portugues de Computacao Grafica e Interacao, EPCGI 2017 in EPCGI 2017 - 24th Encontro Portugues de Computacao Grafica e Interacao, VOLUME: 2017-January
INDEXED IN: Scopus
Scopus1220
TITLE: Prevalence of Single-Fault Fixes and Its Impact on Fault Localization
AUTHORS: Alexandre Perez ; Rui Abreu ; Marcelo d'Amorim;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, PAGES: 12-22
AUTHORS: Alexandre Perez ; Rui Abreu ; Marcelo d'Amorim;
PUBLISHED: 2017, SOURCE: 2017 IEEE International Conference on Software Testing, Verification and Validation, ICST 2017, Tokyo, Japan, March 13-17, 2017, PAGES: 12-22
