Department of Informatics Engineering (DEI)
Departamento de Engenharia Informática
AuthID: I-000-0K9
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: 4142
50 Team MembersFilters -> Year: 2025
1321
TITLE: Readability of web content An analysis by topic
AUTHORS: Antunes, H; Lopes, CT ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
AUTHORS: Antunes, H; Lopes, CT ;
PUBLISHED: 2019, SOURCE: 14th Iberian Conference on Information Systems and Technologies (CISTI) in 2019 14TH IBERIAN CONFERENCE ON INFORMATION SYSTEMS AND TECHNOLOGIES (CISTI), VOLUME: 2019-June
1322
TITLE: Regulating Blockchain Smart Contracts with Agent-Based Markets
AUTHORS: Rubio, TRPM; Zafeiris Kokkinogenis ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 399-411
AUTHORS: Rubio, TRPM; Zafeiris Kokkinogenis ; Henrique Lopes Cardoso ; Rosaldo J F Rossetti ; Eugénio Oliveira ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 399-411
1323
TITLE: Reinforcement Learning in Multi-agent Games: Open AI Gym Diplomacy Environment
AUTHORS: Diogo Cruz; José Aleixo Cruz; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 49-60
AUTHORS: Diogo Cruz; José Aleixo Cruz; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: 19th EPIA Conference on Artificial Intelligence, EPIA 2019 in Progress in Artificial Intelligence - 19th EPIA Conference on Artificial Intelligence, EPIA 2019, Vila Real, Portugal, September 3-6, 2019, Proceedings, Part I, VOLUME: 11804, PAGES: 49-60
1324
TITLE: Safe Walking in VR
AUTHORS: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLISHED: 2019, SOURCE: 17th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2019 in The 17th International Conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2019, Brisbane, QLD, Australia, November 14-16, 2019., PAGES: 54:1-54:2
AUTHORS: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLISHED: 2019, SOURCE: 17th ACM SIGGRAPH International Conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2019 in The 17th International Conference on Virtual-Reality Continuum and its Applications in Industry, VRCAI 2019, Brisbane, QLD, Australia, November 14-16, 2019., PAGES: 54:1-54:2
1325
TITLE: Safe Walking In VR using Augmented Virtuality PDF
AUTHORS: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.13032
AUTHORS: Maurício Sousa; Daniel Mendes ; Joaquim A Jorge;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1911.13032
INDEXED IN: 
DBLP 
arXiv
DBLP arXiv1326
TITLE: Scalable eventually consistent counters over unreliable networks PDF Full Text
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2019, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 32, ISSUE: 1, PAGES: 69-89
AUTHORS: Paulo Sergio Almeida ; Carlos Baquero ;
PUBLISHED: 2019, SOURCE: DISTRIBUTED COMPUTING, VOLUME: 32, ISSUE: 1, PAGES: 69-89
1327
TITLE: Seed: Resynthesizing environmental sounds from examples
AUTHORS: Bernardes, G ; Aly, L; Davies, MEP ;
PUBLISHED: 2019, SOURCE: 13th Sound and Music Computing Conference, SMC 2016 in SMC 2016 - 13th Sound and Music Computing Conference, Proceedings, PAGES: 55-62
AUTHORS: Bernardes, G ; Aly, L; Davies, MEP ;
PUBLISHED: 2019, SOURCE: 13th Sound and Music Computing Conference, SMC 2016 in SMC 2016 - 13th Sound and Music Computing Conference, Proceedings, PAGES: 55-62
INDEXED IN: 
Scopus
Scopus1328
TITLE: Self-adaptive Cobots in Cyber-Physical Production Systems
AUTHORS: Nogueira, R; Reis, J; Pinto, R ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PAGES: 521-528
AUTHORS: Nogueira, R; Reis, J; Pinto, R ; Gil Gonçalves ;
PUBLISHED: 2019, SOURCE: 24th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA) in 2019 24TH IEEE INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), VOLUME: 2019-September, PAGES: 521-528
1329
TITLE: Semantics-aware Virtual Machine Image Management in IaaS Clouds PDF
AUTHORS: Nishant Saurabh; Julian Remmers; Dragi Kimovski; Radu Prodan; Jorge G Barbosa ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019 in CoRR, VOLUME: abs/1906.09122, PAGES: 418-427
AUTHORS: Nishant Saurabh; Julian Remmers; Dragi Kimovski; Radu Prodan; Jorge G Barbosa ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium, IPDPS 2019 in CoRR, VOLUME: abs/1906.09122, PAGES: 418-427
1330
TITLE: Semantics-aware Virtual Machine Image Management in IaaS Clouds
AUTHORS: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PAGES: 418-427
AUTHORS: Saurabh, N; Remmers, J; Kimovski, D; Prodan, R; Barbosa, JG ;
PUBLISHED: 2019, SOURCE: 33rd IEEE International Parallel and Distributed Processing Symposium (IPDPS) in 2019 IEEE 33RD INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2019), PAGES: 418-427
INDEXED IN: 
WOS DBLP
WOS DBLP1331
TITLE: Serious games for ageing: a pilot interventional study in a cohort of heterogeneous cognitive impairment
AUTHORS: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLISHED: 2019, SOURCE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PAGES: 1-8
AUTHORS: Marco Simões; Rui Abreu ; Hélio Gonçalves; Ana Rodrigues; Inês Bernardino; Miguel Castelo Branco;
PUBLISHED: 2019, SOURCE: 7th IEEE International Conference on Serious Games and Applications for Health, SeGAH 2019, Kyoto, Japan, August 5-7, 2019, PAGES: 1-8
INDEXED IN: DBLP
DBLP1332
TITLE: Sharing and Learning Alloy on the Web PDF
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
AUTHORS: Nuno Macedo ; Alcino Cunha ; José Pereira ; Renato Carvalho; Ricardo Silva; Ana C R Paiva ; Miguel S Ramalho; Daniel Castro Silva;
PUBLISHED: 2019, SOURCE: CoRR, VOLUME: abs/1907.02275
INDEXED IN: DBLP arXiv
DBLP arXiv1333
TITLE: Simplifying the Analysis of Software Design Variants with a Colorful Alloy
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
AUTHORS: Chong Liu ; Nuno Macedo ; Alcino Cunha ;
PUBLISHED: 2019, SOURCE: 5th International Symposium on Dependable Software Engineering: Theories, Tools, and Applications, SETTA 2019 in Dependable Software Engineering. Theories, Tools, and Applications - 5th International Symposium, SETTA 2019, Shanghai, China, November 27-29, 2019, Proceedings, VOLUME: 11951, PAGES: 38-55
1334
TITLE: Simulation under Arbitrary Temporal Logic Constraints PDF Full Text
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
AUTHORS: Julien Brunel; David Chemouil; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 5th Workshop on Formal Integrated Development Environment, F-IDE 2019 in Proceedings Fifth Workshop on Formal Integrated Development Environment, F-IDE@FM 2019, Porto, Portugal, 7th October 2019., VOLUME: 310, PAGES: 63-69
1335
TITLE: Static-time Extraction and Analysis of the ROS Computation Graph
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69
AUTHORS: Andre Santos ; Alcino Cunha ; Nuno Macedo ;
PUBLISHED: 2019, SOURCE: 3rd IEEE International Conference on Robotic Computing (IRC) in 2019 THIRD IEEE INTERNATIONAL CONFERENCE ON ROBOTIC COMPUTING (IRC 2019), PAGES: 62-69
1336
TITLE: Stop PropagHate at SemEval-2019 Tasks 5 and 6: Are abusive language classification results reproducible?
AUTHORS: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PAGES: 745-752
AUTHORS: Paula Fortuna; Juan Soler Company; Sérgio Nunes ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PAGES: 745-752
INDEXED IN: DBLP
DBLP1337
TITLE: Supporting the Scale-up of High Performance Application to Pre-Exascale Systems: The ANTAREX Approach
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; ...More
PUBLISHED: 2019, SOURCE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PAGES: 116-123
AUTHORS: Silvano, C; Agosta, G; Bartolini, A; Beccari, AR; Benini, L; Besnard, L; Bispo, J ; Cmar, R; Cardoso, JMP ; Cavazzoni, C; Cesarini, D; Cherubin, S; Ficarelli, F; Gadioli, D; Golasowski, M; Lasri, I; Libri, A; Manelfi, C; Martinovic, J; Palermo, G; ...More
PUBLISHED: 2019, SOURCE: 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP) in 2019 27TH EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED AND NETWORK-BASED PROCESSING (PDP), PAGES: 116-123
1338
TITLE: Tactical Level Decision-Making for Platoons of Autonomous Vehicles Using Auction Mechanisms
AUTHORS: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PAGES: 1632-1638
AUTHORS: Zafeiris Kokkinogenis ; Miguel Teixeira; Pedro M d'Orey ; Rosaldo J F Rossetti ;
PUBLISHED: 2019, SOURCE: 30th IEEE Intelligent Vehicles Symposium (IV) in 2019 30TH IEEE INTELLIGENT VEHICLES SYMPOSIUM (IV19), VOLUME: 2019-June, PAGES: 1632-1638
1339
TITLE: Team Fernando-Pessa at SemEval-2019 Task 4: Back to Basics in Hyperpartisan News Detection
AUTHORS: André Ferreira Cruz; Gil Rocha ; Rui Sousa Silva; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PAGES: 999-1003
AUTHORS: André Ferreira Cruz; Gil Rocha ; Rui Sousa Silva; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation, SemEval@NAACL-HLT 2019, Minneapolis, MN, USA, June 6-7, 2019, PAGES: 999-1003
INDEXED IN: Scopus DBLP
Scopus DBLP1340
TITLE: Team Fernando-Pessa at SemEval-2019 Task 4: Back to Basics in Hyperpartisan News Detection
AUTHORS: André Cruz; Gil Rocha; Rui Sousa-Silva ; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation
AUTHORS: André Cruz; Gil Rocha; Rui Sousa-Silva ; Henrique Lopes Cardoso ;
PUBLISHED: 2019, SOURCE: Proceedings of the 13th International Workshop on Semantic Evaluation
