Instituto de Engenharia de Sistemas e Computadores (INESC ID)
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: 6818
112 Team MembersFilters -> Year: 2024
761
TITLE: Evolution of Collective Fairness in Hybrid Populations of Humans and Agents
AUTHORS: Santos, FP; Pacheco, JM; Paiva, A ; Santos, FC ;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 6146-6153
AUTHORS: Santos, FP; Pacheco, JM; Paiva, A ; Santos, FC ;
PUBLISHED: 2019, SOURCE: 33rd AAAI Conference on Artificial Intelligence / 31st Innovative Applications of Artificial Intelligence Conference / 9th AAAI Symposium on Educational Advances in Artificial Intelligence in THIRTY-THIRD AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTY-FIRST INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / NINTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, PAGES: 6146-6153
INDEXED IN: 
Scopus 
WOS 
DBLP
Scopus WOS DBLP762
TITLE: Exogenous Rewards for Promoting Cooperation in Scale-Free Networks PDF
AUTHORS: Theodor Cimpeanu; Han, TA; Francisco C Santos ;
PUBLISHED: 2019, SOURCE: Conference on Artificial Life (ALIFE) - How Can Artificial Life Help Solve Societal Challenges? in ALIFE 2019: THE 2019 CONFERENCE ON ARTIFICIAL LIFE, VOLUME: abs/1905.04964, PAGES: 316-323
AUTHORS: Theodor Cimpeanu; Han, TA; Francisco C Santos ;
PUBLISHED: 2019, SOURCE: Conference on Artificial Life (ALIFE) - How Can Artificial Life Help Solve Societal Challenges? in ALIFE 2019: THE 2019 CONFERENCE ON ARTIFICIAL LIFE, VOLUME: abs/1905.04964, PAGES: 316-323
INDEXED IN: Scopus WOS DBLP 
arXiv
Scopus WOS DBLP arXiv763
TITLE: Exploring Collaborative Interactions Between Robots and Blind People
AUTHORS: Correia, F; Oliveira, R; Bonani, M; Rodrigues, A; Guerreiro, T; Paiva, A ;
PUBLISHED: 2019, SOURCE: 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI) in HRI '19: 2019 14TH ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTION, PAGES: 365-365
AUTHORS: Correia, F; Oliveira, R; Bonani, M; Rodrigues, A; Guerreiro, T; Paiva, A ;
PUBLISHED: 2019, SOURCE: 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI) in HRI '19: 2019 14TH ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTION, PAGES: 365-365
INDEXED IN: WOS
WOS764
TITLE: Flexible Co-Operation of TCSC and Corrective Topology Control under Wind Uncertainty: An Interval-based Robust Approach
AUTHORS: Ahmad Nikoobakht; Jamshid Aghaei; Mohamed Lotfi ; João P. S. Catalão ; Gerardo J Osorio; Miadreza Shafie khah;
PUBLISHED: 2019, SOURCE: IEEE Milan PowerTech Conference in 2019 IEEE MILAN POWERTECH
AUTHORS: Ahmad Nikoobakht; Jamshid Aghaei; Mohamed Lotfi ; João P. S. Catalão ; Gerardo J Osorio; Miadreza Shafie khah;
PUBLISHED: 2019, SOURCE: IEEE Milan PowerTech Conference in 2019 IEEE MILAN POWERTECH
765
TITLE: Flying tourist problem: Flight time and cost minimization in complex routes
AUTHORS: Marques, R; Russo, L ; Roma, N;
PUBLISHED: 2019, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 130, PAGES: 172-187
AUTHORS: Marques, R; Russo, L ; Roma, N;
PUBLISHED: 2019, SOURCE: EXPERT SYSTEMS WITH APPLICATIONS, VOLUME: 130, PAGES: 172-187
766
TITLE: For The Record - A Public Goods Game For Exploring Human-Robot Collaboration
AUTHORS: Filipa Correia; Samuel Mascarenhas; Samuel Gomes; Silvia Tulli; Fernando P Santos; Francisco C Santos ; Rui Prada; Francisco S Melo; Ana Paiva ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) in AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 4, PAGES: 2351-2353
AUTHORS: Filipa Correia; Samuel Mascarenhas; Samuel Gomes; Silvia Tulli; Fernando P Santos; Francisco C Santos ; Rui Prada; Francisco S Melo; Ana Paiva ;
PUBLISHED: 2019, SOURCE: 18th International Conference on Autonomous Agents and MultiAgent Systems (AAMAS) in AAMAS '19: PROCEEDINGS OF THE 18TH INTERNATIONAL CONFERENCE ON AUTONOMOUS AGENTS AND MULTIAGENT SYSTEMS, VOLUME: 4, PAGES: 2351-2353
INDEXED IN: Scopus WOS DBLP
Scopus WOS DBLP767
TITLE: Formally Verifying the Solution to the Boolean Pythagorean Triples Problem Full Text
AUTHORS: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, ISSUE: 3, PAGES: 695-722
AUTHORS: Cruz Filipe, L; Marques Silva, J ; Schneider Kamp, P;
PUBLISHED: 2019, SOURCE: JOURNAL OF AUTOMATED REASONING, VOLUME: 63, ISSUE: 3, PAGES: 695-722
INDEXED IN: Scopus WOS 
Unpaywall
Scopus WOS Unpaywall768
TITLE: From Lexical to Semantic Features in Paraphrase Identification
AUTHORS: Pedro Fialho; Luísa Coheur; Paulo Quaresma ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 9:1-9:11
AUTHORS: Pedro Fialho; Luísa Coheur; Paulo Quaresma ;
PUBLISHED: 2019, SOURCE: 8th Symposium on Languages, Applications and Technologies, SLATE 2019 in 8th Symposium on Languages, Applications and Technologies, SLATE 2019, June 27-28, 2019, Coimbra, Portugal., VOLUME: 74, PAGES: 9:1-9:11
INDEXED IN: Scopus DBLP 
Handle
Scopus DBLP Handle769
TITLE: From Requirements to Automated Acceptance Tests of Interactive Apps: An Integrated Model-based Testing Approach
AUTHORS: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272
AUTHORS: Daniel Maciel; Ana C R Paiva ; Alberto Rodrigues da Silva ;
PUBLISHED: 2019, SOURCE: 14th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE) in PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON EVALUATION OF NOVEL APPROACHES TO SOFTWARE ENGINEERING (ENASE), PAGES: 265-272
770
TITLE: From Textual Information Sources to Linked Data in the Agatha Project PDF
AUTHORS: Paulo Quaresma ; Vítor Beires Nogueira ; Kashyap Raiyani; Roy Bayot; Teresa Gonçalves ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 in CoRR, VOLUME: abs/1909.05359, PAGES: 79-88
AUTHORS: Paulo Quaresma ; Vítor Beires Nogueira ; Kashyap Raiyani; Roy Bayot; Teresa Gonçalves ;
PUBLISHED: 2019, SOURCE: 22nd International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic Programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic Programming, WFLP 2019 in CoRR, VOLUME: abs/1909.05359, PAGES: 79-88
771
TITLE: From Textual Information Sources to Linked Data in the Agatha Project
AUTHORS: Paulo Quaresma ; Vítor Beires Nogueira ; Kashyap Raiyani; Roy Bayot; Teresa Gonçalves;
PUBLISHED: 2019, SOURCE: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, VOLUME: 12057, PAGES: 79-88
AUTHORS: Paulo Quaresma ; Vítor Beires Nogueira ; Kashyap Raiyani; Roy Bayot; Teresa Gonçalves;
PUBLISHED: 2019, SOURCE: Declarative Programming and Knowledge Management - Conference on Declarative Programming, DECLARE 2019, Unifying INAP, WLP, and WFLP, Cottbus, Germany, September 9-12, 2019, Revised Selected Papers, VOLUME: 12057, PAGES: 79-88
INDEXED IN: DBLP
DBLP772
TITLE: From visual input to visual output in textual programming
AUTHORS: Sammer, M; Leitão, A ; Caetano, I;
PUBLISHED: 2019, SOURCE: 24th International Conference on Computer-Aided Architectural Design Research in Asia: Intelligent and Informed, CAADRIA 2019 in Intelligent and Informed - Proceedings of the 24th International Conference on Computer-Aided Architectural Design Research in Asia, CAADRIA 2019, VOLUME: 1, PAGES: 645-654
AUTHORS: Sammer, M; Leitão, A ; Caetano, I;
PUBLISHED: 2019, SOURCE: 24th International Conference on Computer-Aided Architectural Design Research in Asia: Intelligent and Informed, CAADRIA 2019 in Intelligent and Informed - Proceedings of the 24th International Conference on Computer-Aided Architectural Design Research in Asia, CAADRIA 2019, VOLUME: 1, PAGES: 645-654
INDEXED IN: Scopus
Scopus773
TITLE: Game of Renders
AUTHORS: Leitão, A ; Castelo Branco, R; Santos, G;
PUBLISHED: 2019, SOURCE: 24th International Conference on Computer-Aided Architectural Design Research in Asia: Intelligent and Informed, CAADRIA 2019 in Intelligent and Informed - Proceedings of the 24th International Conference on Computer-Aided Architectural Design Research in Asia, CAADRIA 2019, VOLUME: 1, PAGES: 655-664
AUTHORS: Leitão, A ; Castelo Branco, R; Santos, G;
PUBLISHED: 2019, SOURCE: 24th International Conference on Computer-Aided Architectural Design Research in Asia: Intelligent and Informed, CAADRIA 2019 in Intelligent and Informed - Proceedings of the 24th International Conference on Computer-Aided Architectural Design Research in Asia, CAADRIA 2019, VOLUME: 1, PAGES: 655-664
INDEXED IN: Scopus
Scopus774
TITLE: GC-Wise: A Self-adaptive approach for memory-performance efficiency in Java VMs
AUTHORS: Simao, J; Esteves, S; Pires, A; Veiga, L ;
PUBLISHED: 2019, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 100, PAGES: 674-688
AUTHORS: Simao, J; Esteves, S; Pires, A; Veiga, L ;
PUBLISHED: 2019, SOURCE: FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, VOLUME: 100, PAGES: 674-688
775
TITLE: GC-Wise: A Self-adaptive approach for memory-performance efficiency in Java VMs
AUTHORS: José Simão; Sérgio Esteves; André Pires; Luís Veiga ;
PUBLISHED: 2019, SOURCE: Future Gener. Comput. Syst., VOLUME: 100, PAGES: 674-688
AUTHORS: José Simão; Sérgio Esteves; André Pires; Luís Veiga ;
PUBLISHED: 2019, SOURCE: Future Gener. Comput. Syst., VOLUME: 100, PAGES: 674-688
INDEXED IN: DBLP
DBLP776
TITLE: Generative adversarial networks and convolutional neural networks based weather classification model for day ahead short-term photovoltaic power forecasting Full Text
AUTHORS: Fei Wang; Zhanyao Y Zhang; Chun Liu; Yili L Yu; Songling L Pang; Neven Duic; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2019, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 181, PAGES: 443-462
AUTHORS: Fei Wang; Zhanyao Y Zhang; Chun Liu; Yili L Yu; Songling L Pang; Neven Duic; Miadreza Shafie Khah; João P. S. Catalão ;
PUBLISHED: 2019, SOURCE: ENERGY CONVERSION AND MANAGEMENT, VOLUME: 181, PAGES: 443-462
777
TITLE: Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC
AUTHORS: Erick Lavoie; Laurie J Hendren; Frédéric Desprez; Miguel Correia ;
PUBLISHED: 2019, SOURCE: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019, Umea, Sweden, June 16-20, 2019, PAGES: 117-126
AUTHORS: Erick Lavoie; Laurie J Hendren; Frédéric Desprez; Miguel Correia ;
PUBLISHED: 2019, SOURCE: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019, Umea, Sweden, June 16-20, 2019, PAGES: 117-126
INDEXED IN: DBLP
DBLP778
TITLE: Genet: A Quickly Scalable Fat-Tree Overlay for Personal Volunteer Computing using WebRTC PDF
AUTHORS: Lavoie, E; Hendren, L; Desprez, F; Correia, M ;
PUBLISHED: 2019, SOURCE: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019 in International Conference on Self-Adaptive and Self-Organizing Systems, SASO, VOLUME: 2019-June, PAGES: 117-126
AUTHORS: Lavoie, E; Hendren, L; Desprez, F; Correia, M ;
PUBLISHED: 2019, SOURCE: 13th IEEE International Conference on Self-Adaptive and Self-Organizing Systems, SASO 2019 in International Conference on Self-Adaptive and Self-Organizing Systems, SASO, VOLUME: 2019-June, PAGES: 117-126
INDEXED IN: Scopus DBLP arXiv
Scopus DBLP arXiv779
TITLE: Geographic Information Systems
AUTHORS: Paula Cristina Remoaldo; Vitor P Ribeiro; Hélder Silva Lopes ; Sara Catarina Gomes Silva;
PUBLISHED: 2019, SOURCE: Advances in Environmental Engineering and Green Technologies - Advanced Methodologies and Technologies in Engineering and Environmental Science, PAGES: 334-348
AUTHORS: Paula Cristina Remoaldo; Vitor P Ribeiro; Hélder Silva Lopes ; Sara Catarina Gomes Silva;
PUBLISHED: 2019, SOURCE: Advances in Environmental Engineering and Green Technologies - Advanced Methodologies and Technologies in Engineering and Environmental Science, PAGES: 334-348
INDEXED IN: 
CrossRef
CrossRef780
TITLE: Group Intelligence on Social Robots
AUTHORS: Filipa Correia; Francisco S Melo; Ana Paiva ;
PUBLISHED: 2019, SOURCE: 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI) in HRI '19: 2019 14TH ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTION, PAGES: 703-705
AUTHORS: Filipa Correia; Francisco S Melo; Ana Paiva ;
PUBLISHED: 2019, SOURCE: 14th ACM/IEEE International Conference on Human-Robot Interaction (HRI) in HRI '19: 2019 14TH ACM/IEEE INTERNATIONAL CONFERENCE ON HUMAN-ROBOT INTERACTION, PAGES: 703-705
INDEXED IN: WOS
WOS